public interface TraceWriter extends Closeable
| Modifier and Type | Method and Description |
|---|---|
void |
writeEvent(int tick,
AccessEvent event)
Writes the event in the trace format.
|
default void |
writeFooter()
Writes the footer for the trace format.
|
default void |
writeHeader()
Writes the header for the trace format.
|
default void writeHeader()
throws IOException
IOExceptionvoid writeEvent(int tick,
AccessEvent event)
throws IOException
IOExceptiondefault void writeFooter()
throws IOException
IOException