edu.toronto.cs.ctl.antlr
Class CTLTreeBuilder

java.lang.Object
  extended by antlr.TreeParser
      extended by edu.toronto.cs.ctl.antlr.CTLTreeBuilder
All Implemented Interfaces:
CTLLexerTokenTypes

public class CTLTreeBuilder
extends antlr.TreeParser
implements CTLLexerTokenTypes


Field Summary
static java.lang.String[] _tokenNames
           
 
Fields inherited from class antlr.TreeParser
_retTree, astFactory, ASTNULL, inputState, returnAST, tokenNames, 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
CTLTreeBuilder()
           
CTLTreeBuilder(CTLNode[] _fairness)
           
 
Method Summary
 CTLNode afExpression(antlr.collections.AST _t)
           
 CTLNode agExpression(antlr.collections.AST _t)
           
 CTLNode andExpression(antlr.collections.AST _t)
           
 CTLAtomPropNode atomic(antlr.collections.AST _t)
           
 java.util.Set atomicSet(antlr.collections.AST _t)
           
 CTLNode axExpression(antlr.collections.AST _t)
           
 CTLNode comparissonExpression(antlr.collections.AST _t)
           
 CTLNode ctlTree(antlr.collections.AST _t)
           
 CTLNode efExpression(antlr.collections.AST _t)
           
 CTLNode egExpression(antlr.collections.AST _t)
           
 CTLNode eqExpression(antlr.collections.AST _t)
           
 CTLNode exExpression(antlr.collections.AST _t)
           
 CTLNode forallUntil(antlr.collections.AST _t)
           
 CTLNode forsomeUntil(antlr.collections.AST _t)
           
 CTLNode geqExpression(antlr.collections.AST _t)
           
 CTLNode impliesExpression(antlr.collections.AST _t)
           
 CTLNode leqExpression(antlr.collections.AST _t)
           
 CTLNode modalExpression(antlr.collections.AST _t)
           
 CTLNode neqExpression(antlr.collections.AST _t)
           
 CTLNode notExpression(antlr.collections.AST _t)
           
 CTLNode orExpression(antlr.collections.AST _t)
           
 CTLNode placeholder(antlr.collections.AST _t)
           
 CTLNode untillReleaseExpression(antlr.collections.AST _t)
           
 
Methods inherited from class antlr.TreeParser
getAST, getASTFactory, getTokenName, getTokenNames, match, match, matchNot, panic, reportError, reportError, reportWarning, setASTFactory, setASTNodeClass, setASTNodeType, traceIn, traceIndent, traceOut
 
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

CTLTreeBuilder

public CTLTreeBuilder(CTLNode[] _fairness)

CTLTreeBuilder

public CTLTreeBuilder()
Method Detail

ctlTree

public final CTLNode ctlTree(antlr.collections.AST _t)
                      throws antlr.RecognitionException
Throws:
antlr.RecognitionException

atomic

public final CTLAtomPropNode atomic(antlr.collections.AST _t)
                             throws antlr.RecognitionException
Throws:
antlr.RecognitionException

notExpression

public final CTLNode notExpression(antlr.collections.AST _t)
                            throws antlr.RecognitionException
Throws:
antlr.RecognitionException

impliesExpression

public final CTLNode impliesExpression(antlr.collections.AST _t)
                                throws antlr.RecognitionException
Throws:
antlr.RecognitionException

orExpression

public final CTLNode orExpression(antlr.collections.AST _t)
                           throws antlr.RecognitionException
Throws:
antlr.RecognitionException

andExpression

public final CTLNode andExpression(antlr.collections.AST _t)
                            throws antlr.RecognitionException
Throws:
antlr.RecognitionException

modalExpression

public final CTLNode modalExpression(antlr.collections.AST _t)
                              throws antlr.RecognitionException
Throws:
antlr.RecognitionException

comparissonExpression

public final CTLNode comparissonExpression(antlr.collections.AST _t)
                                    throws antlr.RecognitionException
Throws:
antlr.RecognitionException

placeholder

public final CTLNode placeholder(antlr.collections.AST _t)
                          throws antlr.RecognitionException
Throws:
antlr.RecognitionException

neqExpression

public final CTLNode neqExpression(antlr.collections.AST _t)
                            throws antlr.RecognitionException
Throws:
antlr.RecognitionException

eqExpression

public final CTLNode eqExpression(antlr.collections.AST _t)
                           throws antlr.RecognitionException
Throws:
antlr.RecognitionException

leqExpression

public final CTLNode leqExpression(antlr.collections.AST _t)
                            throws antlr.RecognitionException
Throws:
antlr.RecognitionException

geqExpression

public final CTLNode geqExpression(antlr.collections.AST _t)
                            throws antlr.RecognitionException
Throws:
antlr.RecognitionException

axExpression

public final CTLNode axExpression(antlr.collections.AST _t)
                           throws antlr.RecognitionException
Throws:
antlr.RecognitionException

exExpression

public final CTLNode exExpression(antlr.collections.AST _t)
                           throws antlr.RecognitionException
Throws:
antlr.RecognitionException

efExpression

public final CTLNode efExpression(antlr.collections.AST _t)
                           throws antlr.RecognitionException
Throws:
antlr.RecognitionException

egExpression

public final CTLNode egExpression(antlr.collections.AST _t)
                           throws antlr.RecognitionException
Throws:
antlr.RecognitionException

agExpression

public final CTLNode agExpression(antlr.collections.AST _t)
                           throws antlr.RecognitionException
Throws:
antlr.RecognitionException

afExpression

public final CTLNode afExpression(antlr.collections.AST _t)
                           throws antlr.RecognitionException
Throws:
antlr.RecognitionException

untillReleaseExpression

public final CTLNode untillReleaseExpression(antlr.collections.AST _t)
                                      throws antlr.RecognitionException
Throws:
antlr.RecognitionException

forallUntil

public final CTLNode forallUntil(antlr.collections.AST _t)
                          throws antlr.RecognitionException
Throws:
antlr.RecognitionException

forsomeUntil

public final CTLNode forsomeUntil(antlr.collections.AST _t)
                           throws antlr.RecognitionException
Throws:
antlr.RecognitionException

atomicSet

public final java.util.Set atomicSet(antlr.collections.AST _t)
                              throws antlr.RecognitionException
Throws:
antlr.RecognitionException