jasco.runtime.aspect
Class State

java.lang.Object
  jasco.runtime.aspect.State

All Implemented Interfaces:

java.lang.Comparable

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

Field Summary

static int

COMPLEMENT

Constructor Summary

State()

State(java.lang.String label)

State(java.lang.String label, int id)

Method Summary

void	addTransition(Transition trans, State dest)
int	compareTo(java.lang.Object o)
CachedRegularResult	getCachedResult(MethodJoinpoint jp)
State	getDestState(Transition trans)
int	getID()
java.lang.String	getLabel()
Transition	getTransition()
java.util.Iterator	getTransitions()
void	storeResult(MethodJoinpoint jp, CachedRegularResult trans)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

COMPLEMENT

public static final int COMPLEMENT

See Also:

Constant Field Values

Constructor Detail

State

public State(java.lang.String label)

State

public State(java.lang.String label,
             int id)

State

public State()

Method Detail

storeResult

public void storeResult(MethodJoinpoint jp,
                        CachedRegularResult trans)

getCachedResult

public CachedRegularResult getCachedResult(MethodJoinpoint jp)

getTransition

public Transition getTransition()

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()

getID

public int getID()

compareTo

public int compareTo(java.lang.Object o)

Specified by:

compareTo in interface java.lang.Comparable