com.veromodo.tempo.sem
Class SAnalyzePass2

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

public class SAnalyzePass2
extends ASTBVisitor

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


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

Constructor Detail

SAnalyzePass2

public SAnalyzePass2(Environment env)
Method Detail

analyzeIt

public void analyzeIt(ASTNode n)

applyASTBasicAutomaton

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

applyASTCompositeAutomaton

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

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

applyASTRootVocabRef

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

applyASTRootDeclFuns

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