java.lang.Object
com.pauware.pauware_engine.Core.Transition
public class Transition
extends java.lang.Object
This class represents the general notion of Transition in UML.
Compatibility: Java 9.
- Since:
- 1.0
-
Field Summary
Fields Modifier and Type Field Description protected AbstractState
_from
This state at the source of the transition.protected AbstractState
_to
This state at the end of the transition. -
Constructor Summary
Constructors Modifier Constructor Description protected
Transition(AbstractState from, AbstractState to)
This constructor creates a transition instance requiring thatfrom
is not equal tonull
andto
is not equal tonull
. -
Method Summary
Modifier and Type Method Description boolean
equals(java.lang.Object transition)
This method is used when a transition object is put in a map data structure as a key.AbstractState
from()
This method is an accessor for the_from
field.int
hashCode()
This method is used when a transition object is put in a map data structure as a key.AbstractState
to()
This method is an accessor for the_to
field.Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
-
Field Details
-
_from
This state at the source of the transition. -
_to
This state at the end of the transition.
-
-
Constructor Details
-
Transition
This constructor creates a transition instance requiring thatfrom
is not equal tonull
andto
is not equal tonull
. This pre-condition is checked within theAbstractStateMachine.fires(String, AbstractState, AbstractState, Object, String, Object[], Object, String, Object[], byte)
method.- Parameters:
from
-to
-
-
-
Method Details
-
equals
public boolean equals(java.lang.Object transition)This method is used when a transition object is put in a map data structure as a key.- Overrides:
equals
in classjava.lang.Object
- Parameters:
transition
-
-
hashCode
public int hashCode()This method is used when a transition object is put in a map data structure as a key.- Overrides:
hashCode
in classjava.lang.Object
-
from
This method is an accessor for the_from
field.- Returns:
-
to
This method is an accessor for the_to
field.- Returns:
-