com.veromodo.tempo.sem.type
Class TypeVisitor

java.lang.Object
  extended by com.veromodo.tempo.sem.type.TypeVisitor
Direct Known Subclasses:
CollectParameters, GenericizeType, OrderType, PrettyPrintType, RankType

public class TypeVisitor
extends java.lang.Object

Encapsulates the traversal of a Type


Constructor Summary
TypeVisitor()
           
 
Method Summary
 void applyTypeAugmentedReal(TypeAugmentedReal n)
           
 void applyTypeAutomaton(TypeAutomaton n)
           
 void applyTypeBasicAutomaton(TypeBasicAutomaton n)
           
 void applyTypeBool(TypeBool n)
           
 void applyTypeChar(TypeChar n)
           
 void applyTypeCompositeAutomaton(TypeCompositeAutomaton n)
           
 void applyTypeConstructor(TypeConstructor n)
           
 void applyTypeDiscreteReal(TypeDiscreteReal n)
           
 void applyTypeEnum(TypeEnum n)
           
 void applyTypeEnumValue(TypeEnumValue n)
           
 void applyTypeError(TypeError n)
           
 void applyTypeFloat(TypeFloat n)
           
 void applyTypeFunction(TypeFunction n)
           
 void applyTypeFunctional(TypeFunctional n)
           
 void applyTypeFunctionalGeneric(TypeFunctionalGeneric n)
           
 void applyTypeGeneric(TypeGeneric n)
           
 void applyTypeId(TypeId n)
           
 void applyTypeIndexed(TypeIndexed n)
           
 void applyTypeInstance(TypeInstance n)
           
 void applyTypeInt(TypeInt n)
           
 void applyTypeInt32(TypeInt32 n)
           
 void applyTypeList(TypeList n)
           
 void applyTypeMap(TypeMap n)
           
 void applyTypeMatrix(TypeArray n)
           
 void applyTypeMeta(TypeMeta n)
           
 void applyTypeNat(TypeNat n)
           
 void applyTypeParameter(TypeParameter n)
           
 void applyTypeReal(TypeReal n)
           
 void applyTypeSum(TypeSum n)
           
 void applyTypeTuple(TypeTuple n)
           
 void applyTypeVariable(TypeVariable n)
           
 void applyTypeVoid(TypeVoid n)
           
 void doIt(Type n)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TypeVisitor

public TypeVisitor()
Method Detail

doIt

public void doIt(Type n)

applyTypeNat

public void applyTypeNat(TypeNat n)

applyTypeBool

public void applyTypeBool(TypeBool n)

applyTypeError

public void applyTypeError(TypeError n)

applyTypeFloat

public void applyTypeFloat(TypeFloat n)

applyTypeDiscreteReal

public void applyTypeDiscreteReal(TypeDiscreteReal n)

applyTypeAugmentedReal

public void applyTypeAugmentedReal(TypeAugmentedReal n)

applyTypeId

public void applyTypeId(TypeId n)

applyTypeInt

public void applyTypeInt(TypeInt n)

applyTypeInt32

public void applyTypeInt32(TypeInt32 n)

applyTypeVoid

public void applyTypeVoid(TypeVoid n)

applyTypeReal

public void applyTypeReal(TypeReal n)

applyTypeChar

public void applyTypeChar(TypeChar n)

applyTypeMeta

public void applyTypeMeta(TypeMeta n)

applyTypeParameter

public void applyTypeParameter(TypeParameter n)

applyTypeSum

public void applyTypeSum(TypeSum n)

applyTypeTuple

public void applyTypeTuple(TypeTuple n)

applyTypeMatrix

public void applyTypeMatrix(TypeArray n)

applyTypeConstructor

public void applyTypeConstructor(TypeConstructor n)

applyTypeFunction

public void applyTypeFunction(TypeFunction n)

applyTypeGeneric

public void applyTypeGeneric(TypeGeneric n)

applyTypeFunctionalGeneric

public void applyTypeFunctionalGeneric(TypeFunctionalGeneric n)

applyTypeMap

public void applyTypeMap(TypeMap n)

applyTypeIndexed

public void applyTypeIndexed(TypeIndexed n)

applyTypeFunctional

public void applyTypeFunctional(TypeFunctional n)

applyTypeEnum

public void applyTypeEnum(TypeEnum n)

applyTypeEnumValue

public void applyTypeEnumValue(TypeEnumValue n)

applyTypeVariable

public void applyTypeVariable(TypeVariable n)

applyTypeAutomaton

public void applyTypeAutomaton(TypeAutomaton n)

applyTypeBasicAutomaton

public void applyTypeBasicAutomaton(TypeBasicAutomaton n)

applyTypeCompositeAutomaton

public void applyTypeCompositeAutomaton(TypeCompositeAutomaton n)

applyTypeInstance

public void applyTypeInstance(TypeInstance n)

applyTypeList

public void applyTypeList(TypeList n)