Changeset 16018 in josm for trunk/scripts

Timestamp:

2020-03-03T22:49:50+01:00 (5 years ago)

Author:

Don-vip

Message:

see #18845 - fix epsg and taginfo goals

File:

• trunk/scripts/TagInfoExtract.java (modified) (5 diffs)

trunk/scripts/TagInfoExtract.java

@@ -24 +24 @@
 import java.util.Optional;
 import java.util.Set;
+import java.util.regex.Matcher;
+import java.util.regex.Pattern;
 import java.util.stream.Collectors;
 
@@ -206 +208 @@
          */
         private String findImageUrl(String path) {
-            final Path f = baseDir.resolve("images").resolve(path);
+            final Path f = baseDir.resolve("resources").resolve("images").resolve(path);
             if (Files.exists(f)) {
                 return "https://josm.openstreetmap.de/export/" + josmSvnRevision + "/josm/trunk/resources/images/" + path;
@@ -379 +381 @@
          */
         private abstract class Checker {
+            private final Pattern reservedChars = Pattern.compile("[<>:\"|\\?\\*]");
+
             Checker(Tag tag) {
                 this.tag = tag;
@@ -417 +421 @@
                 renderer.getSettings(false);
                 element.paintPrimitive(osm, MapPaintSettings.INSTANCE, renderer, false, false, false);
-                final String imageName = type + "_" + tag + ".png";
+                final String imageName = type + "_" + normalize(tag.toString()) + ".png";
                 try (OutputStream out = Files.newOutputStream(options.imageDir.resolve(imageName))) {
                     ImageIO.write(img, "png", out);
@@ -425 +429 @@
                 final String baseUrl = options.imageUrlPrefix != null ? options.imageUrlPrefix : options.imageDir.toString();
                 return baseUrl + "/" + imageName;
+            }
+
+            /**
+             * Normalizes tag so that it can used as a filename on all platforms, including Windows.
+             * @param tag OSM tag, that can contain illegal path characters
+             * @return OSM tag with all illegal path characters replaced by underscore ('_')
+             */
+            String normalize(String tag) {
+                Matcher m = reservedChars.matcher(tag);
+                return m.find() ? m.replaceAll("_") : tag;
             }