Ejemplo n.º 1
0
 /** Read the page from the disk. */
 private void read() {
   data.reset();
   data.readByte();
   data.readShortInt();
   trunk = data.readInt();
   logKey = data.readInt();
 }
 /** Read the page from the disk. */
 private void read() {
   data.reset();
   data.readByte();
   data.readShortInt();
   for (int i = 0; i < pageCount; i += 8) {
     int x = data.readByte() & 255;
     used.setByte(i, x);
   }
   full = false;
 }