From 1935ae489f1cb606f93e5c129fa64505cd852bb2 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 23 Mar 2012 11:19:13 +0000 Subject: [PATCH] Explicit mc setSettings methods ignore settings if null. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4942 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/ProbModelChecker.java | 3 +++ prism/src/explicit/StateModelChecker.java | 3 +++ 2 files changed, 6 insertions(+) diff --git a/prism/src/explicit/ProbModelChecker.java b/prism/src/explicit/ProbModelChecker.java index 9e3c8108..ebd9881d 100644 --- a/prism/src/explicit/ProbModelChecker.java +++ b/prism/src/explicit/ProbModelChecker.java @@ -142,6 +142,9 @@ public class ProbModelChecker extends StateModelChecker */ public void setSettings(PrismSettings settings) throws PrismException { + if (settings == null) + return; + String s; // PRISM_LIN_EQ_METHOD s = settings.getString(PrismSettings.PRISM_LIN_EQ_METHOD); diff --git a/prism/src/explicit/StateModelChecker.java b/prism/src/explicit/StateModelChecker.java index 9c057191..b21726ba 100644 --- a/prism/src/explicit/StateModelChecker.java +++ b/prism/src/explicit/StateModelChecker.java @@ -138,6 +138,9 @@ public class StateModelChecker */ public void setSettings(PrismSettings settings) throws PrismException { + if (settings == null) + return; + verbosity = settings.getBoolean(PrismSettings.PRISM_VERBOSE) ? 10 : 1; }