From a2fdbb007cd765ec77796dc299a1f3aa70e35438 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sun, 14 Nov 2010 22:52:11 +0000 Subject: [PATCH] Partial support for plotting interval results in GUI: just plot lower value. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2242 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/userinterface/graph/GraphResultListener.java | 5 +++++ prism/src/userinterface/properties/GUIGraphPicker.java | 5 +++++ 2 files changed, 10 insertions(+) diff --git a/prism/src/userinterface/graph/GraphResultListener.java b/prism/src/userinterface/graph/GraphResultListener.java index 11913065..e60aa1af 100644 --- a/prism/src/userinterface/graph/GraphResultListener.java +++ b/prism/src/userinterface/graph/GraphResultListener.java @@ -87,6 +87,11 @@ public class GraphResultListener implements ResultListener if (x == Double.POSITIVE_INFINITY || x == Double.NEGATIVE_INFINITY || x != x) return; + // For now, to plot intervals, just pick lower value + if (result instanceof Interval) { + result = ((Interval) result).lower; + } + // Get y coordinate if(result instanceof Integer) { y = ((Integer)result).intValue(); diff --git a/prism/src/userinterface/properties/GUIGraphPicker.java b/prism/src/userinterface/properties/GUIGraphPicker.java index b6bcab93..016c3aa3 100644 --- a/prism/src/userinterface/properties/GUIGraphPicker.java +++ b/prism/src/userinterface/properties/GUIGraphPicker.java @@ -176,6 +176,11 @@ public class GUIGraphPicker extends javax.swing.JDialog else { validX = false; } + // For now, to plot intervals, just pick lower value + if (result instanceof Interval) { + result = ((Interval) result).lower; + } + if(result instanceof Double) { y = ((Double)result).doubleValue(); } else if (value instanceof Integer)