public interface EventResultWriter
| Modifier and Type | Method and Description |
|---|---|
void |
addedRecorder() |
void |
advance(double t) |
void |
close() |
String |
getID() |
void |
recordEvent(String id) |
void recordEvent(String id)
String getID()
void advance(double t)
throws RuntimeError
RuntimeErrorvoid addedRecorder()
void close()
throws RuntimeError
RuntimeErrorCopyright © 2019. All rights reserved.