From 36c34faa77e0e978f6578ea6283669845e76df55 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Sun, 23 Feb 2025 09:27:23 +0100
Subject: [PATCH] ensure we can load machines with only warnings
the user will see the warning dialog, but can then proceed
to animate the model
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
---
de.prob.core/src/de/prob/core/ProblemHandler.java | 13 ++++++++++---
1 file changed, 10 insertions(+), 3 deletions(-)
diff --git a/de.prob.core/src/de/prob/core/ProblemHandler.java b/de.prob.core/src/de/prob/core/ProblemHandler.java
index 9cdd906c..eec93aba 100644
--- a/de.prob.core/src/de/prob/core/ProblemHandler.java
+++ b/de.prob.core/src/de/prob/core/ProblemHandler.java
@@ -1,5 +1,5 @@
/**
- * (c) 2009 Lehrstuhl fuer Softwaretechnik und Programmiersprachen,
+ * (c) 2009-2025 Lehrstuhl fuer Softwaretechnik und Programmiersprachen,
* Heinrich Heine Universitaet Duesseldorf
* This software is licenced under EPL 1.0 (http://www.eclipse.org/org/documents/epl-v10.html)
* */
@@ -61,14 +61,21 @@ public class ProblemHandler {
*
* @param errors
* The List of Error Messages from ProB
+ * @param onlyWarnings
+ * A boolean which is true if only warnings occured
* @throws PrologException
*/
public static void raisePrologException(final List<String> errors,
final boolean onlyWarnings) throws PrologException {
- final String message = "ProB reported errors:\n"
+ final String message = "ProB reported "
+ + ((onlyWarnings) ? "warnings:\n" : "errors:\n")
+ String.join("\n", errors);
Logger.notifyUser(message);
- throw new PrologException(message, onlyWarnings);
+ if (! onlyWarnings) {
+ throw new PrologException(message, onlyWarnings);
+ // if we throw the exception for warnings then the command will fail
+ // this will prevent e.g. animating machines with static check warnings
+ }
}
/**
--
GitLab