diff options
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.java | 6 |
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 | } |