| |
|
| java.lang.Object jdbm.recman.PageHeader jdbm.recman.FreePhysicalRowIdPage
FreePhysicalRowIdPage | final class FreePhysicalRowIdPage extends PageHeader (Code) | | Class describing a page that holds physical rowids that were freed.
|
ELEMS_PER_PAGE | final static short ELEMS_PER_PAGE(Code) | | |
O_FREE | final static short O_FREE(Code) | | |
FreePhysicalRowIdPage | FreePhysicalRowIdPage(BlockIo block)(Code) | | Constructs a data page view from the indicated block.
|
free | void free(int slot)(Code) | | Frees a slot
|
getCount | short getCount()(Code) | | Returns the number of free rowids
|
getFirstFree | int getFirstFree()(Code) | | Returns first free slot, -1 if no slots are available
|
getFirstLargerThan | int getFirstLargerThan(int size)(Code) | | Returns first slot with available size >= indicated size,
or -1 if no slots are available.
|
getFreePhysicalRowIdPageView | static FreePhysicalRowIdPage getFreePhysicalRowIdPageView(BlockIo block)(Code) | | Factory method to create or return a data page for the
indicated block.
|
isAllocated | boolean isAllocated(int slot)(Code) | | Returns true if a slot is allocated
|
isFree | boolean isFree(int slot)(Code) | | Returns true if a slot is free
|
slotToOffset | short slotToOffset(int slot)(Code) | | Converts slot to offset
|
|
|
|