edu.toronto.cs.ctl.antlr
Class CTLParser
java.lang.Object
antlr.Parser
antlr.LLkParser
edu.toronto.cs.ctl.antlr.CTLParser
- All Implemented Interfaces:
- CTLLexerTokenTypes
public class CTLParser
- extends antlr.LLkParser
- implements CTLLexerTokenTypes
Fields inherited from class antlr.Parser |
astFactory, inputState, returnAST, tokenNames, tokenTypeToASTClassMap, traceDepth |
Fields inherited from interface edu.toronto.cs.ctl.antlr.CTLLexerTokenTypes |
AF, AG, AND, AX, CAPITAL, COL, COMMA, DIGIT, EF, EG, EOF, EQ, EX, FORALL, FORSOME, GEQ, IDENT, IFF, IMPLIED, IMPLIES, LBRACE, LEQ, LOWER, LPAREN, LSQPAREN, NEG, NEQ, NEWLINE, NULL_TREE_LOOKAHEAD, NUMBER, OR, PLACEHOLDER, RBRACE, RELEASE, RPAREN, RSQPAREN, SEMI, UNTIL, WEAK, WS |
Constructor Summary |
|
CTLParser(antlr.ParserSharedInputState state)
|
|
CTLParser(antlr.TokenBuffer tokenBuf)
|
protected |
CTLParser(antlr.TokenBuffer tokenBuf,
int k)
|
|
CTLParser(antlr.TokenStream lexer)
|
protected |
CTLParser(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, 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
CTLParser
protected CTLParser(antlr.TokenBuffer tokenBuf,
int k)
CTLParser
public CTLParser(antlr.TokenBuffer tokenBuf)
CTLParser
protected CTLParser(antlr.TokenStream lexer,
int k)
CTLParser
public CTLParser(antlr.TokenStream lexer)
CTLParser
public CTLParser(antlr.ParserSharedInputState state)
topLevel
public final void topLevel()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
ctlExpression
public final void ctlExpression()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
impliesExpression
public final void impliesExpression()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
orExpression
public final void orExpression()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
andExpression
public final void andExpression()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
modalExpression
public final void modalExpression()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
notExpression
public final void notExpression()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
untilExpression
public final void untilExpression()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
comparissonExpression
public final void comparissonExpression()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
basicExpression
public final void basicExpression()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
atomic
public final void atomic()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
placeholder
public final void placeholder()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
atomicSet
public final void atomicSet()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
buildTokenTypeASTClassMap
protected void buildTokenTypeASTClassMap()