public class GoedelObjectDumpBuilder
extends java.lang.Object
| Constructor and Description |
|---|
GoedelObjectDumpBuilder(java.io.File dumpFile,
java.io.File offsetFile) |
GoedelObjectDumpBuilder(java.lang.String filenameBase)
Creates a GoedelObjectDump file for the given filename base (everything
but the extensions).
|
| Modifier and Type | Method and Description |
|---|---|
void |
appendBytes(long ID,
byte[] victimBytes) |
void |
appendBytes(long ID,
ByteBuffer victimBytes) |
void |
appendObject(long ID,
java.lang.Object victim) |
void |
clear() |
void |
close()
Closes the dump.
|
int |
getCurrentSize() |
void |
reset() |
public GoedelObjectDumpBuilder(java.lang.String filenameBase)
throws java.io.IOException
java.io.IOExceptionpublic GoedelObjectDumpBuilder(java.io.File dumpFile,
java.io.File offsetFile)
throws java.io.IOException
java.io.IOExceptionpublic void appendObject(long ID,
java.lang.Object victim)
throws java.io.IOException
java.io.IOExceptionpublic void appendBytes(long ID,
byte[] victimBytes)
throws java.io.IOException
java.io.IOExceptionpublic void appendBytes(long ID,
ByteBuffer victimBytes)
throws java.io.IOException
java.io.IOExceptionpublic void clear()
throws java.io.IOException
java.io.IOExceptionpublic void close()
throws java.io.IOException
java.io.IOExceptionpublic int getCurrentSize()
public void reset()
throws java.io.IOException
java.io.IOException