From bcd08cb22cd4051c089215d811e687273bfd9717 Mon Sep 17 00:00:00 2001 From: oblonski Date: Wed, 22 Apr 2015 08:53:08 +0200 Subject: [PATCH] fix code breaks coming along with gs upgrade --- .../analysis/toolbox/AlgorithmEventsViewer.java | 2 +- .../analysis/toolbox/GraphStreamViewer.java | 17 +++++++++-------- 2 files changed, 10 insertions(+), 9 deletions(-) diff --git a/jsprit-analysis/src/main/java/jsprit/analysis/toolbox/AlgorithmEventsViewer.java b/jsprit-analysis/src/main/java/jsprit/analysis/toolbox/AlgorithmEventsViewer.java index 6fd0767c..3efae707 100644 --- a/jsprit-analysis/src/main/java/jsprit/analysis/toolbox/AlgorithmEventsViewer.java +++ b/jsprit-analysis/src/main/java/jsprit/analysis/toolbox/AlgorithmEventsViewer.java @@ -21,7 +21,7 @@ import org.graphstream.graph.Graph; import org.graphstream.stream.Sink; import org.graphstream.stream.file.FileSource; import org.graphstream.stream.file.FileSourceDGS; -import org.graphstream.ui.swingViewer.Viewer; +import org.graphstream.ui.view.Viewer; import java.io.IOException; diff --git a/jsprit-analysis/src/main/java/jsprit/analysis/toolbox/GraphStreamViewer.java b/jsprit-analysis/src/main/java/jsprit/analysis/toolbox/GraphStreamViewer.java index 32e7a0cb..673f7a1b 100644 --- a/jsprit-analysis/src/main/java/jsprit/analysis/toolbox/GraphStreamViewer.java +++ b/jsprit-analysis/src/main/java/jsprit/analysis/toolbox/GraphStreamViewer.java @@ -33,8 +33,9 @@ import org.graphstream.graph.Edge; import org.graphstream.graph.Graph; import org.graphstream.graph.Node; import org.graphstream.graph.implementations.MultiGraph; -import org.graphstream.ui.swingViewer.View; -import org.graphstream.ui.swingViewer.Viewer; +import org.graphstream.ui.swingViewer.ViewPanel; +import org.graphstream.ui.view.View; +import org.graphstream.ui.view.Viewer; import javax.swing.*; import java.awt.*; @@ -176,10 +177,10 @@ public class GraphStreamViewer { return g; } - public static View createEmbeddedView(Graph graph, double scaling){ + public static ViewPanel createEmbeddedView(Graph graph, double scaling){ Viewer viewer = new Viewer(graph,Viewer.ThreadingModel.GRAPH_IN_ANOTHER_THREAD); - View view = viewer.addDefaultView(false); - view.setPreferredSize(new Dimension((int)(698*scaling),(int)(440*scaling))); + ViewPanel view = viewer.addDefaultView(false); + view.setPreferredSize(new Dimension((int) (698 * scaling), (int) (440 * scaling))); return view; } @@ -326,14 +327,14 @@ public class GraphStreamViewer { Graph g = createMultiGraph("g"); - View view = createEmbeddedView(g,scaling); + ViewPanel view = createEmbeddedView(g,scaling); createJFrame(view,scaling); render(g, view); } - private JFrame createJFrame(View view, double scaling) { + private JFrame createJFrame(ViewPanel view, double scaling) { JFrame jframe = new JFrame(); JPanel basicPanel = new JPanel(); basicPanel.setLayout(new BoxLayout(basicPanel, BoxLayout.Y_AXIS)); @@ -377,7 +378,7 @@ public class GraphStreamViewer { return GraphStreamViewer.createMultiGraph(name,STYLESHEET); } - private void render(Graph g, View view) { + private void render(Graph g, ViewPanel view) { if(center != null){ view.resizeFrame(view.getWidth(), view.getHeight()); alignCamera(view);