Spec-Zone.ru › Dart 1

dart:core

Метод parse

DateTime parse(String formattedString)

Создаёт новый экземпляр DateTime на основе formattedString.

Выбрасывает FormatException, если входные данные невозможно разобрать.

Функция анализирует подмножество ISO 8601, включающее подмножество, принятое RFC 3339.

В настоящее время поддерживаются следующие входные данные:

  • Дата: четырёх- или шестизначный год со знаком, двухзначный месяц и двухзначный день, необязательно разделённые символами -. Примеры: "19700101", "-0004-12-24", "81030-04-01".
  • Необязательная часть времени, разделённая от даты либо T, либо пробелом. Часть времени — это двухзначная часть часов, затем необязательно двухзначная часть минут, затем необязательно двухзначная часть секунд, затем необязательно '.' и от одной до шести знаков дробной части секунд. Минуты и секунды могут быть разделены от предыдущих частей двоеточием. Примеры: "12", "12:30:24.124", "123010.50".
  • Необязательная часть смещения часового пояса, возможно, разделённая от предыдущей пробелом. Часовой пояс — это 'z', 'Z' или знак, за которым следуют двухзначная часть часов и необязательная двухзначная часть минут. Знак должен быть '+' или '-', и его нельзя опустить. Минуты могут быть разделены от часов двоеточием. Примеры: "Z", "-10", "01:30", "1130".

Это включает вывод как метода toString, так и метода toIso8601String, который будет повторно парситься в объект DateTime, имеющий то же время, что и исходный.

Результат всегда находится в местном времени или UTC. Если указано смещение часового пояса, отличное от UTC, время преобразуется в эквивалентное время UTC.

Примеры допустимых строк:

  • "2012-02-27 13:27:00"
  • "2012-02-27 13:27:00.123456z"
  • "20120227 13:27:00"
  • "20120227T132700"
  • "20120227"
  • "+20120227"
  • "2012-02-27T14Z"
  • "2012-02-27T14+00:00"
  • "-123450101 00:00:00 Z": в году -12345.
  • "2002-02-27T14:00:00-0500": То же, что и "2002-02-27T19:00:00Z"

Исходный код

// TODO(lrn): restrict incorrect values like  2003-02-29T50:70:80.
// Or not, that may be a breaking change.
static DateTime parse(String formattedString) {
  /*
   * date ::= yeardate time_opt timezone_opt
   * yeardate ::= year colon_opt month colon_opt day
   * year ::= sign_opt digit{4,6}
   * colon_opt :: <empty> | ':'
   * sign ::= '+' | '-'
   * sign_opt ::=  <empty> | sign
   * month ::= digit{2}
   * day ::= digit{2}
   * time_opt ::= <empty> | (' ' | 'T') hour minutes_opt
   * minutes_opt ::= <empty> | colon_opt digit{2} seconds_opt
   * seconds_opt ::= <empty> | colon_opt digit{2} millis_opt
   * micros_opt ::= <empty> | '.' digit{1,6}
   * timezone_opt ::= <empty> | space_opt timezone
   * space_opt :: ' ' | <empty>
   * timezone ::= 'z' | 'Z' | sign digit{2} timezonemins_opt
   * timezonemins_opt ::= <empty> | colon_opt digit{2}
   */
  final RegExp re = new RegExp(r'^([+-]?\d{4,6})-?(\d\d)-?(\d\d)' // Day part.
      r'(?:[ T](\d\d)(?::?(\d\d)(?::?(\d\d)(?:\.(\d{1,6}))?)?)?' // Time part.
      r'( ?[zZ]| ?([-+])(\d\d)(?::?(\d\d))?)?)?$'); // Timezone part.

  Match match = re.firstMatch(formattedString);
  if (match != null) {
    int parseIntOrZero(String matched) {
      if (matched == null) return 0;
      return int.parse(matched);
    }

    // Parses fractional second digits of '.(\d{1,6})' into the combined
    // microseconds.
    int parseMilliAndMicroseconds(String matched) {
      if (matched == null) return 0;
      int length = matched.length;
      assert(length >= 1);
      assert(length <= 6);

      int result = 0;
      for (int i = 0; i < 6; i++) {
        result *= 10;
        if (i < matched.length) {
          result += matched.codeUnitAt(i) ^ 0x30;
        }
      }
      return result;
    }

    int years = int.parse(match[1]);
    int month = int.parse(match[2]);
    int day = int.parse(match[3]);
    int hour = parseIntOrZero(match[4]);
    int minute = parseIntOrZero(match[5]);
    int second = parseIntOrZero(match[6]);
    bool addOneMillisecond = false;
    int milliAndMicroseconds = parseMilliAndMicroseconds(match[7]);
    int millisecond =
        milliAndMicroseconds ~/ Duration.MICROSECONDS_PER_MILLISECOND;
    int microsecond =
        milliAndMicroseconds.remainder(Duration.MICROSECONDS_PER_MILLISECOND);
    bool isUtc = false;
    if (match[8] != null) {
      // timezone part
      isUtc = true;
      if (match[9] != null) {
        // timezone other than 'Z' and 'z'.
        int sign = (match[9] == '-') ? -1 : 1;
        int hourDifference = int.parse(match[10]);
        int minuteDifference = parseIntOrZero(match[11]);
        minuteDifference += 60 * hourDifference;
        minute -= sign * minuteDifference;
      }
    }
    int value = _brokenDownDateToValue(years, month, day, hour, minute,
        second, millisecond, microsecond, isUtc);
    if (value == null) {
      throw new FormatException("Time out of range", formattedString);
    }
    return new DateTime._withValue(value, isUtc: isUtc);
  } else {
    throw new FormatException("Invalid date format", formattedString);
  }
}

© 2012 the Dart project authors
Licensed under the Creative Commons Attribution-ShareAlike License v4.0.
https://api.dartlang.org/stable/1.24.3/dart-core/DateTime/parse.html

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API