Package 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.

Field Summary

Fields

Modifier and Type	Field	Description
(package private) boolean	mAccepting
(package private) int	mIndex
(package private) java.util.HashMap<PrefixedName,DFAState>	mNext
(package private) java.util.BitSet	mTokenSet

Constructor Summary

Constructors

Constructor	Description
DFAState(int index, java.util.BitSet tokenSet)

Method Summary

Modifier and Type	Method	Description
void	calcNext(PrefixedName[] tokenNames, java.util.BitSet[] tokenFPs, java.util.List<DFAState> stateList, java.util.Map<java.util.BitSet,DFAState> stateMap)
static DFAState	constructDFA(ContentSpec rootSpec)
DFAState	findNext(PrefixedName elemName)
int	getIndex()
java.util.TreeSet<PrefixedName>	getNextNames()
boolean	isAcceptingState()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

mIndex

final int mIndex

mAccepting

final boolean mAccepting

mTokenSet

java.util.BitSet mTokenSet

mNext

java.util.HashMap<PrefixedName,DFAState> mNext

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(PrefixedName elemName)

getNextNames

public java.util.TreeSet<PrefixedName> getNextNames()

calcNext

public void calcNext(PrefixedName[] tokenNames,
                     java.util.BitSet[] tokenFPs,
                     java.util.List<DFAState> stateList,
                     java.util.Map<java.util.BitSet,DFAState> stateMap)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object