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

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

All Implemented Interfaces:

java.io.Serializable

public class TransitionCandidatePosition

extends TransitionSelectionPosition

Before computing giard condition for given transition

See Also:

Serialized Form

Constructor Summary

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

Method Summary

boolean	equals(java.lang.Object o)
ModelElement	getContainer(Model m) Returns container element for position.
ModelElement	getTarget(Model m) Returns target element of position.
java.lang.String	getTransition()
int	hashCode()
java.lang.String	toString()

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

getEvent, getState, setEvent

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

getContext, getPath, getStateMachine, setContext

Methods inherited from class java.lang.Object

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

Constructor Detail

TransitionCandidatePosition

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

Method Detail

getTransition

public java.lang.String getTransition()

getContainer

public ModelElement getContainer(Model m)

Description copied from class: Position

Returns container element for position. For example, if position is execution of input action on transition, it will return transition that holds guard with input action. Returns State or Transition only.

Specified by:

getContainer in class Position

Parameters:

m -

Returns:

getTarget

public ModelElement getTarget(Model m)

Description copied from class: Position

Returns target element of position.

Specified by:

getTarget in class Position

Parameters:

m -

Returns:

hashCode

public int hashCode()

Overrides:

hashCode in class TransitionSelectionPosition

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class TransitionSelectionPosition

toString

public java.lang.String toString()

Overrides:

toString in class Position