public class NamedObjectDump
extends java.lang.Object
Compressed by default; optional constructor for uncompressed mode.
| Constructor and Description |
|---|
NamedObjectDump(java.lang.String filename)
Creates a NamedObjectDump file for the given filename base (everything
but the extensions).
|
| Modifier and Type | Method and Description |
|---|---|
void |
appendObject(java.lang.String name,
java.lang.Object victim) |
void |
clear() |
java.io.File |
getDataFile() |
java.io.File |
getOffsetFile() |
int |
getSize() |
void |
pack() |
java.lang.String |
readName(int index) |
java.lang.Object |
readObject(int index) |
java.lang.Object |
readObject(java.lang.String name)
If cached == true, this is a cached version of readObjectUncached.
|
java.lang.Object |
readObjectImp(java.io.DataInputStream dater) |
java.lang.Object |
readObjectUncached(java.lang.String name)
This requires that the file be sorted.
|
void |
sort() |
void |
sortInMemory() |
void |
sortOnDisk() |
void |
swap(int a,
int b) |
void |
writeObjectImp(java.lang.Object victim,
java.io.DataOutputStream outie) |
public NamedObjectDump(java.lang.String filename)
public int getSize()
public java.io.File getDataFile()
public java.io.File getOffsetFile()
public void appendObject(java.lang.String name,
java.lang.Object victim)
throws java.io.IOException
java.io.IOExceptionpublic void writeObjectImp(java.lang.Object victim,
java.io.DataOutputStream outie)
throws java.io.IOException
java.io.IOExceptionpublic java.lang.Object readObject(java.lang.String name)
throws java.io.IOException
java.io.IOExceptionpublic java.lang.Object readObjectUncached(java.lang.String name)
throws java.io.IOException
java.io.IOExceptionpublic java.lang.Object readObject(int index)
throws java.io.IOException
java.io.IOExceptionpublic java.lang.Object readObjectImp(java.io.DataInputStream dater)
throws java.io.IOException
java.io.IOExceptionpublic java.lang.String readName(int index)
throws java.io.IOException
java.io.IOExceptionpublic void clear()
throws java.io.IOException
java.io.IOExceptionpublic void swap(int a,
int b)
throws java.io.IOException
java.io.IOExceptionpublic void sort()
public void pack()
throws java.io.IOException
java.io.IOExceptionpublic void sortOnDisk()
public void sortInMemory()