public class JungVisualizer extends java.lang.Object implements GraphVisualizer
Constructor and Description |
---|
JungVisualizer() |
Modifier and Type | Method and Description |
---|---|
java.lang.Iterable<java.lang.String> |
getLayoutKeys()
Enables iterating over all layout keys of the visualizer.
|
java.lang.String |
getVisualizerKey()
Returns the (unique) key of the visualizer.
|
<VertexType,EdgeType> |
visualizeGraph(GraphLibrary<VertexType,EdgeType> graph,
java.lang.String layoutKeyParams,
int initialWidth,
int initialHeight,
boolean enableManualUpdate,
boolean enableModification)
Visualizes the given graph.
|
public <VertexType,EdgeType> java.awt.Component visualizeGraph(GraphLibrary<VertexType,EdgeType> graph, java.lang.String layoutKeyParams, int initialWidth, int initialHeight, boolean enableManualUpdate, boolean enableModification) throws ArrangeException
GraphVisualizer
visualizeGraph
in interface GraphVisualizer
VertexType
- the type of the vertices of the graph.EdgeType
- the type of the edges of the graph.graph
- the graph to be visualized.layoutKeyParams
- one string containing the arguments to manipulate the layout.initialWidth
- the initial width of the output area.initialHeight
- the initial height of the output area.enableManualUpdate
- if true, then refreshing of the visualization must be done explicitly. Otherwise, the
visualizer will periodically refresh or refresh automatically whenever it is
necessary.enableModification
- if true, then the user can modify the graph instance foor example by inserting and
deleting vertices.ArrangeException
- if the vertices can not be arranged.public java.lang.String getVisualizerKey()
GraphVisualizer
getVisualizerKey
in interface GraphVisualizer
public java.lang.Iterable<java.lang.String> getLayoutKeys()
GraphVisualizer
getLayoutKeys
in interface GraphVisualizer