Changeset 17987 in josm for trunk/src/org/openstreetmap/josm/tools/date/DateUtils.java

Timestamp:

2021-07-10T22:54:00+02:00 (3 years ago)

Author:

Don-vip

Message:

fix #20992 - see #17829 - support UTC dates with 6 digits

File:

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

trunk/src/org/openstreetmap/josm/tools/date/DateUtils.java

@@ -136 +136 @@
             }
             return local.toInstant();
+        } else if (checkLayout(str, "xxxx/xx/xx xx:xx:xx.xxxxxx")) {
+            return ZonedDateTime.of(
+                parsePart4(str, 0),
+                parsePart2(str, 5),
+                parsePart2(str, 8),
+                parsePart2(str, 11),
+                parsePart2(str, 14),
+                parsePart2(str, 17),
+                parsePart6(str, 20) * 1_000,
+                ZoneOffset.UTC
+            ).toInstant();
         } else {
             // example date format "18-AUG-08 13:33:03"
@@ -232 +243 @@
     }
 
+    private static int parsePart6(String str, int off) {
+        return 100000 * num(str.charAt(off))
+              + 10000 * num(str.charAt(off + 1))
+               + 1000 * num(str.charAt(off + 2))
+                + 100 * num(str.charAt(off + 3))
+                 + 10 * num(str.charAt(off + 4))
+                      + num(str.charAt(off + 5));
+    }
+
     /**
      * Returns a new {@code SimpleDateFormat} for date only, according to <a href="https://en.wikipedia.org/wiki/ISO_8601">ISO 8601</a>.