From 7f3862e6368fab374d62c7781c2f2572b43bf6ce Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 2 Sep 2015 13:04:53 +0000
Subject: [PATCH] Minor refactoring (allow PrismLangException to thrown instead
 of PrismException). [from Steffen Marcker]

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10606 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/parser/ast/ExpressionProb.java | 5 ++---
 prism/src/prism/OpRelOpBound.java        | 8 ++++----
 2 files changed, 6 insertions(+), 7 deletions(-)

diff --git a/prism/src/parser/ast/ExpressionProb.java b/prism/src/parser/ast/ExpressionProb.java
index ddbb724a..a33bd894 100644
--- a/prism/src/parser/ast/ExpressionProb.java
+++ b/prism/src/parser/ast/ExpressionProb.java
@@ -30,7 +30,6 @@ import parser.EvaluateContext;
 import parser.Values;
 import parser.visitor.ASTVisitor;
 import prism.OpRelOpBound;
-import prism.PrismException;
 import prism.PrismLangException;
 
 public class ExpressionProb extends ExpressionQuant
@@ -80,12 +79,12 @@ public class ExpressionProb extends ExpressionQuant
 	}
 
 	@Override
-	public OpRelOpBound getRelopBoundInfo(Values constantValues) throws PrismException
+	public OpRelOpBound getRelopBoundInfo(Values constantValues) throws PrismLangException
 	{
 		if (getBound() != null) {
 			double boundVal = getBound().evaluateDouble(constantValues);
 			if (boundVal < 0 || boundVal > 1)
-				throw new PrismException("Invalid probability bound " + boundVal + " in P operator");
+				throw new PrismLangException("Invalid probability bound " + boundVal + " in P operator");
 			return new OpRelOpBound("P", getRelOp(), boundVal);
 		} else {
 			return new OpRelOpBound("P", getRelOp(), null);
diff --git a/prism/src/prism/OpRelOpBound.java b/prism/src/prism/OpRelOpBound.java
index 3fae2822..2ba1ada8 100644
--- a/prism/src/prism/OpRelOpBound.java
+++ b/prism/src/prism/OpRelOpBound.java
@@ -78,21 +78,21 @@ public class OpRelOpBound
 		return false;
 	}
 
-	public MinMax getMinMax(ModelType modelType) throws PrismException
+	public MinMax getMinMax(ModelType modelType) throws PrismLangException
 	{
 		return getMinMax(modelType, true);
 	}
 
-	public MinMax getMinMax(ModelType modelType, boolean forAll) throws PrismException
+	public MinMax getMinMax(ModelType modelType, boolean forAll) throws PrismLangException
 	{
 		MinMax minMax = MinMax.blank();
 		if (modelType.nondeterministic()) {
 			if (!(modelType == ModelType.MDP || modelType == ModelType.CTMDP)) {
-				throw new PrismException("Don't know how to model check " + getTypeOfOperator() + " properties for " + modelType + "s");
+				throw new PrismLangException("Don't know how to model check " + getTypeOfOperator() + " properties for " + modelType + "s");
 			}
 			if (isNumeric()) {
 				if (relOp == RelOp.EQ) {
-					throw new PrismException("Can't use \"" + op + "=?\" for nondeterministic models; use e.g. \"" + op + "min=?\" or \"" + op + "max=?\"");
+					throw new PrismLangException("Can't use \"" + op + "=?\" for nondeterministic models; use e.g. \"" + op + "min=?\" or \"" + op + "max=?\"");
 				}
 				minMax = relOp.isMin() ? MinMax.min() : MinMax.max();
 			} else {