Changeset 9019 in josm for trunk/src/org/openstreetmap/josm/data

Timestamp:

2015-11-18T00:18:07+01:00 (8 years ago)

Author:

Don-vip

Message:

fix #12112 - Use java.util.Properties to read REVISION file in the Version-class (patch by floscher) + checkstyle

Location:

trunk/src/org/openstreetmap/josm/data

Files:

• Version.java (modified) (10 diffs)
• osm/visitor/paint/StyledMapRenderer.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/data/Version.java

@@ -4 +4 @@
 import static org.openstreetmap.josm.tools.I18n.tr;
 
-import java.io.BufferedReader;
 import java.io.IOException;
-import java.net.URL;
-import java.util.HashMap;
-import java.util.Map;
+import java.io.InputStream;
 import java.util.Map.Entry;
-import java.util.regex.Matcher;
-import java.util.regex.Pattern;
+import java.util.Properties;
 
 import org.openstreetmap.josm.Main;
 import org.openstreetmap.josm.tools.LanguageInfo;
-import org.openstreetmap.josm.tools.Utils;
 
 /**
@@ -29 +24 @@
 
     /**
-     * Load the specified resource as string.
-     *
-     * @param resource the resource url to load
-     * @return  the content of the resource file; null, if an error occurred
-     */
-    public static String loadResourceFile(URL resource) {
-        if (resource == null) return null;
-        String s = null;
-        try {
-            StringBuilder sb = new StringBuilder();
-            try (BufferedReader in = Utils.openURLReader(resource)) {
-                for (String line = in.readLine(); line != null; line = in.readLine()) {
-                    sb.append(line).append('\n');
-                }
-            }
-            s = sb.toString();
-        } catch (IOException e) {
-            Main.error(tr("Failed to load resource ''{0}'', error is {1}.", resource.toString(), e.toString()));
-            Main.error(e);
-        }
-        return s;
-    }
-
-    /**
      * Replies the unique instance of the version information
      *
@@ -71 +42 @@
     private boolean isLocalBuild;
 
-    protected Map<String, String> parseManifestStyleFormattedString(String content) {
-        Map<String, String> properties = new HashMap<>();
-        if (content == null) return properties;
-        Pattern p = Pattern.compile("^([^:]+):(.*)$");
-        for (String line: content.split("\n")) {
-            if (line == null || line.trim().isEmpty()) {
-                continue;
-            }
-            if (line.matches("^\\s*#.*$")) {
-                continue;
-            }
-            Matcher m = p.matcher(line);
-            if (m.matches()) {
-                properties.put(m.group(1), m.group(2));
-            }
-        }
-        return properties;
-    }
-
     /**
      * Initializes the version infos from the revision resource file
      *
-     * @param revisionInfo the revision info loaded from a revision resource file
-     */
-    protected void initFromRevisionInfo(String revisionInfo) {
+     * @param revisionInfo the revision info from a revision resource file as InputStream
+     */
+    protected void initFromRevisionInfo(InputStream revisionInfo) {
         if (revisionInfo == null) {
             this.releaseDescription = tr("UNKNOWN");
@@ -103 +55 @@
         }
 
-        Map<String, String> properties = parseManifestStyleFormattedString(revisionInfo);
-        String value = properties.get("Revision");
+        Properties properties = new Properties();
+        try {
+            properties.load(revisionInfo);
+            revisionInfo.close();
+        } catch (IOException e) {
+            Main.warn(tr("Error reading revision info from revision file: {0}", e.getMessage()));
+        }
+        String value = properties.getProperty("Revision");
         if (value != null) {
             value = value.trim();
@@ -119 +77 @@
         // the last changed data
         //
-        time = properties.get("Last Changed Date");
+        time = properties.getProperty("Last Changed Date");
         if (time == null) {
-            time = properties.get("Build-Date");
+            time = properties.getProperty("Build-Date");
         }
 
@@ -127 +85 @@
         //
         isLocalBuild = false;
-        value = properties.get("Is-Local-Build");
+        value = properties.getProperty("Is-Local-Build");
         if (value != null && "true".equalsIgnoreCase(value.trim()))  {
             isLocalBuild = true;
@@ -135 +93 @@
         //
         buildName = null;
-        value = properties.get("Build-Name");
+        value = properties.getProperty("Build-Name");
         if (value != null && !value.trim().isEmpty())  {
             buildName = value.trim();
@@ -143 +101 @@
         //
         StringBuilder sb = new StringBuilder();
-        for (Entry<String, String> property: properties.entrySet()) {
+        for (Entry<Object, Object> property: properties.entrySet()) {
             sb.append(property.getKey()).append(':').append(property.getValue()).append('\n');
         }
@@ -153 +111 @@
      */
     public void init() {
-        URL u = Main.class.getResource("/REVISION");
-        if (u == null) {
+        InputStream stream = Main.class.getResourceAsStream("/REVISION");
+        if (stream == null) {
             Main.warn(tr("The revision file ''/REVISION'' is missing."));
             version = 0;
@@ -160 +118 @@
             return;
         }
-        initFromRevisionInfo(loadResourceFile(u));
+        initFromRevisionInfo(stream);
     }
 

trunk/src/org/openstreetmap/josm/data/osm/visitor/paint/StyledMapRenderer.java

@@ -451 +451 @@
     }
 
-    protected void drawArea(OsmPrimitive osm, Path2D.Double path, Color color, MapImage fillImage, Float extent, boolean disabled, TextElement text) {
+    protected void drawArea(OsmPrimitive osm, Path2D.Double path, Color color, MapImage fillImage, Float extent,
+            boolean disabled, TextElement text) {
 
         Shape area = path.createTransformedShape(nc.getAffineTransform());