edu.toronto.cs.smv.parser
Class FullSMVParser

java.lang.Object
  extended by antlr.Parser
      extended by antlr.LLkParser
          extended by edu.toronto.cs.smv.parser.FullSMVParser
All Implemented Interfaces:
FullSMVLexerTokenTypes

public class FullSMVParser
extends antlr.LLkParser
implements FullSMVLexerTokenTypes


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.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
  FullSMVParser(antlr.ParserSharedInputState state)
           
  FullSMVParser(antlr.TokenBuffer tokenBuf)
           
protected FullSMVParser(antlr.TokenBuffer tokenBuf, int k)
           
  FullSMVParser(antlr.TokenStream lexer)
           
protected FullSMVParser(antlr.TokenStream lexer, int k)
           
 
Method Summary
 void andExpr(boolean isNext)
           
 void assignBlock()
           
 void assignBody()
           
 void atom()
           
protected  java.lang.String atomValued()
           
 void basicExpr(boolean isNext)
           
 void boolConstant()
           
protected  void buildTokenTypeASTClassMap()
           
protected  void caseBody(boolean isNext)
           
 void caseExpr(boolean isNext)
           
 void comparisonExpr(boolean isNext)
           
 void defineBlock()
           
 void defineBody()
           
 VariableTable getSymbolTable()
           
 void iffExpr(boolean isNext)
           
 void implExpr(boolean isNext)
           
 void initBlock()
           
 void invarBlock()
           
 void isaDecl()
           
 void ivarBlock()
           
protected  void maybeVarName(boolean isNext)
           
 void modExpr(boolean isNext)
           
 void moduleDecl()
           
 void multExpr(boolean isNext)
           
 void negExpr(boolean isNext)
           
 void nextExpr(boolean isNext)
           
 void number()
           
protected  java.lang.String numberValued()
           
 void orExpr(boolean isNext)
           
 void setElement()
           
 void setExpr()
           
 void simpleExpr()
           
protected  void simpleExprPrivate(boolean isNext)
           
 void start()
           
 void sumExpr(boolean isNext)
           
protected  void textOrNumber()
           
protected  java.lang.String textOrNumberValued()
           
 java.util.Set textSet()
           
 void transBlock()
           
 java.lang.Object type()
           
 void varBlock()
           
 void varDecl()
           
 
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, recover, 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

FullSMVParser

protected FullSMVParser(antlr.TokenBuffer tokenBuf,
                        int k)

FullSMVParser

public FullSMVParser(antlr.TokenBuffer tokenBuf)

FullSMVParser

protected FullSMVParser(antlr.TokenStream lexer,
                        int k)

FullSMVParser

public FullSMVParser(antlr.TokenStream lexer)

FullSMVParser

public FullSMVParser(antlr.ParserSharedInputState state)
Method Detail

getSymbolTable

public VariableTable getSymbolTable()

simpleExpr

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

simpleExprPrivate

protected final void simpleExprPrivate(boolean isNext)
                                throws antlr.RecognitionException,
                                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

implExpr

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

setExpr

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

caseExpr

public final void caseExpr(boolean isNext)
                    throws antlr.RecognitionException,
                           antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

iffExpr

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

orExpr

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

andExpr

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

negExpr

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

comparisonExpr

public final void comparisonExpr(boolean isNext)
                          throws antlr.RecognitionException,
                                 antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

modExpr

public final void modExpr(boolean isNext)
                   throws antlr.RecognitionException,
                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

sumExpr

public final void sumExpr(boolean isNext)
                   throws antlr.RecognitionException,
                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

multExpr

public final void multExpr(boolean isNext)
                    throws antlr.RecognitionException,
                           antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

basicExpr

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

maybeVarName

protected final void maybeVarName(boolean isNext)
                           throws antlr.RecognitionException,
                                  antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

number

public final void number()
                  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

nextExpr

public final void nextExpr(boolean isNext)
                    throws antlr.RecognitionException,
                           antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

atomValued

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

numberValued

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

atom

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

setElement

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

textOrNumber

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

caseBody

protected final void caseBody(boolean isNext)
                       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

varDecl

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

ivarBlock

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

type

public final java.lang.Object type()
                            throws antlr.RecognitionException,
                                   antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

textSet

public final java.util.Set textSet()
                            throws antlr.RecognitionException,
                                   antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

textOrNumberValued

protected final java.lang.String textOrNumberValued()
                                             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

assignBody

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

transBlock

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

initBlock

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

invarBlock

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

defineBlock

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

defineBody

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

isaDecl

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

moduleDecl

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

start

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

buildTokenTypeASTClassMap

protected void buildTokenTypeASTClassMap()