public class TraceFileManager
extends java.lang.Object
Constructor and Description |
---|
TraceFileManager(java.io.File outputDirectory,
TraceIndex index) |
Modifier and Type | Method and Description |
---|---|
void |
close() |
protected java.io.File |
createFile() |
boolean |
flush()
dump pending to file
|
void |
open() |
boolean |
record(ITransformedEvent event) |
public TraceFileManager(java.io.File outputDirectory, TraceIndex index)
public void open()
public void close()
public boolean record(ITransformedEvent event)
protected java.io.File createFile()
public boolean flush()