com.veromodo.tempo.ast
Class ASTDecorationVisitor

java.lang.Object
  extended by com.veromodo.tempo.ast.ASTHVisitor
      extended by com.veromodo.tempo.ast.ASTBVisitor
          extended by com.veromodo.tempo.ast.ASTDecorationVisitor
All Implemented Interfaces:
ASTIVisitor

public class ASTDecorationVisitor
extends ASTBVisitor


Constructor Summary
ASTDecorationVisitor()
           
 
Method Summary
 void applyASTAutomaton(ASTAutomaton n)
           
 void applyASTComponent(ASTComponent n)
           
 void applyASTDeclFun(ASTDeclFun n)
           
 void applyASTDefType(ASTDefType n)
           
 void applyASTExpr(ASTExpr n)
           
 void applyASTIdentifier(ASTIdentifier n)
           
 void check(ASTNode n)
           
 
Methods inherited from class com.veromodo.tempo.ast.ASTBVisitor
applyASTAction, applyASTActionFormalConst, applyASTActionFormalName, applyASTActionFormalTypedIdList, applyASTActionSet, applyASTActualExpr, applyASTActualType, applyASTAssignment, applyASTBackwardSim, applyASTBasicAutomaton, applyASTBinary, applyASTBlock, applyASTCall, applyASTChoose, applyASTComponentDef, applyASTComponentInst, applyASTCompositeAutomaton, applyASTCond, applyASTDeclLocals, applyASTDeclScheduleLocal, applyASTDeclVar, applyASTDeclVocabulary, applyASTDerefArray, applyASTDerefField, applyASTEffect, applyASTExprId, applyASTExprLiteral, applyASTFireInput, applyASTFireInternal, applyASTFireOutput, applyASTFollow, applyASTForClause, applyASTForLoop, applyASTFormal, applyASTForwardSim, applyASTIfThen, applyASTIfThenElse, applyASTInvariant, applyASTList, applyASTLiteral, applyASTMSGInvokeInput, applyASTMSGInvokeInternal, applyASTMSGInvokeOutput, applyASTNDRChoose, applyASTNDRFire, applyASTNDRFireInput, applyASTNDRFireInternal, applyASTNDRFireOutput, applyASTNDRFollow, applyASTNDRIfThen, applyASTNDRIfThenElse, applyASTNDRWhile, applyASTNDRYield, applyASTNode, applyASTNotation, applyASTNotationFun, applyASTNotationInfix, applyASTNotationInfixRight, applyASTNotationITE, applyASTNotationMixBracket, applyASTNotationMixCBrace, applyASTNotationPrefix, applyASTNotationSuffix, applyASTOperator, applyASTOperatorSignature, applyASTProofFire, applyASTProofFollow, applyASTProofIfThen, applyASTProofIfThenElse, applyASTProofUsing, applyASTProofWhile, applyASTQExist, applyASTQForall, applyASTRoot, applyASTRootDeclFuns, applyASTRootDeclTypes, applyASTRootDeclVocab, applyASTRootVocabRef, applyASTSchedule, applyASTSetof, applyASTSimProof, applyASTSimProofAction, applyASTStartEntry, applyASTState, applyASTTask, applyASTTrajectory, applyASTTrajEntry, applyASTTrajRef, applyASTTransEntry, applyASTTransition, applyASTTupleConstructor, applyASTTypeAlias, applyASTTypeEnum, applyASTTypeFunction, applyASTTypeGeneric, applyASTTypeId, applyASTTypeParameter, applyASTTypeSelector, applyASTTypeTuple, applyASTTypeUnion, applyASTUnary, applyASTVocabRef, applyASTWhile, applyDeclFields
 
Methods inherited from class com.veromodo.tempo.ast.ASTHVisitor
applyASTActionFormal, applyASTActual, applyASTAdd, applyASTAnd, 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

ASTDecorationVisitor

public ASTDecorationVisitor()
Method Detail

check

public void check(ASTNode n)

applyASTAutomaton

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

applyASTComponent

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

applyASTDeclFun

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

applyASTDefType

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

applyASTIdentifier

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

applyASTExpr

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