com.veromodo.tempo.ast
Class ASTPrettyPrint

java.lang.Object
  extended by com.veromodo.tempo.ast.ASTHVisitor
      extended by com.veromodo.tempo.ast.ASTPrettyPrint
All Implemented Interfaces:
ASTIVisitor
Direct Known Subclasses:
ASTUnparse

public class ASTPrettyPrint
extends ASTHVisitor


Constructor Summary
ASTPrettyPrint(ErrorLog log)
           
ASTPrettyPrint(ErrorLog log, int t)
           
 
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 applyASTAssignment(ASTAssignment n)
           
 void applyASTAutomaton(ASTAutomaton 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 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 applyASTEffect(ASTEffect 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 applyASTIdentifier(ASTIdentifier n)
           
 void applyASTIdOrNum(ASTIdOrNum n)
           
 void applyASTIfThen(ASTIfThen n)
           
 void applyASTIfThenElse(ASTIfThenElse n)
           
 void applyASTIntLiteral(ASTIntLiteral n)
           
 void applyASTInvariant(ASTInvariant n)
           
 void applyASTList(ASTList<? extends ASTNode> 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 applyASTMixCBraceOp(ASTMixCBraceOp n)
           
 void applyASTMSGInvoke(ASTMSGInvoke 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 applyASTNeg(ASTNeg 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 applyASTNotationPrefix(ASTNotationPrefix n)
           
 void applyASTNotationSuffix(ASTNotationSuffix n)
           
 void applyASTOperator(ASTOperator n)
           
 void applyASTOperatorSignature(ASTOperatorSignature n)
           
 void applyASTPost(ASTPost n)
           
 void applyASTProofFire(ASTProofFire n)
           
 void applyASTProofFollow(ASTProofFollow n)
           
 void applyASTProofIfThen(ASTProofIfThen n)
           
 void applyASTProofIfThenElse(ASTProofIfThenElse n)
           
 void applyASTProofStatement(ASTStatement 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 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 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)
           
 void applyDeclFields(ASTDeclFields n)
           
 void printMSGInvoke(ASTMSGInvoke n, java.lang.String kind)
           
 void printUnary(ASTUnary n, java.lang.String op)
           
 java.lang.String unparse(ASTNode n)
           
 
Methods inherited from class com.veromodo.tempo.ast.ASTHVisitor
applyASTAdd, applyASTAnd, applyASTBinOp, applyASTDiv, applyASTEqual, applyASTEquiv, applyASTGEqual, applyASTGreater, applyASTImply, applyASTLEqual, applyASTLess, applyASTLiteral, applyASTMul, applyASTNEqual, applyASTNotationMixFix, applyASTOr, applyASTPow, applyASTSignature, applyASTSub
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ASTPrettyPrint

public ASTPrettyPrint(ErrorLog log)

ASTPrettyPrint

public ASTPrettyPrint(ErrorLog log,
                      int t)
Method Detail

unparse

public java.lang.String unparse(ASTNode n)

applyASTNode

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

applyASTIntLiteral

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

applyASTFloatLiteral

public void applyASTFloatLiteral(ASTFloatLiteral n)
Specified by:
applyASTFloatLiteral in interface ASTIVisitor
Overrides:
applyASTFloatLiteral 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

applyASTExpr

public void applyASTExpr(ASTExpr n)
Specified by:
applyASTExpr in interface ASTIVisitor
Overrides:
applyASTExpr 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

applyASTType

public void applyASTType(ASTType n)
Specified by:
applyASTType in interface ASTIVisitor
Overrides:
applyASTType 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

applyASTActionFormal

public void applyASTActionFormal(ASTActionFormal n)
Specified by:
applyASTActionFormal in interface ASTIVisitor
Overrides:
applyASTActionFormal 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

applyASTAutomaton

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

applyASTBasicAutomaton

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

applyASTCompositeAutomaton

public void applyASTCompositeAutomaton(ASTCompositeAutomaton n)
Specified by:
applyASTCompositeAutomaton in interface ASTIVisitor
Overrides:
applyASTCompositeAutomaton 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

applyASTIdOrNum

public void applyASTIdOrNum(ASTIdOrNum n)
Specified by:
applyASTIdOrNum in interface ASTIVisitor
Overrides:
applyASTIdOrNum 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

applyASTTypeAlias

public void applyASTTypeAlias(ASTTypeAlias n)
Specified by:
applyASTTypeAlias in interface ASTIVisitor
Overrides:
applyASTTypeAlias 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

applyASTQuantified

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

applyASTUnary

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

printUnary

public void printUnary(ASTUnary n,
                       java.lang.String op)

applyASTNeg

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

applyASTNot

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

applyASTPost

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

applyASTMixCBraceOp

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

applyASTActual

public void applyASTActual(ASTActual n)
Specified by:
applyASTActual in interface ASTIVisitor
Overrides:
applyASTActual 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

applyASTMSGInvoke

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

printMSGInvoke

public void printMSGInvoke(ASTMSGInvoke n,
                           java.lang.String kind)

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

applyASTSimProofEntry

public void applyASTSimProofEntry(ASTSimProofEntry n)
Specified by:
applyASTSimProofEntry in interface ASTIVisitor
Overrides:
applyASTSimProofEntry 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

applyASTStatement

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

applyASTProofStatement

public void applyASTProofStatement(ASTStatement n)
Overrides:
applyASTProofStatement 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

applyASTDecl

public void applyASTDecl(ASTDecl n)
Specified by:
applyASTDecl in interface ASTIVisitor
Overrides:
applyASTDecl 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

applyASTSimulation

public void applyASTSimulation(ASTSimulation n)
Specified by:
applyASTSimulation in interface ASTIVisitor
Overrides:
applyASTSimulation 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

applyASTFire

public void applyASTFire(ASTFire n)
Specified by:
applyASTFire in interface ASTIVisitor
Overrides:
applyASTFire 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

applyASTList

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

applyASTListActual

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

applyASTListVocabRef

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

applyASTListProofUsing

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

applyASTListType

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

applyASTListId

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

applyASTListActionFormal

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

applyASTListFormula

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

applyASTListIdOrNum

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

applyASTListFields

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

applyASTListTrajRef

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

applyASTListDeclLocals

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

applyASTListName

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

applyASTListDeclFuns

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

applyASTListDeclScheduleLocal

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

applyASTListSignature

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

applyASTListComponent

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

applyASTListStatement

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

applyASTListSimProofEntry

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

applyASTListActionSet

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

applyASTListStartEntry

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

applyASTListRoot

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

applyASTListTask

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

applyASTListTrajectories

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

applyASTListTransition

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

applyASTListDefType

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

applyASTListOperatorSignature

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

applyASTListState

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

applyASTListFormal

public void applyASTListFormal(ASTListFormal n)
Specified by:
applyASTListFormal in interface ASTIVisitor
Overrides:
applyASTListFormal 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

applyASTNotation

public void applyASTNotation(ASTNotation n)
Specified by:
applyASTNotation in interface ASTIVisitor
Overrides:
applyASTNotation 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

applyASTRoot

public void applyASTRoot(ASTRoot n)
Specified by:
applyASTRoot in interface ASTIVisitor
Overrides:
applyASTRoot 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

applyASTDeclFields

public void applyASTDeclFields(ASTDeclFields n)
Specified by:
applyASTDeclFields in interface ASTIVisitor
Overrides:
applyASTDeclFields 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