// 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 final int weekday
/// Returns the week day MON..SUN. In accordance with ISO 8601 a week starts with
/// Monday which has the value 1.
/// @description Checks property value when date is valid.
/// @author hlodvig

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

void check(year, m, d){
  DateTime dt = new DateTime(year, m, d);
  Expect.equals(DateTime.monday, dt.weekday);
  dt = new DateTime(year, m, d+1);
  Expect.equals(DateTime.tuesday, dt.weekday);
  dt = new DateTime(year, m, d+2);
  Expect.equals(DateTime.wednesday, dt.weekday);
  dt = new DateTime(year, m, d+3);
  Expect.equals(DateTime.thursday, dt.weekday);
  dt = new DateTime(year, m, d+4);
  Expect.equals(DateTime.friday, dt.weekday);
  dt = new DateTime(year, m, d+5);
  Expect.equals(DateTime.saturday, dt.weekday);
  dt = new DateTime(year, m, d+6);
  Expect.equals(DateTime.sunday, dt.weekday);
}

main() {
  check(1, 1, 1);
  check(1951, 1, 8);
  check(1955, 1, 17);
  check(1991, 8, 19);
  check(2011, 10, 3);
  check(2013, 4, 29);
}