com.veromodo.tempo.parser
Class TIOAParser

java.lang.Object
  extended by antlr.Parser
      extended by antlr.LLkParser
          extended by com.veromodo.tempo.parser.TIOAParser
All Implemented Interfaces:
TIOAParserTokenTypes

public class TIOAParser
extends antlr.LLkParser
implements TIOAParserTokenTypes


Field Summary
static java.lang.String[] _tokenNames
           
static antlr.collections.impl.BitSet _tokenSet_0
           
static antlr.collections.impl.BitSet _tokenSet_1
           
static antlr.collections.impl.BitSet _tokenSet_10
           
static antlr.collections.impl.BitSet _tokenSet_11
           
static antlr.collections.impl.BitSet _tokenSet_12
           
static antlr.collections.impl.BitSet _tokenSet_13
           
static antlr.collections.impl.BitSet _tokenSet_14
           
static antlr.collections.impl.BitSet _tokenSet_15
           
static antlr.collections.impl.BitSet _tokenSet_16
           
static antlr.collections.impl.BitSet _tokenSet_17
           
static antlr.collections.impl.BitSet _tokenSet_18
           
static antlr.collections.impl.BitSet _tokenSet_19
           
static antlr.collections.impl.BitSet _tokenSet_2
           
static antlr.collections.impl.BitSet _tokenSet_20
           
static antlr.collections.impl.BitSet _tokenSet_21
           
static antlr.collections.impl.BitSet _tokenSet_22
           
static antlr.collections.impl.BitSet _tokenSet_23
           
static antlr.collections.impl.BitSet _tokenSet_24
           
static antlr.collections.impl.BitSet _tokenSet_3
           
static antlr.collections.impl.BitSet _tokenSet_4
           
static antlr.collections.impl.BitSet _tokenSet_5
           
static antlr.collections.impl.BitSet _tokenSet_6
           
static antlr.collections.impl.BitSet _tokenSet_7
           
static antlr.collections.impl.BitSet _tokenSet_8
           
static antlr.collections.impl.BitSet _tokenSet_9
           
 
Fields inherited from interface com.veromodo.tempo.parser.TIOAParserTokenTypes
ADD, ALL, AND, ARROW, BANG, CMT, COLON, COLONEQ, COMMA, DIGITS, DIGITS0, DIV, DOT, DSUB, EOF, EQUAL, EQUIV, EXISTS, FLOATLIT, FUNNY_OP, GEQ, GT, ID, IMPLY, INTLIT, LBRACKET, LCURLY, LEQ, LITERAL, LITERAL_automaton, LITERAL_backward, LITERAL_case, LITERAL_choose, LITERAL_components, LITERAL_const, LITERAL_defines, LITERAL_det, LITERAL_do, LITERAL_duration, LITERAL_eff, LITERAL_else, LITERAL_elseif, LITERAL_end, LITERAL_ensuring, LITERAL_enumeration, LITERAL_evolve, LITERAL_fi, LITERAL_fire, LITERAL_follow, LITERAL_for, LITERAL_forward, LITERAL_from, LITERAL_hidden, LITERAL_if, LITERAL_ignore, LITERAL_imports, LITERAL_in, LITERAL_initially, LITERAL_input, LITERAL_internal, LITERAL_invariant, LITERAL_let, LITERAL_local, LITERAL_od, LITERAL_of, LITERAL_operators, LITERAL_output, LITERAL_pre, LITERAL_proof, LITERAL_schedule, LITERAL_signature, LITERAL_simulation, LITERAL_start, LITERAL_states, LITERAL_stop, LITERAL_tasks, LITERAL_then, LITERAL_to, LITERAL_trajdef, LITERAL_trajectories, LITERAL_trajectory, LITERAL_transitions, LITERAL_tuple, LITERAL_type, LITERAL_types, LITERAL_union, LITERAL_urgent, LITERAL_using, LITERAL_vocabulary, LITERAL_when, LITERAL_where, LITERAL_while, LITERAL_with, LITERAL_yield, LPAREN, LT, MUL, NEQUAL, NOT, NULL_TREE_LOOKAHEAD, OPCHAR, OPCHAR1, OPERATOR, OR, POW, RBRACKET, RCURLY, RPAREN, SCOLON, SUB, WS
 
