From 8500c13e81515eb30dd6ef4b78e6d65721a2c4cd Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Mon, 8 Dec 2014 16:26:10 +0100
Subject: [PATCH] there is no shell available here. remove dialog window
---
.../eventb/disprover/core/DisproverReasoner.java | 12 ------------
1 file changed, 12 deletions(-)
diff --git a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/DisproverReasoner.java b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/DisproverReasoner.java
index 5e834b9c..08d81201 100644
--- a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/DisproverReasoner.java
+++ b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/DisproverReasoner.java
@@ -4,9 +4,6 @@ import java.util.HashSet;
import java.util.Set;
import org.eclipse.core.runtime.Status;
-import org.eclipse.jface.dialogs.MessageDialog;
-import org.eclipse.swt.widgets.Shell;
-import org.eclipse.ui.PlatformUI;
import org.eventb.core.IEventBProject;
import org.eventb.core.IPOSequent;
import org.eventb.core.ast.Predicate;
@@ -186,15 +183,6 @@ public class DisproverReasoner implements IReasoner {
System.out.println(sequent.toString()
+ ": Counter-Example for selected hypotheses found.");
- Shell activeShell = PlatformUI.getWorkbench()
- .getActiveWorkbenchWindow().getShell();
- MessageDialog
- .openWarning(
- activeShell,
- "Goal not provable",
- "ProB found a Counter-Example for the selected Hypotheses, Goal not provable from selected Hypotheses but may be provable with all Hypotheses.\n"
- + counterExample.toString());
-
return ProverFactory
.reasonerFailure(
this,
--
GitLab