Changeset 12594 in josm for trunk/src/org/openstreetmap/josm/tools/Utils.java

Timestamp:

2017-08-12T11:24:39+02:00 (7 years ago)

Author:

bastiK

Message:

fixed #15139 - raster-image filter settings are Not Stored when saving session (color Saturation, Brightness, Sharpness)

File:

• trunk/src/org/openstreetmap/josm/tools/Utils.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/tools/Utils.java

@@ -55 +55 @@
 import java.util.regex.Matcher;
 import java.util.regex.Pattern;
+import java.util.stream.Stream;
 import java.util.zip.GZIPInputStream;
 import java.util.zip.ZipEntry;
@@ -1690 +1691 @@
         return null;
     }
+
+    /**
+     * Get a function that converts an object to a singleton stream of a certain
+     * class (or null if the object cannot be cast to that class).
+     *
+     * Can be useful in relation with streams, but be aware of the performance
+     * implications of creating a stream for each element.
+     * @param <T> type of the objects to convert
+     * @param <U> type of the elements in the resulting stream
+     * @param klass the class U
+     * @return function converting an object to a singleton stream or null
+     */
+    public static <T, U> Function<T, Stream<U>> castToStream(Class<U> klass) {
+        return x -> klass.isInstance(x) ? Stream.of(klass.cast(x)) : null;
+    }
 }