Constructor Summary
TIOAParser(antlr.ParserSharedInputState state)
           
TIOAParser(antlr.TokenBuffer tokenBuf)
           
TIOAParser(antlr.TokenStream lexer)
           
 
Method Summary
 ASTListDeclLocals actionActuals(ASTListActionFormal la)
           
 ASTActionFormal actionFormal()
           
 ASTListActionFormal actionFormals()
           
 ASTTransition actionHead()
           
 ASTActionSet actionSet()
           
 void actionType()
           
 ASTActual actual()
           
 ASTListActual actuals()
           
 ASTRoot assertion()
           
 ASTAssignment assign()
           
 ASTAutomaton autoCore(ASTIdentifier n, ASTListFormal lf, ASTExpr w, ASTListVocabRef lv)
           
 ASTAutomaton automatonDef()
           
 ASTExpr base()
           
 ASTAutomaton basicAutomaton(ASTIdentifier n, ASTListFormal lf, ASTExpr w, ASTListVocabRef lv)
           
 ASTIdOrNum casec()
           
 ASTExpr choice()
           
 ASTStatement choiceNDR()
           
 ASTFire compDetFire()
           
 ASTFollow compDetFollow()
           
 ASTIfThen compDetIfThen()
           
 ASTStatement compDetIfThenSfx()
           
 ASTListStatement compDetProgram()
           
 ASTStatement compDetStmt()
           
 ASTWhile compDetWhile()
           
 ASTComponent component()
           
 ASTComponentDef componentDef()
           
 ASTComponentInst componentInstance()
           
 ASTTrajRef componentTrajectory()
           
 ASTCompositeAutomaton composedAutomaton(ASTIdentifier n, ASTListFormal lf, ASTExpr w, ASTListVocabRef lv)
           
 ASTTypeGeneric compoundType(ASTIdentifier n)
           
 ASTSchedule compSchedule()
           
 ASTListTrajRef compTrajList()
           
 ASTIfThen conditional()
           
 ASTStatement conditionalSfx()
           
 ASTExpr conjunction()
           
 ASTTypeGeneric ctorDecl()
           
 ASTDeclScheduleLocal declaration()
           
 ASTListDeclScheduleLocal declarations()
           
 ASTTypeGeneric defines()
           
 ASTExpr disjunction()
           
 ASTEffect effect()
           
 ASTListFormula evolve()
           
 ASTExpr evolvePred()
           
 ASTListFormula evolvePreds()
           
 ASTExpr expr()
           
 ASTExpr factor()
           
 ASTDeclFields fieldDecl()
           
 ASTListFields fieldDecls()
           
 ASTForClause forClause()
           
 ASTFormal formal()
           
 ASTSignature formalAction(ASTAction.Genre g)
           
 void formalActions(ASTListSignature sigs)
           
 ASTListFormal formals()
           
 ASTExpr formula()
           
 ASTListFormula formulas()
           
 ASTRootDeclFuns funcDecls()
           
 ASTListDeclFuns funcDeclsBase()
           
 ASTDeclFun funDecl()
           
 void funListSfx(ASTListDeclFuns ld)
           
 ASTIdentifier identifier()
           
 ASTListId identifiers()
           
 ASTExpr idOp()
           
 ASTIdOrNum idOrNumeral()
           
 ASTListIdOrNum idOrNumerals()
           
 ASTExpr implication()
           
 ASTRootVocabRef importDeclsRoot()
           
 ASTListVocabRef imports()
           
 ASTExpr infix()
           
 ASTToken infixOp()
           
 ASTNotation infixSpec()
           
 ASTExpr initially()
           
 ASTInvariant invariant()
           
 ASTDeclLocals localDecl()
           
 ASTListDeclLocals localVars()
           
 ASTForLoop loop()
           
 ASTExpr lvalue()
           
 void match(int t)
           
 ASTExpr mixfix()
           
 ASTMixCBraceOp mixfixPost(ASTExpr pre, ASTListFormula lf, Extent e)
           
 ASTNotation mixfixSpec()
           
 ASTMSGInvoke msgInvoke()
           
 ASTNotation name()
           
 ASTIfThen ndrConditional()
           
 ASTIfThen ndrConditionalY()
           
 ASTStatement ndrElse()
           
 ASTStatement ndrElseY()
           
 ASTNDRFire ndrFire()
           
 ASTNDRFire ndrFireSfx()
           
 ASTNDRFollow ndrFollow()
           
 ASTListStatement ndrProgram()
           
 ASTListStatement ndrProgramY()
           
 ASTStatement ndrStatement()
           
 ASTStatement ndrStatementY()
           
 ASTNDRWhile ndrWhile()
           
 ASTNDRWhile ndrWhileY()
           
 ASTNDRYield ndrYieldY()
           
 ASTOperatorSignature opDecl()
           
 ASTListOperatorSignature opDecls()
           
 ASTExpr operand()
           
 ASTNotation opName()
           
 ASTToken opSym()
           
 ASTListFormula optForms()
           
 ASTListDeclFuns optFuns()
           
 antlr.Token peek()
           
 ASTToken plainOp()
           
 ASTExpr postfix()
           
 ASTToken postOp()
           
 ASTListFormula precondition()
           
 ASTExpr predicate()
           
 ASTListFormula predicates()
           
 ASTExpr prefix()
           
 ASTNotation prefixSpec()
           
 ASTExpr primary()
           
 ASTListStatement program()
           
 ASTIfThen proofConditional()
           
 ASTStatement proofElse()
           
 ASTProofFire proofFire()
           
 ASTProofFollow proofFollow()
           
 ASTProofUsing proofUsing()
           
 ASTListProofUsing proofUsings()
           
 ASTProofWhile proofWhile()
           
 ASTQuantified quantifier()
           
 ASTExpr rel2()
           
 ASTExpr relation()
           
 ASTSchedule schedule()
           
 ASTType shorthand()
           
 ASTType signature()
           
 ASTType simpleType()
           
 ASTSimProof simProof()
           
 ASTSimProofAction simProofAction()
           
 ASTSimProofEntry simProofEntry()
           
 ASTListStatement simProofProgram()
           
 ASTListStartEntry simProofStart()
           
 ASTStatement simProofStatement()
           
 ASTSimulation simulation()
           
 ASTListRoot spec()
           
 ASTStartEntry startEntry()
           
 ASTState state()
           
 ASTListState states()
           
 ASTStatement stmt()
           
 void stmtListSfx(ASTListStatement ls)
           
 ASTExpr stopCond()
           
 ASTNotation suffixSpec()
           
 ASTTask task()
           
 ASTListTask tasks()
           
 ASTExpr term()
           
 ASTListTrajectories trajectories()
           
 ASTTrajectory trajectory()
           
 ASTTrajEntry trajEntry()
           
 ASTListFormula trajInvariant()
           
 ASTTransEntry transEntry()
           
 ASTTransition transition()
           
 ASTListTransition transitions()
           
 ASTType type()
           
 ASTDefType typeDecl()
           
 ASTListUsedType typeDecls()
           
 ASTRootDeclTypes typeDeclsRoot()
           
 ASTListType types()
           
 ASTToken unary()
           
 ASTExpr unaryExpr()
           
 ASTExpr urgency()
           
 ASTExpr value()
           
 ASTDeclVar variable()
           
 ASTFormal varList()
           
 ASTListFormal varLists()
           
 ASTRootDeclVocab vocabDef()
           
 ASTVocabRef vocabRef()
           
 ASTListVocabRef vocabRefs()
           
 ASTExpr where()
           
 ASTListDeclScheduleLocal withBlock()
           
 
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, getAST, getASTFactory, getFilename, getInputState, getTokenName, getTokenNames, getTokenTypeToASTClassMap, isDebugMode, mark, 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
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

