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

Field Summary

Fields

Modifier and Type	Field and Description
protected RecordFile	_file
protected PageManager	_pageman

Constructor Summary

Constructors

Constructor and Description
FreePhysicalRowIdPageManager(RecordFile file, PageManager pageman) Creates a new instance using the indicated record file 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

_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