org.stekikun.dolmen.automaton

Class DFA.Shift

java.lang.Object

org.stekikun.dolmen.automaton.DFA.Cell

org.stekikun.dolmen.automaton.DFA.Shift

Enclosing class:

DFA

public static final class DFA.Shift
extends DFA.Cell

Shifts to another state of the automaton, potentially performing some side-effects

Author:

Stéphane Lescuyer

Nested Class Summary

Nested classes/interfaces inherited from class org.stekikun.dolmen.automaton.DFA.Cell

DFA.Cell.Kind

Field Summary

Fields

Modifier and Type	Field and Description
DFA.Remember	remember Whether to remember the potentially final state or not
TreeMap<CSet,DFA.TransActions>	transTable The transition table between character sets and transition actions

Constructor Summary

Constructors

Constructor and Description
Shift(DFA.Remember remember, TreeMap<CSet,DFA.TransActions> transTable)

Method Summary

Modifier and Type	Method and Description
boolean	canShiftTo(int target)
DFA.Cell.Kind	getKind()
boolean	sanityCheck() Performs some sanity checks on this automaton cell
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

remember

public final DFA.Remember remember

Whether to remember the potentially final state or not

transTable

public final TreeMap<CSet,DFA.TransActions> transTable

The transition table between character sets and transition actions

Constructor Detail

Shift

public Shift(DFA.Remember remember,
             TreeMap<CSet,DFA.TransActions> transTable)

Parameters:

remember -

transTable -

Method Detail

getKind

public DFA.Cell.Kind getKind()

Specified by:

getKind in class DFA.Cell

Returns:

the kind of this automaton cell

canShiftTo

public boolean canShiftTo(int target)

Parameters:

target - a target cell, or -1 to check for backtrack

Returns:

true if and only if this cell has a transition to the specified target

toString

public String toString()

Specified by:

toString in class DFA.Cell

sanityCheck

public boolean sanityCheck()

Description copied from class: DFA.Cell

Performs some sanity checks on this automaton cell

Specified by:

sanityCheck in class DFA.Cell

Returns:

true if the checks are OK