From 5b9bc87bec36596930e32bdbebfc394623367bc3 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 2 Jul 2012 09:55:01 +0000
Subject: [PATCH] Reactions-to-PRISM checks parameter values for valid doubles.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5414 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/ReactionsText2Prism.java | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/prism/src/prism/ReactionsText2Prism.java b/prism/src/prism/ReactionsText2Prism.java
index f4bc783a..d2c1c24b 100644
--- a/prism/src/prism/ReactionsText2Prism.java
+++ b/prism/src/prism/ReactionsText2Prism.java
@@ -180,6 +180,11 @@ public class ReactionsText2Prism extends Reactions2Prism
 							} else if (ss.length == 2) {
 								// Get id and value
 								String paramId = ss[0];
+								try {
+									Double.parseDouble(ss[1]);
+								} catch (NumberFormatException e) {
+									throw new PrismException("invalid value \"" + ss[1] + "\" for parameter \"" + paramId + "\"");
+								}
 								parameter = new Parameter(paramId, ss[1]);
 							} else {
 								throw new PrismException("invalid parameter definition \"" + s + "\"");