public class RPFFileIndex
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
RPFFileIndex.DirectoryRecord |
static class |
RPFFileIndex.IndexProperties |
static class |
RPFFileIndex.Record |
static interface |
RPFFileIndex.RecordFactory |
static class |
RPFFileIndex.RPFFileRecord |
static class |
RPFFileIndex.Table |
static class |
RPFFileIndex.WaveletRecord |
Constructor and Description |
---|
RPFFileIndex() |
Modifier and Type | Method and Description |
---|---|
RPFFileIndex.Record |
createRPFFileRecord(java.io.File file) |
RPFFileIndex.Record |
createWaveletRecord(java.io.File file,
long rpfFileKey) |
RPFFileIndex.Table |
getDirectoryTable() |
RPFFileIndex.IndexProperties |
getIndexProperties() |
java.io.File |
getRPFFile(long key) |
RPFFileIndex.Table |
getRPFFileTable() |
java.io.File |
getWaveletFile(long key) |
RPFFileIndex.Table |
getWaveletTable() |
void |
load(java.nio.ByteBuffer buffer) |
java.nio.ByteBuffer |
save() |
void |
updateBoundingSector() |
public RPFFileIndex.Record createRPFFileRecord(java.io.File file)
public RPFFileIndex.Record createWaveletRecord(java.io.File file, long rpfFileKey)
public RPFFileIndex.Table getDirectoryTable()
public RPFFileIndex.IndexProperties getIndexProperties()
public java.io.File getRPFFile(long key)
public RPFFileIndex.Table getRPFFileTable()
public java.io.File getWaveletFile(long key)
public RPFFileIndex.Table getWaveletTable()
public void load(java.nio.ByteBuffer buffer) throws java.io.IOException
java.io.IOException
public java.nio.ByteBuffer save() throws java.io.IOException
java.io.IOException
public void updateBoundingSector()