_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

_tokenSet_2

public static final antlr.collections.impl.BitSet _tokenSet_2

_tokenSet_3

public static final antlr.collections.impl.BitSet _tokenSet_3

_tokenSet_4

public static final antlr.collections.impl.BitSet _tokenSet_4

_tokenSet_5

public static final antlr.collections.impl.BitSet _tokenSet_5

_tokenSet_6

public static final antlr.collections.impl.BitSet _tokenSet_6

_tokenSet_7

public static final antlr.collections.impl.BitSet _tokenSet_7

_tokenSet_8

public static final antlr.collections.impl.BitSet _tokenSet_8

_tokenSet_9

public static final antlr.collections.impl.BitSet _tokenSet_9

_tokenSet_10

public static final antlr.collections.impl.BitSet _tokenSet_10

_tokenSet_11

public static final antlr.collections.impl.BitSet _tokenSet_11

_tokenSet_12

public static final antlr.collections.impl.BitSet _tokenSet_12

_tokenSet_13

public static final antlr.collections.impl.BitSet _tokenSet_13

_tokenSet_14

public static final antlr.collections.impl.BitSet _tokenSet_14

_tokenSet_15

public static final antlr.collections.impl.BitSet _tokenSet_15

_tokenSet_16

public static final antlr.collections.impl.BitSet _tokenSet_16

