edu.toronto.cs.ctl.antlr
Class CTLTreeBuilder
java.lang.Object
antlr.TreeParser
edu.toronto.cs.ctl.antlr.CTLTreeBuilder
- All Implemented Interfaces:
- CTLLexerTokenTypes
public class CTLTreeBuilder
- extends antlr.TreeParser
- implements CTLLexerTokenTypes
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 |
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 |
_tokenNames
public static final java.lang.String[] _tokenNames
CTLTreeBuilder
public CTLTreeBuilder(CTLNode[] _fairness)
CTLTreeBuilder
public CTLTreeBuilder()
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