Package net.automatalib.visualization.dot

Class GraphVizBrowserVisualizationProvider

java.lang.Object

net.automatalib.visualization.dot.GraphVizBrowserVisualizationProvider

All Implemented Interfaces:

VisualizationProvider

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

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor	Description
GraphVizBrowserVisualizationProvider()

Method Summary

Modifier and Type	Method	Description
boolean	checkUsable()	Checks whether the provider is supported on the current platform.
String	getId()	Returns the id of the visualization provider.
int	getPriority()	Returns the priority of the provider.
<N,E> void	visualize(Graph<N,E> graph, List<VisualizationHelper<N,? super E>> additionalHelpers, boolean modal, Map<String,String> visOptions)	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

Field Detail

ID

public static final String ID

the id of this VisualizationProvider.

See Also:

Constant Field Values

Constructor Detail

GraphVizBrowserVisualizationProvider

public GraphVizBrowserVisualizationProvider()

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

getPriority

public int getPriority()

Description copied from interface: VisualizationProvider

Returns the priority of the provider. If no provider is selected via the AutomataLibProperty.VISUALIZATION_PROVIDER property, the provider with the highest priority is chosen.

Specified by:

getPriority in interface VisualizationProvider

Returns:

the priority 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> visOptions)

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.

visOptions - additional options for the provider