fmrisc.Proving.CVCL
Interface CVCLParserTokenTypes

All Known Implementing Classes:
CVCLLexer, CVCLParser

public interface CVCLParserTokenTypes


Field Summary
static int ARROW
           
static int ASSIGNMENT
           
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
           
 

Field Detail

EOF

static final int EOF
See Also:
Constant Field Values

NULL_TREE_LOOKAHEAD

static final int NULL_TREE_LOOKAHEAD
See Also:
Constant Field Values

IDENT

static final int IDENT
See Also:
Constant Field Values

LITERAL_TYPE

static final int LITERAL_TYPE
See Also:
Constant Field Values

LITERAL_BOOLEAN

static final int LITERAL_BOOLEAN
See Also:
Constant Field Values

LITERAL_INT

static final int LITERAL_INT
See Also:
Constant Field Values

LITERAL_REAL

static final int LITERAL_REAL
See Also:
Constant Field Values

LITERAL_ARRAY

static final int LITERAL_ARRAY
See Also:
Constant Field Values

LITERAL_OF

static final int LITERAL_OF
See Also:
Constant Field Values

LITERAL_SUBTYPE

static final int LITERAL_SUBTYPE
See Also:
Constant Field Values

LITERAL_LET

static final int LITERAL_LET
See Also:
Constant Field Values

LITERAL_IN

static final int LITERAL_IN
See Also:
Constant Field Values

LITERAL_LAMBDA

static final int LITERAL_LAMBDA
See Also:
Constant Field Values

LITERAL_FORALL

static final int LITERAL_FORALL
See Also:
Constant Field Values

LITERAL_EXISTS

static final int LITERAL_EXISTS
See Also:
Constant Field Values

LITERAL_XOR

static final int LITERAL_XOR
See Also:
Constant Field Values

LITERAL_OR

static final int LITERAL_OR
See Also:
Constant Field Values

LITERAL_AND

static final int LITERAL_AND
See Also:
Constant Field Values

LITERAL_NOT

static final int LITERAL_NOT
See Also:
Constant Field Values

LITERAL_WITH

static final int LITERAL_WITH
See Also:
Constant Field Values

NUMBER

static final int NUMBER
See Also:
Constant Field Values

LITERAL_TRUE

static final int LITERAL_TRUE
See Also:
Constant Field Values

LITERAL_FALSE

static final int LITERAL_FALSE
See Also:
Constant Field Values

LITERAL_IF

static final int LITERAL_IF
See Also:
Constant Field Values

LITERAL_THEN

static final int LITERAL_THEN
See Also:
Constant Field Values

LITERAL_ELSIF

static final int LITERAL_ELSIF
See Also:
Constant Field Values

LITERAL_ELSE

static final int LITERAL_ELSE
See Also:
Constant Field Values

LITERAL_ENDIF

static final int LITERAL_ENDIF
See Also:
Constant Field Values

IGNORE

static final int IGNORE
See Also:
Constant Field Values

LPAR

static final int LPAR
See Also:
Constant Field Values

RPAR

static final int RPAR
See Also:
Constant Field Values

LBRACK

static final int LBRACK
See Also:
Constant Field Values

RBRACK

static final int RBRACK
See Also:
Constant Field Values

LPARGRID

static final int LPARGRID
See Also:
Constant Field Values

RPARGRID

static final int RPARGRID
See Also:
Constant Field Values

LBRACKGRID

static final int LBRACKGRID
See Also:
Constant Field Values

RBRACKGRID

static final int RBRACKGRID
See Also:
Constant Field Values

PERIOD

static final int PERIOD
See Also:
Constant Field Values

COLON

static final int COLON
See Also:
Constant Field Values

SEMICOLON

static final int SEMICOLON
See Also:
Constant Field Values

COMMA

static final int COMMA
See Also:
Constant Field Values

ASSIGNMENT

static final int ASSIGNMENT
See Also:
Constant Field Values

EQUALITY

static final int EQUALITY
See Also:
Constant Field Values

NONEQUALITY

static final int NONEQUALITY
See Also:
Constant Field Values

LESS

static final int LESS
See Also:
Constant Field Values

LESSEQ

static final int LESSEQ
See Also:
Constant Field Values

GREATER

static final int GREATER
See Also:
Constant Field Values

GREATEREQ

static final int GREATEREQ
See Also:
Constant Field Values

PLUS

static final int PLUS
See Also:
Constant Field Values

MINUS

static final int MINUS
See Also:
Constant Field Values

TIMES

static final int TIMES
See Also:
Constant Field Values

DIVIDES

static final int DIVIDES
See Also:
Constant Field Values

POWER

static final int POWER
See Also:
Constant Field Values

IMPLIES

static final int IMPLIES
See Also:
Constant Field Values

EQUIV

static final int EQUIV
See Also:
Constant Field Values

ARROW

static final int ARROW
See Also:
Constant Field Values

DOTDOT

static final int DOTDOT
See Also:
Constant Field Values

LETTER

static final int LETTER
See Also:
Constant Field Values

DIGIT

static final int DIGIT
See Also:
Constant Field Values

WS

static final int WS
See Also:
Constant Field Values

EOL

static final int EOL
See Also:
Constant Field Values

COMMENT

static final int COMMENT
See Also:
Constant Field Values