Class AutomatonFormalDescriptor

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

public class AutomatonFormalDescriptor
extends Descriptor

Describes a formal parameter for an automaton used when instanciation automata For example, - x in AutoA(x) where x < 10 - z in AutoA(z)[w:int] where w < 10 /\ z < 10


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


public AutomatonFormalDescriptor(Type ty,
                                 Extent e,
                                 GenericizeType gen)
Method Detail


public java.lang.String toString()
toString in class java.lang.Object


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