_tokenSet_17

public static final antlr.collections.impl.BitSet _tokenSet_17

_tokenSet_18

public static final antlr.collections.impl.BitSet _tokenSet_18

_tokenSet_19

public static final antlr.collections.impl.BitSet _tokenSet_19

_tokenSet_20

public static final antlr.collections.impl.BitSet _tokenSet_20

_tokenSet_21

public static final antlr.collections.impl.BitSet _tokenSet_21

_tokenSet_22

public static final antlr.collections.impl.BitSet _tokenSet_22

_tokenSet_23

public static final antlr.collections.impl.BitSet _tokenSet_23

_tokenSet_24

public static final antlr.collections.impl.BitSet _tokenSet_24
Constructor Detail

TIOAParser

public TIOAParser(antlr.TokenBuffer tokenBuf)

TIOAParser

public TIOAParser(antlr.TokenStream lexer)

TIOAParser

public TIOAParser(antlr.ParserSharedInputState state)
Method Detail

match

public void match(int t)
           throws antlr.MismatchedTokenException,
                  antlr.TokenStreamException
Overrides:
match in class antlr.Parser
Throws:
antlr.MismatchedTokenException
antlr.TokenStreamException

peek

public antlr.Token peek()
                 throws antlr.TokenStreamException
Throws:
antlr.TokenStreamException

spec

public final ASTListRoot spec()
                       throws antlr.RecognitionException,
                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

funcDecls

public final ASTRootDeclFuns funcDecls()
                                throws antlr.RecognitionException,
                                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

vocabDef

public final ASTRootDeclVocab vocabDef()
                                throws antlr.RecognitionException,
                                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

typeDeclsRoot

public final ASTRootDeclTypes typeDeclsRoot()
                                     throws antlr.RecognitionException,
                                            antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

importDeclsRoot

public final ASTRootVocabRef importDeclsRoot()
                                      throws antlr.RecognitionException,
                                             antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

automatonDef

public final ASTAutomaton automatonDef()
                                throws antlr.RecognitionException,
                                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

assertion

public final ASTRoot assertion()
                        throws antlr.RecognitionException,
                               antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

typeDecl

public final ASTDefType typeDecl()
                          throws antlr.RecognitionException,
                                 antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

vocabRefs

public final ASTListVocabRef vocabRefs()
                                throws antlr.RecognitionException,
                                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

identifier

public final ASTIdentifier identifier()
                               throws antlr.RecognitionException,
                                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

formals

public final ASTListFormal formals()
                            throws antlr.RecognitionException,
                                   antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

defines

public final ASTTypeGeneric defines()
                             throws antlr.RecognitionException,
                                    antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

imports

public final ASTListVocabRef imports()
                              throws antlr.RecognitionException,
                                     antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

typeDecls

public final ASTListUsedType typeDecls()
                                throws antlr.RecognitionException,
                                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

opDecls

public final ASTListOperatorSignature opDecls()
                                       throws antlr.RecognitionException,
                                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

ctorDecl

public final ASTTypeGeneric ctorDecl()
                              throws antlr.RecognitionException,
                                     antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

opDecl

public final ASTOperatorSignature opDecl()
                                  throws antlr.RecognitionException,
                                         antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

