com.veromodo.tempo.sem.desc
Class BasicAutomatonDescriptor

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.BasicAutomatonDescriptor
All Implemented Interfaces:
java.lang.Comparable

public class BasicAutomatonDescriptor
extends AutomatonDescriptor

Describes a basic automaton includeing trajectories, signatures, and transitions

Author:
Carleton

Nested Class Summary
 
Nested classes/interfaces inherited from class com.veromodo.tempo.sem.desc.Descriptor
Descriptor.Kind
 
Constructor Summary
BasicAutomatonDescriptor(TypeBasicAutomaton ty, CollectionVocabRef i, IScope s, Extent e, GenericizeType gen)
           
 
Method Summary
 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 hasAnyTransition(java.lang.String name, java.util.Vector<ASTExpr> formals)
           
 boolean hasInputTransition(java.lang.String name, java.util.Vector<ASTExpr> formals)
           
 boolean hasInternalTransition(java.lang.String name, java.util.Vector<ASTExpr> formals)
           
 boolean hasOutputTransition(java.lang.String name, java.util.Vector<ASTExpr> formals)
           
 boolean hasSymbolOfDomain(java.util.EnumSet<Descriptor.Kind> kind, java.lang.String name, java.util.Vector<ASTExpr> formals)
          a generic method similar to the has[sigKind]Signature methods where the Kind set determines which has[sigKind]Signature method will be called this method only responds to the predefined sets of signatures, defined in the descriptor class
 boolean hasTrajectory(java.lang.String name)
          checks if a trajectory of the given name exists
 Descriptor resolve()
          builds a new descriptor where the bound type parameters of the descriptor's type are assigned to their bound type.
 boolean sameExternalSignatureAs(BasicAutomatonDescriptor ba)
           
 boolean sameSignatureAs(BasicAutomatonDescriptor ba)
           
 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
 
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

BasicAutomatonDescriptor

public BasicAutomatonDescriptor(TypeBasicAutomaton 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

hasTrajectory

public boolean hasTrajectory(java.lang.String name)
Description copied from class: AutomatonDescriptor
checks if a trajectory of the given name exists

Specified by:
hasTrajectory in class AutomatonDescriptor

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

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

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,
                                      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

hasAnyTransition

public boolean hasAnyTransition(java.lang.String name,
                                java.util.Vector<ASTExpr> formals)

hasInputTransition

public boolean hasInputTransition(java.lang.String name,
                                  java.util.Vector<ASTExpr> formals)

hasOutputTransition

public boolean hasOutputTransition(java.lang.String name,
                                   java.util.Vector<ASTExpr> formals)

hasInternalTransition

public boolean hasInternalTransition(java.lang.String name,
                                     java.util.Vector<ASTExpr> formals)

hasSymbolOfDomain

public boolean hasSymbolOfDomain(java.util.EnumSet<Descriptor.Kind> kind,
                                 java.lang.String name,
                                 java.util.Vector<ASTExpr> formals)
Description copied from class: AutomatonDescriptor
a generic method similar to the has[sigKind]Signature methods where the Kind set determines which has[sigKind]Signature method will be called this method only responds to the predefined sets of signatures, defined in the descriptor class

Overrides:
hasSymbolOfDomain in class AutomatonDescriptor
Returns:

sameExternalSignatureAs

public boolean sameExternalSignatureAs(BasicAutomatonDescriptor ba)

sameSignatureAs

public boolean sameSignatureAs(BasicAutomatonDescriptor ba)