aboutsummaryrefslogtreecommitdiff
path: root/src/main/java
diff options
context:
space:
mode:
authorMichael Williamson <mike@zwobble.org>2023-11-19 10:47:02 +0000
committerMichael Williamson <mike@zwobble.org>2023-11-19 10:47:02 +0000
commit0e28ec4217f8242302535490b5124dcabeeb42f7 (patch)
treef58d9e110eef78975927a9f83d04b4bfb1836e40 /src/main/java
parent1abd2bdebc09a47b3950c5e8a2f39a9968029780 (diff)
Remove unused code
Diffstat (limited to 'src/main/java')
-rw-r--r--src/main/java/org/shedlang/compiler/util/POrderedMap.java12
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));