Class DFAState


  • public final class DFAState
    extends java.lang.Object
    Class that represents a state in DFA used for validating complex DTD content models.
    • Field Detail

      • mIndex

        final int mIndex
      • mAccepting

        final boolean mAccepting
      • mTokenSet

        java.util.BitSet mTokenSet
    • Constructor Detail

      • DFAState

        public DFAState​(int index,
                        java.util.BitSet tokenSet)
    • Method Detail

      • isAcceptingState

        public boolean isAcceptingState()
      • getIndex

        public int getIndex()
      • 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