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
(package private) final boolean	mAccepting
(package private) final int	mIndex
(package private) HashMap<PrefixedName,DFAState>	mNext
(package 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

final int mIndex

mAccepting

final boolean mAccepting

mTokenSet

BitSet mTokenSet

mNext

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