type

public final ASTType type()
                   throws antlr.RecognitionException,
                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

shorthand

public final ASTType shorthand()
                        throws antlr.RecognitionException,
                               antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

name

public final ASTNotation name()
                       throws antlr.RecognitionException,
                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

signature

public final ASTType signature()
                        throws antlr.RecognitionException,
                               antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

compoundType

public final ASTTypeGeneric compoundType(ASTIdentifier n)
                                  throws antlr.RecognitionException,
                                         antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

vocabRef

public final ASTVocabRef vocabRef()
                           throws antlr.RecognitionException,
                                  antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

actuals

public final ASTListActual actuals()
                            throws antlr.RecognitionException,
                                   antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

opName

public final ASTNotation opName()
                         throws antlr.RecognitionException,
                                antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

idOrNumeral

public final ASTIdOrNum idOrNumeral()
                             throws antlr.RecognitionException,
                                    antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

prefixSpec

public final ASTNotation prefixSpec()
                             throws antlr.RecognitionException,
                                    antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

suffixSpec

public final ASTNotation suffixSpec()
                             throws antlr.RecognitionException,
                                    antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

infixSpec

public final ASTNotation infixSpec()
                            throws antlr.RecognitionException,
                                   antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

mixfixSpec

public final ASTNotation mixfixSpec()
                             throws antlr.RecognitionException,
                                    antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

opSym

public final ASTToken opSym()
                     throws antlr.RecognitionException,
                            antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

plainOp

public final ASTToken plainOp()
                       throws antlr.RecognitionException,
                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

unary

public final ASTToken unary()
                     throws antlr.RecognitionException,
                            antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

infixOp

public final ASTToken infixOp()
                       throws antlr.RecognitionException,
                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

postOp

public final ASTToken postOp()
                      throws antlr.RecognitionException,
                             antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

formal

public final ASTFormal formal()
                       throws antlr.RecognitionException,
                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

identifiers

public final ASTListId identifiers()
                            throws antlr.RecognitionException,
                                   antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

types

public final ASTListType types()
                        throws antlr.RecognitionException,
                               antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

simpleType

public final ASTType simpleType()
                         throws antlr.RecognitionException,
                                antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

idOrNumerals

public final ASTListIdOrNum idOrNumerals()
                                  throws antlr.RecognitionException,
                                         antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

fieldDecls

public final ASTListFields fieldDecls()
                               throws antlr.RecognitionException,
                                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

fieldDecl

public final ASTDeclFields fieldDecl()
                              throws antlr.RecognitionException,
                                     antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

predicate

public final ASTExpr predicate()
                        throws antlr.RecognitionException,
                               antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

formula

public final ASTExpr formula()
                      throws antlr.RecognitionException,
                             antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

implication

public final ASTExpr implication()
                          throws antlr.RecognitionException,
                                 antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

disjunction

public final ASTExpr disjunction()
                          throws antlr.RecognitionException,
                                 antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

conjunction

public final ASTExpr conjunction()
                          throws antlr.RecognitionException,
                                 antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

relation

public final ASTExpr relation()
                       throws antlr.RecognitionException,
                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

expr

public final ASTExpr expr()
                   throws antlr.RecognitionException,
                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

prefix

public final ASTExpr prefix()
                     throws antlr.RecognitionException,
                            antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

base

public final ASTExpr base()
                   throws antlr.RecognitionException,
                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

postfix

public final ASTExpr postfix()
                      throws antlr.RecognitionException,
                             antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

infix

public final ASTExpr infix()
                    throws antlr.RecognitionException,
                           antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

quantifier

public final ASTQuantified quantifier()
                               throws antlr.RecognitionException,
                                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

primary

public final ASTExpr primary()
                      throws antlr.RecognitionException,
                             antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

mixfix

public final ASTExpr mixfix()
                     throws antlr.RecognitionException,
                            antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

optForms

public final ASTListFormula optForms()
                              throws antlr.RecognitionException,
                                     antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

mixfixPost

public final ASTMixCBraceOp mixfixPost(ASTExpr pre,
                                       ASTListFormula lf,
                                       Extent e)
                                throws antlr.RecognitionException,
                                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

