Class GraphVizSwingVisualizationProvider
- java.lang.Object
-
- net.automatalib.visualization.dot.GraphVizSwingVisualizationProvider
-
- All Implemented Interfaces:
VisualizationProvider
@MetaInfServices(VisualizationProvider.class) public class GraphVizSwingVisualizationProvider extends Object implements VisualizationProvider
-
-
Field Summary
Fields Modifier and Type Field Description static String
ID
theid
of thisVisualizationProvider
.
-
Constructor Summary
Constructors Constructor Description GraphVizSwingVisualizationProvider()
-
Method Summary
All Methods Instance Methods Concrete Methods 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>
voidvisualize(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
theid
of thisVisualizationProvider
.- See Also:
- Constant Field Values
-
-
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 theAutomataLibProperty.VISUALIZATION_PROVIDER
property to select the chosen visualization provider.- Specified by:
getId
in interfaceVisualizationProvider
- 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 theAutomataLibProperty.VISUALIZATION_PROVIDER
property, the provider with the highest priority is chosen.- Specified by:
getPriority
in interfaceVisualizationProvider
- 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 interfaceVisualizationProvider
- 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 interfaceVisualizationProvider
- Type Parameters:
N
- the node type of the graph modelE
- the edge type of the graph model- Parameters:
graph
- the graph model to visualizeadditionalHelpers
- additional helpers to influence the visualizationmodal
- 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
-
-