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