|
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||
java.lang.Objectjdbm.recman.FreeLogicalRowIdPageManager
final class FreeLogicalRowIdPageManager
This class manages free Logical rowid pages and provides methods to free and allocate Logical rowids on a high level.
| Constructor Summary | |
|---|---|
FreeLogicalRowIdPageManager(RecordFile file,
PageManager pageman)
Creates a new instance using the indicated record file and page manager. |
|
| Method Summary | |
|---|---|
(package private) Location |
get()
Returns a free Logical rowid, or null if nothing was found. |
(package private) void |
put(Location rowid)
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 |
| Constructor Detail |
|---|
FreeLogicalRowIdPageManager(RecordFile file,
PageManager pageman)
throws java.io.IOException
java.io.IOException| Method Detail |
|---|
Location get()
throws java.io.IOException
java.io.IOExceptionvoid put(Location rowid) throws java.io.IOException
java.io.IOException
|
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||