From aace5f0aedbd32d7881a149e126fbc6d7ad50002 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 27 Jul 2006 11:19:35 +0000 Subject: [PATCH] Added error message when experiment step value is too big. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@69 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/DefinedConstant.java | 1 + 1 file changed, 1 insertion(+) diff --git a/prism/src/prism/DefinedConstant.java b/prism/src/prism/DefinedConstant.java index 3702955a..494b3a8f 100644 --- a/prism/src/prism/DefinedConstant.java +++ b/prism/src/prism/DefinedConstant.java @@ -163,6 +163,7 @@ public class DefinedConstant catch (NumberFormatException e) { throw new PrismException("Value \"" + ss + "\" for constant \"" + name + "\" is not a valid double"); } + if (ds > dh-dl) throw new PrismException("Step value "+ds+" is bigger than the difference between "+dl+" and "+dh); } } // compute num steps