// Original file:/home/abdulaziz/Desktop/BerkeleyDb/all_feature_try/IO/com/sleepycat/je/log/FileManager.java
class FileManager {
  @MethodObject static class FileManager_writeToFile {
      protected void hook447() throws IOException, DatabaseException {
        assert data.hasArray();
        assert data.arrayOffset() == 0;
        pos=data.position();
        size=data.limit() - pos;
        file.seek(destOffset);
        file.write(data.array(),pos,size);
        data.position(pos + size);
        totalBytesWritten=size;
      }
      int execute() throws IOException, DatabaseException {
        int result=original();
  {
          this.hook447();
        }
        return result;
      }
    }
  @MethodObject static class FileManager_readFromFile {
      protected void hook448() throws IOException {
        assert readBuffer.hasArray();
        assert readBuffer.arrayOffset() == 0;
        pos=readBuffer.position();
        size=readBuffer.limit() - pos;
        file.seek(offset);
        bytesRead2=file.read(readBuffer.array(),pos,size);
        if (bytesRead2 > 0) {
          readBuffer.position(pos + bytesRead2);
        }
      }
      void execute() throws IOException {
        original();
  {
          this.hook448();
        }
      }
    }
}
