Changeset 16445 in josm for trunk/src/org/openstreetmap/josm/data/osm/FilterModel.java

Timestamp:

2020-05-17T17:02:28+02:00 (4 years ago)

Author:

simon04

Message:

see #19251 - Java 8: use Stream

File:

• trunk/src/org/openstreetmap/josm/data/osm/FilterModel.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/data/osm/FilterModel.java

@@ -14 +14 @@
 import java.util.Set;
 import java.util.Stack;
+import java.util.stream.Collectors;
 
 import javax.swing.JOptionPane;
@@ -88 +89 @@
      */
     public void savePrefs(String prefEntry) {
-        Collection<FilterPreferenceEntry> entries = new ArrayList<>();
-        for (Filter flt : filters) {
-            entries.add(flt.getPreferenceEntry());
-        }
+        Collection<FilterPreferenceEntry> entries = filters.stream()
+                .map(Filter::getPreferenceEntry)
+                .collect(Collectors.toList());
         StructUtils.putListOfStructs(Config.getPref(), prefEntry, entries, FilterPreferenceEntry.class);
     }