com.veromodo.tempo.sem.desc
Class AutomatonDescriptor

java.lang.Object
  extended by com.veromodo.tempo.sem.desc.Descriptor
      extended by com.veromodo.tempo.sem.desc.AutomatonDescriptor
All Implemented Interfaces:
java.lang.Comparable
Direct Known Subclasses:
BasicAutomatonDescriptor, CompositeAutomatonDescriptor

public abstract class AutomatonDescriptor
extends Descriptor

Encapsulates common elements of automata

Author:
Carleton

Nested Class Summary
 
Nested classes/interfaces inherited from class com.veromodo.tempo.sem.desc.Descriptor
Descriptor.Kind
 
Method Summary
abstract  java.util.Collection<java.lang.String> getAllSignatureNames()
           
abstract  TypeFunction getExternalSignature(java.lang.String s)
           
abstract  TypeFunction getExternalSignature(java.lang.String s, java.util.Vector<ASTExpr> formals)
           
abstract  java.util.Collection<java.lang.String> getExternalSignatureNames()
           
 CollectionVocabRef getImports()
           
abstract  TypeFunction getInputSignature(java.lang.String s)
           
abstract  TypeFunction getInputSignature(java.lang.String s, java.util.Vector<ASTExpr> formals)
           
abstract  java.util.Collection<java.lang.String> getInputSignatureNames()
           
abstract  TypeFunction getInternalSignature(java.lang.String s)
           
abstract  TypeFunction getInternalSignature(java.lang.String s, java.util.Vector<ASTExpr> formals)
           
abstract  java.util.Collection<java.lang.String> getInternalSignatureNames()
           
abstract  TypeFunction getOutputSignature(java.lang.String s)
           
abstract  TypeFunction getOutputSignature(java.lang.String s, java.util.Vector<ASTExpr> formals)
           
abstract  java.util.Collection<java.lang.String> getOutputSignatureNames()
           
 IScope getScope()
           
abstract  java.util.Collection<java.lang.String> getTrajectoryNames()
          collects all of the trajectory names for this automaton
 boolean hasAnySignature(java.lang.String name)
          checks if any signature exists with the given name
 boolean hasAnySignature(java.lang.String name, java.util.Vector<ASTExpr> formals)
          checks if any signature exists with the given name and formal types
 boolean hasExternalSignature(java.lang.String name)
           
 boolean hasExternalSignature(java.lang.String name, java.util.Vector<ASTExpr> formals)
           
 boolean hasInputSignature(java.lang.String name)
           
 boolean hasInputSignature(java.lang.String name, java.util.Vector<ASTExpr> formals)
           
 boolean hasInternalSignature(java.lang.String name)
           
 boolean hasInternalSignature(java.lang.String name, java.util.Vector<ASTExpr> formals)
           
 boolean hasOutputSignature(java.lang.String name)
           
 boolean hasOutputSignature(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
abstract  boolean hasTrajectory(java.lang.String name)
          checks if a trajectory of the given name exists
 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()

getImports

public CollectionVocabRef getImports()

toString

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

hasAnySignature

public boolean hasAnySignature(java.lang.String name)
checks if any signature exists with the given name

Parameters:
name - the name of the signature
Returns:
true of a signature of that name exists

hasAnySignature

public boolean hasAnySignature(java.lang.String name,
                               java.util.Vector<ASTExpr> formals)
checks if any signature exists with the given name and formal types

Parameters:
name - the name of the signature
formals - the formals that signature can take
Returns:
true of a signature of that name exists

hasTrajectory

public abstract boolean hasTrajectory(java.lang.String name)
checks if a trajectory of the given name exists


getTrajectoryNames

public abstract java.util.Collection<java.lang.String> getTrajectoryNames()
collects all of the trajectory names for this automaton

Returns:

getInputSignature

public abstract TypeFunction getInputSignature(java.lang.String s)

getOutputSignature

public abstract TypeFunction getOutputSignature(java.lang.String s)

getInternalSignature

public abstract TypeFunction getInternalSignature(java.lang.String s)

getExternalSignature

public abstract TypeFunction getExternalSignature(java.lang.String s)

getInputSignature

public abstract TypeFunction getInputSignature(java.lang.String s,
                                               java.util.Vector<ASTExpr> formals)

getOutputSignature

public abstract TypeFunction getOutputSignature(java.lang.String s,
                                                java.util.Vector<ASTExpr> formals)

getInternalSignature

public abstract TypeFunction getInternalSignature(java.lang.String s,
                                                  java.util.Vector<ASTExpr> formals)

getExternalSignature

public abstract TypeFunction getExternalSignature(java.lang.String s,
                                                  java.util.Vector<ASTExpr> formals)

getAllSignatureNames

public abstract java.util.Collection<java.lang.String> getAllSignatureNames()

getInputSignatureNames

public abstract java.util.Collection<java.lang.String> getInputSignatureNames()

getOutputSignatureNames

public abstract java.util.Collection<java.lang.String> getOutputSignatureNames()

getInternalSignatureNames

public abstract java.util.Collection<java.lang.String> getInternalSignatureNames()

getExternalSignatureNames

public abstract java.util.Collection<java.lang.String> getExternalSignatureNames()

hasInputSignature

public boolean hasInputSignature(java.lang.String name)

hasOutputSignature

public boolean hasOutputSignature(java.lang.String name)

hasInternalSignature

public boolean hasInternalSignature(java.lang.String name)

hasExternalSignature

public boolean hasExternalSignature(java.lang.String name)

hasInputSignature

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

hasOutputSignature

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

hasInternalSignature

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

hasExternalSignature

public boolean hasExternalSignature(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)
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

Parameters:
kind -
name -
formals -
Returns: