com.veromodo.tempo.sem.desc
Class CompositeAutomatonDescriptor

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

public class CompositeAutomatonDescriptor
extends AutomatonDescriptor

Describes a composite automaton includeing trajectories, signatures, and hidden actions

Author:
Carleton

Nested Class Summary
 
Nested classes/interfaces inherited from class com.veromodo.tempo.sem.desc.Descriptor
Descriptor.Kind
 
Constructor Summary
CompositeAutomatonDescriptor(TypeCompositeAutomaton ty, CollectionVocabRef i, IScope s, Extent e, GenericizeType gen)
           
 
Method Summary
 void addHidden(java.lang.String s, TypeFunction t)
          adds a name and type signature to the set of actions which are hidden
 java.util.Collection<java.lang.String> getAllSignatureNames()
           
 TypeFunction getExternalSignature(java.lang.String s)
           
 TypeFunction getExternalSignature(java.lang.String s, java.util.Vector<ASTExpr> formals)
           
 java.util.Collection<java.lang.String> getExternalSignatureNames()
           
 TypeFunction getInputSignature(java.lang.String s)
           
 TypeFunction getInputSignature(java.lang.String s, java.util.Vector<ASTExpr> formals)
           
 java.util.Collection<java.lang.String> getInputSignatureNames()
           
 TypeFunction getInternalSignature(java.lang.String s)
           
 TypeFunction getInternalSignature(java.lang.String s, java.util.Vector<ASTExpr> formals)
           
 java.util.Collection<java.lang.String> getInternalSignatureNames()
           
 TypeFunction getOutputSignature(java.lang.String s)
           
 TypeFunction getOutputSignature(java.lang.String s, java.util.Vector<ASTExpr> formals)
           
 java.util.Collection<java.lang.String> getOutputSignatureNames()
           
 java.util.Collection<java.lang.String> getTrajectoryNames()
          collects all of the trajectory names for this automaton
 boolean hasTrajectory(java.lang.String name)
          checks if the composite automaton has a trajectory of the given name
 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.AutomatonDescriptor
getImports, getScope, hasAnySignature, hasAnySignature, hasExternalSignature, hasExternalSignature, hasInputSignature, hasInputSignature, hasInternalSignature, hasInternalSignature, hasOutputSignature, hasOutputSignature, hasSymbolOfDomain
 
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

CompositeAutomatonDescriptor

public CompositeAutomatonDescriptor(TypeCompositeAutomaton ty,
                                    CollectionVocabRef i,
                                    IScope s,
                                    Extent e,
                                    GenericizeType gen)
Method Detail

toString

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

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

addHidden

public void addHidden(java.lang.String s,
                      TypeFunction t)
adds a name and type signature to the set of actions which are hidden

Parameters:
s - name of the action
t - type signature of the action

hasTrajectory

public boolean hasTrajectory(java.lang.String name)
checks if the composite automaton has a trajectory of the given name

Specified by:
hasTrajectory in class AutomatonDescriptor

getTrajectoryNames

public java.util.Collection<java.lang.String> getTrajectoryNames()
Description copied from class: AutomatonDescriptor
collects all of the trajectory names for this automaton

Specified by:
getTrajectoryNames in class AutomatonDescriptor
Returns:

getInputSignature

public TypeFunction getInputSignature(java.lang.String s)
Specified by:
getInputSignature in class AutomatonDescriptor

getOutputSignature

public TypeFunction getOutputSignature(java.lang.String s)
Specified by:
getOutputSignature in class AutomatonDescriptor

getInternalSignature

public TypeFunction getInternalSignature(java.lang.String s)
Specified by:
getInternalSignature in class AutomatonDescriptor

getExternalSignature

public TypeFunction getExternalSignature(java.lang.String s)
Specified by:
getExternalSignature in class AutomatonDescriptor

getInputSignature

public TypeFunction getInputSignature(java.lang.String s,
                                      java.util.Vector<ASTExpr> formals)
Specified by:
getInputSignature in class AutomatonDescriptor

getOutputSignature

public TypeFunction getOutputSignature(java.lang.String s,
                                       java.util.Vector<ASTExpr> formals)
Specified by:
getOutputSignature in class AutomatonDescriptor

getInternalSignature

public TypeFunction getInternalSignature(java.lang.String s,
                                         java.util.Vector<ASTExpr> formals)
Specified by:
getInternalSignature in class AutomatonDescriptor

getExternalSignature

public TypeFunction getExternalSignature(java.lang.String s,
                                         java.util.Vector<ASTExpr> formals)
Specified by:
getExternalSignature in class AutomatonDescriptor

getAllSignatureNames

public java.util.Collection<java.lang.String> getAllSignatureNames()
Specified by:
getAllSignatureNames in class AutomatonDescriptor

getInputSignatureNames

public java.util.Collection<java.lang.String> getInputSignatureNames()
Specified by:
getInputSignatureNames in class AutomatonDescriptor

getOutputSignatureNames

public java.util.Collection<java.lang.String> getOutputSignatureNames()
Specified by:
getOutputSignatureNames in class AutomatonDescriptor

getInternalSignatureNames

public java.util.Collection<java.lang.String> getInternalSignatureNames()
Specified by:
getInternalSignatureNames in class AutomatonDescriptor

getExternalSignatureNames

public java.util.Collection<java.lang.String> getExternalSignatureNames()
Specified by:
getExternalSignatureNames in class AutomatonDescriptor