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 EventResultWriter
public void recordEvent(String id)
recordEvent
in interface EventResultWriter
public void advance(double t)
advance
in interface EventResultWriter
public void addedRecorder()
addedRecorder
in interface EventResultWriter
public void close()
close
in interface EventResultWriter
Copyright © 2020. All rights reserved.