idOp

public final ASTExpr idOp()
                   throws antlr.RecognitionException,
                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

rel2

public final ASTExpr rel2()
                   throws antlr.RecognitionException,
                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

term

public final ASTExpr term()
                   throws antlr.RecognitionException,
                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

factor

public final ASTExpr factor()
                     throws antlr.RecognitionException,
                            antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

unaryExpr

public final ASTExpr unaryExpr()
                        throws antlr.RecognitionException,
                               antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

operand

public final ASTExpr operand()
                      throws antlr.RecognitionException,
                             antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

formulas

public final ASTListFormula formulas()
                              throws antlr.RecognitionException,
                                     antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

variable

public final ASTDeclVar variable()
                          throws antlr.RecognitionException,
                                 antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

actual

public final ASTActual actual()
                       throws antlr.RecognitionException,
                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

funcDeclsBase

public final ASTListDeclFuns funcDeclsBase()
                                    throws antlr.RecognitionException,
                                           antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

funDecl

public final ASTDeclFun funDecl()
                         throws antlr.RecognitionException,
                                antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

funListSfx

public final void funListSfx(ASTListDeclFuns ld)
                      throws antlr.RecognitionException,
                             antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

varLists

public final ASTListFormal varLists()
                             throws antlr.RecognitionException,
                                    antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

varList

public final ASTFormal varList()
                        throws antlr.RecognitionException,
                               antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

where

public final ASTExpr where()
                    throws antlr.RecognitionException,
                           antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

autoCore

public final ASTAutomaton autoCore(ASTIdentifier n,
                                   ASTListFormal lf,
                                   ASTExpr w,
                                   ASTListVocabRef lv)
                            throws antlr.RecognitionException,
                                   antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

basicAutomaton

public final ASTAutomaton basicAutomaton(ASTIdentifier n,
                                         ASTListFormal lf,
                                         ASTExpr w,
                                         ASTListVocabRef lv)
                                  throws antlr.RecognitionException,
                                         antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

composedAutomaton

public final ASTCompositeAutomaton composedAutomaton(ASTIdentifier n,
                                                     ASTListFormal lf,
                                                     ASTExpr w,
                                                     ASTListVocabRef lv)
                                              throws antlr.RecognitionException,
                                                     antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

formalActions

public final void formalActions(ASTListSignature sigs)
                         throws antlr.RecognitionException,
                                antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

states

public final ASTListState states()
                          throws antlr.RecognitionException,
                                 antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

transitions

public final ASTListTransition transitions()
                                    throws antlr.RecognitionException,
                                           antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

trajectories

public final ASTListTrajectories trajectories()
                                       throws antlr.RecognitionException,
                                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

tasks

public final ASTListTask tasks()
                        throws antlr.RecognitionException,
                               antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

schedule

public final ASTSchedule schedule()
                           throws antlr.RecognitionException,
                                  antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

actionType

public final void actionType()
                      throws antlr.RecognitionException,
                             antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

formalAction

public final ASTSignature formalAction(ASTAction.Genre g)
                                throws antlr.RecognitionException,
                                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

actionFormals

public final ASTListActionFormal actionFormals()
                                        throws antlr.RecognitionException,
                                               antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

actionFormal

public final ASTActionFormal actionFormal()
                                   throws antlr.RecognitionException,
                                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

casec

public final ASTIdOrNum casec()
                       throws antlr.RecognitionException,
                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

state

public final ASTState state()
                     throws antlr.RecognitionException,
                            antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

initially

public final ASTExpr initially()
                        throws antlr.RecognitionException,
                               antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

value

public final ASTExpr value()
                    throws antlr.RecognitionException,
                           antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

choice

public final ASTExpr choice()
                     throws antlr.RecognitionException,
                            antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

choiceNDR

public final ASTStatement choiceNDR()
                             throws antlr.RecognitionException,
                                    antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

ndrProgramY

public final ASTListStatement ndrProgramY()
                                   throws antlr.RecognitionException,
                                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

ndrYieldY

