edu.toronto.cs.smv.parser
Class FullDDBuilder

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

public class FullDDBuilder
extends antlr.TreeParser
implements FullSMVLexerTokenTypes


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.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
 
Constructor Summary
FullDDBuilder()
           
FullDDBuilder(MvSetFactory _factory, VariableTable _symbolTable)
           
 
Method Summary
 void assignBlock(antlr.collections.AST _t)
           
 void assignBody(antlr.collections.AST _t)
           
protected  java.lang.String atom(antlr.collections.AST _t)
           
 void defineBlock(antlr.collections.AST _t)
           
 void defineBody(antlr.collections.AST _t)
           
protected  java.util.Set enumSet(antlr.collections.AST _t)
           
 MvSet expression(antlr.collections.AST _t, VariableTable.Variable var)
           
 void initBlock(antlr.collections.AST _t)
           
 void moduleDecl(antlr.collections.AST _t)
           
protected  VariableTable.Variable simpleVariable(antlr.collections.AST _t)
           
 void transBlock(antlr.collections.AST _t)
           
protected  VariableTable.Variable variable(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

FullDDBuilder

public FullDDBuilder(MvSetFactory _factory,
                     VariableTable _symbolTable)

FullDDBuilder

public FullDDBuilder()
Method Detail

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