ca.uqac.lif.ecp.atomic

Class AutomatonFunction<U>

java.lang.Object

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

ca.uqac.lif.ecp.atomic.AutomatonFunction<U>

Direct Known Subclasses:

ShallowHistoryFunction

public abstract class AutomatonFunction<U>
extends TriagingFunction<AtomicEvent,U>

Triaging function based on a finite-state automaton

Field Summary

Fields

Modifier and Type	Field and Description
protected Automaton	m_automaton The automaton this function uses as its reference
protected Vertex<AtomicEvent>	m_currentVertex The current vertex in the automaton after reading the previous events
static java.lang.String	s_invalidLabel A label given to a state of the automaton to indicate it is the sink state for invalid transitions

Constructor Summary

Constructors

Constructor and Description
AutomatonFunction(Automaton a) Creates a new triaging function from an automaton

Method Summary

Modifier and Type	Method and Description
abstract MathSet<U>	processTransition(Edge<AtomicEvent> edge)
MathSet<U>	read(AtomicEvent 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_automaton

protected Automaton m_automaton

The automaton this function uses as its reference

m_currentVertex

protected Vertex<AtomicEvent> m_currentVertex

The current vertex in the automaton after reading the previous events

s_invalidLabel

public static java.lang.String s_invalidLabel

A label given to a state of the automaton to indicate it is the sink state for invalid transitions

Constructor Detail

AutomatonFunction

public AutomatonFunction(Automaton a)

Creates a new triaging function from an automaton

Parameters:

a - The automaton 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<AtomicEvent,U>

read

public MathSet<U> read(AtomicEvent e)

Description copied from class: TriagingFunction

Reads the next event of the trace

Specified by:

read in class TriagingFunction<AtomicEvent,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(Edge<AtomicEvent> edge)