edu.toronto.cs.boolpg.parser
Class BoolProgramBuilder
java.lang.Object
antlr.TreeParser
edu.toronto.cs.boolpg.parser.BoolProgramBuilder
- All Implemented Interfaces:
- BoolProgramLexerTokenTypes
public class BoolProgramBuilder
- extends antlr.TreeParser
- implements BoolProgramLexerTokenTypes
Fields inherited from class antlr.TreeParser |
_retTree, astFactory, ASTNULL, inputState, returnAST, tokenNames, traceDepth |
Fields inherited from interface edu.toronto.cs.boolpg.parser.BoolProgramLexerTokenTypes |
AND, ASSIGNOP, ATOM, BOOL, CHOICE, COL, COMMA, COMMENT, DIGIT, DIV, ELSE, EOF, EQ, FALSE, FI, GOTO, ID, IF, IFF, IMPLIES, LBRACE, LPAREN, MINUS, MULT, NEG, NEWLINE, NULL_TREE_LOOKAHEAD, NUMBER, OR, PLUS, RBRACE, RPAREN, SEMI, SKIP, START, THEN, TRUE, UNKNOWN, 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
_tokenSet_0
public static final antlr.collections.impl.BitSet _tokenSet_0
BoolProgramBuilder
public BoolProgramBuilder(VariableTable _symbolTable,
java.util.Map _labelMap,
int size,
boolean _useHyperEdges)
BoolProgramBuilder
public BoolProgramBuilder()
getCFA
public CFA getCFA()
myBranch
public MvSet myBranch(MvSet cond)
iteBranch
public MvSet iteBranch(MvSet cond)
start
public final void start(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
cmdBlock
public final void cmdBlock(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
varDecl
public final MvSet varDecl(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
type
public final void type(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
varname
public final MvSet varname(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
boolConstant
public final MvSet boolConstant(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
string
public final java.lang.String string(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
line
public final void line(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
command
public final void command(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
label
public final java.lang.String label(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
atomicCommand
public final void atomicCommand(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
skip
public final void skip(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
ite
public final void ite(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
gotoCmd
public final int gotoCmd(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
choiceCmd
public final void choiceCmd(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
assign
public final MvSet assign(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
boolExpr
public final MvSet boolExpr(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
choiceLabel
protected final void choiceLabel(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
leafExpr
public final MvSet leafExpr(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException