jdbm.recman
Class FreePhysicalRowIdPageManager
java.lang.Object
jdbm.recman.FreePhysicalRowIdPageManager
- final class FreePhysicalRowIdPageManager
- extends java.lang.Object
This class manages free physical rowid pages and provides methods
to free and allocate physical rowids on a high level.
Method Summary |
(package private) Location |
get(int size)
Returns a free physical rowid of the indicated size, or
null if nothing was found. |
(package private) void |
put(Location rowid,
int size)
Puts the indicated rowid on the free list |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
_file
protected RecordFile _file
_pageman
protected PageManager _pageman
FreePhysicalRowIdPageManager
FreePhysicalRowIdPageManager(RecordFile file,
PageManager pageman)
throws java.io.IOException
- Creates a new instance using the indicated record file and
page manager.
get
Location get(int size)
throws java.io.IOException
- Returns a free physical rowid of the indicated size, or
null if nothing was found.
- Throws:
java.io.IOException
put
void put(Location rowid,
int size)
throws java.io.IOException
- Puts the indicated rowid on the free list
- Throws:
java.io.IOException
Cees de Groot (C) 2000-2001. All rights reserved http://jdbm.sourceforge.net