Package com.ctc.wstx.dtd

Class DFAState

java.lang.Object

com.ctc.wstx.dtd.DFAState

public final class DFAState
extends Object

Class that represents a state in DFA used for validating complex DTD content models.

Field Summary

Fields

Modifier and Type	Field	Description
private final boolean	mAccepting
private final int	mIndex
private final HashMap<PrefixedName,DFAState>	mNext
private BitSet	mTokenSet

Constructor Summary

Constructors

Constructor	Description
DFAState(int index, BitSet tokenSet)

Method Summary

Modifier and Type	Method	Description
void	calcNext(PrefixedName[] tokenNames, BitSet[] tokenFPs, List<DFAState> stateList, Map<BitSet,DFAState> stateMap)
static DFAState	constructDFA(ContentSpec rootSpec)
DFAState	findNext(PrefixedName elemName)
int	getIndex()
TreeSet<PrefixedName>	getNextNames()
boolean	isAcceptingState()
String	toString()

Methods inherited from class java.lang.Object

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

Field Details

mIndex

private final int mIndex

mAccepting

private final boolean mAccepting

mTokenSet

private BitSet mTokenSet

mNext

private final HashMap<PrefixedName,DFAState> mNext

Constructor Details

DFAState

public DFAState(int index,
 BitSet tokenSet)

Method Details

constructDFA

public static DFAState constructDFA(ContentSpec rootSpec)

isAcceptingState

public boolean isAcceptingState()

getIndex

public int getIndex()

findNext

public DFAState findNext(PrefixedName elemName)

getNextNames

public TreeSet<PrefixedName> getNextNames()

calcNext

public void calcNext(PrefixedName[] tokenNames,
 BitSet[] tokenFPs,
 List<DFAState> stateList,
 Map<BitSet,DFAState> stateMap)

toString

public String toString()

Overrides:

toString in class Object