From 4cc990cdc4e50e7610a5c60f68134307c440ec49 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 30 Aug 2011 13:29:49 +0000
Subject: [PATCH] Added some error detection in -aroptions settings.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3549 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/QuantAbstractRefine.java | 24 +++++++++++++++++----
 1 file changed, 20 insertions(+), 4 deletions(-)

diff --git a/prism/src/explicit/QuantAbstractRefine.java b/prism/src/explicit/QuantAbstractRefine.java
index 27ec4aa7..b3e5780d 100644
--- a/prism/src/explicit/QuantAbstractRefine.java
+++ b/prism/src/explicit/QuantAbstractRefine.java
@@ -279,7 +279,11 @@ public abstract class QuantAbstractRefine
 		}
 		// Parse
 		if (opt.equals("verbose") || opt.equals("v")) {
-			setVerbosity((optVal == null) ? 10 : Integer.parseInt(optVal));
+			try {
+				setVerbosity((optVal == null) ? 10 : Integer.parseInt(optVal));
+			} catch (NumberFormatException e) {
+				throw new PrismException("Invalid value \"" + optVal + "\" for abstraction-refinement setting \"" + opt + "\"");
+			}
 		} else if (opt.matches("refine")) {
 			if (optVal != null) {
 				String ss[] = optVal.split(",");
@@ -310,7 +314,11 @@ public abstract class QuantAbstractRefine
 			}
 		} else if (opt.equals("epsilonref") || opt.equals("eref")) {
 			if (optVal != null) {
-				setRefineTermCritParam(Double.parseDouble(optVal));
+				try {
+					setRefineTermCritParam(Double.parseDouble(optVal));
+				} catch (NumberFormatException e) {
+					throw new PrismException("Invalid value \"" + optVal + "\" for abstraction-refinement setting \"" + opt + "\"");
+				}
 			}
 		} else if (opt.equals("nopre")) {
 			getModelChecker().setPrecomp(false);
@@ -322,11 +330,19 @@ public abstract class QuantAbstractRefine
 			getModelChecker().setProb1(false);
 		} else if (opt.equals("epsilon")) {
 			if (optVal != null) {
-				getModelChecker().setTermCritParam(Double.parseDouble(optVal));
+				try {
+					getModelChecker().setTermCritParam(Double.parseDouble(optVal));
+				} catch (NumberFormatException e) {
+					throw new PrismException("Invalid value \"" + optVal + "\" for abstraction-refinement setting \"" + opt + "\"");
+				}
 			}
 		} else if (opt.equals("maxrefs")) {
 			if (optVal != null) {
-				setMaxRefinements(Integer.parseInt(optVal));
+				try {
+					setMaxRefinements(Integer.parseInt(optVal));
+				} catch (NumberFormatException e) {
+					throw new PrismException("Invalid value \"" + optVal + "\" for abstraction-refinement setting \"" + opt + "\"");
+				}
 			}
 		} else if (opt.equals("opt")) {
 			setOptimise(true);