com.nobigsoftware.dfalex

Class DfaState<MATCHRESULT>

java.lang.Object

com.nobigsoftware.dfalex.DfaState<MATCHRESULT>

public abstract class DfaState<MATCHRESULT>
extends java.lang.Object

A state in a char-matching deterministic finite automaton (that's the google phrase) or DFA

Constructor Summary

Constructors

Constructor and Description
DfaState()

Method Summary

Modifier and Type	Method and Description
abstract void	enumerateTransitions(DfaTransitionConsumer<MATCHRESULT> consumer) Enumerate all the transitions out of this state
abstract MATCHRESULT	getMatch() Get the result that has been matched if we've transitioned into this state
abstract DfaState<MATCHRESULT>	getNextState(char c) Process a character and get the next state
abstract int	getStateNumber() Get the state number.
abstract java.lang.Iterable<DfaState<MATCHRESULT>>	getSuccessorStates() Get an Iterable of all the successor states of this state.

Methods inherited from class java.lang.Object

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

Constructor Detail

DfaState

public DfaState()

Method Detail

getNextState

public abstract DfaState<MATCHRESULT> getNextState(char c)

Process a character and get the next state

Parameters:

c - input character

Returns:

The DfaState that c transitions to from this one, or null if there is no such state

getMatch

public abstract MATCHRESULT getMatch()

Get the result that has been matched if we've transitioned into this state

Returns:

If the sequence of characters that led to this state match a pattern in the language being processed, the match result for that pattern is returned. Otherwise null.

getStateNumber

public abstract int getStateNumber()

Get the state number. All states reachable from the output of a single call to a DfaBuilder build method will be compactly numbered starting at 0.

These state numbers can be used to maintain auxiliary information about a DFA.

See DfaAuxiliaryInformation

Returns:

this state's state number

enumerateTransitions

public abstract void enumerateTransitions(DfaTransitionConsumer<MATCHRESULT> consumer)

Enumerate all the transitions out of this state

Parameters:

consumer - each DFA transition will be sent here

getSuccessorStates

public abstract java.lang.Iterable<DfaState<MATCHRESULT>> getSuccessorStates()

Get an Iterable of all the successor states of this state.

Note that the same successor state may appear more than once in the interation

Returns:

an iterable of successor states.