public class DummyEventResultWriter extends Object implements EventResultWriter
| Constructor and Description |
|---|
DummyEventResultWriter(RuntimeOutput ro) |
| Modifier and Type | Method and Description |
|---|---|
void |
addedRecorder() |
void |
advance(double t) |
void |
close() |
String |
getID() |
void |
recordEvent(String id) |
public DummyEventResultWriter(RuntimeOutput ro)
public String getID()
getID in interface EventResultWriterpublic void recordEvent(String id)
recordEvent in interface EventResultWriterpublic void advance(double t)
advance in interface EventResultWriterpublic void addedRecorder()
addedRecorder in interface EventResultWriterpublic void close()
close in interface EventResultWriterCopyright © 2019. All rights reserved.