public class EfsmTransition extends GuardedAction
Constructor and Description |
---|
EfsmTransition(EfsmState src,
EfsmState dst,
GuardedAction guardAction)
Constructs a transition between the specified states with the specified guarded action.
|
Modifier and Type | Method and Description |
---|---|
EfsmTransition |
deepCopy()
Returns a deep copy of the transition object.
|
boolean |
equals(java.lang.Object object)
Compares the specified object with this transition for equality.
|
EfsmState |
getDst()
Returns a state which is the end point of this transition.
|
EfsmState |
getSrc()
Returns a state which is the start point of this transition.
|
int |
hashCode() |
java.lang.String |
toString() |
addClock, addClocks, clockFree, getAction, getActionUses, getClockGuardNode, getClockNode, getClocks, getDefines, getGuardNode, getGuardUses, getUses, isSensible
addMetaInfo, addMetaInfo, addMetaInfo, addMetaInfo, getAllMetaInfo, getMetaInfo, getMetaInfo, getStringMetaInfo, getStringMetaInfo, hasMetaInfo, hasMetaInfo
public EfsmTransition(EfsmState src, EfsmState dst, GuardedAction guardAction)
src
- a source statedst
- a destination stateguardAction
- the guarded actionjava.lang.IllegalArgumentException
- if at least one argument is null
public EfsmTransition deepCopy()
deepCopy
in class GuardedAction
public EfsmState getSrc()
public EfsmState getDst()
public int hashCode()
hashCode
in class GuardedAction
public boolean equals(java.lang.Object object)
EfsmTransition
class or its subclass;
equals
in class GuardedAction
object
- 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 GuardedAction