edu.toronto.cs.boolpg.parser
Class BoolProgramParser

java.lang.Object
  extended by antlr.Parser
      extended by antlr.LLkParser
          extended by edu.toronto.cs.boolpg.parser.BoolProgramParser
All Implemented Interfaces:
BoolProgramLexerTokenTypes

public class BoolProgramParser
extends antlr.LLkParser
implements BoolProgramLexerTokenTypes


Field Summary
static java.lang.String[] _tokenNames
           
static antlr.collections.impl.BitSet _tokenSet_0
           
static antlr.collections.impl.BitSet _tokenSet_1
           
 
Fields inherited from class antlr.Parser
astFactory, inputState, returnAST, tokenNames, tokenTypeToASTClassMap, 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
  BoolProgramParser(antlr.ParserSharedInputState state)
           
  BoolProgramParser(antlr.TokenBuffer tokenBuf)
           
protected BoolProgramParser(antlr.TokenBuffer tokenBuf, int k)
           
  BoolProgramParser(antlr.TokenStream lexer)
           
protected BoolProgramParser(antlr.TokenStream lexer, int k)
           
 
Method Summary
 void andExpr()
           
 void assign()
           
 void assignBlock()
           
protected  void assignment()
           
 void atomicCommand()
           
 void basicExpr()
           
 void boolConstant()
           
 void boolExpr()
           
protected  void buildTokenTypeASTClassMap()
           
 void choiceCmd()
           
 void cmdBlock()
           
 void command()
           
 java.util.Map getLabelMap()
           
 VariableTable getSymbolTable()
           
 void gotoCmd()
           
 void iffExpr()
           
 void implExpr()
           
 void ite()
           
 void iteBody()
           
 void label()
           
protected  java.lang.String labelValued()
           
protected  void leafExpr()
           
 void line()
           
 void negExpr()
           
 void orExpr()
           
 int size()
           
 void skip()
           
 void start()
           
 void type()
           
 void varBlock()
           
 void varDecl()
           
 void varname()
           
protected  java.lang.String varnameStr()
           
 
Methods inherited from class antlr.LLkParser
consume, LA, LT, traceIn, traceOut
 
Methods inherited from class antlr.Parser
addMessageListener, addParserListener, addParserMatchListener, addParserTokenListener, addSemanticPredicateListener, addSyntacticPredicateListener, addTraceListener, consumeUntil, consumeUntil, defaultDebuggingSetup, getAST, getASTFactory, getFilename, getInputState, getTokenName, getTokenNames, getTokenTypeToASTClassMap, isDebugMode, mark, match, match, matchNot, panic, removeMessageListener, removeParserListener, removeParserMatchListener, removeParserTokenListener, removeSemanticPredicateListener, removeSyntacticPredicateListener, removeTraceListener, reportError, reportError, reportWarning, rewind, setASTFactory, setASTNodeClass, setASTNodeType, setDebugMode, setFilename, setIgnoreInvalidDebugCalls, setInputState, setTokenBuffer, traceIndent
 
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

_tokenSet_1

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

BoolProgramParser

protected BoolProgramParser(antlr.TokenBuffer tokenBuf,
                            int k)

BoolProgramParser

public BoolProgramParser(antlr.TokenBuffer tokenBuf)

BoolProgramParser

protected BoolProgramParser(antlr.TokenStream lexer,
                            int k)

BoolProgramParser

public BoolProgramParser(antlr.TokenStream lexer)

BoolProgramParser

public BoolProgramParser(antlr.ParserSharedInputState state)
Method Detail

getSymbolTable

public VariableTable getSymbolTable()

size

public int size()

getLabelMap

public java.util.Map getLabelMap()

start

public final void start()
                 throws antlr.RecognitionException,
                        antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

varBlock

public final void varBlock()
                    throws antlr.RecognitionException,
                           antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

cmdBlock

public final void cmdBlock()
                    throws antlr.RecognitionException,
                           antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

varDecl

public final void varDecl()
                   throws antlr.RecognitionException,
                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

type

public final void type()
                throws antlr.RecognitionException,
                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

varnameStr

protected final java.lang.String varnameStr()
                                     throws antlr.RecognitionException,
                                            antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

boolConstant

public final void boolConstant()
                        throws antlr.RecognitionException,
                               antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

varname

public final void varname()
                   throws antlr.RecognitionException,
                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

line

public final void line()
                throws antlr.RecognitionException,
                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

labelValued

protected final java.lang.String labelValued()
                                      throws antlr.RecognitionException,
                                             antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

command

public final void command()
                   throws antlr.RecognitionException,
                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

label

public final void label()
                 throws antlr.RecognitionException,
                        antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

atomicCommand

public final void atomicCommand()
                         throws antlr.RecognitionException,
                                antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

assignBlock

public final void assignBlock()
                       throws antlr.RecognitionException,
                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

skip

public final void skip()
                throws antlr.RecognitionException,
                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

ite

public final void ite()
               throws antlr.RecognitionException,
                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

gotoCmd

public final void gotoCmd()
                   throws antlr.RecognitionException,
                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

choiceCmd

public final void choiceCmd()
                     throws antlr.RecognitionException,
                            antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

assign

public final void assign()
                  throws antlr.RecognitionException,
                         antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

assignment

protected final void assignment()
                         throws antlr.RecognitionException,
                                antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

boolExpr

public final void boolExpr()
                    throws antlr.RecognitionException,
                           antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

iteBody

public final void iteBody()
                   throws antlr.RecognitionException,
                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

implExpr

public final void implExpr()
                    throws antlr.RecognitionException,
                           antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

iffExpr

public final void iffExpr()
                   throws antlr.RecognitionException,
                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

orExpr

public final void orExpr()
                  throws antlr.RecognitionException,
                         antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

andExpr

public final void andExpr()
                   throws antlr.RecognitionException,
                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

negExpr

public final void negExpr()
                   throws antlr.RecognitionException,
                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

basicExpr

public final void basicExpr()
                     throws antlr.RecognitionException,
                            antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

leafExpr

protected final void leafExpr()
                       throws antlr.RecognitionException,
                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

buildTokenTypeASTClassMap

protected void buildTokenTypeASTClassMap()