com.veromodo.tempo.sem
Class CheckAndExtractEvolve

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

public class CheckAndExtractEvolve
extends ASTHVisitor

This class is a Evolve Expression Pattern Matcher and Type Checker Given an ASTExpr, determines if the expression is a correct Evolve Expression

Author:
Carleton

Constructor Summary
CheckAndExtractEvolve(Environment e)
           
 
Method Summary
 void applyASTEqual(ASTEqual n)
           
 void applyASTExpr(ASTExpr n)
           
 void applyASTGEqual(ASTGEqual n)
           
 void applyASTGreater(ASTGreater n)
           
 void applyASTLEqual(ASTLEqual n)
           
 void applyASTLess(ASTLess n)
           
 EvolveClause extract(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, applyASTDerefArray, applyASTDerefField, applyASTDiv, applyASTEffect, applyASTEquiv, applyASTExprId, applyASTExprLiteral, applyASTFire, applyASTFireInput, applyASTFireInternal, applyASTFireOutput, applyASTFloatLiteral, applyASTFollow, applyASTForClause, applyASTForLoop, applyASTFormal, applyASTForwardSim, applyASTIdentifier, applyASTIdOrNum, applyASTIfThen, applyASTIfThenElse, applyASTImply, applyASTIntLiteral, applyASTInvariant, 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

CheckAndExtractEvolve

public CheckAndExtractEvolve(Environment e)
Method Detail

extract

public EvolveClause extract(ASTExpr n)

applyASTEqual

public void applyASTEqual(ASTEqual n)
Specified by:
applyASTEqual in interface ASTIVisitor
Overrides:
applyASTEqual in class ASTHVisitor

applyASTLEqual

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

applyASTLess

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

applyASTGEqual

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

applyASTGreater

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

applyASTExpr

public void applyASTExpr(ASTExpr n)
Specified by:
applyASTExpr in interface ASTIVisitor
Overrides:
applyASTExpr in class ASTHVisitor