edu.toronto.cs.smv.parser
Class SMVParser
java.lang.Object
antlr.Parser
antlr.LLkParser
edu.toronto.cs.smv.parser.SMVParser
- All Implemented Interfaces:
- SMVParserTokenTypes
public class SMVParser
- extends antlr.LLkParser
- implements SMVParserTokenTypes
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)
|
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 |
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
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)
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()