com.veromodo.tempo.sem
Class CheckComponentWhere

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

public class CheckComponentWhere
extends ASTBVisitor


Constructor Summary
CheckComponentWhere(Environment e)
           
 
Method Summary
 void analyze(ASTNode n, java.util.Collection<ASTIdentifier> vars)
           
 void applyASTBinOp(ASTBinOp n)
           
 void applyASTGEqual(ASTGEqual n)
           
 void applyASTGreater(ASTGreater n)
           
 void applyASTLEqual(ASTLEqual n)
           
 void applyASTLess(ASTLess n)
           
 void applyASTOr(ASTOr n)
           
 boolean checkFor(ASTIdentifier var)
           
 java.util.Collection<ASTIdentifier> makeStrings(java.util.Collection<com.veromodo.tempo.sem.CheckComponentWhere.Constraint> cc)
           
 
Methods inherited from class com.veromodo.tempo.ast.ASTBVisitor
applyASTAction, applyASTActionFormalConst, applyASTActionFormalName, applyASTActionFormalTypedIdList, applyASTActionSet, applyASTActualExpr, applyASTActualType, applyASTAssignment, applyASTBackwardSim, 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, 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, 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, applyASTAutomaton, applyASTDecl, applyASTDeclFields, applyASTDiv, applyASTEqual, applyASTEquiv, applyASTFire, applyASTFloatLiteral, applyASTIdOrNum, applyASTImply, applyASTIntLiteral, 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, 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

CheckComponentWhere

public CheckComponentWhere(Environment e)
Method Detail

analyze

public void analyze(ASTNode n,
                    java.util.Collection<ASTIdentifier> vars)

makeStrings

public java.util.Collection<ASTIdentifier> makeStrings(java.util.Collection<com.veromodo.tempo.sem.CheckComponentWhere.Constraint> cc)

checkFor

public boolean checkFor(ASTIdentifier var)

applyASTOr

public void applyASTOr(ASTOr n)
Specified by:
applyASTOr in interface ASTIVisitor
Overrides:
applyASTOr in class ASTHVisitor

applyASTLEqual

public void applyASTLEqual(ASTLEqual n)
Specified by:
applyASTLEqual in interface ASTIVisitor
Overrides:
applyASTLEqual in class ASTHVisitor

applyASTGEqual

public void applyASTGEqual(ASTGEqual n)
Specified by:
applyASTGEqual in interface ASTIVisitor
Overrides:
applyASTGEqual in class ASTHVisitor

applyASTLess

public void applyASTLess(ASTLess n)
Specified by:
applyASTLess in interface ASTIVisitor
Overrides:
applyASTLess in class ASTHVisitor

applyASTGreater

public void applyASTGreater(ASTGreater n)
Specified by:
applyASTGreater in interface ASTIVisitor
Overrides:
applyASTGreater in class ASTHVisitor

applyASTBinOp

public void applyASTBinOp(ASTBinOp n)
Specified by:
applyASTBinOp in interface ASTIVisitor
Overrides:
applyASTBinOp in class ASTHVisitor