edu.toronto.cs.boolpg.parser
Class BoolProgramBuilder

java.lang.Object
  extended by antlr.TreeParser
      extended by edu.toronto.cs.boolpg.parser.BoolProgramBuilder
All Implemented Interfaces:
BoolProgramLexerTokenTypes

public class BoolProgramBuilder
extends antlr.TreeParser
implements BoolProgramLexerTokenTypes


Field Summary
static java.lang.String[] _tokenNames
           
static antlr.collections.impl.BitSet _tokenSet_0
           
 
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
 
Constructor Summary
BoolProgramBuilder()
           
BoolProgramBuilder(VariableTable _symbolTable, java.util.Map _labelMap, int size, boolean _useHyperEdges)
           
 
Method Summary
 MvSet assign(antlr.collections.AST _t)
           
 void assignBlock(antlr.collections.AST _t)
           
 void atomicCommand(antlr.collections.AST _t)
           
 MvSet boolConstant(antlr.collections.AST _t)
           
 MvSet boolExpr(antlr.collections.AST _t)
           
 void choiceCmd(antlr.collections.AST _t)
           
protected  void choiceLabel(antlr.collections.AST _t)
           
 void cmdBlock(antlr.collections.AST _t)
           
 void command(antlr.collections.AST _t)
           
 CFA getCFA()
           
 int gotoCmd(antlr.collections.AST _t)
           
 void ite(antlr.collections.AST _t)
           
 MvSet iteBranch(MvSet cond)
           
 java.lang.String label(antlr.collections.AST _t)
           
 MvSet leafExpr(antlr.collections.AST _t)
           
 void line(antlr.collections.AST _t)
           
 MvSet myBranch(MvSet cond)
           
 void skip(antlr.collections.AST _t)
           
 void start(antlr.collections.AST _t)
           
 java.lang.String string(antlr.collections.AST _t)
           
 void type(antlr.collections.AST _t)
           
 void varBlock(antlr.collections.AST _t)
           
 MvSet varDecl(antlr.collections.AST _t)
           
 MvSet varname(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

_tokenSet_0

public static final antlr.collections.impl.BitSet _tokenSet_0
Constructor Detail

BoolProgramBuilder

public BoolProgramBuilder(VariableTable _symbolTable,
                          java.util.Map _labelMap,
                          int size,
                          boolean _useHyperEdges)

BoolProgramBuilder

public BoolProgramBuilder()
Method Detail

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