org.eth.cyril.graphdrawing.gui

Class GraphEditor

java.lang.Object

org.eth.cyril.graphdrawing.gui.GraphEditor

All Implemented Interfaces:

GraphCreator

public class GraphEditor
extends java.lang.Object
implements GraphCreator

A textual graph editor, converting strings to graphs using the GraphStringConverter's fromText functionality.

Constructor Summary

Constructors

Constructor and Description
GraphEditor(java.lang.String initialText)

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

GraphEditor

public GraphEditor(java.lang.String initialText)

Method Detail

draw

public void draw(javax.swing.JPanel parent)

Description copied from interface: GraphCreator

Draw the GUI on the given panel.

Specified by:

draw in interface GraphCreator

Parameters:

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

getGraph

public java.util.Optional<Graph> getGraph()

Description copied from interface: GraphCreator

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

Specified by:

getGraph in interface GraphCreator

Returns:

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