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

DFAState(int index, BitSet tokenSet)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

DFAState

public DFAState(int index,
                BitSet tokenSet)

Method Detail

constructDFA

public static DFAState constructDFA(ContentSpec rootSpec)

isAcceptingState

public boolean isAcceptingState()

getIndex

public int getIndex()

findNext

public DFAState findNext(PrefixedName elemName)

getNextNames

public TreeSet getNextNames()

calcNext

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

toString

public String toString()

Overrides:

toString in class Object