jasco.runtime.aspect
Class Transition

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

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


Constructor Summary
Transition(State start, int label, PCutpointConstructorApplicationDesignator des)
           
 
Method Summary
 int compareTo(java.lang.Object o)
           
 State getDestState()
           
 int getLabel()
           
 PCutpointConstructorApplicationDesignator getParam()
           
 State getStartState()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Transition

public Transition(State start,
                  int label,
                  PCutpointConstructorApplicationDesignator des)
Method Detail

getLabel

public int getLabel()

getParam

public PCutpointConstructorApplicationDesignator getParam()

getStartState

public State getStartState()

getDestState

public State getDestState()

compareTo

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