diff options
author | OszkarSemerath <semerath@mit.bme.hu> | 2021-08-10 01:13:57 +0200 |
---|---|---|
committer | OszkarSemerath <semerath@mit.bme.hu> | 2021-08-10 01:13:57 +0200 |
commit | d4adeca01946a0debd67dc831df9282f013f02f5 (patch) | |
tree | 2d44c468c4b58103b3e076ca3510ae30970ef05b /model-data/src/main/java/org/eclipse/viatra/solver/data/map/internal/MapCursor.java | |
parent | Simple collective cursors for models (diff) | |
download | refinery-d4adeca01946a0debd67dc831df9282f013f02f5.tar.gz refinery-d4adeca01946a0debd67dc831df9282f013f02f5.tar.zst refinery-d4adeca01946a0debd67dc831df9282f013f02f5.zip |
Diffcursor dependency update
Diffstat (limited to 'model-data/src/main/java/org/eclipse/viatra/solver/data/map/internal/MapCursor.java')
-rw-r--r-- | model-data/src/main/java/org/eclipse/viatra/solver/data/map/internal/MapCursor.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/map/internal/MapCursor.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/map/internal/MapCursor.java index 97fbcd8f..cc5a3982 100644 --- a/model-data/src/main/java/org/eclipse/viatra/solver/data/map/internal/MapCursor.java +++ b/model-data/src/main/java/org/eclipse/viatra/solver/data/map/internal/MapCursor.java | |||
@@ -83,7 +83,7 @@ public class MapCursor<K,V> implements Cursor<K,V> { | |||
83 | return this.map.hashCode() != this.creationHash; | 83 | return this.map.hashCode() != this.creationHash; |
84 | } | 84 | } |
85 | @Override | 85 | @Override |
86 | public List<VersionedMap<K, V>> getDependingMaps() { | 86 | public List<VersionedMap<?, ?>> getDependingMaps() { |
87 | return List.of(this.map); | 87 | return List.of(this.map); |
88 | } | 88 | } |
89 | 89 | ||
@@ -103,7 +103,7 @@ public class MapCursor<K,V> implements Cursor<K,V> { | |||
103 | * @param <V> | 103 | * @param <V> |
104 | * @param cursor1 | 104 | * @param cursor1 |
105 | * @param cursor2 | 105 | * @param cursor2 |
106 | * @returnv Positive number if cursor 1 is behind, negative number if cursor 2 is behind, and 0 if they are at the same position. | 106 | * @return Positive number if cursor 1 is behind, negative number if cursor 2 is behind, and 0 if they are at the same position. |
107 | */ | 107 | */ |
108 | public static <K,V> int compare(MapCursor<K,V> cursor1, MapCursor<K,V> cursor2) { | 108 | public static <K,V> int compare(MapCursor<K,V> cursor1, MapCursor<K,V> cursor2) { |
109 | // two cursors are equally deep | 109 | // two cursors are equally deep |