edu.toronto.cs.smv.parser
Class DDBuilder
java.lang.Object
antlr.TreeParser
edu.toronto.cs.smv.parser.DDBuilder
- All Implemented Interfaces:
- SMVParserTokenTypes
public class DDBuilder
- extends antlr.TreeParser
- implements SMVParserTokenTypes
Fields inherited from class antlr.TreeParser |
_retTree, astFactory, ASTNULL, inputState, returnAST, tokenNames, traceDepth |
Fields inherited from interface edu.toronto.cs.smv.parser.SMVParserTokenTypes |
AND, ASSIGN, ASSIGNOP, BOOLEQ, CASE, COL, COMMA, COMMENT, DEFINE, ENUMVAR, EOF, EQ, ESAC, IDENT, IMPLIES, INIT, IVAR, LBRACE, LPAREN, MODULE, NEG, NEWLINE, NEXT, NEXTENUMVAR, NEXTPROPVAR, NULL_TREE_LOOKAHEAD, ONE, OR, PROPVAR, RBRACE, RPAREN, SEMI, TRANS, UNION, VALEQ, VALUE, VAR, VARNAME, WS, ZERO |
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
DDBuilder
public DDBuilder(java.lang.Class _mvSetFactoryClass,
IAlgebra _alg)
DDBuilder
public DDBuilder()
initialize
public void initialize(int nvars)
getInit
public MvSet getInit()
getTrans
public MvSet getTrans()
getSymbolTable
public VariableTable getSymbolTable()
pgm
public final void pgm(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
ivarblock
public final void ivarblock(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
varblock
public final void varblock(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
vardecl
public final void vardecl(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
set
public final java.util.List set(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
init
public final MvSet init(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
next
public final MvSet next(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
predicate
public final MvSet predicate(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
astmt
public final MvSet astmt(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
kase
public final MvSet kase(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
aset
public final MvSet aset(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