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_fromThis state at the source of the transition.protected AbstractState_toThis state at the end of the transition. -
Constructor Summary
Constructors Modifier Constructor Description protectedTransition(AbstractState from, AbstractState to)This constructor creates a transition instance requiring thatfromis not equal tonullandtois not equal tonull. -
Method Summary
Modifier and Type Method Description booleanequals(java.lang.Object transition)This method is used when a transition object is put in a map data structure as a key.AbstractStatefrom()This method is an accessor for the_fromfield.inthashCode()This method is used when a transition object is put in a map data structure as a key.AbstractStateto()This method is an accessor for the_tofield.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 thatfromis not equal tonullandtois 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:
equalsin 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:
hashCodein classjava.lang.Object
-
from
This method is an accessor for the_fromfield.- Returns:
-
to
This method is an accessor for the_tofield.- Returns:
-