com.veromodo.tempo.sem.desc
Class SignatureDescriptor

java.lang.Object
  extended by com.veromodo.tempo.sem.desc.Descriptor
      extended by com.veromodo.tempo.sem.desc.SignatureDescriptor
All Implemented Interfaces:
java.lang.Comparable
Direct Known Subclasses:
SigInDescriptor, SigInternalDescriptor, SigOutDescriptor

public abstract class SignatureDescriptor
extends Descriptor

Encapsulates common elements of signatures

Author:
Carleton

Nested Class Summary
 
Nested classes/interfaces inherited from class com.veromodo.tempo.sem.desc.Descriptor
Descriptor.Kind
 
Method Summary
 void addTransition(TransitionDescriptor desc)
          Tracks the transition descriptors associated with this signature
 TransitionDescriptor getLabeledTransition(java.lang.String label)
          returns a transition with the given label if there is no transition of that label, the return value is null
 IScope getScope()
           
 boolean hasTransition()
           
 java.lang.String toString()
           
 void transitionFound()
           
 
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, resolve, 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
 

Method Detail

getScope

public IScope getScope()

hasTransition

public boolean hasTransition()

transitionFound

public void transitionFound()

toString

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

addTransition

public void addTransition(TransitionDescriptor desc)
Tracks the transition descriptors associated with this signature

Parameters:
desc - the descriptor of a new transition.

getLabeledTransition

public TransitionDescriptor getLabeledTransition(java.lang.String label)
returns a transition with the given label if there is no transition of that label, the return value is null

Parameters:
label -
Returns: