ca.uqac.lif.ecp.statechart

Class TrashTransition<T extends Event>

java.lang.Object

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

ca.uqac.lif.ecp.statechart.TrashTransition<T>

public class TrashTransition<T extends Event>
extends Transition<T>

Special transition representing the move to the "trash" sink, indicating an invalid event was read in the current state of the statechart

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.Exception	m_exception If the trash transition was taken due to the occurrence of an exception, store the exception here

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

m_action, m_guard, m_target

Constructor Summary

Constructors

Constructor and Description
TrashTransition()
TrashTransition(java.lang.Exception e)

Method Summary

Modifier and Type	Method and Description
protected boolean	afterGuard(T event, Statechart<T> statechart) Checks whether a transition fires, after the guard on that transition has been evaluated.
Transition<T>	clone()
java.lang.Exception	getException() Gets the exception that provoked the firing of this transition
Configuration<T>	getTarget() Gets the target of this transition

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

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

Methods inherited from class java.lang.Object

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

Field Detail

m_exception

protected final java.lang.Exception m_exception

If the trash transition was taken due to the occurrence of an exception, store the exception here

Constructor Detail

TrashTransition

public TrashTransition(java.lang.Exception e)

TrashTransition

public TrashTransition()

Method Detail

getTarget

public Configuration<T> getTarget()

Description copied from class: Transition

Gets the target of this transition

Overrides:

getTarget in class Transition<T extends Event>

Returns:

A configuration

clone

public Transition<T> clone()

Specified by:

clone in class Transition<T extends Event>

afterGuard

protected boolean afterGuard(T event,
                             Statechart<T> 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<T extends Event>

Parameters:

event - The event

statechart - The statechart this transition belongs to

Returns:

true if the transition fires, false otherwise

getException

public java.lang.Exception getException()

Gets the exception that provoked the firing of this transition

Returns:

The exception, or null if no exception is associated to this transition