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