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 ResultWriter
public void addPoint(String id, double x, double y)
addPoint
in interface ResultWriter
public void advance(double t) throws RuntimeError
advance
in interface ResultWriter
RuntimeError
public void addedRecorder()
addedRecorder
in interface ResultWriter
public void flush() throws RuntimeError
RuntimeError
protected File getFile()
public void close() throws RuntimeError
close
in interface ResultWriter
RuntimeError
Copyright © 2019. All rights reserved.