com.veromodo.tempo.ast
Class ASTEvalVisitor

java.lang.Object
  extended by com.veromodo.tempo.ast.ASTEvalVisitor
All Implemented Interfaces:
ASTIVisitor

public class ASTEvalVisitor
extends java.lang.Object
implements ASTIVisitor

AST recursive descent visitor used with the specification of SemanticRules. This class implements each method applyASTc(ASTc n) required by the interface ASTIVisitor, where c is a class in the package com.veromodo.tempo.ast, by visiting the components in the representation of n. This visitor is a combination of the ASTHVisitor and ASTBVisitor. For every node, it will traverse down the tree as the ASTBVisitor does, but before it does so it calls it's parent class's applyMethod as the ASTHVisitor does. This allows semantic rules to be specified on abstract classes and be evaluated on thier subclasses.


Constructor Summary
ASTEvalVisitor(SemanticRules sc)
           
 
Method Summary
 void applyASTAction(ASTAction n)
           
 void applyASTActionFormal(ASTActionFormal n)
           
 void applyASTActionFormalConst(ASTActionFormalConst n)
           
 void applyASTActionFormalName(ASTActionFormalName n)
           
 void applyASTActionFormalTypedIdList(ASTActionFormalTypedIdList n)
           
 void applyASTActionSet(ASTActionSet n)
           
 void applyASTActual(ASTActual n)
           
 void applyASTActualExpr(ASTActualExpr n)
           
 void applyASTActualType(ASTActualType n)
           
 void applyASTAdd(ASTAdd n)
           
 void applyASTAnd(ASTAnd n)
           
 void applyASTAssignment(ASTAssignment n)
           
 void applyASTAutomaton(ASTAutomaton n)
           
 void applyASTBackwardSim(ASTBackwardSim n)
           
 void applyASTBasicAutomaton(ASTBasicAutomaton n)
           
 void applyASTBinary(ASTBinary n)
           
 void applyASTBinOp(ASTBinOp n)
           
 void applyASTBlock(ASTBlock n)
           
 void applyASTCall(ASTCall n)
           
 void applyASTChoose(ASTChoose n)
           
 void applyASTComponent(ASTComponent n)
           
 void applyASTComponentDef(ASTComponentDef n)
           
 void applyASTComponentInst(ASTComponentInst n)
           
 void applyASTCompositeAutomaton(ASTCompositeAutomaton n)
           
 void applyASTCond(ASTCond n)
           
 void applyASTDecl(ASTDecl n)
           
 void applyASTDeclFields(ASTDeclFields n)
           
 void applyASTDeclFun(ASTDeclFun n)
           
 void applyASTDeclLocals(ASTDeclLocals n)
           
 void applyASTDeclScheduleLocal(ASTDeclScheduleLocal n)
           
 void applyASTDeclVar(ASTDeclVar n)
           
 void applyASTDeclVocabulary(ASTDeclVocabulary n)
           
 void applyASTDefType(ASTDefType n)
           
 void applyASTDerefArray(ASTDerefArray n)
           
 void applyASTDerefField(ASTDerefField n)
           
 void applyASTDiv(ASTDiv n)
           
 void applyASTEffect(ASTEffect n)
           
 void applyASTEqual(ASTEqual n)
           
 void applyASTEquiv(ASTEquiv n)
           
 void applyASTExpr(ASTExpr n)
           
 void applyASTExprId(ASTExprId n)
           
 void applyASTExprLiteral(ASTExprLiteral n)
           
 void applyASTFire(ASTFire n)
           
 void applyASTFireInput(ASTFireInput n)
           
 void applyASTFireInternal(ASTFireInternal n)
           
 void applyASTFireOutput(ASTFireOutput n)
           
 void applyASTFloatLiteral(ASTFloatLiteral n)
           
 void applyASTFollow(ASTFollow n)
           
 void applyASTForClause(ASTForClause n)
           
 void applyASTForLoop(ASTForLoop n)
           
 void applyASTFormal(ASTFormal n)
           
 void applyASTForwardSim(ASTForwardSim n)
           
 void applyASTGEqual(ASTGEqual n)
           
 void applyASTGreater(ASTGreater n)
           
 void applyASTIdentifier(ASTIdentifier n)
           
 void applyASTIdOrNum(ASTIdOrNum n)
           
 void applyASTIfThen(ASTIfThen n)
           
 void applyASTIfThenElse(ASTIfThenElse n)
           
 void applyASTImply(ASTImply n)
           
 void applyASTIntLiteral(ASTIntLiteral n)
           
 void applyASTInvariant(ASTInvariant n)
           
 void applyASTLEqual(ASTLEqual n)
           
 void applyASTLess(ASTLess n)
           
 void applyASTList(ASTList n)
           
 void applyASTListActionFormal(ASTListActionFormal n)
           
 void applyASTListActionSet(ASTListActionSet n)
           
 void applyASTListActual(ASTListActual n)
           
 void applyASTListComponent(ASTListComponent n)
           
 void applyASTListDeclFuns(ASTListDeclFuns n)
           
 void applyASTListDeclLocals(ASTListDeclLocals n)
           
 void applyASTListDeclScheduleLocal(ASTListDeclScheduleLocal n)
           
 void applyASTListDefType(ASTListUsedType n)
           
 void applyASTListFields(ASTListFields n)
           
 void applyASTListFormal(ASTListFormal n)
           
 void applyASTListFormula(ASTListFormula n)
           
 void applyASTListId(ASTListId n)
           
 void applyASTListIdOrNum(ASTListIdOrNum n)
           
 void applyASTListName(ASTListName n)
           
 void applyASTListOperatorSignature(ASTListOperatorSignature n)
           
 void applyASTListProofUsing(ASTListProofUsing n)
           
 void applyASTListRoot(ASTListRoot n)
           
 void applyASTListSignature(ASTListSignature n)
           
 void applyASTListSimProofEntry(ASTListSimProofEntry n)
           
 void applyASTListStartEntry(ASTListStartEntry n)
           
 void applyASTListState(ASTListState n)
           
 void applyASTListStatement(ASTListStatement n)
           
 void applyASTListTask(ASTListTask n)
           
 void applyASTListTrajectories(ASTListTrajectories n)
           
 void applyASTListTrajRef(ASTListTrajRef n)
           
 void applyASTListTransition(ASTListTransition n)
           
 void applyASTListType(ASTListType n)
           
 void applyASTListVocabRef(ASTListVocabRef n)
           
 void applyASTLiteral(ASTLiteral n)
           
 void applyASTMixCBraceOp(ASTMixCBraceOp n)
           
 void applyASTMSGInvoke(ASTMSGInvoke n)
           
 void applyASTMSGInvokeInput(ASTMSGInvokeInput n)
           
 void applyASTMSGInvokeInternal(ASTMSGInvokeInternal n)
           
 void applyASTMSGInvokeOutput(ASTMSGInvokeOutput n)
           
 void applyASTMul(ASTMul n)
           
 void applyASTNDRChoose(ASTNDRChoose n)
           
 void applyASTNDRFire(ASTNDRFire n)
           
 void applyASTNDRFireInput(ASTNDRFireInput n)
           
 void applyASTNDRFireInternal(ASTNDRFireInternal n)
           
 void applyASTNDRFireOutput(ASTNDRFireOutput n)
           
 void applyASTNDRFollow(ASTNDRFollow n)
           
 void applyASTNDRIfThen(ASTNDRIfThen n)
           
 void applyASTNDRIfThenElse(ASTNDRIfThenElse n)
           
 void applyASTNDRWhile(ASTNDRWhile n)
           
 void applyASTNDRYield(ASTNDRYield n)
           
 void applyASTNeg(ASTNeg n)
           
 void applyASTNEqual(ASTNEqual n)
           
 void applyASTNode(ASTNode n)
           
 void applyASTNot(ASTNot n)
           
 void applyASTNotation(ASTNotation n)
           
 void applyASTNotationFun(ASTNotationFun n)
           
 void applyASTNotationInfix(ASTNotationInfix n)
           
 void applyASTNotationInfixRight(ASTNotationInfixRight n)
           
 void applyASTNotationITE(ASTNotationITE n)
           
 void applyASTNotationMixBracket(ASTNotationMixBracket n)
           
 void applyASTNotationMixCBrace(ASTNotationMixCBrace n)
           
 void applyASTNotationMixFix(ASTNotationMixFix n)
           
 void applyASTNotationPrefix(ASTNotationPrefix n)
           
 void applyASTNotationSuffix(ASTNotationSuffix n)
           
 void applyASTOperator(ASTOperator n)
           
 void applyASTOperatorSignature(ASTOperatorSignature n)
           
 void applyASTOr(ASTOr n)
           
 void applyASTPost(ASTPost n)
           
 void applyASTPow(ASTPow n)
           
 void applyASTProofFire(ASTProofFire n)
           
 void applyASTProofFollow(ASTProofFollow n)
           
 void applyASTProofIfThen(ASTProofIfThen n)
           
 void applyASTProofIfThenElse(ASTProofIfThenElse n)
           
 void applyASTProofUsing(ASTProofUsing n)
           
 void applyASTProofWhile(ASTProofWhile n)
           
 void applyASTQExist(ASTQExist n)
           
 void applyASTQForall(ASTQForall n)
           
 void applyASTQuantified(ASTQuantified n)
           
 void applyASTRoot(ASTRoot n)
           
 void applyASTRootDeclFuns(ASTRootDeclFuns n)
           
 void applyASTRootDeclTypes(ASTRootDeclTypes n)
           
 void applyASTRootDeclVocab(ASTRootDeclVocab n)
           
 void applyASTRootVocabRef(ASTRootVocabRef n)
           
 void applyASTSchedule(ASTSchedule n)
           
 void applyASTSetof(ASTSetof n)
           
 void applyASTSignature(ASTSignature n)
           
 void applyASTSimProof(ASTSimProof n)
           
 void applyASTSimProofAction(ASTSimProofAction n)
           
 void applyASTSimProofEntry(ASTSimProofEntry n)
           
 void applyASTSimulation(ASTSimulation n)
           
 void applyASTStartEntry(ASTStartEntry n)
           
 void applyASTState(ASTState n)
           
 void applyASTStatement(ASTStatement n)
           
 void applyASTSub(ASTSub n)
           
 void applyASTTask(ASTTask n)
           
 void applyASTTrajectory(ASTTrajectory n)
           
 void applyASTTrajEntry(ASTTrajEntry n)
           
 void applyASTTrajRef(ASTTrajRef n)
           
 void applyASTTransEntry(ASTTransEntry n)
           
 void applyASTTransition(ASTTransition n)
           
 void applyASTTupleConstructor(ASTTupleConstructor n)
           
 void applyASTType(ASTType n)
           
 void applyASTTypeAlias(ASTTypeAlias n)
           
 void applyASTTypeEnum(ASTTypeEnum n)
           
 void applyASTTypeFunction(ASTTypeFunction n)
           
 void applyASTTypeGeneric(ASTTypeGeneric n)
           
 void applyASTTypeId(ASTTypeId n)
           
 void applyASTTypeParameter(ASTTypeParameter n)
           
 void applyASTTypeSelector(ASTTypeSelector n)
           
 void applyASTTypeTuple(ASTTypeTuple n)
           
 void applyASTTypeUnion(ASTTypeUnion n)
           
 void applyASTUnary(ASTUnary n)
           
 void applyASTVocabRef(ASTVocabRef n)
           
 void applyASTWhile(ASTWhile n)
           
 boolean eval(ASTNode n)
           
