refactor(store): simplify return types

Prefers sealed non-generic interfaces over wildcard types to avoid
confusion about method return types, especially in collections
(see SonarQube rule java:S1452).

1 files changed, 1 insertions, 13 deletions

diff --git a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/internal/DecisionTreeCursor.java b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/internal/DecisionTreeCursor.java
index 727a9528..a1fdc73d 100644
--- a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/internal/DecisionTreeCursor.java
+++ b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/internal/DecisionTreeCursor.java
@@ -1,13 +1,11 @@
 package tools.refinery.language.semantics.model.internal;
 
 import tools.refinery.store.map.Cursor;
-import tools.refinery.store.map.VersionedMap;
-import tools.refinery.store.tuple.Tuple;
 import tools.refinery.store.model.representation.TruthValue;
+import tools.refinery.store.tuple.Tuple;
 
 import java.util.ArrayDeque;
 import java.util.Deque;
-import java.util.List;
 
 class DecisionTreeCursor implements Cursor<Tuple, TruthValue> {
         static final int STATE_FINISH = Integer.MAX_VALUE;
@@ -81,14 +79,4 @@ class DecisionTreeCursor implements Cursor<Tuple, TruthValue> {
                 key = Tuple.of(rawTuple);
                 return true;
         }
-
-        @Override
-        public boolean isDirty() {
-                return false;
-        }
-
-        @Override
-        public List<VersionedMap<?, ?>> getDependingMaps() {
-                return List.of();
-        }
 }