Package eu.bandm.tools.lexic

Class NAutomaton.Trace

java.lang.Object

eu.bandm.tools.lexic.NAutomaton.Trace

All Implemented Interfaces:

Automaton.Trace<Set<V>>

Enclosing class:

NAutomaton<V>

public class NAutomaton.Trace
extends Object
implements Automaton.Trace<Set<V>>

Iterator-like mutable API for tracking the consumption of an input sequence of code points by an automaton.

This implementation is rather inefficient; for performance-critical applications use DAutomaton.Trace or ZAutomaton.Trace instead.

Method Summary

Modifier and Type	Method	Description
Set<V>	getLabel()	Returns the label associated with the current state(s).
void	restart()	Jumps to the initial state(s).
boolean	step(int c)	Attempts a state transition by consuming one code point.

Methods inherited from class java.lang.Object

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

Method Details

restart

public void restart()

Jumps to the initial state(s).

Specified by:

restart in interface Automaton.Trace<Set<V>>

step

public boolean step(int c)

Attempts a state transition by consuming one code point.

Specified by:

step in interface Automaton.Trace<Set<V>>

Parameters:

c - the code point to consume

Returns:

true if the transition was successful; false otherwise

See Also:

• Behavior.getTransition(int)

getLabel

public Set<V> getLabel()

Returns the label associated with the current state(s).

Specified by:

getLabel in interface Automaton.Trace<Set<V>>

Returns:

the label associated with the current state(s)