jasco.runtime.aspect
Class State

java.lang.Object
  extended by jasco.runtime.aspect.State
All Implemented Interfaces:
java.lang.Comparable

public class State
extends java.lang.Object
implements java.lang.Comparable


Constructor Summary
State()
           
State(java.lang.String label)
           
 
Method Summary
 void addTransition(Transition trans, State dest)
           
 int compareTo(java.lang.Object o)
           
 State getDestState(Transition trans)
           
 java.lang.String getLabel()
           
 java.util.Iterator getTransitions()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

State

public State(java.lang.String label)

State

public State()
Method Detail

addTransition

public void addTransition(Transition trans,
                          State dest)

getTransitions

public java.util.Iterator getTransitions()

getDestState

public State getDestState(Transition trans)

getLabel

public java.lang.String getLabel()

compareTo

public int compareTo(java.lang.Object o)
Specified by:
compareTo in interface java.lang.Comparable