From d4b780f2506734ada9cffdffb45d0bd6dfc622e2 Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Wed, 4 Feb 2015 16:46:33 +0100
Subject: [PATCH] PROBPLUGIN-113 use Aux Animator
---
de.prob.core/src/de/prob/core/Animator.java | 9 +++++++++
.../de/prob/eventb/disprover/core/DisproverReasoner.java | 2 +-
2 files changed, 10 insertions(+), 1 deletion(-)
diff --git a/de.prob.core/src/de/prob/core/Animator.java b/de.prob.core/src/de/prob/core/Animator.java
index e78a5611..b147a8df 100644
--- a/de.prob.core/src/de/prob/core/Animator.java
+++ b/de.prob.core/src/de/prob/core/Animator.java
@@ -39,6 +39,7 @@ import de.prob.exceptions.ProBException;
public final class Animator {
private static Animator animator = new Animator();
+ private static Animator auxanimator = null;
/**
*
@@ -66,6 +67,14 @@ public final class Animator {
return animator;
}
+ public final static Animator getAuxAnimator() {
+ if (auxanimator == null) {
+ auxanimator = new Animator();
+ }
+ return auxanimator;
+ }
+
+
/**
* Terminates the current animation (forcefully!) and restarts the ProB
* core. After calling this method, all information from the current
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 e7e51182..6eaa1315 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
@@ -121,7 +121,7 @@ public class DisproverReasoner implements IReasoner {
IEventBProject evbProject = (IEventBProject) project
.getAdapter(IEventBProject.class);
ICounterExample counterExample = DisproverCommand.disprove(
- Animator.getAnimator(), evbProject, allHypotheses,
+ Animator.getAuxAnimator(), evbProject, allHypotheses,
selectedHypotheses, goal, timeoutFactor, context, pm);
// Logger.info("Disprover: Result: " + counterExample.toString());
--
GitLab