Class PlaceHolderDescriptor

  extended by com.veromodo.tempo.sem.desc.Descriptor
      extended by com.veromodo.tempo.sem.desc.PlaceHolderDescriptor
All Implemented Interfaces:

public class PlaceHolderDescriptor
extends Descriptor

This class is used for generating descriptors which do not enter the environment At the time of creation only the class CheckType required this functionality becouse it needs to anotate an ASTType node with a descriptor but cannot add a value to the environment becouse the formal name is in it's calling class in the long run, for consistancy, this class should be removed

carleton coffrin

Nested Class Summary
Nested classes/interfaces inherited from class com.veromodo.tempo.sem.desc.Descriptor
Constructor Summary
PlaceHolderDescriptor(Type t, Extent e)
Method Summary
 Descriptor resolve()
          builds a new descriptor where the bound type parameters of the descriptor's type are assigned to their bound type.
Methods inherited from class com.veromodo.tempo.sem.desc.Descriptor
actionFormalKinds, allKinds, AutomatonComponentKinds, AutomatonDerefKinds, AutomatonInstanceKinds, AutomatonKinds, AutomatonStateKinds, compareTo, componentKinds, correspKinds, effectKinds, functionKind, getExtent, getKind, getType, hashCode, hiddenKinds, initiallyKinds, initValueKinds, invocationKinds, isIn, isType, ndrStatesKinds, preconditionKinds, proofKinds, scheduleKinds, setScope, signatureExternalKinds, signatureInputKinds, signatureInternalKinds, signatureKinds, signatureOutputKinds, taskForKinds, taskKinds, trajectoryKinds, transitionActualKinds, transitionInputKinds, transitionInternalKinds, transitionKinds, transitionOutputKinds, transitionWhereKinds, VocabOpKinds, VocabularyKinds
Methods inherited from class java.lang.Object
equals, getClass, notify, notifyAll, toString, wait, wait, wait

Constructor Detail


public PlaceHolderDescriptor(Type t,
                             Extent e)
Method Detail


public Descriptor resolve()
Description copied from class: Descriptor
builds a new descriptor where the bound type parameters of the descriptor's type are assigned to their bound type. If the type does not change is returned This method is helpful for instantiation

Specified by:
resolve in class Descriptor
a descriptor with all bound type parameters resolved to their bound type