static boolean eval(ASTNode n, RuleSet sofsc)
           
static boolean eval(ASTNode n, SemanticRule ck)
           
static boolean eval(ASTNode n, SemanticRule[] cks)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ASTEvalVisitor

public ASTEvalVisitor(SemanticRules sc)
Method Detail

eval

public static boolean eval(ASTNode n,
                           SemanticRule ck)

eval

public static boolean eval(ASTNode n,
                           SemanticRule[] cks)

eval

public static boolean eval(ASTNode n,
                           RuleSet sofsc)

eval

public boolean eval(ASTNode n)

applyASTAction

public void applyASTAction(ASTAction n)
Specified by:
applyASTAction in interface ASTIVisitor

applyASTActionFormal

public void applyASTActionFormal(ASTActionFormal n)
Specified by:
applyASTActionFormal in interface ASTIVisitor

applyASTActionFormalConst

public void applyASTActionFormalConst(ASTActionFormalConst n)
Specified by:
applyASTActionFormalConst in interface ASTIVisitor

applyASTActionFormalName

public void applyASTActionFormalName(ASTActionFormalName n)
Specified by:
applyASTActionFormalName in interface ASTIVisitor

applyASTActionFormalTypedIdList

public void applyASTActionFormalTypedIdList(ASTActionFormalTypedIdList n)
Specified by:
applyASTActionFormalTypedIdList in interface ASTIVisitor

