final class FreePhysicalRowIdPageManager
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected RecordFile |
_file |
protected PageManager |
_pageman |
Constructor and Description |
---|
FreePhysicalRowIdPageManager(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(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
|
protected RecordFile _file
protected PageManager _pageman
FreePhysicalRowIdPageManager(RecordFile file, PageManager pageman) throws java.io.IOException
java.io.IOException
Location get(int size) throws java.io.IOException
java.io.IOException
void put(Location rowid, int size) throws java.io.IOException
java.io.IOException
Cees de Groot (C) 2000-2001. All rights reserved http://jdbm.sourceforge.net