jdbm.recman

Class FreePhysicalRowIdPageManager

java.lang.Object

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 at a high level.

Field Summary

Fields

Modifier and Type	Field and Description
protected PageManager	pageManager
protected RecordFile	recordFile

Constructor Summary

Constructors

Constructor and Description
FreePhysicalRowIdPageManager(PageManager pageManager) Creates a new instance using the indicated record recordFile and page manager.

Method Summary

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

recordFile

protected RecordFile recordFile

pageManager

protected PageManager pageManager

Constructor Detail

FreePhysicalRowIdPageManager

FreePhysicalRowIdPageManager(PageManager pageManager)
                      throws java.io.IOException

Creates a new instance using the indicated record recordFile 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