Class TextElementReader


  • public class TextElementReader
    extends java.lang.Object
    • Field Detail

      • srcString

        java.lang.String srcString
      • totalLength

        int totalLength
      • lines

        java.lang.String[] lines
      • lineOffsets

        int[] lineOffsets
      • iwk

        int iwk
    • Constructor Detail

      • TextElementReader

        public TextElementReader​(java.lang.String src)
    • Method Detail

      • readLineOffsets

        private void readLineOffsets()
      • nextNonEmptyLine

        private java.lang.String nextNonEmptyLine()
      • getIndent

        private int getIndent​(java.lang.String line)
      • nextIndent

        private int nextIndent()
      • printLine

        private java.lang.String printLine()
      • bisectFind

        private int bisectFind​(int[] ia,
                               int tgt)
      • deComment

        public static java.lang.String deComment​(java.lang.String stxt)
                                          throws XMLException
        Throws:
        XMLException
      • deSpace

        public static java.lang.String deSpace​(java.lang.String stxt)