com.veromodo.tempo.sem.desc
Class AutomatonComponentMapDescriptor

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

public class AutomatonComponentMapDescriptor
extends AutomatonComponentDescriptor

Describes a collection of automaton components

Author:
Carleton

Nested Class Summary
 
Nested classes/interfaces inherited from class com.veromodo.tempo.sem.desc.Descriptor
Descriptor.Kind
 
Constructor Summary
AutomatonComponentMapDescriptor(TypeMap ty, AutomatonInstanceDescriptor a, Extent e, GenericizeType gen)
           
 
Method Summary
 Descriptor resolve()
          builds a new descriptor where the bound type parameters of the descriptor's type are assigned to their bound type.
 java.lang.String toString()
           
 
Methods inherited from class com.veromodo.tempo.sem.desc.AutomatonComponentDescriptor
getAutoInstance
 
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, wait, wait, wait
 

Constructor Detail

AutomatonComponentMapDescriptor

public AutomatonComponentMapDescriptor(TypeMap ty,
                                       AutomatonInstanceDescriptor a,
                                       Extent e,
                                       GenericizeType gen)
Method Detail

toString

public java.lang.String toString()
Overrides:
toString in class AutomatonComponentDescriptor

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

Overrides:
resolve in class AutomatonComponentDescriptor
Returns:
a descriptor with all bound type parameters resolved to their bound type