public interface IIndexBuilder
Modifier and Type | Method and Description |
---|---|
void |
cancel()
called in case of error to delete any files / close any file handles
|
void |
clean(int[] purgedMapping,
IProgressListener listener)
Memory Analyzer has discard unreachable objects, so the parser may need to known
the discarded objects
|
void |
fill(IPreliminaryIndex index,
IProgressListener listener)
pass1 and pass2 parsing
|
void |
init(File file,
String prefix)
initialize with file and prefix (needed for naming conventions)
|
void init(File file, String prefix) throws SnapshotException, IOException
file
- the dump fileprefix
- used to build index filesSnapshotException
IOException
void fill(IPreliminaryIndex index, IProgressListener listener) throws SnapshotException, IOException
index
- listener
- for progress and error reportingSnapshotException
IOException
void clean(int[] purgedMapping, IProgressListener listener) throws IOException
purgedMapping
- mapping from old id to new id, -1 indicates object has been discardedlistener
- for progress and error reportingIOException
void cancel()