public class FileEventResultWriter extends Object implements EventResultWriter
| Constructor and Description |
|---|
FileEventResultWriter(RuntimeEventOutput ro) |
| Modifier and Type | Method and Description |
|---|---|
void |
addedRecorder() |
void |
advance(double t) |
void |
close() |
void |
flush() |
String |
getID() |
void |
recordEvent(String id) |
public FileEventResultWriter(RuntimeEventOutput ro)
public String getID()
getID in interface EventResultWriterpublic void recordEvent(String id)
recordEvent in interface EventResultWriterpublic void advance(double t)
throws RuntimeError
advance in interface EventResultWriterRuntimeErrorpublic void addedRecorder()
addedRecorder in interface EventResultWriterpublic void flush()
throws RuntimeError
RuntimeErrorpublic void close()
throws RuntimeError
close in interface EventResultWriterRuntimeErrorCopyright © 2019. All rights reserved.