org.processmininguc.balsa.models.impl.smadu

Class StateMachineDiagramTransitionImpl

java.lang.Object

stateMachine.Transition

org.processmininguc.balsa.models.impl.smadu.StateMachineDiagramTransitionImpl

All Implemented Interfaces:

java.lang.Comparable<StateMachineDiagramTransition>, StateMachineDiagramTransition

public class StateMachineDiagramTransitionImpl
extends stateMachine.Transition
implements StateMachineDiagramTransition

Nested Class Summary

Nested classes/interfaces inherited from class stateMachine.Transition

stateMachine.Transition.EventDepCondType

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	StateMachineDiagramTransitionImpl()
protected	StateMachineDiagramTransitionImpl(stateMachine.Vertex source, stateMachine.Vertex target)
protected	StateMachineDiagramTransitionImpl(stateMachine.Vertex source, stateMachine.Vertex target, java.util.List<stateMachine.Trigger> triggerList, java.lang.String guard, stateMachine.Transition.EventDepCondType evtDepCond, stateMachine.Effect effect)

Method Summary

Modifier and Type	Method and Description
int	compareTo(StateMachineDiagramTransition smdT) To be able to group transitions according to the events that make them up.
StateMachineDiagramCondImpl	getArtCondition()
StateMachineDiagramEvent	getEvent() If the state machine diagram has more than one event per transition (or none), it returns null.
StateMachineDiagramCondition	getGuardCondition()
StateMachineDiagramEffect	getSmdEffect()
StateMachineDiagramState	getSourceNode() Returns the source node of the transition.
stateMachine.Transition.EventDepCondType	getTag()
StateMachineDiagramState	getTargetNode() Returns the target node of the transition.
boolean	isFinal() A transition is final if its target node is a final node.
boolean	isInitial() A transition is initial if it has an initial pseudostate as source node.
void	setArtCondition(StateMachineDiagramCondImpl smdArtCond)
void	setGuard(java.lang.String guard) Overrides setGuard from Transition

Methods inherited from class stateMachine.Transition

addTrigger, getCond, getEffect, getEvents, getGuard, getSource, getTarget, getTriggers, setCond, setEffect, setSource, setTarget, setTriggers

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

StateMachineDiagramTransitionImpl

protected StateMachineDiagramTransitionImpl()

StateMachineDiagramTransitionImpl

protected StateMachineDiagramTransitionImpl(stateMachine.Vertex source,
                                            stateMachine.Vertex target)

StateMachineDiagramTransitionImpl

protected StateMachineDiagramTransitionImpl(stateMachine.Vertex source,
                                            stateMachine.Vertex target,
                                            java.util.List<stateMachine.Trigger> triggerList,
                                            java.lang.String guard,
                                            stateMachine.Transition.EventDepCondType evtDepCond,
                                            stateMachine.Effect effect)

Method Detail

isInitial

public boolean isInitial()

A transition is initial if it has an initial pseudostate as source node.

Specified by:

isInitial in interface StateMachineDiagramTransition

isFinal

public boolean isFinal()

A transition is final if its target node is a final node.

Specified by:

isFinal in interface StateMachineDiagramTransition

getSourceNode

public StateMachineDiagramState getSourceNode()

Returns the source node of the transition. If it is different from a state or an initial node, it returns null.

Specified by:

getSourceNode in interface StateMachineDiagramTransition

getTargetNode

public StateMachineDiagramState getTargetNode()

Returns the target node of the transition. If it is different from a state or a final node, it returns null.

Specified by:

getTargetNode in interface StateMachineDiagramTransition

getEvent

public StateMachineDiagramEvent getEvent()

If the state machine diagram has more than one event per transition (or none), it returns null. Otherwise, it returns the event.

Specified by:

getEvent in interface StateMachineDiagramTransition

getGuardCondition

public StateMachineDiagramCondition getGuardCondition()

Specified by:

getGuardCondition in interface StateMachineDiagramTransition

getArtCondition

public StateMachineDiagramCondImpl getArtCondition()

setArtCondition

public void setArtCondition(StateMachineDiagramCondImpl smdArtCond)

setGuard

public void setGuard(java.lang.String guard)

Overrides setGuard from Transition

Overrides:

setGuard in class stateMachine.Transition

Parameters:

guard - the m_guard to set

compareTo

public int compareTo(StateMachineDiagramTransition smdT)

To be able to group transitions according to the events that make them up.

Specified by:

compareTo in interface java.lang.Comparable<StateMachineDiagramTransition>

getTag

public stateMachine.Transition.EventDepCondType getTag()

Specified by:

getTag in interface StateMachineDiagramTransition

getSmdEffect

public StateMachineDiagramEffect getSmdEffect()

Specified by:

getSmdEffect in interface StateMachineDiagramTransition