public void fetchFrom(OpenFile file) {
byte buffer[] = new byte[tableSize * DirectoryEntry.sizeOf()];
// read the file
file.readAt(buffer, 0, tableSize * DirectoryEntry.sizeOf(), 0);
// unmarshall
int pos = 0;
for (int i = 0; i < tableSize; i++) {
table[i].internalize(buffer, pos);
pos += DirectoryEntry.sizeOf();
}
}
