com.ctc.wstx.dtd
Class DFAState
java.lang.Object
com.ctc.wstx.dtd.DFAState
public final class DFAState
- extends java.lang.Object
Class that represents a state in DFA used for validating complex
DTD content models.
Constructor Summary |
DFAState(int index,
java.util.BitSet tokenSet)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
DFAState
public DFAState(int index,
java.util.BitSet tokenSet)
constructDFA
public static DFAState constructDFA(ContentSpec rootSpec)
isAcceptingState
public boolean isAcceptingState()
getIndex
public int getIndex()
findNext
public DFAState findNext(NameKey elemName)
getNextNames
public java.util.TreeSet getNextNames()
calcNext
public void calcNext(NameKey[] tokenNames,
java.util.BitSet[] tokenFPs,
java.util.List stateList,
java.util.Map stateMap)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object