@MetaInfServices(value=VisualizationProvider.class) public class GraphVizSwingVisualizationProvider extends Object implements VisualizationProvider
Constructor and Description |
---|
GraphVizSwingVisualizationProvider() |
Modifier and Type | Method and 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.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getDescription
public String getId()
VisualizationProvider
AutomataLibProperty.VISUALIZATION_PROVIDER
property to select the chosen visualization
provider.getId
in interface VisualizationProvider
public int getPriority()
VisualizationProvider
AutomataLibProperty.VISUALIZATION_PROVIDER
property, the provider with the highest
priority is chosen.getPriority
in interface VisualizationProvider
public boolean checkUsable()
VisualizationProvider
checkUsable
in interface VisualizationProvider
true
if the provider is able to visualiza, false
otherwiseVisualizationProvider.visualize(Graph, List, boolean, Map)
public <N,E> void visualize(Graph<N,E> graph, List<VisualizationHelper<N,? super E>> additionalHelpers, boolean modal, Map<String,String> visOptions)
VisualizationProvider
visualize
in interface VisualizationProvider
N
- the node type of the graph modelE
- the edge type of the graph modelgraph
- 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 providerCopyright © 2019. All rights reserved.