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.

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

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