| java.lang.Object jdbm.recman.RecordHeader
RecordHeader | class RecordHeader (Code) | | The data that comes at the start of a record of data. It stores
both the current size and the avaliable size for the record - the latter
can be bigger than the former, which allows the record to grow without
needing to be moved and which allows the system to put small records
in larger free spots.
|
Field Summary | |
final static int | SIZE |
Constructor Summary | |
| RecordHeader(BlockIo block, short pos) Constructs a record header from the indicated data starting at
the indicated position. |
SIZE | final static int SIZE(Code) | | |
RecordHeader | RecordHeader(BlockIo block, short pos)(Code) | | Constructs a record header from the indicated data starting at
the indicated position.
|
getAvailableSize | int getAvailableSize()(Code) | | Returns the available size
|
getCurrentSize | int getCurrentSize()(Code) | | Returns the current size
|
setAvailableSize | void setAvailableSize(int value)(Code) | | Sets the available size
|
setCurrentSize | void setCurrentSize(int value)(Code) | | Sets the current size
|
|
|