edu.toronto.cs.ctl.antlr
Interface CTLLexerTokenTypes
- All Known Implementing Classes:
- CTLLexer, CTLParser, CTLTreeBuilder
public interface CTLLexerTokenTypes
EOF
static final int EOF
- See Also:
- Constant Field Values
NULL_TREE_LOOKAHEAD
static final int NULL_TREE_LOOKAHEAD
- See Also:
- Constant Field Values
LPAREN
static final int LPAREN
- See Also:
- Constant Field Values
RPAREN
static final int RPAREN
- See Also:
- Constant Field Values
LBRACE
static final int LBRACE
- See Also:
- Constant Field Values
RBRACE
static final int RBRACE
- See Also:
- Constant Field Values
LSQPAREN
static final int LSQPAREN
- See Also:
- Constant Field Values
RSQPAREN
static final int RSQPAREN
- See Also:
- Constant Field Values
IMPLIES
static final int IMPLIES
- See Also:
- Constant Field Values
IMPLIED
static final int IMPLIED
- See Also:
- Constant Field Values
IFF
static final int IFF
- See Also:
- Constant Field Values
EQ
static final int EQ
- See Also:
- Constant Field Values
GEQ
static final int GEQ
- See Also:
- Constant Field Values
LEQ
static final int LEQ
- See Also:
- Constant Field Values
NEQ
static final int NEQ
- See Also:
- Constant Field Values
OR
static final int OR
- See Also:
- Constant Field Values
AND
static final int AND
- See Also:
- Constant Field Values
NEG
static final int NEG
- See Also:
- Constant Field Values
NUMBER
static final int NUMBER
- See Also:
- Constant Field Values
DIGIT
static final int DIGIT
- See Also:
- Constant Field Values
CAPITAL
static final int CAPITAL
- See Also:
- Constant Field Values
LOWER
static final int LOWER
- See Also:
- Constant Field Values
COMMA
static final int COMMA
- See Also:
- Constant Field Values
PLACEHOLDER
static final int PLACEHOLDER
- See Also:
- Constant Field Values
IDENT
static final int IDENT
- See Also:
- Constant Field Values
COL
static final int COL
- See Also:
- Constant Field Values
SEMI
static final int SEMI
- See Also:
- Constant Field Values
WS
static final int WS
- See Also:
- Constant Field Values
NEWLINE
static final int NEWLINE
- See Also:
- Constant Field Values
FORALL
static final int FORALL
- See Also:
- Constant Field Values
FORSOME
static final int FORSOME
- See Also:
- Constant Field Values
UNTIL
static final int UNTIL
- See Also:
- Constant Field Values
RELEASE
static final int RELEASE
- See Also:
- Constant Field Values
WEAK
static final int WEAK
- See Also:
- Constant Field Values
AX
static final int AX
- See Also:
- Constant Field Values
EX
static final int EX
- See Also:
- Constant Field Values
EF
static final int EF
- See Also:
- Constant Field Values
EG
static final int EG
- See Also:
- Constant Field Values
AF
static final int AF
- See Also:
- Constant Field Values
AG
static final int AG
- See Also:
- Constant Field Values