From 0e28ec4217f8242302535490b5124dcabeeb42f7 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sun, 19 Nov 2023 10:47:02 +0000 Subject: Remove unused code --- src/main/java/org/shedlang/compiler/util/POrderedMap.java | 12 ------------ 1 file changed, 12 deletions(-) (limited to 'src/main/java') 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 { return Optional.ofNullable(map.get(key)); } - public PVector toValues() { - return keys.stream() - .map(key -> map.get(key)) - .collect(PCollectors.toVector()); - } - public int size() { return keys.size(); } - public Stream> entryStream() { - return keys.stream() - .map(key -> Map.entry(key, map.get(key))); - } - public Stream valueStream() { return keys.stream() .map(key -> map.get(key)); -- cgit v1.2.3