Class JungGraphVisualizationProvider
- java.lang.Object
-
- net.automatalib.visualization.jung.JungGraphVisualizationProvider
-
- All Implemented Interfaces:
VisualizationProvider
@MetaInfServices(net.automatalib.visualization.VisualizationProvider.class) public class JungGraphVisualizationProvider extends Object implements VisualizationProvider
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static classJungGraphVisualizationProvider.EdgeVisualizationstatic classJungGraphVisualizationProvider.NodeVisualization
-
Field Summary
Fields Modifier and Type Field Description static StringIDtheidof thisVisualizationProvider.
-
Constructor Summary
Constructors Constructor Description JungGraphVisualizationProvider()
-
Method Summary
-
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
theidof thisVisualizationProvider.- See Also:
- Constant Field Values
-
-
Method Detail
-
getId
public String getId()
- Specified by:
getIdin interfaceVisualizationProvider
-
checkUsable
public boolean checkUsable()
- Specified by:
checkUsablein interfaceVisualizationProvider
-
visualize
public <N,E> void visualize(Graph<N,E> graph, List<VisualizationHelper<N,? super E>> additionalHelpers, boolean modal, Map<String,String> options)
- Specified by:
visualizein interfaceVisualizationProvider
-
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)
-
-