com.veromodo.tempo.sem
Class CheckExprAutomaton

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

public class CheckExprAutomaton
extends ASTHVisitor

This class test an expressoin to see if it resolves to an automaton descriptor It returns a set of automaton descriptors that the expression can refer to If no automaton descriptors are found it returns the empty set This class was created to allow for complex automaton state derfs and invocations ex: A.b, Autos[i].b, ect...

Author:
Carleton

Constructor Summary
CheckExprAutomaton(Environment e)
           
 
Method Summary
 void applyASTDerefArray(ASTDerefArray n)
           
 void applyASTExprId(ASTExprId n)
           
 java.util.HashSet<Descriptor> checkIt(ASTExpr n)
           
 
Methods inherited from class com.veromodo.tempo.ast.ASTHVisitor
applyASTAction, applyASTActionFormal, applyASTActionFormalConst, applyASTActionFormalName, applyASTActionFormalTypedIdList, applyASTActionSet, applyASTActual, applyASTActualExpr, applyASTActualType, applyASTAdd, applyASTAnd, applyASTAssignment, applyASTAutomaton, applyASTBackwardSim, applyASTBasicAutomaton, applyASTBinary, applyASTBinOp, applyASTBlock, applyASTCall, applyASTChoose, applyASTComponent, applyASTComponentDef, applyASTComponentInst, applyASTCompositeAutomaton, applyASTCond, applyASTDecl, applyASTDeclFields, applyASTDeclFun, applyASTDeclLocals, applyASTDeclScheduleLocal, applyASTDeclVar, applyASTDeclVocabulary, applyASTDefType, applyASTDerefField, applyASTDiv, applyASTEffect, applyASTEqual, applyASTEquiv, applyASTExpr, applyASTExprLiteral, applyASTFire, applyASTFireInput, applyASTFireInternal, applyASTFireOutput, applyASTFloatLiteral, applyASTFollow, applyASTForClause, applyASTForLoop, applyASTFormal, applyASTForwardSim, applyASTGEqual, applyASTGreater, applyASTIdentifier, applyASTIdOrNum, applyASTIfThen, applyASTIfThenElse, applyASTImply, applyASTIntLiteral, applyASTInvariant, applyASTLEqual, applyASTLess, applyASTList, 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, applyASTLiteral, applyASTMixCBraceOp, applyASTMSGInvoke, applyASTMSGInvokeInput, applyASTMSGInvokeInternal, applyASTMSGInvokeOutput, applyASTMul, applyASTNDRChoose, applyASTNDRFire, applyASTNDRFireInput, applyASTNDRFireInternal, applyASTNDRFireOutput, applyASTNDRFollow, applyASTNDRIfThen, applyASTNDRIfThenElse, applyASTNDRWhile, applyASTNDRYield, applyASTNeg, applyASTNEqual, applyASTNode, applyASTNot, applyASTNotation, applyASTNotationFun, applyASTNotationInfix, applyASTNotationInfixRight, applyASTNotationITE, applyASTNotationMixBracket, applyASTNotationMixCBrace, applyASTNotationMixFix, applyASTNotationPrefix, applyASTNotationSuffix, applyASTOperator, applyASTOperatorSignature, applyASTOr, applyASTPost, applyASTPow, applyASTProofFire, applyASTProofFollow, applyASTProofIfThen, applyASTProofIfThenElse, applyASTProofStatement, applyASTProofUsing, applyASTProofWhile, applyASTQExist, applyASTQForall, applyASTQuantified, applyASTRoot, applyASTRootDeclFuns, applyASTRootDeclTypes, applyASTRootDeclVocab, applyASTRootVocabRef, applyASTSchedule, applyASTSetof, applyASTSignature, applyASTSimProof, applyASTSimProofAction, applyASTSimProofEntry, applyASTSimulation, applyASTStartEntry, applyASTState, applyASTStatement, applyASTSub, applyASTTask, applyASTTrajectory, applyASTTrajEntry, applyASTTrajRef, applyASTTransEntry, applyASTTransition, applyASTTupleConstructor, applyASTType, applyASTTypeAlias, applyASTTypeEnum, applyASTTypeFunction, applyASTTypeGeneric, applyASTTypeId, applyASTTypeParameter, applyASTTypeSelector, applyASTTypeTuple, applyASTTypeUnion, applyASTUnary, applyASTVocabRef, applyASTWhile
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CheckExprAutomaton

public CheckExprAutomaton(Environment e)
Method Detail

checkIt

public java.util.HashSet<Descriptor> checkIt(ASTExpr n)

applyASTExprId

public void applyASTExprId(ASTExprId n)
Specified by:
applyASTExprId in interface ASTIVisitor
Overrides:
applyASTExprId in class ASTHVisitor

applyASTDerefArray

public void applyASTDerefArray(ASTDerefArray n)
Specified by:
applyASTDerefArray in interface ASTIVisitor
Overrides:
applyASTDerefArray in class ASTHVisitor