Class FileBody


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

      • buffer

        private char[] buffer
      • bufferEnd

        private int bufferEnd
      • lineBegin

        private int lineBegin
      • lineEnd

        private int lineEnd
      • nextLineStart

        private int nextLineStart
      • lineNumber

        private int lineNumber
    • Constructor Detail

      • FileBody

        public FileBody()
    • Method Detail

      • getBuffer

        public char[] getBuffer()
      • readData

        public void readData​(java.io.Reader r)
                      throws java.io.IOException
        Throws:
        java.io.IOException
      • writeInitialData

        public void writeInitialData​(java.io.Writer w)
                              throws java.io.IOException
        Throws:
        java.io.IOException
      • writeData

        public void writeData​(java.io.Writer w)
                       throws java.io.IOException
        Throws:
        java.io.IOException
      • wasModified

        public boolean wasModified()
      • setReplacement

        public boolean setReplacement​(int begin,
                                      int end,
                                      java.lang.String text)
      • getLineNumber

        public int getLineNumber()
      • getLineBegin

        public int getLineBegin()
      • getLineEnd

        public int getLineEnd()
      • startLineLoop

        public void startLineLoop()
      • nextLine

        public boolean nextLine()
      • equals

        private static boolean equals​(java.lang.String str,
                                      char[] array,
                                      int begin,
                                      int end)