edu.toronto.cs.smv.parser
Class DDBuilder

java.lang.Object
  extended by antlr.TreeParser
      extended by edu.toronto.cs.smv.parser.DDBuilder
All Implemented Interfaces:
SMVParserTokenTypes

public class DDBuilder
extends antlr.TreeParser
implements SMVParserTokenTypes


Field Summary
static java.lang.String[] _tokenNames
           
 
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
 
Constructor Summary
DDBuilder()
           
DDBuilder(java.lang.Class _mvSetFactoryClass, IAlgebra _alg)
           
 
Method Summary
 MvSet aset(antlr.collections.AST _t)
           
 void assignblock(antlr.collections.AST _t)
           
 MvSet astmt(antlr.collections.AST _t)
           
 void defineblock(antlr.collections.AST _t)
           
 MvSet getInit()
           
 VariableTable getSymbolTable()
           
 MvSet getTrans()
           
 MvSet init(antlr.collections.AST _t)
           
 void initialize(int nvars)
           
 void ivarblock(antlr.collections.AST _t)
           
 MvSet kase(antlr.collections.AST _t)
           
 MvSet next(antlr.collections.AST _t)
           
 void pgm(antlr.collections.AST _t)
           
 MvSet predicate(antlr.collections.AST _t)
           
 java.util.List set(antlr.collections.AST _t)
           
 void transblock(antlr.collections.AST _t)
           
 void varblock(antlr.collections.AST _t)
           
 void vardecl(antlr.collections.AST _t)
           
 
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
 

Field Detail

_tokenNames

public static final java.lang.String[] _tokenNames
Constructor Detail

DDBuilder

public DDBuilder(java.lang.Class _mvSetFactoryClass,
                 IAlgebra _alg)

DDBuilder

public DDBuilder()
Method Detail

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