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