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.
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods 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()
-
-
-
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<PrefixedName> getNextNames()
-
calcNext
public void calcNext(PrefixedName[] tokenNames, BitSet[] tokenFPs, List<DFAState> stateList, Map<BitSet,DFAState> stateMap)
-
-