com.ctc.wstx.dtd
Class DFAState

java.lang.Object
  extended by 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