edu.toronto.cs.ctl.antlr
Interface CTLLexerTokenTypes

All Known Implementing Classes:
CTLLexer, CTLParser, CTLTreeBuilder

public interface CTLLexerTokenTypes


Field Summary
static int AF
           
static int AG
           
static int AND
           
static int AX
           
static int CAPITAL
           
static int COL
           
static int COMMA
           
static int DIGIT
           
static int EF
           
static int EG
           
static int EOF
           
static int EQ
           
static int EX
           
static int FORALL
           
static int FORSOME
           
static int GEQ
           
static int IDENT
           
static int IFF
           
static int IMPLIED
           
static int IMPLIES
           
static int LBRACE
           
static int LEQ
           
static int LOWER
           
static int LPAREN
           
static int LSQPAREN
           
static int NEG
           
static int NEQ
           
static int NEWLINE
           
static int NULL_TREE_LOOKAHEAD
           
static int NUMBER
           
static int OR
           
static int PLACEHOLDER
           
static int RBRACE
           
static int RELEASE
           
static int RPAREN
           
static int RSQPAREN
           
static int SEMI
           
static int UNTIL
           
static int WEAK
           
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

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