applyASTActionSet

public void applyASTActionSet(ASTActionSet n)
Specified by:
applyASTActionSet in interface ASTIVisitor

applyASTActual

public void applyASTActual(ASTActual n)
Specified by:
applyASTActual in interface ASTIVisitor

applyASTActualExpr

public void applyASTActualExpr(ASTActualExpr n)
Specified by:
applyASTActualExpr in interface ASTIVisitor

applyASTActualType

public void applyASTActualType(ASTActualType n)
Specified by:
applyASTActualType in interface ASTIVisitor

applyASTAdd

public void applyASTAdd(ASTAdd n)
Specified by:
applyASTAdd in interface ASTIVisitor

applyASTAnd

public void applyASTAnd(ASTAnd n)
Specified by:
applyASTAnd in interface ASTIVisitor

applyASTTupleConstructor

public void applyASTTupleConstructor(ASTTupleConstructor n)
Specified by:
applyASTTupleConstructor in interface ASTIVisitor

applyASTAssignment

public void applyASTAssignment(ASTAssignment n)
Specified by:
applyASTAssignment in interface ASTIVisitor

applyASTAutomaton

public void applyASTAutomaton(ASTAutomaton n)
Specified by:
applyASTAutomaton in interface ASTIVisitor

applyASTBasicAutomaton

