예제 #1
0
 public DataTable(final File filePath, final PagePool pool) throws IOException {
   myFile = new RandomAccessDataFile(filePath, pool);
   if (myFile.length() == 0) {
     markDirty();
   } else {
     readInHeader(filePath);
   }
 }
예제 #2
0
 public void writeBytes(long address, byte[] bytes, int off, int len) {
   markDirty();
   myFile.put(address, bytes, off, len);
 }
예제 #3
0
 public void reclaimSpace(int len) {
   if (len > 0) {
     markDirty();
     myWasteSize += len;
   }
 }