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