public void applyASTBasicAutomaton(ASTBasicAutomaton n)
Specified by:
applyASTBasicAutomaton in interface ASTIVisitor

applyASTCompositeAutomaton

public void applyASTCompositeAutomaton(ASTCompositeAutomaton n)
Specified by:
applyASTCompositeAutomaton in interface ASTIVisitor

applyASTBackwardSim

public void applyASTBackwardSim(ASTBackwardSim n)
Specified by:
applyASTBackwardSim in interface ASTIVisitor

applyASTBinOp

public void applyASTBinOp(ASTBinOp n)
Specified by:
applyASTBinOp in interface ASTIVisitor

applyASTBinary

public void applyASTBinary(ASTBinary n)
Specified by:
applyASTBinary in interface ASTIVisitor

applyASTBlock

public void applyASTBlock(ASTBlock n)
Specified by:
applyASTBlock in interface ASTIVisitor

applyASTCall

public void applyASTCall(ASTCall n)
Specified by:
applyASTCall in interface ASTIVisitor

applyASTTypeSelector

public void applyASTTypeSelector(ASTTypeSelector n)
Specified by:
applyASTTypeSelector in interface ASTIVisitor

applyASTChoose

public void applyASTChoose(ASTChoose n)
Specified by:
applyASTChoose in interface ASTIVisitor

applyASTComponent

public void applyASTComponent(ASTComponent n)
Specified by:
applyASTComponent in interface ASTIVisitor

applyASTComponentDef

public void applyASTComponentDef(ASTComponentDef n)
Specified by:
applyASTComponentDef in interface ASTIVisitor

applyASTCond

public void applyASTCond(ASTCond n)
Specified by:
applyASTCond in interface ASTIVisitor

applyASTDecl

public void applyASTDecl(ASTDecl n)
Specified by:
applyASTDecl in interface ASTIVisitor

applyASTDeclFields

public void applyASTDeclFields(ASTDeclFields n)
Specified by:
applyASTDeclFields in interface ASTIVisitor

applyASTDeclFun

public void applyASTDeclFun(ASTDeclFun n)
Specified by:
applyASTDeclFun in interface ASTIVisitor

applyASTDeclLocals

public void applyASTDeclLocals(ASTDeclLocals n)
Specified by:
applyASTDeclLocals in interface ASTIVisitor

applyASTDeclScheduleLocal

public void applyASTDeclScheduleLocal(ASTDeclScheduleLocal n)
Specified by:
applyASTDeclScheduleLocal in interface ASTIVisitor

applyASTDeclVar

public void applyASTDeclVar(ASTDeclVar n)
Specified by:
applyASTDeclVar in interface ASTIVisitor

applyASTDeclVocabulary

public void applyASTDeclVocabulary(ASTDeclVocabulary n)
Specified by:
applyASTDeclVocabulary in interface ASTIVisitor

applyASTDefType

public void applyASTDefType(ASTDefType n)
Specified by:
applyASTDefType in interface ASTIVisitor

applyASTDerefArray

public void applyASTDerefArray(ASTDerefArray n)
Specified by:
applyASTDerefArray in interface ASTIVisitor

applyASTDerefField

public void applyASTDerefField(ASTDerefField n)
Specified by:
applyASTDerefField in interface ASTIVisitor

applyASTDiv

public void applyASTDiv(ASTDiv n)
Specified by:
applyASTDiv in interface ASTIVisitor

applyASTEffect

public void applyASTEffect(ASTEffect n)
Specified by:
applyASTEffect in interface ASTIVisitor

applyASTEqual

public void applyASTEqual(ASTEqual n)
Specified by:
applyASTEqual in interface ASTIVisitor

applyASTEquiv

public void applyASTEquiv(ASTEquiv n)
Specified by:
applyASTEquiv in interface ASTIVisitor

applyASTExpr

public void applyASTExpr(ASTExpr n)
Specified by:
applyASTExpr in interface ASTIVisitor

applyASTExprId

public void applyASTExprId(ASTExprId n)
Specified by:
applyASTExprId in interface ASTIVisitor

applyASTExprLiteral

public void applyASTExprLiteral(ASTExprLiteral n)
Specified by:
applyASTExprLiteral in interface ASTIVisitor

applyASTFire

public void applyASTFire(ASTFire n)
Specified by:
applyASTFire in interface ASTIVisitor

applyASTFireInput

public void applyASTFireInput(ASTFireInput n)
Specified by:
applyASTFireInput in interface ASTIVisitor

applyASTFireInternal

public void applyASTFireInternal(ASTFireInternal n)
Specified by:
applyASTFireInternal in interface ASTIVisitor

applyASTFireOutput

