|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjdbm.recman.PageManager
This class manages the linked lists of pages that make up a file.
Constructor Summary | |
(package private) |
PageManager(RecordFile file)
Creates a new page manager using the indicated record file. |
Method Summary | |
(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. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
PageManager(RecordFile file) throws java.io.IOException
Method Detail |
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.flush()
as well).
java.io.IOException
void rollback() throws java.io.IOException
RecordFile.flush()
as well).
java.io.IOException
void close() throws java.io.IOException
java.io.IOException
FileHeader getFileHeader()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |