public class NamedRandomAccessObjectDump
extends java.lang.Object
Compressed by default; optional constructor for uncompressed mode.
| Constructor and Description |
|---|
NamedRandomAccessObjectDump(java.lang.String filename)
Creates a NamedRandomAccessObjectDump file for the given filename base
(everything but the extensions).
|
| Modifier and Type | Method and Description |
|---|---|
void |
close() |
int[] |
findAllMatches(java.lang.String name) |
int |
getSize() |
java.lang.String |
readName(int index) |
java.lang.Object |
readObject(int index) |
java.lang.Object |
readObject(java.lang.String name) |
public NamedRandomAccessObjectDump(java.lang.String filename)
throws java.io.IOException
java.io.IOExceptionpublic int getSize()
public void close()
throws java.io.IOException
java.io.IOExceptionpublic int[] findAllMatches(java.lang.String name)
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 readObject(int index)
throws java.io.IOException
java.io.IOExceptionpublic java.lang.String readName(int index)
throws java.io.IOException
java.io.IOException