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 |