From 46d33944d05134879afdfc803a3c2e642bb241aa Mon Sep 17 00:00:00 2001 From: edoardo Date: Fri, 6 Sep 2019 09:50:17 +0100 Subject: [PATCH] Added print statement when error happens in ModelGenerator2MTBDD. --- prism/src/prism/ModelGenerator2MTBDD.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/src/prism/ModelGenerator2MTBDD.java b/prism/src/prism/ModelGenerator2MTBDD.java index 8b088d27..84db7bee 100644 --- a/prism/src/prism/ModelGenerator2MTBDD.java +++ b/prism/src/prism/ModelGenerator2MTBDD.java @@ -531,7 +531,7 @@ public class ModelGenerator2MTBDD /** * Encode a state into a BDD (referencing the result). */ - private JDDNode encodeState(State state, JDDVars[] varDDVars) + private JDDNode encodeState(State state, JDDVars[] varDDVars) throws PrismException { JDDNode res; int i, j = 0; @@ -540,7 +540,7 @@ public class ModelGenerator2MTBDD try { j = varList.encodeToInt(i, state.varValues[i]); } catch (PrismLangException e) { - // Won't happen + throw new PrismException("Error during JDD encodeState for state value at index " + i); } res = JDD.Apply(JDD.TIMES, res, JDD.SetVectorElement(JDD.Constant(0), varDDVars[i], j, 1.0)); }