final class FreeLogicalRowIdPageManager
extends java.lang.Object
Constructor and Description |
---|
FreeLogicalRowIdPageManager(RecordFile file,
PageManager pageman)
Creates a new instance using the indicated record file and
page manager.
|
Modifier and Type | Method and Description |
---|---|
(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
|
FreeLogicalRowIdPageManager(RecordFile file, PageManager pageman) throws java.io.IOException
java.io.IOException
Cees de Groot (C) 2000-2001. All rights reserved http://jdbm.sourceforge.net