com.veromodo.tempo.sem.desc
Class AnonymousDescriptor

java.lang.Object
  extended by com.veromodo.tempo.sem.desc.Descriptor
      extended by com.veromodo.tempo.sem.desc.AnonymousDescriptor
All Implemented Interfaces:
java.lang.Comparable

public class AnonymousDescriptor
extends Descriptor

This class is used for generating descriptors which do not enter the environment At the time of creation this only was used to assign a descriptor ASTIdentifers which did not have a clear descriptor, for example ASTTypeGeneric - Seq[E] - is made of ASTIdentifier - Seq ASTListType - E The descriptor of ASTTypeGeneric is a TypeGeneric, but the ASTIdentifier does not have a clear type meaning, hence this class was created to assign to that descriptor in the long run, for consistancy, this class should be removed

Author:
carleton coffrin

Nested Class Summary
 
Nested classes/interfaces inherited from class com.veromodo.tempo.sem.desc.Descriptor
Descriptor.Kind
 
Constructor Summary
AnonymousDescriptor(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

AnonymousDescriptor

public AnonymousDescriptor(Type t,
                           Extent e)
Method Detail

resolve

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
Returns:
a descriptor with all bound type parameters resolved to their bound type