LibTest/core/DateTime/DateTime_A01_t01.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.

/// @assertion factory DateTime(int year, [int month = 1, int day = 1, int
/// hour = 0, int minute = 0, int second = 0, int millisecond = 0])
/// Constructs a DateTime instance based on the individual parts.
/// The date is in the local time zone. month and day are one-based.
/// @description Checks the DateTime constructor with various correct parameters
/// that are within range and do not result in overflow/underflow of any single
/// field.
/// @author hlodvig

import "../../../Utils/expect.dart";

check(int year, int month, int day, int hours, int minutes, int seconds,
    int milliseconds) {
  var date =
      new DateTime(year, month, day, hours, minutes, seconds, milliseconds);
  String msg =
      'actual date is ${date.year}-${date.month}-${date.day} ${date.hour}:${date.minute}:${date.second}:${date.millisecond}';
  Expect.equals(year, date.year, msg);
  Expect.equals(month, date.month, msg);
  Expect.equals(day, date.day, msg);
  Expect.equals(hours, date.hour, msg);
  Expect.equals(minutes, date.minute, msg);
  Expect.equals(seconds, date.second, msg);
  Expect.equals(milliseconds, date.millisecond, msg);
  Expect.isTrue(date is DateTime);
  Expect.runtimeIsType<DateTime>(date);
}

main() {
  check(2001, 1, 2, 3, 4, 5, 6);
  check(-2000, 1, 2, 0, 0, 0, 0); //2000 B.C.?
  check(0, 1, 1, 0, 0, 0, 0);
  check(2001, 2, 28, 0, 0, 0, 0);
  check(2001, 1, 1, 23, 0, 0, 0);
  check(0xffff, 12, 31, 23, 59, 59, 999);
}