| java.lang.Object jdbm.recman.FreePhysicalRowIdPageManager
FreePhysicalRowIdPageManager | final class FreePhysicalRowIdPageManager (Code) | | This class manages free physical rowid pages and provides methods
to free and allocate physical rowids on a high level.
|
Method Summary | |
Location | get(int size) Returns a free physical rowid of the indicated size, or
null if nothing was found. | void | put(Location rowid, int size) |
FreePhysicalRowIdPageManager | FreePhysicalRowIdPageManager(RecordFile file, PageManager pageman) throws IOException(Code) | | Creates a new instance using the indicated record file and
page manager.
|
get | Location get(int size) throws IOException(Code) | | Returns a free physical rowid of the indicated size, or
null if nothing was found.
|
|
|