edu.toronto.cs.smv.parser
Interface SMVParserTokenTypes

All Known Implementing Classes:
DDBuilder, SMVLexer, SMVParser

public interface SMVParserTokenTypes


Field Summary
static int AND
           
static int ASSIGN
           
static int ASSIGNOP
           
static int BOOLEQ
           
static int CASE
           
static int COL
           
static int COMMA
           
static int COMMENT
           
static int DEFINE
           
static int ENUMVAR
           
static int EOF
           
static int EQ
           
static int ESAC
           
static int IDENT
           
static int IMPLIES
           
static int INIT
           
static int IVAR
           
static int LBRACE
           
static int LPAREN
           
static int MODULE
           
static int NEG
           
static int NEWLINE
           
static int NEXT
           
static int NEXTENUMVAR
           
static int NEXTPROPVAR
           
static int NULL_TREE_LOOKAHEAD
           
static int ONE
           
static int OR
           
static int PROPVAR
           
static int RBRACE
           
static int RPAREN
           
static int SEMI
           
static int TRANS
           
static int UNION
           
static int VALEQ
           
static int VALUE
           
static int VAR
           
static int VARNAME
           
static int WS
           
static int ZERO
           
 

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

TRANS

static final int TRANS
See Also:
Constant Field Values

VALUE

static final int VALUE
See Also:
Constant Field Values

PROPVAR

static final int PROPVAR
See Also:
Constant Field Values

ENUMVAR

static final int ENUMVAR
See Also:
Constant Field Values

ZERO

static final int ZERO
See Also:
Constant Field Values

ONE

static final int ONE
See Also:
Constant Field Values

NEXTPROPVAR

static final int NEXTPROPVAR
See Also:
Constant Field Values

NEXTENUMVAR

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

BOOLEQ

static final int BOOLEQ
See Also:
Constant Field Values

VALEQ

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

DEFINE

static final int DEFINE
See Also:
Constant Field Values

VARNAME

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

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

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

LPAREN

static final int LPAREN
See Also:
Constant Field Values

RPAREN

static final int RPAREN
See Also:
Constant Field Values

IDENT

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