From 32161a10d197c78c949b8a1e1a65ed41029a7b23 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Fri, 10 Oct 2014 16:08:59 +0200
Subject: [PATCH] announce computed state
---
.../src/de/prob/core/command/ConstructTraceCommand.java | 2 ++
1 file changed, 2 insertions(+)
diff --git a/de.prob.core/src/de/prob/core/command/ConstructTraceCommand.java b/de.prob.core/src/de/prob/core/command/ConstructTraceCommand.java
index 29a89823..a12b0d91 100644
--- a/de.prob.core/src/de/prob/core/command/ConstructTraceCommand.java
+++ b/de.prob.core/src/de/prob/core/command/ConstructTraceCommand.java
@@ -21,6 +21,7 @@ import de.prob.core.domainobjects.State;
import de.prob.core.domainobjects.StateError;
import de.prob.core.domainobjects.Variable;
import de.prob.core.domainobjects.eval.PredicateEvalElement;
+import de.prob.core.internal.Activator;
import de.prob.exceptions.ProBException;
import de.prob.parser.ISimplifiedROMap;
import de.prob.prolog.output.IPrologTermOutput;
@@ -186,6 +187,7 @@ public final class ConstructTraceCommand implements IComposableCommand {
statePrologTerm.getArgument(4).toString().equals("true"),
stateValues, enabledOperations, stateErrors, opTimeouts);
+ Activator.computedState(s);
animator.getHistory().add(s, op);
animator.announceCurrentStateChanged(s, op);
}
--
GitLab