org.eth.cyril.graphdrawing.gui

Interface GraphCreator

All Known Implementing Classes:

ExampleGraphCreator, GraphEditor

public interface GraphCreator

Interface for a GUI element with which graphs can be created. These graphs can e.g. be created from a string or be created by a helper function using some parameters set with this GUI.

Method Summary

Modifier and Type	Method and Description
void	draw(javax.swing.JPanel parent) Draw the GUI on the given panel.
java.util.Optional<Graph>	getGraph() Get the corresponding graph, if possible.

Method Detail

draw

void draw(javax.swing.JPanel parent)

Draw the GUI on the given panel.

Parameters:

parent - The parent panel within which to initialize this GUI.

getGraph

java.util.Optional<Graph> getGraph()

Get the corresponding graph, if possible. If any error occurs, instead of throwing an exception, this method will simply return an empty Optional.

Returns:

The graph created by this GUI, or an empty Optional if no graph could be created.