edu.toronto.cs.ctl.antlr
Class CTLParser

java.lang.Object
  extended by antlr.Parser
      extended by antlr.LLkParser
          extended by edu.toronto.cs.ctl.antlr.CTLParser
All Implemented Interfaces:
CTLLexerTokenTypes

public class CTLParser
extends antlr.LLkParser
implements CTLLexerTokenTypes


Field Summary
static java.lang.String[] _tokenNames
           
 
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)
           
 
Method Summary
 void andExpression()
           
 void atomic()
           
 void atomicSet()
           
 void basicExpression()
           
protected  void buildTokenTypeASTClassMap()
           
 void comparissonExpression()
           
 void ctlExpression()
           
 void impliesExpression()
           
 void modalExpression()
           
 void notExpression()
           
 void orExpression()
           
 void placeholder()
           
 void topLevel()
           
 void untilExpression()
           
 
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
 

Field Detail

_tokenNames

public static final java.lang.String[] _tokenNames
Constructor Detail

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)
Method Detail

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()