Package net.automatalib.visualization.jung

Class JungGraphVisualizationProvider

java.lang.Object

net.automatalib.visualization.jung.JungGraphVisualizationProvider

All Implemented Interfaces:

VisualizationProvider

@MetaInfServices(VisualizationProvider.class)
public class JungGraphVisualizationProvider
extends Object
implements VisualizationProvider

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	JungGraphVisualizationProvider.EdgeVisualization
static class	JungGraphVisualizationProvider.NodeVisualization

Field Summary

Fields

Modifier and Type	Field	Description
static String	ID	the id of this VisualizationProvider.

Constructor Summary

Constructors

Constructor	Description
JungGraphVisualizationProvider()

Method Summary

Modifier and Type	Method	Description
boolean	checkUsable()	Checks whether the provider is supported on the current platform.
protected static JungGraphVisualizationProvider.EdgeVisualization	createEdgeVisualization(Map<String,String> props)
protected static JungGraphVisualizationProvider.NodeVisualization	createNodeVisualization(Map<String,String> props, int id)
static <N,E> DirectedGraph<JungGraphVisualizationProvider.NodeVisualization,JungGraphVisualizationProvider.EdgeVisualization>	createVisualizationGraph(Graph<N,E> graph, List<VisualizationHelper<N,? super E>> additionalHelpers)
protected static Color	getColor(Map<String,String> props, String propName, Color defColor)
String	getId()	Returns the id of the visualization provider.
static void	setupRenderContext(RenderContext<JungGraphVisualizationProvider.NodeVisualization,JungGraphVisualizationProvider.EdgeVisualization> ctx)
static void	setupRenderer(Renderer<JungGraphVisualizationProvider.NodeVisualization,JungGraphVisualizationProvider.EdgeVisualization> renderer)
<N,E> void	visualize(Graph<N,E> graph, List<VisualizationHelper<N,? super E>> additionalHelpers, boolean modal, Map<String,String> options)	Visualizes the given graph by means of executing the visualization implementation.

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.automatalib.visualization.VisualizationProvider

getDescription, getPriority

Field Detail

ID

public static final String ID

the id of this VisualizationProvider.

See Also:

Constant Field Values

Constructor Detail

JungGraphVisualizationProvider

public JungGraphVisualizationProvider()

Method Detail

getId

public String getId()

Description copied from interface: VisualizationProvider

Returns the id of the visualization provider. This value is used and matched against the AutomataLibProperty.VISUALIZATION_PROVIDER property to select the chosen visualization provider.

Specified by:

getId in interface VisualizationProvider

Returns:

the id of the provider

checkUsable

public boolean checkUsable()

Description copied from interface: VisualizationProvider

Checks whether the provider is supported on the current platform.

Specified by:

checkUsable in interface VisualizationProvider

Returns:

true if the provider is able to visualiza, false otherwise

See Also:

VisualizationProvider.visualize(Graph, List, boolean, Map)

visualize

public <N,E> void visualize(Graph<N,E> graph,
                                  List<VisualizationHelper<N,? super E>> additionalHelpers,
                                  boolean modal,
                                  Map<String,String> options)

Description copied from interface: VisualizationProvider

Visualizes the given graph by means of executing the visualization implementation.

Specified by:

visualize in interface VisualizationProvider

Type Parameters:

N - the node type of the graph model

E - the edge type of the graph model

Parameters:

graph - the graph model to visualize

additionalHelpers - additional helpers to influence the visualization

modal - a flag, whether the visualized graph should be displayed in a modal dialog (halting the current program execution) or not.

options - additional options for the provider

createVisualizationGraph

public static <N,E> DirectedGraph<JungGraphVisualizationProvider.NodeVisualization,JungGraphVisualizationProvider.EdgeVisualization> createVisualizationGraph(Graph<N,E> graph,
                                                                                                                                                                          List<VisualizationHelper<N,? super E>> additionalHelpers)

setupRenderContext

public static void setupRenderContext(RenderContext<JungGraphVisualizationProvider.NodeVisualization,JungGraphVisualizationProvider.EdgeVisualization> ctx)

setupRenderer

public static void setupRenderer(Renderer<JungGraphVisualizationProvider.NodeVisualization,JungGraphVisualizationProvider.EdgeVisualization> renderer)

createNodeVisualization

protected static JungGraphVisualizationProvider.NodeVisualization createNodeVisualization(Map<String,String> props,
                                                                                          int id)

createEdgeVisualization

protected static JungGraphVisualizationProvider.EdgeVisualization createEdgeVisualization(Map<String,String> props)

getColor

protected static Color getColor(Map<String,String> props,
                                String propName,
                                Color defColor)