com.veromodo.tempo.sem.desc
Class TransitionDescriptor

java.lang.Object
  extended by com.veromodo.tempo.sem.desc.Descriptor
      extended by com.veromodo.tempo.sem.desc.TransitionDescriptor
All Implemented Interfaces:
java.lang.Comparable
Direct Known Subclasses:
TransInDescriptor, TransInternalDescriptor, TransOutDescriptor

public abstract class TransitionDescriptor
extends Descriptor

Encapsulates common elements of transitions

Author:
Carleton

Nested Class Summary
 
Nested classes/interfaces inherited from class com.veromodo.tempo.sem.desc.Descriptor
Descriptor.Kind
 
Method Summary
 ASTIdentifier getLabel()
          gets the label of the transition not all transitions have labels, return value can be null
 IScope getScope()
           
 boolean isLabeledWith(java.lang.String label)
          Determine whether this transition is labeled with label.
 void labelWith(ASTIdentifier label)
          assigns a label to a transition
 void setSignature(SignatureDescriptor d)
          assign a signature to this transition if the model passes semantic checking all transition have a signature
 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, 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()

toString

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

labelWith

public void labelWith(ASTIdentifier label)
assigns a label to a transition

Parameters:
label - label identifier

getLabel

public ASTIdentifier getLabel()
gets the label of the transition not all transitions have labels, return value can be null

Returns:
transition's label (can be null)

setSignature

public void setSignature(SignatureDescriptor d)
assign a signature to this transition if the model passes semantic checking all transition have a signature

Parameters:
d -

isLabeledWith

public boolean isLabeledWith(java.lang.String label)
Determine whether this transition is labeled with label.

Parameters:
label - The label to check
Returns:
true if and only if the transition carries this label.