public void applyASTFireOutput(ASTFireOutput n)
Specified by:
applyASTFireOutput in interface ASTIVisitor

applyASTForClause

public void applyASTForClause(ASTForClause n)
Specified by:
applyASTForClause in interface ASTIVisitor

applyASTForLoop

public void applyASTForLoop(ASTForLoop n)
Specified by:
applyASTForLoop in interface ASTIVisitor

applyASTFormal

public void applyASTFormal(ASTFormal n)
Specified by:
applyASTFormal in interface ASTIVisitor

applyASTForwardSim

public void applyASTForwardSim(ASTForwardSim n)
Specified by:
applyASTForwardSim in interface ASTIVisitor

applyASTGEqual

public void applyASTGEqual(ASTGEqual n)
Specified by:
applyASTGEqual in interface ASTIVisitor

applyASTGreater

public void applyASTGreater(ASTGreater n)
Specified by:
applyASTGreater in interface ASTIVisitor

applyASTIdOrNum

public void applyASTIdOrNum(ASTIdOrNum n)
Specified by:
applyASTIdOrNum in interface ASTIVisitor

applyASTIdentifier

public void applyASTIdentifier(ASTIdentifier n)
Specified by:
applyASTIdentifier in interface ASTIVisitor

applyASTIfThen

public void applyASTIfThen(ASTIfThen n)
Specified by:
applyASTIfThen in interface ASTIVisitor

applyASTIfThenElse

public void applyASTIfThenElse(ASTIfThenElse n)
Specified by:
applyASTIfThenElse in interface ASTIVisitor

applyASTImply

public void applyASTImply(ASTImply n)
Specified by:
applyASTImply in interface ASTIVisitor

applyASTInvariant

public void applyASTInvariant(ASTInvariant n)
Specified by:
applyASTInvariant in interface ASTIVisitor

applyASTLEqual

public void applyASTLEqual(ASTLEqual n)
Specified by:
applyASTLEqual in interface ASTIVisitor

applyASTLess

public void applyASTLess(ASTLess n)
Specified by:
applyASTLess in interface ASTIVisitor

applyASTList

public void applyASTList(ASTList n)
Specified by:
applyASTList in interface ASTIVisitor

applyASTListSignature

public void applyASTListSignature(ASTListSignature n)
Specified by:
applyASTListSignature in interface ASTIVisitor

applyASTListActionFormal

public void applyASTListActionFormal(ASTListActionFormal n)
Specified by:
applyASTListActionFormal in interface ASTIVisitor

applyASTListActionSet

public void applyASTListActionSet(ASTListActionSet n)
Specified by:
applyASTListActionSet in interface ASTIVisitor

applyASTListActual

public void applyASTListActual(ASTListActual n)
Specified by:
applyASTListActual in interface ASTIVisitor

applyASTListComponent

public void applyASTListComponent(ASTListComponent n)
Specified by:
applyASTListComponent in interface ASTIVisitor

applyASTListDeclFuns

public void applyASTListDeclFuns(ASTListDeclFuns n)
Specified by:
applyASTListDeclFuns in interface ASTIVisitor

applyASTListDeclScheduleLocal

public void applyASTListDeclScheduleLocal(ASTListDeclScheduleLocal n)
Specified by:
applyASTListDeclScheduleLocal in interface ASTIVisitor

applyASTListDefType

public void applyASTListDefType(ASTListUsedType n)
Specified by:
applyASTListDefType in interface ASTIVisitor

applyASTListFields

public void applyASTListFields(ASTListFields n)
Specified by:
applyASTListFields in interface ASTIVisitor

applyASTListFormal

public void applyASTListFormal(ASTListFormal n)
Specified by:
applyASTListFormal in interface ASTIVisitor

applyASTListFormula

public void applyASTListFormula(ASTListFormula n)
Specified by:
applyASTListFormula in interface ASTIVisitor

applyASTListId

public void applyASTListId(ASTListId n)
Specified by:
applyASTListId in interface ASTIVisitor

applyASTListIdOrNum

public void applyASTListIdOrNum(ASTListIdOrNum n)
Specified by:
applyASTListIdOrNum in interface ASTIVisitor

applyASTListName

public void applyASTListName(ASTListName n)
Specified by:
applyASTListName in interface ASTIVisitor

applyASTListProofUsing

public void applyASTListProofUsing(ASTListProofUsing n)
Specified by:
applyASTListProofUsing in interface ASTIVisitor

applyASTListRoot

public void applyASTListRoot(ASTListRoot n)
Specified by:
applyASTListRoot in interface ASTIVisitor

applyASTListOperatorSignature

public void applyASTListOperatorSignature(ASTListOperatorSignature n)
Specified by:
applyASTListOperatorSignature in interface ASTIVisitor

applyASTListStartEntry

