aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store/src/main/java/tools/refinery/store/model/internal/VersionedInterpretation.java
diff options
context:
space:
mode:
Diffstat (limited to 'subprojects/store/src/main/java/tools/refinery/store/model/internal/VersionedInterpretation.java')
-rw-r--r--subprojects/store/src/main/java/tools/refinery/store/model/internal/VersionedInterpretation.java6
1 files changed, 2 insertions, 4 deletions
diff --git a/subprojects/store/src/main/java/tools/refinery/store/model/internal/VersionedInterpretation.java b/subprojects/store/src/main/java/tools/refinery/store/model/internal/VersionedInterpretation.java
index 71df3962..dcf0ad08 100644
--- a/subprojects/store/src/main/java/tools/refinery/store/model/internal/VersionedInterpretation.java
+++ b/subprojects/store/src/main/java/tools/refinery/store/model/internal/VersionedInterpretation.java
@@ -75,6 +75,7 @@ public abstract class VersionedInterpretation<T> implements Interpretation<T> {
75 @Override 75 @Override
76 public T put(Tuple key, T value) { 76 public T put(Tuple key, T value) {
77 checkKey(key); 77 checkKey(key);
78 model.checkCancelled();
78 model.markAsChanged(); 79 model.markAsChanged();
79 var oldValue = map.put(key, value); 80 var oldValue = map.put(key, value);
80 valueChanged(key, oldValue, value, false); 81 valueChanged(key, oldValue, value, false);
@@ -83,15 +84,12 @@ public abstract class VersionedInterpretation<T> implements Interpretation<T> {
83 84
84 @Override 85 @Override
85 public void putAll(Cursor<Tuple, T> cursor) { 86 public void putAll(Cursor<Tuple, T> cursor) {
86 if (listeners.isEmpty()) {
87 map.putAll(cursor);
88 return;
89 }
90 model.markAsChanged(); 87 model.markAsChanged();
91 if (cursor.getDependingMaps().contains(map)) { 88 if (cursor.getDependingMaps().contains(map)) {
92 List<Tuple> keys = new ArrayList<>(); 89 List<Tuple> keys = new ArrayList<>();
93 List<T> values = new ArrayList<>(); 90 List<T> values = new ArrayList<>();
94 while (cursor.move()) { 91 while (cursor.move()) {
92 model.checkCancelled();
95 keys.add(cursor.getKey()); 93 keys.add(cursor.getKey());
96 values.add(cursor.getValue()); 94 values.add(cursor.getValue());
97 } 95 }