org.vesalainen.grammar.state

Class DFAState<T>

Object

State<T>

DFAState<T>

All Implemented Interfaces:

Iterable<DFAState<T>>, Vertex<DFAState<T>>, Numerable

public final class DFAState<T>
extends State<T>
implements Vertex<DFAState<T>>, Iterable<DFAState<T>>

This class represent a state in deterministic finite automaton (DFA)

Field Summary

Fields inherited from class State

number, scope

Constructor Summary

Constructors

Constructor and Description
DFAState(Scope<DFAState<T>> scope, Set<NFAState<T>> nfaSet) Creates a DFAState from a set of NFAStates

Method Summary

Methods

Modifier and Type	Method and Description
Collection<DFAState<T>>	edges()
int	getAcceptStartLength() Returns true if this state can accept a prefix constructed from a list of ranges starting from dfa start state
int	getFixedEndLength() If FIXED_ENDER option is used this method returns the length of fixed end.
Collection<Transition<DFAState<T>>>	getTransitions() return all transitions
int	getTransitionSelectivity() Calculates a value of how selective transitions are from this state.
boolean	hasBoundaryMatches() Return true if one of transition ranges is a boundary match.
Collection<DFAState<T>>	inStates()
boolean	isAcceptImmediately()
boolean	isDistributed()
Iterator<DFAState<T>>	iterator()
void	setAcceptImmediately(boolean acceptImmediately)
DFAState<T>	transit(int input) Returns next DFAState for given input or null if no transition exist
DFAState<T>	transit(Range condition) Returns next DFAState for given condition or null if no transition exist

Methods inherited from class State

changePriority, equals, getNumber, getScope, getToken, hashCode, isAccepting, setPriority, setToken, toString

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

DFAState

public DFAState(Scope<DFAState<T>> scope,
        Set<NFAState<T>> nfaSet)

Creates a DFAState from a set of NFAStates

Parameters:

nfaSet -

Method Detail

isAcceptImmediately

public boolean isAcceptImmediately()

setAcceptImmediately

public void setAcceptImmediately(boolean acceptImmediately)

isDistributed

public boolean isDistributed()

getFixedEndLength

public int getFixedEndLength()

If FIXED_ENDER option is used this method returns the length of fixed end. For example fixed end length for .*end is 3.

Returns:

getAcceptStartLength

public int getAcceptStartLength()

Returns true if this state can accept a prefix constructed from a list of ranges starting from dfa start state

Returns:

getTransitionSelectivity

public int getTransitionSelectivity()

Calculates a value of how selective transitions are from this state. Returns 1 if all ranges accept exactly one character. Greater number means less selectivity

Returns:

hasBoundaryMatches

public boolean hasBoundaryMatches()

Return true if one of transition ranges is a boundary match.

Returns:

transit

public DFAState<T> transit(int input)

Returns next DFAState for given input or null if no transition exist

Parameters:

input -

Returns:

transit

public DFAState<T> transit(Range condition)

Returns next DFAState for given condition or null if no transition exist

Parameters:

input -

Returns:

getTransitions

public Collection<Transition<DFAState<T>>> getTransitions()

return all transitions

Returns:

edges

public Collection<DFAState<T>> edges()

Specified by:

edges in interface Vertex<DFAState<T>>

inStates

public Collection<DFAState<T>> inStates()

iterator

public Iterator<DFAState<T>> iterator()

Specified by:

iterator in interface Iterable<DFAState<T>>