public interface CVCLParserTokenTypes
Modifier and Type | Field and Description |
---|---|
static int |
ARROW |
static int |
ASSIGNMENT |
static int |
BIT |
static int |
BITAND |
static int |
BITFALSE |
static int |
BITNOT |
static int |
BITOR |
static int |
BITTRUE |
static int |
COLON |
static int |
COMMA |
static int |
COMMENT |
static int |
DIGIT |
static int |
DIVIDES |
static int |
DOTDOT |
static int |
EOF |
static int |
EOL |
static int |
EQUALITY |
static int |
EQUIV |
static int |
GREATER |
static int |
GREATEREQ |
static int |
IDENT |
static int |
IGNORE |
static int |
IMPLIES |
static int |
LBRACK |
static int |
LBRACKGRID |
static int |
LESS |
static int |
LESSEQ |
static int |
LETTER |
static int |
LITERAL_AND |
static int |
LITERAL_ARRAY |
static int |
LITERAL_BOOLEAN |
static int |
LITERAL_ELSE |
static int |
LITERAL_ELSIF |
static int |
LITERAL_ENDIF |
static int |
LITERAL_EXISTS |
static int |
LITERAL_FALSE |
static int |
LITERAL_FORALL |
static int |
LITERAL_IF |
static int |
LITERAL_IN |
static int |
LITERAL_INT |
static int |
LITERAL_LAMBDA |
static int |
LITERAL_LET |
static int |
LITERAL_NOT |
static int |
LITERAL_OF |
static int |
LITERAL_OR |
static int |
LITERAL_REAL |
static int |
LITERAL_SUBTYPE |
static int |
LITERAL_THEN |
static int |
LITERAL_TRUE |
static int |
LITERAL_TYPE |
static int |
LITERAL_WITH |
static int |
LITERAL_XOR |
static int |
LPAR |
static int |
LPARGRID |
static int |
MINUS |
static int |
NONEQUALITY |
static int |
NULL_TREE_LOOKAHEAD |
static int |
NUMBER |
static int |
PERIOD |
static int |
PLUS |
static int |
POWER |
static int |
RBRACK |
static int |
RBRACKGRID |
static int |
RPAR |
static int |
RPARGRID |
static int |
SEMICOLON |
static int |
TIMES |
static int |
WS |
static final int EOF
static final int NULL_TREE_LOOKAHEAD
static final int IDENT
static final int LITERAL_TYPE
static final int LITERAL_BOOLEAN
static final int LITERAL_INT
static final int LITERAL_REAL
static final int LITERAL_ARRAY
static final int LITERAL_OF
static final int LITERAL_SUBTYPE
static final int LITERAL_LET
static final int LITERAL_IN
static final int LITERAL_LAMBDA
static final int LITERAL_FORALL
static final int LITERAL_EXISTS
static final int LITERAL_XOR
static final int LITERAL_OR
static final int LITERAL_AND
static final int LITERAL_NOT
static final int LITERAL_WITH
static final int NUMBER
static final int LITERAL_TRUE
static final int LITERAL_FALSE
static final int LITERAL_IF
static final int LITERAL_THEN
static final int LITERAL_ELSIF
static final int LITERAL_ELSE
static final int LITERAL_ENDIF
static final int IGNORE
static final int LPAR
static final int RPAR
static final int LBRACK
static final int RBRACK
static final int LPARGRID
static final int RPARGRID
static final int LBRACKGRID
static final int RBRACKGRID
static final int PERIOD
static final int COLON
static final int SEMICOLON
static final int COMMA
static final int ASSIGNMENT
static final int EQUALITY
static final int NONEQUALITY
static final int LESS
static final int LESSEQ
static final int GREATER
static final int GREATEREQ
static final int PLUS
static final int MINUS
static final int BITOR
static final int TIMES
static final int DIVIDES
static final int BITAND
static final int POWER
static final int BITNOT
static final int IMPLIES
static final int EQUIV
static final int ARROW
static final int DOTDOT
static final int BIT
static final int BITTRUE
static final int BITFALSE
static final int LETTER
static final int DIGIT
static final int WS
static final int EOL
static final int COMMENT