edu.toronto.cs.smv.parser
Interface FullSMVLexerTokenTypes

All Known Implementing Classes:
FullDDBuilder, FullSMVLexer, FullSMVParser

public interface FullSMVLexerTokenTypes


Field Summary
static int AND
           
static int ASSIGN
           
static int ASSIGNOP
           
static int ATOM
           
static int BOOLEAN
           
static int CAPITAL_INIT
           
static int CASE
           
static int COL
           
static int COMMA
           
static int COMMENT
           
static int DEFINE
           
static int DIGIT
           
static int DIV
           
static int EOF
           
static int EQ
           
static int ESAC
           
static int FALSE
           
static int GEQ
           
static int GT
           
static int IFF
           
static int IMPLIES
           
static int INIT
           
static int INVAR
           
static int ISA
           
static int IVAR
           
static int LBRACE
           
static int LEQ
           
static int LPAREN
           
static int LT
           
static int MINUS
           
static int MOD
           
static int MODULE
           
static int MULT
           
static int NEG
           
static int NEQ
           
static int NEWLINE
           
static int NEXT
           
static int NULL_TREE_LOOKAHEAD
           
static int NUMBER
           
static int OR
           
static int PLUS
           
static int RBRACE
           
static int RPAREN
           
static int SEMI
           
static int TRANS
           
static int TRUE
           
static int UNION
           
static int VAR
           
static int VARNAME
           
static int WS
           
static int XOR
           
 

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

ASSIGNOP

static final int ASSIGNOP
See Also:
Constant Field Values

IMPLIES

static final int IMPLIES
See Also:
Constant Field Values

EQ

static final int EQ
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

LBRACE

static final int LBRACE
See Also:
Constant Field Values

RBRACE

static final int RBRACE
See Also:
Constant Field Values

COMMA

static final int COMMA
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

MULT

static final int MULT
See Also:
Constant Field Values

DIV

static final int DIV
See Also:
Constant Field Values

VARNAME

static final int VARNAME
See Also:
Constant Field Values

ATOM

static final int ATOM
See Also:
Constant Field Values

DIGIT

static final int DIGIT
See Also:
Constant Field Values

NUMBER

static final int NUMBER
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

COMMENT

static final int COMMENT
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

TRANS

static final int TRANS
See Also:
Constant Field Values

UNION

static final int UNION
See Also:
Constant Field Values

NEXT

static final int NEXT
See Also:
Constant Field Values

VAR

static final int VAR
See Also:
Constant Field Values

IVAR

static final int IVAR
See Also:
Constant Field Values

ASSIGN

static final int ASSIGN
See Also:
Constant Field Values

MODULE

static final int MODULE
See Also:
Constant Field Values

CASE

static final int CASE
See Also:
Constant Field Values

ESAC

static final int ESAC
See Also:
Constant Field Values

INIT

static final int INIT
See Also:
Constant Field Values

CAPITAL_INIT

static final int CAPITAL_INIT
See Also:
Constant Field Values

DEFINE

static final int DEFINE
See Also:
Constant Field Values

TRUE

static final int TRUE
See Also:
Constant Field Values

FALSE

static final int FALSE
See Also:
Constant Field Values

BOOLEAN

static final int BOOLEAN
See Also:
Constant Field Values

IFF

static final int IFF
See Also:
Constant Field Values

XOR

static final int XOR
See Also:
Constant Field Values

NEQ

static final int NEQ
See Also:
Constant Field Values

LT

static final int LT
See Also:
Constant Field Values

GT

static final int GT
See Also:
Constant Field Values

LEQ

static final int LEQ
See Also:
Constant Field Values

GEQ

static final int GEQ
See Also:
Constant Field Values

MOD

static final int MOD
See Also:
Constant Field Values

INVAR

static final int INVAR
See Also:
Constant Field Values

ISA

static final int ISA
See Also:
Constant Field Values