public class GoedelObjectDump
extends java.lang.Object
| Constructor and Description |
|---|
GoedelObjectDump(java.lang.String filenameBase)
Creates a GoedelObjectDump file pair.
|
| Modifier and Type | Method and Description |
|---|---|
void |
clear() |
void |
close() |
int |
getSize() |
byte[] |
readBytes(int index) |
void |
readBytes(int index,
ByteBuffer buffy) |
long |
readID(int index) |
java.lang.Object |
readObject(int index) |
java.lang.Object |
readObject(long ID)
Looks up the object by ID.
|
java.lang.String |
toString() |
public GoedelObjectDump(java.lang.String filenameBase)
throws java.io.IOException
java.io.IOExceptionpublic void close()
throws java.io.IOException
java.io.IOExceptionpublic java.lang.String toString()
toString in class java.lang.Objectpublic int getSize()
public java.lang.Object readObject(long ID)
throws java.io.IOException
java.io.IOExceptionpublic long readID(int index)
throws java.io.IOException
java.io.IOExceptionpublic byte[] readBytes(int index)
throws java.io.IOException
java.io.IOExceptionpublic void readBytes(int index,
ByteBuffer buffy)
throws java.io.IOException
java.io.IOExceptionpublic java.lang.Object readObject(int index)
throws java.io.IOException
java.io.IOExceptionpublic void clear()
throws java.io.IOException
java.io.IOException