diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-11-19 10:47:02 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-11-19 10:47:02 +0000 |
| commit | 0e28ec4217f8242302535490b5124dcabeeb42f7 (patch) | |
| tree | f58d9e110eef78975927a9f83d04b4bfb1836e40 /src/main/java | |
| parent | 1abd2bdebc09a47b3950c5e8a2f39a9968029780 (diff) | |
Remove unused code
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/util/POrderedMap.java | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/src/main/java/org/shedlang/compiler/util/POrderedMap.java b/src/main/java/org/shedlang/compiler/util/POrderedMap.java index c3ce7200..8799defc 100644 --- a/src/main/java/org/shedlang/compiler/util/POrderedMap.java +++ b/src/main/java/org/shedlang/compiler/util/POrderedMap.java @@ -4,7 +4,6 @@ import org.pcollections.Empty; import org.pcollections.PMap; import org.pcollections.PVector; -import java.util.Map; import java.util.Optional; import java.util.stream.Stream; @@ -48,21 +47,10 @@ public class POrderedMap<K, V> { return Optional.ofNullable(map.get(key)); } - public PVector<V> toValues() { - return keys.stream() - .map(key -> map.get(key)) - .collect(PCollectors.toVector()); - } - public int size() { return keys.size(); } - public Stream<Map.Entry<K, V>> entryStream() { - return keys.stream() - .map(key -> Map.entry(key, map.get(key))); - } - public Stream<V> valueStream() { return keys.stream() .map(key -> map.get(key)); |
