edu.toronto.cs.smv.parser
Class SMVParser

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

public class SMVParser
extends antlr.LLkParser
implements SMVParserTokenTypes


Field Summary
static java.lang.String[] _tokenNames
           
static antlr.collections.impl.BitSet _tokenSet_0
           
 java.util.Set propVars
           
 java.util.List setList
           
 java.util.Set varnames
           
 
Fields inherited from class antlr.Parser
astFactory, inputState, returnAST, tokenNames, tokenTypeToASTClassMap, traceDepth
 
Fields inherited from interface edu.toronto.cs.smv.parser.SMVParserTokenTypes
AND, ASSIGN, ASSIGNOP, BOOLEQ, CASE, COL, COMMA, COMMENT, DEFINE, ENUMVAR, EOF, EQ, ESAC, IDENT, IMPLIES, INIT, IVAR, LBRACE, LPAREN, MODULE, NEG, NEWLINE, NEXT, NEXTENUMVAR, NEXTPROPVAR, NULL_TREE_LOOKAHEAD, ONE, OR, PROPVAR, RBRACE, RPAREN, SEMI, TRANS, UNION, VALEQ, VALUE, VAR, VARNAME, WS, ZERO
 
Constructor Summary
  SMVParser(antlr.ParserSharedInputState state)
           
  SMVParser(antlr.TokenBuffer tokenBuf)
           
protected SMVParser(antlr.TokenBuffer tokenBuf, int k)
           
  SMVParser(antlr.TokenStream lexer)
           
protected SMVParser(antlr.TokenStream lexer, int k)
           
 
Method Summary
 void addVarName(java.lang.String s)
           
 void andPred()
           
 void assignblock()
           
 void astmt()
           
 void atom()
           
protected  void buildTokenTypeASTClassMap()
           
 void cases()
           
 void defineblock()
           
 void definition()
           
 void elements()
           
 void eqPred()
           
 void impPred()
           
 void init()
           
 boolean isPropVar(java.lang.String s)
           
 boolean isVarName(java.lang.String s)
           
 void ivarblock()
           
 void kase()
           
 void mainmodule()
           
 void next()
           
 void orPred()
           
 void pgm()
           
 void pred()
           
 void predicate()
           
 void set()
           
 void setVarProp(java.lang.String s)
           
 void transblock()
           
 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

setList

public java.util.List setList

varnames

public java.util.Set varnames

propVars

public java.util.Set propVars

_tokenNames

public static final java.lang.String[] _tokenNames

_tokenSet_0

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

SMVParser

protected SMVParser(antlr.TokenBuffer tokenBuf,
                    int k)

SMVParser

public SMVParser(antlr.TokenBuffer tokenBuf)

SMVParser

protected SMVParser(antlr.TokenStream lexer,
                    int k)

SMVParser

public SMVParser(antlr.TokenStream lexer)

SMVParser

public SMVParser(antlr.ParserSharedInputState state)
Method Detail

addVarName

public void addVarName(java.lang.String s)

setVarProp

public void setVarProp(java.lang.String s)

isVarName

public boolean isVarName(java.lang.String s)

isPropVar

public boolean isPropVar(java.lang.String s)

pgm

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

mainmodule

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

varblock

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

assignblock

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

vardecl

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

set

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

elements

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

definition

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

predicate

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

pred

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

impPred

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

orPred

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

andPred

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

eqPred

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

init

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

next

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

astmt

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

kase

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

cases

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

buildTokenTypeASTClassMap

protected void buildTokenTypeASTClassMap()