edu.toronto.cs.smv.parser
Class FullDDBuilder
java.lang.Object
antlr.TreeParser
edu.toronto.cs.smv.parser.FullDDBuilder
- All Implemented Interfaces:
- FullSMVLexerTokenTypes
public class FullDDBuilder
- extends antlr.TreeParser
- implements FullSMVLexerTokenTypes
Fields inherited from class antlr.TreeParser |
_retTree, astFactory, ASTNULL, inputState, returnAST, tokenNames, traceDepth |
Fields inherited from interface edu.toronto.cs.smv.parser.FullSMVLexerTokenTypes |
AND, ASSIGN, ASSIGNOP, ATOM, BOOLEAN, CAPITAL_INIT, CASE, COL, COMMA, COMMENT, DEFINE, DIGIT, DIV, EOF, EQ, ESAC, FALSE, GEQ, GT, IFF, IMPLIES, INIT, INVAR, ISA, IVAR, LBRACE, LEQ, LPAREN, LT, MINUS, MOD, MODULE, MULT, NEG, NEQ, NEWLINE, NEXT, NULL_TREE_LOOKAHEAD, NUMBER, OR, PLUS, RBRACE, RPAREN, SEMI, TRANS, TRUE, UNION, VAR, VARNAME, WS, XOR |
Methods inherited from class antlr.TreeParser |
getAST, getASTFactory, getTokenName, getTokenNames, match, match, matchNot, panic, reportError, reportError, reportWarning, setASTFactory, setASTNodeClass, setASTNodeType, traceIn, traceIndent, traceOut |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
_tokenNames
public static final java.lang.String[] _tokenNames
FullDDBuilder
public FullDDBuilder(MvSetFactory _factory,
VariableTable _symbolTable)
FullDDBuilder
public FullDDBuilder()
moduleDecl
public final void moduleDecl(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
atom
protected final java.lang.String atom(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
defineBlock
public final void defineBlock(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
assignBlock
public final void assignBlock(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
transBlock
public final void transBlock(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
initBlock
public final void initBlock(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
defineBody
public final void defineBody(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
expression
public final MvSet expression(antlr.collections.AST _t,
VariableTable.Variable var)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
assignBody
public final void assignBody(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
simpleVariable
protected final VariableTable.Variable simpleVariable(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
variable
protected final VariableTable.Variable variable(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
enumSet
protected final java.util.Set enumSet(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException