From 60f5b509828ccfd3ecb3d40e384505a23981ca97 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Thu, 18 Apr 2013 11:36:00 +0200
Subject: [PATCH] missing exception
---
.../eventb/disprover/core/internal/DisproverReasoner.java | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverReasoner.java b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverReasoner.java
index 1bb8d39a..f388a87c 100644
--- a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverReasoner.java
+++ b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverReasoner.java
@@ -26,6 +26,7 @@ import org.rodinp.core.RodinDBException;
import org.rodinp.core.basis.InternalElement;
import de.prob.core.Animator;
+import de.prob.core.PrologException;
import de.prob.eventb.disprover.core.DisproverReasonerInput;
import de.prob.eventb.disprover.core.ICounterExample;
import de.prob.exceptions.ProBException;
@@ -52,6 +53,9 @@ public class DisproverReasoner implements IReasoner {
DisproverReasonerInput disproverInput = (DisproverReasonerInput) input;
ICounterExample ce = evaluateSequent(sequent, disproverInput);
return createDisproverResult(ce, sequent, input);
+ } catch (PrologException e) {
+ Logger.log(Logger.WARNING, Status.WARNING, e.getMessage(), e);
+ return ProverFactory.reasonerFailure(this, input, e.getMessage());
} catch (ProBException e) {
Logger.log(Logger.WARNING, Status.WARNING, e.getMessage(), e);
return ProverFactory.reasonerFailure(this, input, e.getMessage());
--
GitLab