final class PageManager
extends java.lang.Object
Constructor and Description |
---|
PageManager(RecordFile file)
Creates a new page manager using the indicated record file.
|
Modifier and Type | Method and Description |
---|---|
(package private) long |
allocate(short type)
Allocates a page of the indicated type.
|
(package private) void |
close()
Closes the page manager.
|
(package private) void |
commit()
Commit all pending (in-memory) data by flushing the page manager.
|
(package private) void |
free(short type,
long recid)
Frees a page of the indicated type.
|
(package private) FileHeader |
getFileHeader()
Returns the file header.
|
(package private) long |
getFirst(short type)
Returns the first page on the indicated list.
|
(package private) long |
getLast(short type)
Returns the last page on the indicated list.
|
(package private) long |
getNext(long block)
Returns the page following the indicated block
|
(package private) long |
getPrev(long block)
Returns the page before the indicated block
|
(package private) void |
rollback()
Flushes the page manager.
|
PageManager(RecordFile file) throws java.io.IOException
java.io.IOException
long allocate(short type) throws java.io.IOException
java.io.IOException
void free(short type, long recid) throws java.io.IOException
java.io.IOException
long getNext(long block) throws java.io.IOException
java.io.IOException
long getPrev(long block) throws java.io.IOException
java.io.IOException
long getFirst(short type) throws java.io.IOException
java.io.IOException
long getLast(short type) throws java.io.IOException
java.io.IOException
void commit() throws java.io.IOException
RecordFile.commit()
as well).java.io.IOException
void rollback() throws java.io.IOException
RecordFile.commit()
as well).java.io.IOException
void close() throws java.io.IOException
java.io.IOException
FileHeader getFileHeader()
Cees de Groot (C) 2000-2001. All rights reserved http://jdbm.sourceforge.net