From a8a3639ee7eec9625105c97df5a1495092eb187b Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Thu, 21 Jul 2016 13:27:31 +0000 Subject: [PATCH] NondetModelChecker: use more PrismNotSupportedExceptions instead of PrismExceptions git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11541 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/NondetModelChecker.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/src/prism/NondetModelChecker.java b/prism/src/prism/NondetModelChecker.java index 12673c28..36552190 100644 --- a/prism/src/prism/NondetModelChecker.java +++ b/prism/src/prism/NondetModelChecker.java @@ -1924,13 +1924,13 @@ public class NondetModelChecker extends NonProbModelChecker try { switch (engine) { case Prism.MTBDD: - throw new PrismException("MTBDD engine does not yet support this type of property (use the sparse engine instead)"); + throw new PrismNotSupportedException("MTBDD engine does not yet support this type of property (use the sparse engine instead)"); case Prism.SPARSE: rewardsDV = PrismSparse.NondetCumulReward(tr, sr, trr, odd, allDDRowVars, allDDColVars, allDDNondetVars, time, min); rewards = new StateValuesDV(rewardsDV, model); break; case Prism.HYBRID: - throw new PrismException("Hybrid engine does not yet support this type of property (use the sparse engine instead)"); + throw new PrismNotSupportedException("Hybrid engine does not yet support this type of property (use the sparse engine instead)"); default: throw new PrismException("Unknown engine"); }