public abstract class AutomatonFunction<U> extends TriagingFunction<AtomicEvent,U>
| 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 and Description |
|---|
AutomatonFunction(Automaton a)
Creates a new triaging function from an automaton
|
| 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
|
getCayleyGraph, getClass, getStartClassprotected Automaton m_automaton
protected Vertex<AtomicEvent> m_currentVertex
public static java.lang.String s_invalidLabel
public AutomatonFunction(Automaton a)
a - The automaton this function uses as its referencepublic void reset()
TriagingFunctionreset in class TriagingFunction<AtomicEvent,U>public MathSet<U> read(AtomicEvent e)
TriagingFunctionread in class TriagingFunction<AtomicEvent,U>e - The eventTriagingFunction.reset() belongs topublic abstract MathSet<U> processTransition(Edge<AtomicEvent> edge)
Copyright © Sylvain HallĂ©. All Rights Reserved.