PositionDependentRecordAtompublic abstract class PositionDependentRecordAtom extends RecordAtom implements PositionDependentRecordA special (and dangerous) kind of Record Atom that cares about where
it lives on the disk, or who has other Atoms that care about where
this is on the disk. |
Fields Summary |
---|
protected int | myLastOnDiskOffsetOur location on the disk, as of the last write out |
Methods Summary |
---|
public int | getLastOnDiskOffset()Fetch our location on the disk, as of the last write out return myLastOnDiskOffset;
| public void | setLastOnDiskOffset(int offset)Update the Record's idea of where on disk it lives, after a write out.
Use with care...
myLastOnDiskOffset = offset;
| public abstract void | updateOtherRecordReferences(java.util.Hashtable oldToNewReferencesLookup)Offer the record the list of records that have changed their
location as part of the writeout.
Allows records to update their internal pointers to other records
locations
|
|