public final ASTNDRYield ndrYieldY()
                            throws antlr.RecognitionException,
                                   antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

transition

public final ASTTransition transition()
                               throws antlr.RecognitionException,
                                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

actionHead

public final ASTTransition actionHead()
                               throws antlr.RecognitionException,
                                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

optFuns

public final ASTListDeclFuns optFuns()
                              throws antlr.RecognitionException,
                                     antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

precondition

public final ASTListFormula precondition()
                                  throws antlr.RecognitionException,
                                         antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

urgency

public final ASTExpr urgency()
                      throws antlr.RecognitionException,
                             antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

effect

public final ASTEffect effect()
                       throws antlr.RecognitionException,
                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

actionActuals

public final ASTListDeclLocals actionActuals(ASTListActionFormal la)
                                      throws antlr.RecognitionException,
                                             antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

localVars

public final ASTListDeclLocals localVars()
                                  throws antlr.RecognitionException,
                                         antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

localDecl

public final ASTDeclLocals localDecl()
                              throws antlr.RecognitionException,
                                     antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

predicates

public final ASTListFormula predicates()
                                throws antlr.RecognitionException,
                                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

program

public final ASTListStatement program()
                               throws antlr.RecognitionException,
                                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

stmt

public final ASTStatement stmt()
                        throws antlr.RecognitionException,
                               antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

stmtListSfx

public final void stmtListSfx(ASTListStatement ls)
                       throws antlr.RecognitionException,
                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

assign

public final ASTAssignment assign()
                           throws antlr.RecognitionException,
                                  antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

conditional

public final ASTIfThen conditional()
                            throws antlr.RecognitionException,
                                   antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

loop

public final ASTForLoop loop()
                      throws antlr.RecognitionException,
                             antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

lvalue

public final ASTExpr lvalue()
                     throws antlr.RecognitionException,
                            antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

conditionalSfx

public final ASTStatement conditionalSfx()
                                  throws antlr.RecognitionException,
                                         antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

ndrProgram

public final ASTListStatement ndrProgram()
                                  throws antlr.RecognitionException,
                                         antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

ndrStatement

public final ASTStatement ndrStatement()
                                throws antlr.RecognitionException,
                                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

ndrConditional

public final ASTIfThen ndrConditional()
                               throws antlr.RecognitionException,
                                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

ndrWhile

public final ASTNDRWhile ndrWhile()
                           throws antlr.RecognitionException,
                                  antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

ndrFire

public final ASTNDRFire ndrFire()
                         throws antlr.RecognitionException,
                                antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

ndrFollow

public final ASTNDRFollow ndrFollow()
                             throws antlr.RecognitionException,
                                    antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

ndrElse

public final ASTStatement ndrElse()
                           throws antlr.RecognitionException,
                                  antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

ndrFireSfx

public final ASTNDRFire ndrFireSfx()
                            throws antlr.RecognitionException,
                                   antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

ndrStatementY

public final ASTStatement ndrStatementY()
                                 throws antlr.RecognitionException,
                                        antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

ndrConditionalY

public final ASTIfThen ndrConditionalY()
                                throws antlr.RecognitionException,
                                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

ndrWhileY

public final ASTNDRWhile ndrWhileY()
                            throws antlr.RecognitionException,
                                   antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

ndrElseY

public final ASTStatement ndrElseY()
                            throws antlr.RecognitionException,
                                   antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

task

public final ASTTask task()
                   throws antlr.RecognitionException,
                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

actionSet

public final ASTActionSet actionSet()
                             throws antlr.RecognitionException,
                                    antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

forClause

public final ASTForClause forClause()
                             throws antlr.RecognitionException,
                                    antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

trajectory

public final ASTTrajectory trajectory()
                               throws antlr.RecognitionException,
                                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

trajInvariant

public final ASTListFormula trajInvariant()
                                   throws antlr.RecognitionException,
                                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

stopCond

public final ASTExpr stopCond()
                       throws antlr.RecognitionException,
                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

evolve

public final ASTListFormula evolve()
                            throws antlr.RecognitionException,
                                   antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

evolvePreds

