public interface VisualizationProvider
Modifier and Type | Method and Description |
---|---|
boolean |
checkUsable()
Checks whether the provider is supported on the current platform.
|
default String |
getDescription()
Returns a description of the provider.
|
String |
getId()
Returns the id of the visualization provider.
|
default 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.
|
String getId()
AutomataLibProperty.VISUALIZATION_PROVIDER
property to select the chosen visualization
provider.default String getDescription()
default int getPriority()
AutomataLibProperty.VISUALIZATION_PROVIDER
property, the provider with the highest
priority is chosen.boolean checkUsable()
true
if the provider is able to visualiza, false
otherwisevisualize(Graph, List, boolean, Map)
<N,E> void visualize(Graph<N,E> graph, List<VisualizationHelper<N,? super E>> additionalHelpers, boolean modal, Map<String,String> visOptions)
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.