final class FreeLogicalRowIdPageManager
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
private PageManager |
pageManager
our page manager
|
private RecordFile |
recordFile
our record recordFile
|
| Constructor and Description |
|---|
FreeLogicalRowIdPageManager(PageManager pageManager)
Creates a new instance using the indicated record file and
page manager.
|
| Modifier and Type | Method and Description |
|---|---|
(package private) Location |
get()
Returns a free Logical rowid, or null if nothing was found.
|
(package private) void |
put(Location rowId)
Puts the indicated rowid on the free list
|
private RecordFile recordFile
private PageManager pageManager
FreeLogicalRowIdPageManager(PageManager pageManager) throws java.io.IOException
java.io.IOExceptionLocation get() throws java.io.IOException
java.io.IOExceptionvoid put(Location rowId) throws java.io.IOException
rowId - The Location where we will store the rowIdjava.io.IOException