Support up to 6 digits after the decimal point in Date.fromString.

frog/lib/date_implementation.dart

 // Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 // TODO(jmesserly): the native class should be the real JS Date.
 // TODO(jimhug): Making the date value non-lazy might be a good path there.
 class DateImplementation implements Date {
   final int value;
   final TimeZone timeZone;
 
@@ skipping 37 matching lines @@
     // Examples:
     //    - "2012-02-27 13:27:00"
     //    - "2012-02-27 13:27:00.423z"
     //    - "20120227 13:27:00"
     //    - "20120227T132700"
     //    - "20120227"
     //    - "2012-02-27T14Z"
     //    - "-123450101 00:00:00 Z"  // In the year -12345.
     final RegExp re = const RegExp(
         @'^([+-]?\d?\d\d\d\d)-?(\d\d)-?(\d\d)' +  // The day part.
-        @'(?:[ T](\d\d)(?::?(\d\d)(?::?(\d\d)(?:.(\d{1,5}))?)?)? ?([zZ])?)?$');
+        @'(?:[ T](\d\d)(?::?(\d\d)(?::?(\d\d)(.\d{1,6})?)?)? ?([zZ])?)?$');
     Match match = re.firstMatch(formattedString);
     if (match !== null) {
       int parseIntOrZero(String matched) {
         // TODO(floitsch): we should not need to test against the empty string.
         if (matched === null || matched == "") return 0;
         return Math.parseInt(matched);
       }
 
+      double parseDoubleOrZero(String matched) {
+        // TODO(floitsch): we should not need to test against the empty string.
+        if (matched === null || matched == "") return 0.0;
+        return Math.parseDouble(matched);
+      }
+
       int years = Math.parseInt(match[1]);
       int month = Math.parseInt(match[2]);
       int day = Math.parseInt(match[3]);
       int hours = parseIntOrZero(match[4]);
       int minutes = parseIntOrZero(match[5]);
       int seconds = parseIntOrZero(match[6]);
       bool addOneMillisecond = false;
-      int milliseconds = parseIntOrZero(match[7]);
-      if (milliseconds != 0) {
-        if (match[7].length == 1) {
-          milliseconds *= 100;
-        } else if (match[7].length == 2) {
-          milliseconds *= 10;
-        } else if (match[7].length == 3) {
-          // Do nothing.
-        } else if (match[7].length == 4) {
-          addOneMillisecond = ((milliseconds % 10) >= 5);
-          milliseconds ~/= 10;
-        } else {
-          assert(match[7].length == 5);
-          addOneMillisecond = ((milliseconds %100) >= 50);
-          milliseconds ~/= 100;
-        }
-        if (addOneMillisecond && milliseconds < 999) {
-          addOneMillisecond = false;
-          milliseconds++;
-        }
+      int milliseconds = (parseDoubleOrZero(match[7]) * 1000).round();
+      if (milliseconds == 1000) {
+        addOneMillisecond = true;
+        milliseconds = 999;
       }
       // TODO(floitsch): we should not need to test against the empty string.
       bool isUtc = (match[8] !== null) && (match[8] != "");
       TimeZone timezone = isUtc ? const TimeZone.utc() : new TimeZone.local();
       int epochValue = _valueFromDecomposed(
           years, month, day, hours, minutes, seconds, milliseconds, isUtc);
       if (epochValue === null) {
         throw new IllegalArgumentException(formattedString);
       }
       if (addOneMillisecond) epochValue++;
@@ skipping 177 matching lines @@
     return isUtc == other.isUtc;
   }
 
   String toString() {
     if (isUtc) return "TimeZone (UTC)";
     return "TimeZone (Local)";
   }
 
   final bool isUtc;
 }