com.veromodo.tempo.sem.type
Class CollectParameters

java.lang.Object
  extended by com.veromodo.tempo.sem.type.TypeVisitor
      extended by com.veromodo.tempo.sem.type.CollectParameters

public class CollectParameters
extends TypeVisitor

Collects the TypeParameters from inside a Type This is used when putting a TypeGeneric wrapper around a paremetric type.

Author:
Carleton

Constructor Summary
CollectParameters()
           
 
Method Summary
 void applyTypeGeneric(TypeGeneric n)
           
 void applyTypeParameter(TypeParameter n)
           
 java.util.Vector<TypeParameter> collect(Type n)
          Collects the TypeParameters from inside a Type.
 
Methods inherited from class com.veromodo.tempo.sem.type.TypeVisitor
applyTypeAugmentedReal, applyTypeAutomaton, applyTypeBasicAutomaton, applyTypeBool, applyTypeChar, applyTypeCompositeAutomaton, applyTypeConstructor, applyTypeDiscreteReal, applyTypeEnum, applyTypeEnumValue, applyTypeError, applyTypeFloat, applyTypeFunction, applyTypeFunctional, applyTypeFunctionalGeneric, applyTypeId, applyTypeIndexed, applyTypeInstance, applyTypeInt, applyTypeInt32, applyTypeList, applyTypeMap, applyTypeMatrix, applyTypeMeta, applyTypeNat, applyTypeReal, applyTypeSum, applyTypeTuple, applyTypeVariable, applyTypeVoid, doIt
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CollectParameters

public CollectParameters()
Method Detail

collect

public java.util.Vector<TypeParameter> collect(Type n)
Collects the TypeParameters from inside a Type. This is needed when putting a TypeGeneric wrapper around a paremetric type.

Parameters:
n - to look for parameters in.
Returns:
the found parameters

applyTypeGeneric

public void applyTypeGeneric(TypeGeneric n)
Overrides:
applyTypeGeneric in class TypeVisitor

applyTypeParameter

public void applyTypeParameter(TypeParameter n)
Overrides:
applyTypeParameter in class TypeVisitor