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.
|
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