com.veromodo.tempo.ast
Class ASTBVisitor

java.lang.Object
  extended by com.veromodo.tempo.ast.ASTHVisitor
      extended by com.veromodo.tempo.ast.ASTBVisitor
All Implemented Interfaces:
ASTIVisitor
Direct Known Subclasses:
ASTDecorationVisitor, CheckComponent, CheckComponentWhere, CheckFormulas, CheckFunctionDef, CheckHidden, CheckImport, CheckInvariant, CheckMSGInvoke, CheckSchedule, CheckSignature, CheckSimProof, CheckState, CheckStatement, CheckTask, CheckTrajectory, CheckTransition, CheckType, CheckTypeDef, CheckVocabDefineType, CheckVocabulary, CollectActuals, CollectFormalNames, CollectFormals, CollectImports, CollectLocals, CollectOperators, CollectTypeParameters, CollectVocabularyActuals, ExprFreeVariables, FormalFlattener, SAnalyzePass1, SAnalyzePass2, SAnalyzePass3

public class ASTBVisitor
extends ASTHVisitor

AST recursive descent visitor. 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. Purpose of extending ASTHVisitor was to catch ASTNeg and ASTNot by ASTUnary H = hierarchichal (up) B = basic visitor


Constructor Summary
ASTBVisitor()
           
 
Method Summary
 void applyASTAction(ASTAction n)
           
 void applyASTActionFormalConst(ASTActionFormalConst n)
           
 void applyASTActionFormalName(ASTActionFormalName n)
           
 void applyASTActionFormalTypedIdList(ASTActionFormalTypedIdList n)
           
 void applyASTActionSet(ASTActionSet n)
           
 void applyASTActualExpr(ASTActualExpr n)
           
 void applyASTActualType(ASTActualType n)
           
 void applyASTAssignment(ASTAssignment n)
           
 void applyASTBackwardSim(ASTBackwardSim n)
           
 void applyASTBasicAutomaton(ASTBasicAutomaton n)
           
 void applyASTBinary(ASTBinary 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 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 applyASTEffect(ASTEffect n)
           
 void applyASTExpr(ASTExpr n)
           
 void applyASTExprId(ASTExprId n)
           
 void applyASTExprLiteral(ASTExprLiteral n)
           
 void applyASTFireInput(ASTFireInput n)
           
 void applyASTFireInternal(ASTFireInternal n)
           
 void applyASTFireOutput(ASTFireOutput n)
           
 void applyASTFollow(ASTFollow n)
           
 void applyASTForClause(ASTForClause n)
           
 void applyASTForLoop(ASTForLoop n)
           
 void applyASTFormal(ASTFormal n)
           
 void applyASTForwardSim(ASTForwardSim n)
           
 void applyASTIdentifier(ASTIdentifier n)
           
 void applyASTIfThen(ASTIfThen n)
           
 void applyASTIfThenElse(ASTIfThenElse n)
           
 void applyASTInvariant(ASTInvariant n)
           
 void applyASTList(ASTList<? extends ASTNode> n)
           
 void applyASTLiteral(ASTLiteral n)
           
 void applyASTMSGInvokeInput(ASTMSGInvokeInput n)
           
 void applyASTMSGInvokeInternal(ASTMSGInvokeInternal n)
           
 void applyASTMSGInvokeOutput(ASTMSGInvokeOutput 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 applyASTNode(ASTNode 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 applyASTNotationPrefix(ASTNotationPrefix n)
           
 void applyASTNotationSuffix(ASTNotationSuffix n)
           
 void applyASTOperator(ASTOperator n)
           
 void applyASTOperatorSignature(ASTOperatorSignature 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 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 applyASTSimProof(ASTSimProof n)
           
 void applyASTSimProofAction(ASTSimProofAction n)
           
 void applyASTStartEntry(ASTStartEntry n)
           
 void applyASTState(ASTState 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 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)
           
 void applyDeclFields(ASTDeclFields n)
           
 
Methods inherited from class com.veromodo.tempo.ast.ASTHVisitor
applyASTActionFormal, applyASTActual, applyASTAdd, applyASTAnd, applyASTAutomaton, applyASTBinOp, applyASTDecl, applyASTDeclFields, applyASTDiv, applyASTEqual, applyASTEquiv, applyASTFire, applyASTFloatLiteral, applyASTGEqual, applyASTGreater, applyASTIdOrNum, applyASTImply, applyASTIntLiteral, applyASTLEqual, applyASTLess, applyASTListActionFormal, applyASTListActionSet, applyASTListActual, applyASTListComponent, applyASTListDeclFuns, applyASTListDeclLocals, applyASTListDeclScheduleLocal, applyASTListDefType, applyASTListFields, applyASTListFormal, applyASTListFormula, applyASTListId, applyASTListIdOrNum, applyASTListName, applyASTListOperatorSignature, applyASTListProofUsing, applyASTListRoot, applyASTListSignature, applyASTListSimProofEntry, applyASTListStartEntry, applyASTListState, applyASTListStatement, applyASTListTask, applyASTListTrajectories, applyASTListTrajRef, applyASTListTransition, applyASTListType, applyASTListVocabRef, applyASTMixCBraceOp, applyASTMSGInvoke, applyASTMul, applyASTNeg, applyASTNEqual, applyASTNot, applyASTNotationMixFix, applyASTOr, applyASTPost, applyASTPow, applyASTProofStatement, applyASTQuantified, applyASTSignature, applyASTSimProofEntry, applyASTSimulation, applyASTStatement, applyASTSub, applyASTType
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ASTBVisitor

public ASTBVisitor()
Method Detail

applyASTLiteral

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

applyASTIdentifier

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

applyASTBinary

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

applyASTSetof

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

applyASTTupleConstructor

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

applyASTDerefField

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

applyASTDerefArray

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

applyASTCall

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

applyASTQForall

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

applyASTQExist

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

applyASTCond

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

applyASTAction

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

applyASTFormal

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

applyASTBasicAutomaton

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

applyASTTypeId

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

applyASTTypeGeneric

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

applyASTTypeFunction

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

applyASTTypeAlias

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

applyDeclFields

public void applyDeclFields(ASTDeclFields n)

applyASTTypeEnum

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

applyASTTypeTuple

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

applyASTTypeUnion

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

applyASTTypeParameter

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

applyASTExprId

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

applyASTExprLiteral

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

applyASTUnary

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

applyASTActualExpr

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

applyASTActualType

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

applyASTVocabRef

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

applyASTNDRIfThen

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

applyASTNDRIfThenElse

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

applyASTNDRWhile

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

applyASTProofIfThen

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

applyASTProofIfThenElse

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

applyASTProofWhile

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

applyASTNDRFollow

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

applyASTNDRYield

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

applyASTNDRFire

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

applyASTNDRFireInput

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

applyASTNDRFireOutput

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

applyASTNDRFireInternal

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

applyASTProofFollow

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

applyASTProofUsing

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

applyASTMSGInvokeInput

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

applyASTMSGInvokeInternal

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

applyASTMSGInvokeOutput

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

applyASTProofFire

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

applyASTSimProofAction

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

applyASTTrajEntry

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

applyASTTransEntry

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

applyASTStartEntry

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

applyASTSimProof

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

applyASTAssignment

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

applyASTDeclVar

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

applyASTBlock

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

applyASTChoose

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

applyASTState

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

applyASTActionFormalTypedIdList

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

applyASTActionFormalConst

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

applyASTDeclFun

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

applyASTSchedule

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

applyASTTrajectory

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

applyASTForClause

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

applyASTActionSet

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

applyASTTask

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

applyASTIfThen

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

applyASTIfThenElse

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

applyASTForLoop

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

applyASTEffect

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

applyASTDeclLocals

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

applyASTTransition

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

applyASTActionFormalName

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

applyASTDeclVocabulary

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

applyASTInvariant

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

applyASTForwardSim

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

applyASTBackwardSim

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

applyASTNDRChoose

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

applyASTWhile

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

applyASTFireInput

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

applyASTFireOutput

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

applyASTFireInternal

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

applyASTDeclScheduleLocal

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

applyASTComponentDef

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

applyASTComponent

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

applyASTCompositeAutomaton

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

applyASTList

public void applyASTList(ASTList<? extends ASTNode> n)
Specified by:
applyASTList in interface ASTIVisitor
Overrides:
applyASTList in class ASTHVisitor

applyASTTypeSelector

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

applyASTDefType

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

applyASTOperator

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

applyASTOperatorSignature

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

applyASTNotationFun

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

applyASTNotationPrefix

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

applyASTNotationSuffix

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

applyASTNotationInfix

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

applyASTNotationInfixRight

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

applyASTNotationMixCBrace

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

applyASTNotationMixBracket

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

applyASTNotationITE

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

applyASTRootDeclVocab

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

applyASTRootDeclFuns

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

applyASTFollow

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

applyASTComponentInst

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

applyASTTrajRef

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

applyASTRootDeclTypes

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

applyASTRootVocabRef

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

applyASTNode

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

applyASTExpr

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

applyASTNotation

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

applyASTRoot

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