public final ASTListFormula evolvePreds()
                                 throws antlr.RecognitionException,
                                        antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

evolvePred

public final ASTExpr evolvePred()
                         throws antlr.RecognitionException,
                                antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

component

public final ASTComponent component()
                             throws antlr.RecognitionException,
                                    antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

compSchedule

public final ASTSchedule compSchedule()
                               throws antlr.RecognitionException,
                                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

componentDef

public final ASTComponentDef componentDef()
                                   throws antlr.RecognitionException,
                                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

withBlock

public final ASTListDeclScheduleLocal withBlock()
                                         throws antlr.RecognitionException,
                                                antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

compDetProgram

public final ASTListStatement compDetProgram()
                                      throws antlr.RecognitionException,
                                             antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

declarations

public final ASTListDeclScheduleLocal declarations()
                                            throws antlr.RecognitionException,
                                                   antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

declaration

public final ASTDeclScheduleLocal declaration()
                                       throws antlr.RecognitionException,
                                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

compDetStmt

public final ASTStatement compDetStmt()
                               throws antlr.RecognitionException,
                                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

compDetIfThen

public final ASTIfThen compDetIfThen()
                              throws antlr.RecognitionException,
                                     antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

compDetWhile

public final ASTWhile compDetWhile()
                            throws antlr.RecognitionException,
                                   antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

compDetFire

public final ASTFire compDetFire()
                          throws antlr.RecognitionException,
                                 antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

compDetFollow

public final ASTFollow compDetFollow()
                              throws antlr.RecognitionException,
                                     antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

compDetIfThenSfx

public final ASTStatement compDetIfThenSfx()
                                    throws antlr.RecognitionException,
                                           antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

componentInstance

public final ASTComponentInst componentInstance()
                                         throws antlr.RecognitionException,
                                                antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

compTrajList

public final ASTListTrajRef compTrajList()
                                  throws antlr.RecognitionException,
                                         antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

componentTrajectory

public final ASTTrajRef componentTrajectory()
                                     throws antlr.RecognitionException,
                                            antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

invariant

public final ASTInvariant invariant()
                             throws antlr.RecognitionException,
                                    antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

simulation

public final ASTSimulation simulation()
                               throws antlr.RecognitionException,
                                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

simProof

public final ASTSimProof simProof()
                           throws antlr.RecognitionException,
                                  antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

simProofStart

public final ASTListStartEntry simProofStart()
                                      throws antlr.RecognitionException,
                                             antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

simProofEntry

public final ASTSimProofEntry simProofEntry()
                                     throws antlr.RecognitionException,
                                            antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

startEntry

public final ASTStartEntry startEntry()
                               throws antlr.RecognitionException,
                                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

transEntry

public final ASTTransEntry transEntry()
                               throws antlr.RecognitionException,
                                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

trajEntry

public final ASTTrajEntry trajEntry()
                             throws antlr.RecognitionException,
                                    antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

simProofAction

public final ASTSimProofAction simProofAction()
                                       throws antlr.RecognitionException,
                                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

simProofProgram

public final ASTListStatement simProofProgram()
                                       throws antlr.RecognitionException,
                                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

simProofStatement

public final ASTStatement simProofStatement()
                                     throws antlr.RecognitionException,
                                            antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

proofConditional

public final ASTIfThen proofConditional()
                                 throws antlr.RecognitionException,
                                        antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

proofFire

public final ASTProofFire proofFire()
                             throws antlr.RecognitionException,
                                    antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

proofFollow

public final ASTProofFollow proofFollow()
                                 throws antlr.RecognitionException,
                                        antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

proofWhile

public final ASTProofWhile proofWhile()
                               throws antlr.RecognitionException,
                                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

proofElse

public final ASTStatement proofElse()
                             throws antlr.RecognitionException,
                                    antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

msgInvoke

public final ASTMSGInvoke msgInvoke()
                             throws antlr.RecognitionException,
                                    antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

proofUsings

public final ASTListProofUsing proofUsings()
                                    throws antlr.RecognitionException,
                                           antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

proofUsing

public final ASTProofUsing proofUsing()
                               throws antlr.RecognitionException,
                                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException