jdbm.recman
Class FreePhysicalRowIdPageManager

java.lang.Object
  extended by jdbm.recman.FreePhysicalRowIdPageManager

final class FreePhysicalRowIdPageManager
extends java.lang.Object

This class manages free physical rowid pages and provides methods to free and allocate physical rowids on a high level.


Field Summary
protected  RecordFile _file
           
protected  PageManager _pageman
           
 
Constructor Summary
FreePhysicalRowIdPageManager(RecordFile file, PageManager pageman)
          Creates a new instance using the indicated record file and page manager.
 
Method Summary
(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
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

_file

protected RecordFile _file

_pageman

protected PageManager _pageman
Constructor Detail

FreePhysicalRowIdPageManager

FreePhysicalRowIdPageManager(RecordFile file,
                             PageManager pageman)
                       throws java.io.IOException
Creates a new instance using the indicated record file and page manager.

Throws:
java.io.IOException
Method Detail

get

Location get(int size)
       throws java.io.IOException
Returns a free physical rowid of the indicated size, or null if nothing was found.

Throws:
java.io.IOException

put

void put(Location rowid,
         int size)
   throws java.io.IOException
Puts the indicated rowid on the free list

Throws:
java.io.IOException


Cees de Groot (C) 2000-2001. All rights reserved http://jdbm.sourceforge.net