diff options
author | 2020-07-08 02:33:06 +0200 | |
---|---|---|
committer | 2020-07-08 02:33:06 +0200 | |
commit | b0e3359574eb00e1eaab5a7286a6f8e163b7b87f (patch) | |
tree | 64632b059e57819cd982a4cc3abafb421e27fd79 /Solvers/VIATRA-Solver/org.eclipse.viatra.dse/src/org/eclipse/viatra/dse/api | |
parent | Restore inverse punishSize (diff) | |
download | VIATRA-Generator-b0e3359574eb00e1eaab5a7286a6f8e163b7b87f.tar.gz VIATRA-Generator-b0e3359574eb00e1eaab5a7286a6f8e163b7b87f.tar.zst VIATRA-Generator-b0e3359574eb00e1eaab5a7286a6f8e163b7b87f.zip |
Fix event storm on EMF transaction finish
Diffstat (limited to 'Solvers/VIATRA-Solver/org.eclipse.viatra.dse/src/org/eclipse/viatra/dse/api')
-rw-r--r-- | Solvers/VIATRA-Solver/org.eclipse.viatra.dse/src/org/eclipse/viatra/dse/api/SolutionTrajectory.java | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/org.eclipse.viatra.dse/src/org/eclipse/viatra/dse/api/SolutionTrajectory.java b/Solvers/VIATRA-Solver/org.eclipse.viatra.dse/src/org/eclipse/viatra/dse/api/SolutionTrajectory.java index d1a41065..500dd7d2 100644 --- a/Solvers/VIATRA-Solver/org.eclipse.viatra.dse/src/org/eclipse/viatra/dse/api/SolutionTrajectory.java +++ b/Solvers/VIATRA-Solver/org.eclipse.viatra.dse/src/org/eclipse/viatra/dse/api/SolutionTrajectory.java | |||
@@ -206,7 +206,14 @@ public class SolutionTrajectory { | |||
206 | } | 206 | } |
207 | }; | 207 | }; |
208 | long start = System.nanoTime(); | 208 | long start = System.nanoTime(); |
209 | editingDomain.getCommandStack().execute(cc); | 209 | try { |
210 | ((AdvancedViatraQueryEngine) engine).delayUpdatePropagation(() -> { | ||
211 | editingDomain.getCommandStack().execute(cc); | ||
212 | return null; | ||
213 | }); | ||
214 | } catch (InvocationTargetException e) { | ||
215 | throw new RuntimeException(e); | ||
216 | } | ||
210 | listener.forwardWorked(System.nanoTime() - start); | 217 | listener.forwardWorked(System.nanoTime() - start); |
211 | } | 218 | } |
212 | 219 | ||