Package org.bigraphs.framework.visualization

Class SwingGraphStreamer

java.lang.Object

org.bigraphs.framework.visualization.SwingGraphStreamer

public class SwingGraphStreamer
extends Object

Swing-based GraphStream-based renderer for PureBigraphs.

Builds a Graph and displays it via a GraphStream Viewer (Swing UI). Supports optional rendering of roots/sites, dark mode styling.

Typical usage

1. prepareSystemEnvironment() (sets UI system properties for Swing)
2. getGraphViewer() or getGraphViewer(String) to build+display

Author:

Dominik Grzelak

See Also:

• Visualization (Interactive) - Bigraph Framework Docs

Constructor Summary

Constructors

Constructor	Description
SwingGraphStreamer(PureBigraph bigraph)
SwingGraphStreamer(PureBigraph bigraph, boolean withSites, boolean withRoots)
SwingGraphStreamer(PureBigraph bigraph, boolean withSites, boolean withRoots, boolean darkMode)

Method Summary

Modifier and Type	Method	Description
org.graphstream.graph.Graph	getGraph()	Get the underlying graph object for the visualization with GraphStream
org.graphstream.ui.view.Viewer	getGraphViewer()	GraphStream Visualization.
org.graphstream.ui.view.Viewer	getGraphViewer(String graphId)	GraphStream Visualization
org.graphstream.ui.view.Viewer	getViewer()
void	initGraph(String graphId)
void	initViewer()
void	prepareSystemEnvironment()	Sets some system properties so that the UI can be shown.
CompletableFuture<Boolean>	renderAsync(int delayPerElement)
CompletableFuture<Boolean>	renderAsync(String graphId, int delayPerElement)
SwingGraphStreamer	renderRoots(boolean withRoots)
SwingGraphStreamer	renderSites(boolean withSites)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

SwingGraphStreamer

public SwingGraphStreamer(PureBigraph bigraph)

Parameters:

bigraph - the bigraph to be rendered

SwingGraphStreamer

public SwingGraphStreamer(PureBigraph bigraph,
 boolean withSites,
 boolean withRoots)

Parameters:

bigraph - the bigraph to be rendered

withSites - draw sites?

withRoots - draw roots?

SwingGraphStreamer

public SwingGraphStreamer(PureBigraph bigraph,
 boolean withSites,
 boolean withRoots,
 boolean darkMode)

Method Details

prepareSystemEnvironment

public void prepareSystemEnvironment()

Sets some system properties so that the UI can be shown. Otherwise, an exception might be thrown: "No UI package detected! Please use System.setProperty("org.graphstream.ui") for the selected package."

initGraph

public void initGraph(String graphId)

initViewer

public void initViewer()

getGraph

public org.graphstream.graph.Graph getGraph()

Get the underlying graph object for the visualization with GraphStream

Returns:

getGraphViewer

public org.graphstream.ui.view.Viewer getGraphViewer()

GraphStream Visualization. Returns the Viewer, which is responsible for the actual display of the bigraph.

Returns:

getGraphViewer

public org.graphstream.ui.view.Viewer getGraphViewer(String graphId)

GraphStream Visualization

Parameters:

graphId - graphId of the window

Returns:

renderAsync

public CompletableFuture<Boolean> renderAsync(int delayPerElement)

renderAsync

public CompletableFuture<Boolean> renderAsync(String graphId,
 int delayPerElement)

getViewer

public org.graphstream.ui.view.Viewer getViewer()

renderSites

public SwingGraphStreamer renderSites(boolean withSites)

renderRoots

public SwingGraphStreamer renderRoots(boolean withRoots)