ca.uqac.lif.ecp.statechart

Class StatechartFunction<T extends Event,U>

java.lang.Object

ca.uqac.lif.ecp.TriagingFunction<T,U>

ca.uqac.lif.ecp.statechart.StatechartFunction<T,U>

Direct Known Subclasses:

ShallowHistoryFunction

public abstract class StatechartFunction<T extends Event,U>
extends TriagingFunction<T,U>

Triaging function based on a UML statechart

Field Summary

Fields

Modifier and Type	Field and Description
protected Configuration<T>	m_currentVertex The current vertex in the automaton after reading the previous events
protected Statechart<T>	m_statechart The statechart this function uses as its reference

Constructor Summary

Constructors

Constructor and Description
StatechartFunction(Statechart<T> a) Creates a new triaging function from an automaton

Method Summary

Modifier and Type	Method and Description
abstract MathSet<U>	processTransition(Configuration<T> start_state, Transition<T> edge)
MathSet<U>	read(T e) Reads the next event of the trace
void	reset() Resets the triaging function to its initial state

Methods inherited from class ca.uqac.lif.ecp.TriagingFunction

getCayleyGraph, getClass, getStartClass

Methods inherited from class java.lang.Object

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

Field Detail

m_statechart

protected Statechart<T extends Event> m_statechart

The statechart this function uses as its reference

m_currentVertex

protected Configuration<T extends Event> m_currentVertex

The current vertex in the automaton after reading the previous events

Constructor Detail

StatechartFunction

public StatechartFunction(Statechart<T> a)

Creates a new triaging function from an automaton

Parameters:

a - The statechart this function uses as its reference

Method Detail

reset

public void reset()

Description copied from class: TriagingFunction

Resets the triaging function to its initial state

Overrides:

reset in class TriagingFunction<T extends Event,U>

read

public MathSet<U> read(T e)

Description copied from class: TriagingFunction

Reads the next event of the trace

Specified by:

read in class TriagingFunction<T extends Event,U>

Parameters:

e - The event

Returns:

The equivalence class that the trace read since the last call to TriagingFunction.reset() belongs to

processTransition

public abstract MathSet<U> processTransition(Configuration<T> start_state,
                                             Transition<T> edge)