/** Returns the size */ int FreePhysicalRowId_getSize(short pos) { int slot = offsetToSlot(pos); if(sizeCache[slot] == -1) sizeCache[slot] = block.readInt(pos + FreePhysicalRowId_O_SIZE); return sizeCache[slot]; }
/** Sets the size */ void FreePhysicalRowId_setSize(short pos,int value) { int slot = offsetToSlot(pos); sizeCache[slot] = value; block.writeInt(pos + FreePhysicalRowId_O_SIZE, value); }