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

@@ -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(); 

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)