public class FileResultWriter extends Object implements ResultWriter
| Constructor and Description |
|---|
FileResultWriter(RuntimeOutput ro) |
| Modifier and Type | Method and Description |
|---|---|
void |
addedRecorder() |
void |
addPoint(String id,
double x,
double y) |
void |
advance(double t) |
void |
close() |
void |
flush() |
protected File |
getFile() |
String |
getID() |
public FileResultWriter(RuntimeOutput ro)
public String getID()
getID in interface ResultWriterpublic void addPoint(String id, double x, double y)
addPoint in interface ResultWriterpublic void advance(double t)
throws RuntimeError
advance in interface ResultWriterRuntimeErrorpublic void addedRecorder()
addedRecorder in interface ResultWriterpublic void flush()
throws RuntimeError
RuntimeErrorprotected File getFile()
public void close()
throws RuntimeError
close in interface ResultWriterRuntimeErrorCopyright © 2019. All rights reserved.