Main Page | Namespace List | Class Hierarchy | Compound List | File List | Compound Members | File Members | Related Pages

XMLLexerTokenTypes Struct Reference

#include <XMLLexerTokenTypes.hpp>

Inheritance diagram for XMLLexerTokenTypes:

XMLLexer XMLParser List of all members.

Public Types

enum  {
  EOF_ = 1, UPPER = 4, LOWER = 5, DIGIT = 6,
  SPECIAL = 7, WHITE = 8, INITIALCHAR = 9, WORDCHAR = 10,
  CHARACTER = 11, TICK = 12, WORD = 13, STRING = 14,
  VARIABLE = 15, FIGURE = 16, NUMBER = 17, EXPONENT = 18,
  QUOTE = 19, SKIP_RULE = 20, COMMENT_LINE = 21, LPAR = 22,
  RPAR = 23, LESS = 24, MORE = 25, LESSEQ = 26,
  GEQ = 27, IMPLY = 28, EQUIVALENCE = 29, LITERAL_equal = 30,
  LITERAL_not = 31, LITERAL_and = 32, LITERAL_or = 33, LITERAL_forall = 34,
  LITERAL_exists = 35, LETTER = 36, NAME = 37, START_TAG = 38,
  START_OF_END_TAG = 39, END_OF_TAG = 40, END_OF_EMPTY_TAG = 41, EQ = 42,
  COMMENT = 43, LITERAL_query = 44, LITERAL_assertion = 45, LITERAL_bye = 46,
  NULL_TREE_LOOKAHEAD = 3
}

Member Enumeration Documentation

anonymous enum
 

Enumeration values:
EOF_ 
UPPER 
LOWER 
DIGIT 
SPECIAL 
WHITE 
INITIALCHAR 
WORDCHAR 
CHARACTER 
TICK 
WORD 
STRING 
VARIABLE 
FIGURE 
NUMBER 
EXPONENT 
QUOTE 
SKIP_RULE 
COMMENT_LINE 
LPAR 
RPAR 
LESS 
MORE 
LESSEQ 
GEQ 
IMPLY 
EQUIVALENCE 
LITERAL_equal 
LITERAL_not 
LITERAL_and 
LITERAL_or 
LITERAL_forall 
LITERAL_exists 
LETTER 
NAME 
START_TAG 
START_OF_END_TAG 
END_OF_TAG 
END_OF_EMPTY_TAG 
EQ 
COMMENT 
LITERAL_query 
LITERAL_assertion 
LITERAL_bye 
NULL_TREE_LOOKAHEAD 


The documentation for this struct was generated from the following file:
Generated on Sat Jun 28 15:09:00 2003 for Vampire by doxygen 1.3.2