Package com.veromodo.tempo.ast

Provides for the representation of the abstract syntax tree data-structure used by the Tempo front-end.

See:
          Description

Interface Summary
ASTIVisitor AST visitor interface.
 

Class Summary
ASTAction Abstract class for the representation of signatures and transitions
ASTActionFormal Abstract class to represent formals of actions (signatures/transitions)
ASTActionFormalConst Concrete formal class The formal is restricted to be a constant that is evaluated to _expr when the transition is invoked.
ASTActionFormalName Concrete formal class TODO: This class is not correctly named.
ASTActionFormalTypedIdList Concrete formal class This class is used to represent a list of Formals that appear in a signature For instance, for
ASTActionSet  
ASTActual Abstract class
ASTActualExpr Concrete class.
ASTActualType Concrete class.
ASTAdd  
ASTAnd  
ASTAssignment  
ASTAutomaton  
ASTBackwardSim  
ASTBasicAutomaton  
ASTBinary Representation for a binary expression.
ASTBinOp Representation for a binary operator without a built-in definition.
ASTBlock  
ASTBVisitor AST recursive descent visitor.
ASTCall  
ASTChoose  
ASTComponent  
ASTComponentDef  
ASTComponentInst  
ASTCompositeAutomaton  
ASTCond  
ASTDecl  
ASTDeclFields  
ASTDeclFun  
ASTDeclLocals  
ASTDeclScheduleLocal  
ASTDeclVar  
ASTDeclVocabulary  
ASTDecorationVisitor  
ASTDefType  
ASTDerefArray  
ASTDerefField  
ASTDiv  
ASTEffect  
ASTEqual  
ASTEquiv  
ASTEvalVisitor AST recursive descent visitor used with the specification of SemanticRules.
ASTExpr Abstract class.
ASTExprId  
ASTExprLiteral  
ASTFire  
ASTFireInput  
ASTFireInternal  
ASTFireOutput  
ASTFloatLiteral  
ASTFollow Combines a duration expression with a list of trajectory refrences to make a composite automaton follow statement
ASTForClause  
ASTForLoop  
ASTFormal Representation for a factor in a factored list of formal parameters.
ASTForwardSim  
ASTGEqual  
ASTGreater  
ASTHVisitor AST hierarchy (superclass) visitor.
ASTIdentifier  
ASTIdOrNum  
ASTIfThen  
ASTIfThenElse  
ASTImply  
ASTIntLiteral  
ASTInvariant  
ASTLEqual  
ASTLess  
ASTList<T extends ASTNode>  
ASTListActionFormal  
ASTListActionSet  
ASTListActual  
ASTListComponent  
ASTListDeclFuns  
ASTListDeclLocals  
ASTListDeclScheduleLocal  
ASTListFields  
ASTListFormal Representation for a factored list of formal parameters.
ASTListFormula  
ASTListId  
ASTListIdOrNum  
ASTListName  
ASTListOperatorSignature  
ASTListProofUsing  
ASTListRoot  
ASTListSignature  
ASTListSimProofEntry  
ASTListStartEntry  
ASTListState  
ASTListStatement  
ASTListTask  
ASTListTrajectories  
ASTListTrajRef  
ASTListTransition  
ASTListType  
ASTListUsedType  
ASTListVocabRef  
ASTLiteral  
ASTMixCBraceOp  
ASTMSGInvoke  
ASTMSGInvokeInput  
ASTMSGInvokeInternal  
ASTMSGInvokeOutput  
ASTMul  
ASTNDRChoose  
ASTNDRFire  
ASTNDRFireInput  
ASTNDRFireInternal  
ASTNDRFireOutput  
ASTNDRFollow  
ASTNDRIfThen  
ASTNDRIfThenElse  
ASTNDRWhile  
ASTNDRYield  
ASTNeg  
ASTNEqual  
ASTNode This class is the root of the Abstract Syntax Tree class hierarchy.
ASTNot  
ASTNotation  
ASTNotationFun  
ASTNotationInfix  
ASTNotationInfixRight This node is used exclusively for the syntax fragment __.identifier which appears to be used only in the Null vocabulary.
ASTNotationITE  
ASTNotationMixBracket Used to represent __[__,...,__]__ before is true if and only if the operator has an operand before the first [ after is true if and only if the operator has an operand after the last ] between is the number of operands between [ and ]
ASTNotationMixCBrace  
ASTNotationMixFix Used to represent __[__,...,__]__ before is true if and only if the operator has an operand before the first [ after is true if and only if the operator has an operand after the last ] between is the number of operands between [ and ]
ASTNotationPrefix  
ASTNotationSuffix  
ASTOperator  
ASTOperatorSignature This is a signature for an operator defined in a Vocabulary Not to be confused with an automaton's signaute
ASTOr  
ASTPost  
ASTPow  
ASTPrettyPrint  
ASTProofFire  
ASTProofFollow  
ASTProofIfThen  
ASTProofIfThenElse  
ASTProofUsing  
ASTProofWhile  
ASTQExist  
ASTQForall  
ASTQuantified  
ASTRoot  
ASTRootDeclFuns  
ASTRootDeclTypes  
ASTRootDeclVocab  
ASTRootVocabRef  
ASTSchedule  
ASTSetof  
ASTSignature Concrete class for an automaton signature
ASTSimProof  
ASTSimProofAction  
ASTSimProofEntry This class should not be instantiated.
ASTSimulation  
ASTStartEntry  
ASTState  
ASTStatement This class should not be instantiated.
ASTSub  
ASTTask  
ASTTrajectory  
ASTTrajEntry  
ASTTrajRef This class combines an Identifier with a component instance class to form a trajectory refrence
ASTTransEntry  
ASTTransition Concrete class for a transition.
ASTTupleConstructor  
ASTType  
ASTTypeAlias Representation for an aliased type name.
ASTTypeEnum Representation for an enumeration.
ASTTypeFunction  
ASTTypeGeneric  
ASTTypeId  
ASTTypeParameter Representation for an unknown (parametric) type.
ASTTypeSelector  
ASTTypeTuple Representation for a tuple (i.e., a record).
ASTTypeUnion Representation for a tagged union.
ASTUnary  
ASTUnparse  
ASTVocabRef  
ASTWhile  
EvolveClause  
 

Enum Summary
ASTAction.Genre The type of signature/transition
 

Package com.veromodo.tempo.ast Description

Provides for the representation of the abstract syntax tree data-structure used by the Tempo front-end. The majority of the classes in this package are devoted to