Class SwingGraphStreamer

java.lang.Object
org.bigraphs.framework.visualization.SwingGraphStreamer

public class SwingGraphStreamer extends Object
  • 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?
  • 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)