com.evelopers.unimod.debug.protocol.position
Class TransitionSelectionPosition

java.lang.Object
  com.evelopers.unimod.debug.protocol.position.Position
      com.evelopers.unimod.debug.protocol.position.TransitionSelectionPosition

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

TransitionCandidatePosition, TransitionFoundPosition, TransitionNotFoundPosition, TransitionsOfSuperStatePosition

public abstract class TransitionSelectionPosition

extends Position

See Also:

Serialized Form

Constructor Summary

TransitionSelectionPosition(StateMachineContext context, StateMachinePath path, Event event, java.lang.String state)

Method Summary

boolean	equals(java.lang.Object o)
Event	getEvent()
java.lang.String	getState()
int	hashCode()
void	setEvent(Event event)

Methods inherited from class com.evelopers.unimod.debug.protocol.position.Position

getContainer, getContext, getPath, getStateMachine, getTarget, setContext, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

TransitionSelectionPosition

public TransitionSelectionPosition(StateMachineContext context,
                                   StateMachinePath path,
                                   Event event,
                                   java.lang.String state)

Method Detail

getEvent

public Event getEvent()

setEvent

public void setEvent(Event event)

Parameters:

event - The event to set.

getState

public java.lang.String getState()

hashCode

public int hashCode()

Overrides:

hashCode in class Position

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class Position