public void applyASTListStartEntry(ASTListStartEntry n)
Specified by:
applyASTListStartEntry in interface ASTIVisitor

applyASTListState

public void applyASTListState(ASTListState n)
Specified by:
applyASTListState in interface ASTIVisitor

applyASTListStatement

public void applyASTListStatement(ASTListStatement n)
Specified by:
applyASTListStatement in interface ASTIVisitor

applyASTListTask

public void applyASTListTask(ASTListTask n)
Specified by:
applyASTListTask in interface ASTIVisitor

applyASTListTrajectories

public void applyASTListTrajectories(ASTListTrajectories n)
Specified by:
applyASTListTrajectories in interface ASTIVisitor

applyASTListTransition

public void applyASTListTransition(ASTListTransition n)
Specified by:
applyASTListTransition in interface ASTIVisitor

applyASTListType

public void applyASTListType(ASTListType n)
Specified by:
applyASTListType in interface ASTIVisitor

applyASTListVocabRef

public void applyASTListVocabRef(ASTListVocabRef n)
Specified by:
applyASTListVocabRef in interface ASTIVisitor

applyASTListTrajRef

public void applyASTListTrajRef(ASTListTrajRef n)
Specified by:
applyASTListTrajRef in interface ASTIVisitor

applyASTListDeclLocals

public void applyASTListDeclLocals(ASTListDeclLocals n)
Specified by:
applyASTListDeclLocals in interface ASTIVisitor

applyASTLiteral

public void applyASTLiteral(ASTLiteral n)
Specified by:
applyASTLiteral in interface ASTIVisitor

applyASTMSGInvoke

public void applyASTMSGInvoke(ASTMSGInvoke n)
Specified by:
applyASTMSGInvoke in interface ASTIVisitor

applyASTMSGInvokeInput

public void applyASTMSGInvokeInput(ASTMSGInvokeInput n)
Specified by:
applyASTMSGInvokeInput in interface ASTIVisitor

applyASTMSGInvokeInternal

public void applyASTMSGInvokeInternal(ASTMSGInvokeInternal n)
Specified by:
applyASTMSGInvokeInternal in interface ASTIVisitor

applyASTMSGInvokeOutput

public void applyASTMSGInvokeOutput(ASTMSGInvokeOutput n)
Specified by:
applyASTMSGInvokeOutput in interface ASTIVisitor

applyASTMul

public void applyASTMul(ASTMul n)
Specified by:
applyASTMul in interface ASTIVisitor

applyASTNDRChoose

public void applyASTNDRChoose(ASTNDRChoose n)
Specified by:
applyASTNDRChoose in interface ASTIVisitor

applyASTNDRFire

public void applyASTNDRFire(ASTNDRFire n)
Specified by:
applyASTNDRFire in interface ASTIVisitor

applyASTNDRFireInput

public void applyASTNDRFireInput(ASTNDRFireInput n)
Specified by:
applyASTNDRFireInput in interface ASTIVisitor

applyASTNDRFireInternal

public void applyASTNDRFireInternal(ASTNDRFireInternal n)
Specified by:
applyASTNDRFireInternal in interface ASTIVisitor

applyASTNDRFireOutput

public void applyASTNDRFireOutput(ASTNDRFireOutput n)
Specified by:
applyASTNDRFireOutput in interface ASTIVisitor

applyASTNDRFollow

public void applyASTNDRFollow(ASTNDRFollow n)
Specified by:
applyASTNDRFollow in interface ASTIVisitor

applyASTNDRIfThen

public void applyASTNDRIfThen(ASTNDRIfThen n)
Specified by:
applyASTNDRIfThen in interface ASTIVisitor

applyASTNDRIfThenElse

public void applyASTNDRIfThenElse(ASTNDRIfThenElse n)
Specified by:
applyASTNDRIfThenElse in interface ASTIVisitor

applyASTNDRWhile

public void applyASTNDRWhile(ASTNDRWhile n)
Specified by:
applyASTNDRWhile in interface ASTIVisitor

applyASTNDRYield

public void applyASTNDRYield(ASTNDRYield n)
Specified by:
applyASTNDRYield in interface ASTIVisitor

applyASTNEqual

public void applyASTNEqual(ASTNEqual n)
Specified by:
applyASTNEqual in interface ASTIVisitor

applyASTNeg

public void applyASTNeg(ASTNeg n)
Specified by:
applyASTNeg in interface ASTIVisitor

applyASTNode

public void applyASTNode(ASTNode n)
Specified by:
applyASTNode in interface ASTIVisitor

applyASTNot

public void applyASTNot(ASTNot n)
Specified by:
applyASTNot in interface ASTIVisitor

applyASTNotation

public void applyASTNotation(ASTNotation n)
Specified by:
applyASTNotation in interface ASTIVisitor

