public class EfsmTransition
extends java.lang.Object
Constructor and Description |
---|
EfsmTransition(EfsmState sourceState,
EfsmState destinationState,
GuardedAction guardedAction)
Constructs a transition between the specified states with the specified guarded action.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj)
Compares the specified object with this transition for equality.
|
EfsmState |
getDestinationState()
Returns a state which is the end point of this transition.
|
GuardedAction |
getGuardedAction()
Returns a guarded action of this transition.
|
EfsmState |
getSourceState()
Returns a state which is the start point of this transition.
|
int |
hashCode() |
java.lang.String |
toString() |
public EfsmTransition(EfsmState sourceState, EfsmState destinationState, GuardedAction guardedAction)
sourceState
- a source statedestinationState
- a destination stateguardedAction
- the guarded actionjava.lang.IllegalArgumentException
- if at least one argument is null
public EfsmState getSourceState()
public EfsmState getDestinationState()
public GuardedAction getGuardedAction()
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
EfsmTransition
class or its subclass;
equals
in class java.lang.Object
obj
- the object to be compared for equality with this EFSM statetrue
if the specified object is equal to this EFSM state. Otherwise returns
false
public java.lang.String toString()
toString
in class java.lang.Object