From 25c840cdaeb61d4542a60f9eecf1819fbcc98f82 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Fri, 31 Jan 2014 15:12:01 +0100
Subject: [PATCH] move file to make external access possible
---
de.prob.eventb.disprover.core/plugin.xml | 2 +-
.../src/de/prob/eventb/disprover/core/Disprover.java | 2 --
.../disprover/core/{internal => }/DisproverReasoner.java | 5 +++--
.../eventb/disprover/core/internal/DisproverCommand.java | 1 +
4 files changed, 5 insertions(+), 5 deletions(-)
rename de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/{internal => }/DisproverReasoner.java (97%)
diff --git a/de.prob.eventb.disprover.core/plugin.xml b/de.prob.eventb.disprover.core/plugin.xml
index 30a8c2e7..caa58d21 100644
--- a/de.prob.eventb.disprover.core/plugin.xml
+++ b/de.prob.eventb.disprover.core/plugin.xml
@@ -4,7 +4,7 @@
<extension
point="org.eventb.core.seqprover.reasoners">
<reasoner
- class="de.prob.eventb.disprover.core.internal.DisproverReasoner"
+ class="de.prob.eventb.disprover.core.DisproverReasoner"
id="disproverReasoner"
name="%reasoner.name">
</reasoner>
diff --git a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/Disprover.java b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/Disprover.java
index acc0d170..9c977d04 100644
--- a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/Disprover.java
+++ b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/Disprover.java
@@ -2,8 +2,6 @@ package de.prob.eventb.disprover.core;
import org.eventb.core.seqprover.IReasoner;
-import de.prob.eventb.disprover.core.internal.DisproverReasoner;
-
public class Disprover {
private Disprover() {
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/DisproverReasoner.java
similarity index 97%
rename from de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverReasoner.java
rename to de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/DisproverReasoner.java
index dac3f05e..2270dc2d 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/DisproverReasoner.java
@@ -1,4 +1,4 @@
-package de.prob.eventb.disprover.core.internal;
+package de.prob.eventb.disprover.core;
import java.util.*;
@@ -12,7 +12,8 @@ import org.rodinp.core.*;
import de.be4.classicalb.core.parser.analysis.prolog.ASTProlog;
import de.be4.classicalb.core.parser.node.AEventBContextParseUnit;
import de.prob.core.*;
-import de.prob.eventb.disprover.core.DisproverReasonerInput;
+import de.prob.eventb.disprover.core.internal.DisproverCommand;
+import de.prob.eventb.disprover.core.internal.ICounterExample;
import de.prob.eventb.disprover.core.translation.DisproverContextCreator;
import de.prob.eventb.translator.internal.TranslationVisitor;
import de.prob.exceptions.ProBException;
diff --git a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java
index c5993717..abab61b7 100644
--- a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java
+++ b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java
@@ -11,6 +11,7 @@ import de.be4.classicalb.core.parser.analysis.prolog.ASTProlog;
import de.be4.classicalb.core.parser.node.AEventBContextParseUnit;
import de.prob.core.*;
import de.prob.core.command.*;
+import de.prob.eventb.disprover.core.DisproverReasoner;
import de.prob.eventb.disprover.core.command.DisproverLoadCommand;
import de.prob.eventb.translator.internal.TranslationVisitor;
import de.prob.exceptions.ProBException;
--
GitLab