com.veromodo.tempo.sem
Class CheckStatement

java.lang.Object
  extended by com.veromodo.tempo.ast.ASTHVisitor
      extended by com.veromodo.tempo.ast.ASTBVisitor
          extended by com.veromodo.tempo.sem.CheckStatement
All Implemented Interfaces:
ASTIVisitor
Direct Known Subclasses:
CheckSimStatement, CheckYieldStatement

public class CheckStatement
extends ASTBVisitor


Constructor Summary
CheckStatement(Environment e)
           
 
Method Summary
 void analyze(ASTNode n)
           
 void applyASTAssignment(ASTAssignment n)
           
 void applyASTFireInput(ASTFireInput n)
           
 void applyASTFireInternal(ASTFireInternal n)
           
 void applyASTFireOutput(ASTFireOutput n)
           
 void applyASTFollow(ASTFollow n)
           
 void applyASTForLoop(ASTForLoop n)
           
 void applyASTIfThen(ASTIfThen n)
           
 void applyASTIfThenElse(ASTIfThenElse 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 applyASTWhile(ASTWhile n)
           
 
Methods inherited from class com.veromodo.tempo.ast.ASTBVisitor
applyASTAction, applyASTActionFormalConst, applyASTActionFormalName, applyASTActionFormalTypedIdList, applyASTActionSet, applyASTActualExpr, applyASTActualType, applyASTBackwardSim, applyASTBasicAutomaton, applyASTBinary, applyASTBlock, applyASTCall, applyASTChoose, applyASTComponent, applyASTComponentDef, applyASTComponentInst, applyASTCompositeAutomaton, applyASTCond, applyASTDeclFun, applyASTDeclLocals, applyASTDeclScheduleLocal, applyASTDeclVar, applyASTDeclVocabulary, applyASTDefType, applyASTDerefArray, applyASTDerefField, applyASTEffect, applyASTExpr, applyASTExprId, applyASTExprLiteral, applyASTForClause, applyASTFormal, applyASTForwardSim, applyASTIdentifier, applyASTInvariant, applyASTList, applyASTLiteral, applyASTMSGInvokeInput, applyASTMSGInvokeInternal, applyASTMSGInvokeOutput, applyASTNDRChoose, 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, applyDeclFields
 
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

CheckStatement

public CheckStatement(Environment e)
Method Detail

analyze

public void analyze(ASTNode n)

applyASTAssignment

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

applyASTForLoop

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

applyASTIfThen

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

applyASTIfThenElse

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

applyASTWhile

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

applyASTFireInput

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

applyASTFireOutput

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

applyASTFireInternal

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

applyASTFollow

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

applyASTNDRIfThen

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

applyASTNDRIfThenElse

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

applyASTNDRWhile

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

applyASTNDRYield

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

applyASTNDRFollow

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

applyASTNDRFire

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

applyASTNDRFireInput

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

applyASTNDRFireOutput

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

applyASTNDRFireInternal

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