public void print() {
FileHeader hdr = new FileHeader();
System.out.println("Directory contents:");
for (int i = 0; i < tableSize; i++)
if (table[i].inUse) {
Debug.printf('+', "Name: %s, Sector: %d\n", table[i].name, new Integer(table[i].sector));
hdr.fetchFrom(table[i].sector);
hdr.print();
}
System.out.println("");
}
