Class XMLElementReader


  • public class XMLElementReader
    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

      • XMLElementReader

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

      • getRootElement

        public XMLElement getRootElement()
      • readLineOffsets

        private void readLineOffsets()
      • parseSrc

        private void parseSrc()
      • addAttributes

        private void addAttributes​(XMLElement elt,
                                   java.lang.String attstring)
      • printLine

        private java.lang.String printLine()
      • bisectFind

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

        private java.lang.String nextString​(int n)
      • inext

        private int inext​(java.lang.String str)
      • inextHigh

        private int inextHigh​(java.lang.String str)
      • inextHighIn

        private int inextHighIn​(java.lang.String s,
                                java.lang.String src)
      • 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)