From 36a942e2b52967c67e3a042f90312e8395ee2de3 Mon Sep 17 00:00:00 2001 From: Daniel Plagge <plagge@cs.uni-duesseldorf.de> Date: Thu, 28 Jun 2012 22:15:41 +0200 Subject: [PATCH] replaced deprecated constructor call --- .../ui/ltl/CounterExamplePropositionFigure.java | 13 ++++++------- 1 file changed, 6 insertions(+), 7 deletions(-) diff --git a/de.prob.ui/src/de/prob/ui/ltl/CounterExamplePropositionFigure.java b/de.prob.ui/src/de/prob/ui/ltl/CounterExamplePropositionFigure.java index 36ccaa55..abbe2e88 100644 --- a/de.prob.ui/src/de/prob/ui/ltl/CounterExamplePropositionFigure.java +++ b/de.prob.ui/src/de/prob/ui/ltl/CounterExamplePropositionFigure.java @@ -176,9 +176,9 @@ public abstract class CounterExamplePropositionFigure extends Figure implements final Rectangle targetBounds = target.getBounds(); points.addPoint(new Point(sourceBounds.x + size + insets.left, sourceBounds.y + size / 2 + insets.top)); - points.addPoint(new Point(sourceBounds.x + size + 3.0 / 10 * size + points.addPoint(new Point(sourceBounds.x + size + (3 * size) / 10 + insets.left, sourceBounds.y + size / 2 + insets.top)); - points.addPoint(new Point(sourceBounds.x + size + 3.0 / 10 * size + points.addPoint(new Point(sourceBounds.x + size + (3 * size) / 10 + insets.left, sourceBounds.y - size / 5 + insets.top)); points.addPoint(new Point(targetBounds.x + size / 2 + insets.left, targetBounds.y - size / 5 + insets.top)); @@ -215,13 +215,12 @@ public abstract class CounterExamplePropositionFigure extends Figure implements final Rectangle sourceBounds = source.getBounds(); points.addPoint(new Point(sourceBounds.x + size + insets.left, sourceBounds.y + size / 2 + insets.top)); - points.addPoint(new Point(sourceBounds.x + size + 3.0 / 10 * size + points.addPoint(new Point(sourceBounds.x + size + (3 * size) / 10 + insets.left, sourceBounds.y + size / 2 + insets.top)); - points.addPoint(new Point(sourceBounds.x + size + 3.0 / 10 * size + points.addPoint(new Point(sourceBounds.x + size + (3 * size) / 10 + insets.left, sourceBounds.y + insets.top + size / 4)); - points.addPoint(new Point(sourceBounds.x + size + 3.0 / 10 * size - + insets.left, sourceBounds.y + insets.top - + (int) (3.0 / 4 * size))); + points.addPoint(new Point(sourceBounds.x + size + (3 * size) / 10 + + insets.left, sourceBounds.y + insets.top + (3 * size) / 4)); polyline.setPoints(points); return polyline; -- GitLab