public class GraphImageWriter extends Object implements UpdateEventListener<GraphUpdatedEvent>
| Constructor and Description |
|---|
GraphImageWriter(Path workspacePath,
Path folder,
List<ChemicalEntity> observedEntities) |
| Modifier and Type | Method and Description |
|---|---|
void |
combineToGif() |
double |
getDrawingHeight() |
double |
getDrawingWidth() |
void |
onEventReceived(GraphUpdatedEvent event) |
void |
setDrawingHeight(double drawingHeight) |
void |
setDrawingWidth(double drawingWidth) |
void |
setJfxShutdown(boolean jfxShutdown) |
void |
shutDown() |
public GraphImageWriter(Path workspacePath, Path folder, List<ChemicalEntity> observedEntities)
public void setJfxShutdown(boolean jfxShutdown)
public double getDrawingWidth()
public void setDrawingWidth(double drawingWidth)
public double getDrawingHeight()
public void setDrawingHeight(double drawingHeight)
public void shutDown()
public void combineToGif()
public void onEventReceived(GraphUpdatedEvent event)
onEventReceived in interface UpdateEventListener<GraphUpdatedEvent>Copyright © 2018. All rights reserved.