com.ctc.wstx.dtd
Class DFAState

java.lang.Object
  extended by 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)
           
 
Method Summary
 void calcNext(NameKey[] tokenNames, java.util.BitSet[] tokenFPs, java.util.List stateList, java.util.Map stateMap)
           
static DFAState constructDFA(ContentSpec rootSpec)
           
 DFAState findNext(NameKey elemName)
           
 int getIndex()
           
 java.util.TreeSet getNextNames()
           
 boolean isAcceptingState()
           
 java.lang.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,
                java.util.BitSet tokenSet)
Method Detail

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