com.veromodo.tempo.sem
Class CollectOperators

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

public class CollectOperators
extends ASTBVisitor

Designed to operate on a ASTNameList Scans over the list building a collection of all the operation definitions

Author:
carleton coffrin

Constructor Summary
CollectOperators(Environment e, Type tty)
           
 
Method Summary
 void applyASTNotationFun(ASTNotationFun n)
           
 void applyASTNotationInfix(ASTNotationInfix n)
           
 void applyASTNotationInfixRight(ASTNotationInfixRight n)
           
 void applyASTNotationITE(ASTNotationITE n)
           
 void applyASTNotationMixBracket(ASTNotationMixBracket n)
           
 void applyASTNotationMixCBrace(ASTNotationMixCBrace n)
           
 void applyASTNotationPrefix(ASTNotationPrefix n)
           
 void applyASTNotationSuffix(ASTNotationSuffix n)
           
 void collectIt(ASTNode n)
           
 
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, 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, 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

CollectOperators

public CollectOperators(Environment e,
                        Type tty)
Method Detail

collectIt

public void collectIt(ASTNode n)

applyASTNotationFun

public void applyASTNotationFun(ASTNotationFun n)
Specified by:
applyASTNotationFun in interface ASTIVisitor
Overrides:
applyASTNotationFun in class ASTBVisitor

applyASTNotationPrefix

public void applyASTNotationPrefix(ASTNotationPrefix n)
Specified by:
applyASTNotationPrefix in interface ASTIVisitor
Overrides:
applyASTNotationPrefix in class ASTBVisitor

applyASTNotationSuffix

public void applyASTNotationSuffix(ASTNotationSuffix n)
Specified by:
applyASTNotationSuffix in interface ASTIVisitor
Overrides:
applyASTNotationSuffix in class ASTBVisitor

applyASTNotationInfix

public void applyASTNotationInfix(ASTNotationInfix n)
Specified by:
applyASTNotationInfix in interface ASTIVisitor
Overrides:
applyASTNotationInfix in class ASTBVisitor

applyASTNotationInfixRight

public void applyASTNotationInfixRight(ASTNotationInfixRight n)
Specified by:
applyASTNotationInfixRight in interface ASTIVisitor
Overrides:
applyASTNotationInfixRight in class ASTBVisitor

applyASTNotationMixCBrace

public void applyASTNotationMixCBrace(ASTNotationMixCBrace n)
Specified by:
applyASTNotationMixCBrace in interface ASTIVisitor
Overrides:
applyASTNotationMixCBrace in class ASTBVisitor

applyASTNotationMixBracket

public void applyASTNotationMixBracket(ASTNotationMixBracket n)
Specified by:
applyASTNotationMixBracket in interface ASTIVisitor
Overrides:
applyASTNotationMixBracket in class ASTBVisitor

applyASTNotationITE

public void applyASTNotationITE(ASTNotationITE n)
Specified by:
applyASTNotationITE in interface ASTIVisitor
Overrides:
applyASTNotationITE in class ASTBVisitor