com.veromodo.tempo.sem
Class CheckType

java.lang.Object
  extended by com.veromodo.tempo.ast.ASTHVisitor
      extended by com.veromodo.tempo.ast.ASTBVisitor
          extended by com.veromodo.tempo.sem.CheckType
All Implemented Interfaces:
ASTIVisitor
Direct Known Subclasses:
CheckTypeFormal, CheckTypeVocab

public class CheckType
extends ASTBVisitor


Method Summary
 void applyASTType(ASTType n)
           
 void applyASTTypeEnum(ASTTypeEnum n)
           
 void applyASTTypeFunction(ASTTypeFunction n)
           
 void applyASTTypeGeneric(ASTTypeGeneric n)
           
 void applyASTTypeId(ASTTypeId n)
           
 void applyASTTypeParameter(ASTTypeParameter n)
           
 void applyASTTypeTuple(ASTTypeTuple n)
           
 void applyASTTypeUnion(ASTTypeUnion n)
           
 Type synthesizeType(ASTType 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, 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, applyASTTypeSelector, 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
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

synthesizeType

public Type synthesizeType(ASTType n)

applyASTType

public void applyASTType(ASTType n)
Specified by:
applyASTType in interface ASTIVisitor
Overrides:
applyASTType in class ASTHVisitor

applyASTTypeId

public void applyASTTypeId(ASTTypeId n)
Specified by:
applyASTTypeId in interface ASTIVisitor
Overrides:
applyASTTypeId in class ASTBVisitor

applyASTTypeGeneric

public void applyASTTypeGeneric(ASTTypeGeneric n)
Specified by:
applyASTTypeGeneric in interface ASTIVisitor
Overrides:
applyASTTypeGeneric in class ASTBVisitor

applyASTTypeFunction

public void applyASTTypeFunction(ASTTypeFunction n)
Specified by:
applyASTTypeFunction in interface ASTIVisitor
Overrides:
applyASTTypeFunction in class ASTBVisitor

applyASTTypeEnum

public void applyASTTypeEnum(ASTTypeEnum n)
Specified by:
applyASTTypeEnum in interface ASTIVisitor
Overrides:
applyASTTypeEnum in class ASTBVisitor

applyASTTypeTuple

public void applyASTTypeTuple(ASTTypeTuple n)
Specified by:
applyASTTypeTuple in interface ASTIVisitor
Overrides:
applyASTTypeTuple in class ASTBVisitor

applyASTTypeUnion

public void applyASTTypeUnion(ASTTypeUnion n)
Specified by:
applyASTTypeUnion in interface ASTIVisitor
Overrides:
applyASTTypeUnion in class ASTBVisitor

applyASTTypeParameter

public void applyASTTypeParameter(ASTTypeParameter n)
Specified by:
applyASTTypeParameter in interface ASTIVisitor
Overrides:
applyASTTypeParameter in class ASTBVisitor