com.veromodo.tempo.sem
Class CheckSimStatement

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

public class CheckSimStatement
extends CheckStatement


Constructor Summary
CheckSimStatement(Environment e)
           
 
Method Summary
 void analyze(ASTNode n)
           
 void analyze(ASTNode n, AutomatonInstanceDescriptor a)
           
 void applyASTProofFire(ASTProofFire n)
           
 void applyASTProofFollow(ASTProofFollow n)
           
 void applyASTProofIfThen(ASTProofIfThen n)
           
 void applyASTProofIfThenElse(ASTProofIfThenElse n)
           
 void applyASTProofUsing(ASTProofUsing n)
           
 void applyASTProofWhile(ASTProofWhile n)
           
 
Methods inherited from class com.veromodo.tempo.sem.CheckStatement
applyASTAssignment, applyASTFireInput, applyASTFireInternal, applyASTFireOutput, applyASTFollow, applyASTForLoop, applyASTIfThen, applyASTIfThenElse, applyASTNDRFire, applyASTNDRFireInput, applyASTNDRFireInternal, applyASTNDRFireOutput, applyASTNDRFollow, applyASTNDRIfThen, applyASTNDRIfThenElse, applyASTNDRWhile, applyASTNDRYield, applyASTWhile
 
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, 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

CheckSimStatement

public CheckSimStatement(Environment e)
Method Detail

analyze

public void analyze(ASTNode n)
Overrides:
analyze in class CheckStatement

analyze

public void analyze(ASTNode n,
                    AutomatonInstanceDescriptor a)

applyASTProofIfThen

public void applyASTProofIfThen(ASTProofIfThen n)
Specified by:
applyASTProofIfThen in interface ASTIVisitor
Overrides:
applyASTProofIfThen in class ASTBVisitor

applyASTProofIfThenElse

public void applyASTProofIfThenElse(ASTProofIfThenElse n)
Specified by:
applyASTProofIfThenElse in interface ASTIVisitor
Overrides:
applyASTProofIfThenElse in class ASTBVisitor

applyASTProofWhile

public void applyASTProofWhile(ASTProofWhile n)
Specified by:
applyASTProofWhile in interface ASTIVisitor
Overrides:
applyASTProofWhile in class ASTBVisitor

applyASTProofFollow

public void applyASTProofFollow(ASTProofFollow n)
Specified by:
applyASTProofFollow in interface ASTIVisitor
Overrides:
applyASTProofFollow in class ASTBVisitor

applyASTProofFire

public void applyASTProofFire(ASTProofFire n)
Specified by:
applyASTProofFire in interface ASTIVisitor
Overrides:
applyASTProofFire in class ASTBVisitor

applyASTProofUsing

public void applyASTProofUsing(ASTProofUsing n)
Specified by:
applyASTProofUsing in interface ASTIVisitor
Overrides:
applyASTProofUsing in class ASTBVisitor