improve DateTime parsing a UTC timezone offset

sdk/lib/core/date_time.dart

Index: sdk/lib/core/date_time.dart
diff --git a/sdk/lib/core/date_time.dart b/sdk/lib/core/date_time.dart
index 0b4a63a19a0c63eb8fe2baa877c109c800b595a6..26ca7ec364ccba1555883a0b534c1b019e08d4a1 100644
--- a/sdk/lib/core/date_time.dart
+++ b/sdk/lib/core/date_time.dart
@@ -48,7 +48,7 @@ part of dart.core;
  * unless explicitly created in the UTC time zone.
  *
  *     DateTime dDay = new DateTime.utc(1944, 6, 6);
- *    
+ *
  * Use [isUtc] to determine whether a DateTime object is based in UTC.
  * Use the methods [toLocal] and [toUtc]
  * to get the equivalent date/time value specified in the other time zone.
@@ -199,13 +199,16 @@ class DateTime implements Comparable {
    * * `"20120227"`
    * * `"+20120227"`
    * * `"2012-02-27T14Z"`
+   * * `"2012-02-27T14+00:00"`
    * * `"-123450101 00:00:00 Z"`: in the year -12345.
    */
   // TODO(floitsch): specify grammar.
   static DateTime parse(String formattedString) {
     final RegExp re = new RegExp(
         r'^([+-]?\d?\d\d\d\d)-?(\d\d)-?(\d\d)'  // The day part.
-        r'(?:[ T](\d\d)(?::?(\d\d)(?::?(\d\d)(.\d{1,6})?)?)? ?([zZ])?)?$');
+        r'(?:[ T](\d\d)(?::?(\d\d)(?::?(\d\d)(.\d{1,6})?)?)?' // The time part
+        r' ?([zZ]|(?:\+00(?::?00)?)?))?$'); // The timezone part

[Lasse Reichstein Nielsen, 2013/10/29 08:48:45]

This seemns to accept a single terminating space (from the beginning of the
timezone part, even if the timezone part is omitted).
Maybe wrap that in (?:...) too, so the '?' for the timezone part includes the
space.

That is, a grammar something like:

  date ::= yeardate time_opt timezone_opt
  yeardate ::= year colon_opt month colon_opt day
  year ::= sign_opt digit{4,5}
  colon_opt :: <empty> | ':'
  sign_opt ::=  <empty> | '+' | '-'
  month ::= digit{2}
  day ::= digit{2}
  time_opt ::= <empty> | (' ' | 'T') hour minutes_opt
  minutes_opt ::= <empty> | ':' digit{2} seconds_opt
  seconds_opt ::= <empty> | ':' digit{2} millis_opt
  millis_opt ::= <empty> | '.' digit{1,6}
  timezone_opt ::= <empty> | space_opt timezone
  space_opt :: ' ' | <empty>
  timezone ::= 'z' | 'Z' | '+' '0' '0' timezonemins_opt
  timezonemins_opt ::= <empty> | colon_opt '0' '0'
  
(Does this look right?)

It's a pet peeve of mine to not create complex regexps without a specification
of what it should do. It's hard enough to read a regexp to see whether it does
the correct thing, it's pretty much impossible if you don't even know what
correct is :).

[floitsch, 2013/10/30 23:17:34]

Done.

+
     Match match = re.firstMatch(formattedString);
     if (match != null) {
       int parseIntOrZero(String matched) {