applyASTNotationFun

public void applyASTNotationFun(ASTNotationFun n)
Specified by:
applyASTNotationFun in interface ASTIVisitor

applyASTNotationITE

public void applyASTNotationITE(ASTNotationITE n)
Specified by:
applyASTNotationITE in interface ASTIVisitor

applyASTNotationInfix

public void applyASTNotationInfix(ASTNotationInfix n)
Specified by:
applyASTNotationInfix in interface ASTIVisitor

applyASTNotationInfixRight

public void applyASTNotationInfixRight(ASTNotationInfixRight n)
Specified by:
applyASTNotationInfixRight in interface ASTIVisitor

applyASTNotationMixBracket

public void applyASTNotationMixBracket(ASTNotationMixBracket n)
Specified by:
applyASTNotationMixBracket in interface ASTIVisitor

applyASTNotationMixCBrace

public void applyASTNotationMixCBrace(ASTNotationMixCBrace n)
Specified by:
applyASTNotationMixCBrace in interface ASTIVisitor

applyASTNotationMixFix

public void applyASTNotationMixFix(ASTNotationMixFix n)
Specified by:
applyASTNotationMixFix in interface ASTIVisitor

applyASTNotationPrefix

public void applyASTNotationPrefix(ASTNotationPrefix n)
Specified by:
applyASTNotationPrefix in interface ASTIVisitor

applyASTNotationSuffix

public void applyASTNotationSuffix(ASTNotationSuffix n)
Specified by:
applyASTNotationSuffix in interface ASTIVisitor

applyASTOperator

public void applyASTOperator(ASTOperator n)
Specified by:
applyASTOperator in interface ASTIVisitor

applyASTOr

public void applyASTOr(ASTOr n)
Specified by:
applyASTOr in interface ASTIVisitor

applyASTPow

public void applyASTPow(ASTPow n)
Specified by:
applyASTPow in interface ASTIVisitor

applyASTProofFire

public void applyASTProofFire(ASTProofFire n)
Specified by:
applyASTProofFire in interface ASTIVisitor

applyASTProofFollow

public void applyASTProofFollow(ASTProofFollow n)
Specified by:
applyASTProofFollow in interface ASTIVisitor

applyASTProofIfThen

public void applyASTProofIfThen(ASTProofIfThen n)
Specified by:
applyASTProofIfThen in interface ASTIVisitor

applyASTProofIfThenElse

public void applyASTProofIfThenElse(ASTProofIfThenElse n)
Specified by:
applyASTProofIfThenElse in interface ASTIVisitor

applyASTProofUsing

public void applyASTProofUsing(ASTProofUsing n)
Specified by:
applyASTProofUsing in interface ASTIVisitor

applyASTProofWhile

public void applyASTProofWhile(ASTProofWhile n)
Specified by:
applyASTProofWhile in interface ASTIVisitor

applyASTQExist

public void applyASTQExist(ASTQExist n)
Specified by:
applyASTQExist in interface ASTIVisitor

applyASTQForall

public void applyASTQForall(ASTQForall n)
Specified by:
applyASTQForall in interface ASTIVisitor

applyASTQuantified

public void applyASTQuantified(ASTQuantified n)
Specified by:
applyASTQuantified in interface ASTIVisitor

applyASTRoot

public void applyASTRoot(ASTRoot n)
Specified by:
applyASTRoot in interface ASTIVisitor

applyASTRootDeclFuns

public void applyASTRootDeclFuns(ASTRootDeclFuns n)
Specified by:
applyASTRootDeclFuns in interface ASTIVisitor

applyASTRootDeclVocab

public void applyASTRootDeclVocab(ASTRootDeclVocab n)
Specified by:
applyASTRootDeclVocab in interface ASTIVisitor

applyASTSchedule

public void applyASTSchedule(ASTSchedule n)
Specified by:
applyASTSchedule in interface ASTIVisitor

applyASTSetof

public void applyASTSetof(ASTSetof n)
Specified by:
applyASTSetof in interface ASTIVisitor

applyASTOperatorSignature

public void applyASTOperatorSignature(ASTOperatorSignature n)
Specified by:
applyASTOperatorSignature in interface ASTIVisitor

applyASTSimProof

public void applyASTSimProof(ASTSimProof n)
Specified by:
applyASTSimProof in interface ASTIVisitor

applyASTSimProofAction

public void applyASTSimProofAction(ASTSimProofAction n)
Specified by:
applyASTSimProofAction in interface ASTIVisitor

applyASTSimProofEntry

public void applyASTSimProofEntry(ASTSimProofEntry n)
Specified by:
applyASTSimProofEntry in interface ASTIVisitor

applyASTSimulation

public void applyASTSimulation(ASTSimulation n)
Specified by:
applyASTSimulation in interface ASTIVisitor

