com.veromodo.tempo.sem
Class SAnalyzePass3

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

public class SAnalyzePass3
extends ASTBVisitor

Visitor for semantic analysis. Should inherit from BVisitor, then don't need applyASTList


Constructor Summary
SAnalyzePass3(Environment env)
           
 
Method Summary
 void analyzeIt(ASTNode n)
           
 void applyASTAutomaton(ASTAutomaton n)
           
 void applyASTBackwardSim(ASTBackwardSim n)
           
 void applyASTForwardSim(ASTForwardSim n)
           
 void applyASTInvariant(ASTInvariant n)
           
 void applyASTListRoot(ASTListRoot n)
           
 void applyASTSimulation(ASTSimulation n)
           
 
Methods inherited from class com.veromodo.tempo.ast.ASTBVisitor
applyASTAction, applyASTActionFormalConst, applyASTActionFormalName, applyASTActionFormalTypedIdList, applyASTActionSet, applyASTActualExpr, applyASTActualType, applyASTAssignment, applyASTBasicAutomaton, applyASTBinary, applyASTBlock, applyASTCall, applyASTChoose, applyASTComponent, applyASTComponentDef, applyASTComponentInst, applyASTCompositeAutomaton, applyASTCond, applyASTDeclFun, applyASTDeclLocals, applyASTDeclScheduleLocal, applyASTDeclVar, applyASTDeclVocabulary, applyASTDefType, applyASTDerefArray, applyASTDerefField, applyASTEffect, applyASTExpr, applyASTExprId, applyASTExprLiteral, applyASTFireInput, applyASTFireInternal, applyASTFireOutput, applyASTFollow, applyASTForClause, applyASTForLoop, applyASTFormal, applyASTIdentifier, applyASTIfThen, applyASTIfThenElse, 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, 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, applyASTStatement, applyASTSub, applyASTType
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SAnalyzePass3

public SAnalyzePass3(Environment env)
Method Detail

analyzeIt

public void analyzeIt(ASTNode n)

applyASTAutomaton

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

applyASTListRoot

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

applyASTBackwardSim

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

applyASTInvariant

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