final class PhysicalRowIdManager
extends java.lang.Object
| Constructor and Description |
|---|
PhysicalRowIdManager(RecordFile file,
PageManager pageManager)
Creates a new rowid manager using the indicated record file.
|
| Modifier and Type | Method and Description |
|---|---|
(package private) void |
delete(Location rowid)
Deletes a record.
|
(package private) byte[] |
fetch(Location rowid)
Retrieves a record.
|
(package private) Location |
insert(byte[] data,
int start,
int length)
Inserts a new record.
|
(package private) Location |
update(Location rowid,
byte[] data,
int start,
int length)
Updates an existing record.
|
PhysicalRowIdManager(RecordFile file, PageManager pageManager) throws java.io.IOException
java.io.IOExceptionLocation insert(byte[] data, int start, int length) throws java.io.IOException
java.io.IOExceptionLocation update(Location rowid, byte[] data, int start, int length) throws java.io.IOException
java.io.IOExceptionvoid delete(Location rowid) throws java.io.IOException
java.io.IOExceptionbyte[] fetch(Location rowid) throws java.io.IOException
java.io.IOExceptionCees de Groot (C) 2000-2001. All rights reserved http://jdbm.sourceforge.net