Class SwingGraphStreamer
java.lang.Object
org.bigraphs.framework.visualization.SwingGraphStreamer
-
Constructor Summary
ConstructorDescriptionSwingGraphStreamer
(PureBigraph bigraph) SwingGraphStreamer
(PureBigraph bigraph, boolean withSites, boolean withRoots) -
Method Summary
Modifier and TypeMethodDescriptionorg.graphstream.graph.Graph
getGraph()
Get the underlying graph object for the visualization with GraphStreamorg.graphstream.ui.view.Viewer
GraphStream Visualization.org.graphstream.ui.view.Viewer
getGraphViewer
(String graphId) GraphStream Visualizationorg.graphstream.ui.view.Viewer
void
void
void
Sets some system properties so that the UI can be shown.renderAsync
(int delayPerElement) renderAsync
(String graphId, int delayPerElement) renderRoots
(boolean withRoots) renderSites
(boolean withSites)
-
Constructor Details
-
SwingGraphStreamer
- Parameters:
bigraph
- the bigraph to be rendered
-
SwingGraphStreamer
- Parameters:
bigraph
- the bigraph to be renderedwithSites
- draw sites?withRoots
- draw roots?
-
-
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
-
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
GraphStream Visualization- Parameters:
graphId
- graphId of the window- Returns:
-
renderAsync
-
renderAsync
-
getViewer
public org.graphstream.ui.view.Viewer getViewer() -
renderSites
-
renderRoots
-