applyASTStartEntry

public void applyASTStartEntry(ASTStartEntry n)
Specified by:
applyASTStartEntry in interface ASTIVisitor

applyASTState

public void applyASTState(ASTState n)
Specified by:
applyASTState in interface ASTIVisitor

applyASTStatement

public void applyASTStatement(ASTStatement n)
Specified by:
applyASTStatement in interface ASTIVisitor

applyASTSub

public void applyASTSub(ASTSub n)
Specified by:
applyASTSub in interface ASTIVisitor

applyASTTask

public void applyASTTask(ASTTask n)
Specified by:
applyASTTask in interface ASTIVisitor

applyASTTrajEntry

public void applyASTTrajEntry(ASTTrajEntry n)
Specified by:
applyASTTrajEntry in interface ASTIVisitor

applyASTTrajectory

public void applyASTTrajectory(ASTTrajectory n)
Specified by:
applyASTTrajectory in interface ASTIVisitor

applyASTTransEntry

public void applyASTTransEntry(ASTTransEntry n)
Specified by:
applyASTTransEntry in interface ASTIVisitor

applyASTTransition

public void applyASTTransition(ASTTransition n)
Specified by:
applyASTTransition in interface ASTIVisitor

applyASTType

public void applyASTType(ASTType n)
Specified by:
applyASTType in interface ASTIVisitor

applyASTTypeAlias

public void applyASTTypeAlias(ASTTypeAlias n)
Specified by:
applyASTTypeAlias in interface ASTIVisitor

applyASTTypeEnum

public void applyASTTypeEnum(ASTTypeEnum n)
Specified by:
applyASTTypeEnum in interface ASTIVisitor

applyASTTypeFunction

public void applyASTTypeFunction(ASTTypeFunction n)
Specified by:
applyASTTypeFunction in interface ASTIVisitor

applyASTTypeGeneric

public void applyASTTypeGeneric(ASTTypeGeneric n)
Specified by:
applyASTTypeGeneric in interface ASTIVisitor

applyASTTypeId

public void applyASTTypeId(ASTTypeId n)
Specified by:
applyASTTypeId in interface ASTIVisitor

applyASTTypeParameter

public void applyASTTypeParameter(ASTTypeParameter n)
Specified by:
applyASTTypeParameter in interface ASTIVisitor

applyASTTypeTuple

public void applyASTTypeTuple(ASTTypeTuple n)
Specified by:
applyASTTypeTuple in interface ASTIVisitor

applyASTTypeUnion

public void applyASTTypeUnion(ASTTypeUnion n)
Specified by:
applyASTTypeUnion in interface ASTIVisitor

applyASTUnary

public void applyASTUnary(ASTUnary n)
Specified by:
applyASTUnary in interface ASTIVisitor

applyASTVocabRef

public void applyASTVocabRef(ASTVocabRef n)
Specified by:
applyASTVocabRef in interface ASTIVisitor

applyASTWhile

public void applyASTWhile(ASTWhile n)
Specified by:
applyASTWhile in interface ASTIVisitor

applyASTFloatLiteral

public void applyASTFloatLiteral(ASTFloatLiteral n)
Specified by:
applyASTFloatLiteral in interface ASTIVisitor

applyASTIntLiteral

public void applyASTIntLiteral(ASTIntLiteral n)
Specified by:
applyASTIntLiteral in interface ASTIVisitor

applyASTListSimProofEntry

public void applyASTListSimProofEntry(ASTListSimProofEntry n)
Specified by:
applyASTListSimProofEntry in interface ASTIVisitor

applyASTPost

public void applyASTPost(ASTPost n)
Specified by:
applyASTPost in interface ASTIVisitor

applyASTMixCBraceOp

public void applyASTMixCBraceOp(ASTMixCBraceOp n)
Specified by:
applyASTMixCBraceOp in interface ASTIVisitor

applyASTSignature

public void applyASTSignature(ASTSignature n)
Specified by:
applyASTSignature in interface ASTIVisitor

applyASTFollow

public void applyASTFollow(ASTFollow n)
Specified by:
applyASTFollow in interface ASTIVisitor

applyASTComponentInst

public void applyASTComponentInst(ASTComponentInst n)
Specified by:
applyASTComponentInst in interface ASTIVisitor

applyASTTrajRef

public void applyASTTrajRef(ASTTrajRef n)
Specified by:
applyASTTrajRef in interface ASTIVisitor

applyASTRootDeclTypes

public void applyASTRootDeclTypes(ASTRootDeclTypes n)
Specified by:
applyASTRootDeclTypes in interface ASTIVisitor

applyASTRootVocabRef

public void applyASTRootVocabRef(ASTRootVocabRef n)
Specified by:
applyASTRootVocabRef in interface ASTIVisitor