Class FileBody

java.lang.Object
org.mozilla.javascript.tools.idswitch.FileBody

public class FileBody extends Object
  • Constructor Details

    • FileBody

      public FileBody()
  • Method Details

    • getBuffer

      public char[] getBuffer()
    • readData

      public void readData(Reader r) throws IOException
      Throws:
      IOException
    • writeInitialData

      public void writeInitialData(Writer w) throws IOException
      Throws:
      IOException
    • writeData

      public void writeData(Writer w) throws IOException
      Throws:
      IOException
    • wasModified

      public boolean wasModified()
    • setReplacement

      public boolean setReplacement(int begin, int end, String text)
    • getLineNumber

      public int getLineNumber()
    • getLineBegin

      public int getLineBegin()
    • getLineEnd

      public int getLineEnd()
    • startLineLoop

      public void startLineLoop()
    • nextLine

      public boolean nextLine()