diff options
author | Kristóf Marussy <kristof@marussy.com> | 2023-02-24 20:21:15 +0100 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2023-02-24 23:29:49 +0100 |
commit | f8a3c575e400259a4985233c07b7a50e5d4d82c5 (patch) | |
tree | f5975a19fcce28eba17b5af8adde5a37ddba83c6 /subprojects/store/src/main | |
parent | refactor: split query and partial from store (diff) | |
download | refinery-f8a3c575e400259a4985233c07b7a50e5d4d82c5.tar.gz refinery-f8a3c575e400259a4985233c07b7a50e5d4d82c5.tar.zst refinery-f8a3c575e400259a4985233c07b7a50e5d4d82c5.zip |
feat: Dnf reduction and structural equality
Diffstat (limited to 'subprojects/store/src/main')
-rw-r--r-- | subprojects/store/src/main/java/tools/refinery/store/util/CycleDetectingMapper.java | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/subprojects/store/src/main/java/tools/refinery/store/util/CycleDetectingMapper.java b/subprojects/store/src/main/java/tools/refinery/store/util/CycleDetectingMapper.java index e4b462f0..8a151d01 100644 --- a/subprojects/store/src/main/java/tools/refinery/store/util/CycleDetectingMapper.java +++ b/subprojects/store/src/main/java/tools/refinery/store/util/CycleDetectingMapper.java | |||
@@ -1,9 +1,6 @@ | |||
1 | package tools.refinery.store.util; | 1 | package tools.refinery.store.util; |
2 | 2 | ||
3 | import java.util.HashMap; | 3 | import java.util.*; |
4 | import java.util.LinkedHashSet; | ||
5 | import java.util.Map; | ||
6 | import java.util.Set; | ||
7 | import java.util.function.Function; | 4 | import java.util.function.Function; |
8 | import java.util.stream.Collectors; | 5 | import java.util.stream.Collectors; |
9 | 6 | ||
@@ -45,6 +42,10 @@ public class CycleDetectingMapper<T, R> { | |||
45 | return result; | 42 | return result; |
46 | } | 43 | } |
47 | 44 | ||
45 | public List<T> getInProgress() { | ||
46 | return List.copyOf(inProgress); | ||
47 | } | ||
48 | |||
48 | public R getAlreadyMapped(T input) { | 49 | public R getAlreadyMapped(T input) { |
49 | return results.get(input); | 50 | return results.get(input); |
50 | } | 51 | } |