ca.uqac.lif.ecp.statechart.atomic

Class AtomicTransition

java.lang.Object

ca.uqac.lif.ecp.statechart.Transition<AtomicEvent>

ca.uqac.lif.ecp.statechart.atomic.AtomicTransition

public class AtomicTransition
extends Transition<AtomicEvent>

Transition of a statechart where the label corresponds to an atomic event

Author:

Sylvain Hallé

Field Summary

Fields

Modifier and Type	Field and Description
protected AtomicEvent	m_event The event this transitions is supposed to match

Fields inherited from class ca.uqac.lif.ecp.statechart.Transition

m_action, m_guard, m_target

Constructor Summary

Constructors

Constructor and Description
AtomicTransition(AtomicEvent e) Creates a new atomic transition
AtomicTransition(AtomicEvent e, Configuration<AtomicEvent> target)
AtomicTransition(AtomicEvent e, Operator<AtomicEvent> guard, Action<AtomicEvent> action, Configuration<AtomicEvent> target)

Method Summary

Modifier and Type	Method and Description
protected boolean	afterGuard(AtomicEvent event, Statechart<AtomicEvent> statechart) Checks whether a transition fires, after the guard on that transition has been evaluated.
AtomicTransition	clone()
boolean	equals(java.lang.Object o)
AtomicEvent	getEvent() Gets the event associated to this transition
int	hashCode()
void	setTarget(Configuration<AtomicEvent> target) Sets the target of this transition
java.lang.String	toString()

Methods inherited from class ca.uqac.lif.ecp.statechart.Transition

executeAction, getAction, getGuard, getTarget, hasSameParameters, matches, setAction, setGuard

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

m_event

protected AtomicEvent m_event

The event this transitions is supposed to match

Constructor Detail

AtomicTransition

public AtomicTransition(AtomicEvent e)

Creates a new atomic transition

Parameters:

e - The event associated to this transition

AtomicTransition

public AtomicTransition(AtomicEvent e,
                        Configuration<AtomicEvent> target)

AtomicTransition

public AtomicTransition(AtomicEvent e,
                        Operator<AtomicEvent> guard,
                        Action<AtomicEvent> action,
                        Configuration<AtomicEvent> target)

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

setTarget

public void setTarget(Configuration<AtomicEvent> target)

Sets the target of this transition

Parameters:

target - The target

getEvent

public AtomicEvent getEvent()

Gets the event associated to this transition

Returns:

The event

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

clone

public AtomicTransition clone()

Specified by:

clone in class Transition<AtomicEvent>

afterGuard

protected boolean afterGuard(AtomicEvent event,
                             Statechart<AtomicEvent> statechart)

Description copied from class: Transition

Checks whether a transition fires, after the guard on that transition has been evaluated. This method is only called if the guard on that transition evaluates to true.

Specified by:

afterGuard in class Transition<AtomicEvent>

Parameters:

event - The event

statechart - The statechart this transition belongs to

Returns:

true if the transition fires, false otherwise