// Copyright 2009 the Sputnik authors.  All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.

/*---
info: >
    When Date is called as part of a new expression it is
    a constructor: it initialises the newly created object
es5id: 15.9.3.2_A1_T1
description: Checking types of newly created objects and it values
includes:
    - Date_constants.js
---*/

if (typeof new Date(date_1899_end) !== "object") {
  $ERROR("#1.1: typeof new Date(date_1899_end) === 'object'");
}

if (new Date(date_1899_end) === undefined) {
  $ERROR("#1.2: new Date(date_1899_end) === undefined");
}

var x13 = new Date(date_1899_end);
if(typeof x13 !== "object"){
  $ERROR("#1.3: typeof new Date(date_1899_end) !== 'object'");
}

var x14 = new Date(date_1899_end);
if(x14 === undefined){
  $ERROR("#1.4: new Date(date_1899_end) !== undefined");
}

if (typeof new Date(date_1900_start) !== "object") {
  $ERROR("#2.1: typeof new Date(date_1900_start) === 'object'");
}

if (new Date(date_1900_start) === undefined) {
  $ERROR("#2.2: new Date(date_1900_start) === undefined");
}

var x23 = new Date(date_1900_start);
if(typeof x23 !== "object"){
  $ERROR("#2.3: typeof new Date(date_1900_start) !== 'object'");
}

var x24 = new Date(date_1900_start);
if(x24 === undefined){
  $ERROR("#2.4: new Date(date_1900_start) !== undefined");
}

if (typeof new Date(date_1969_end) !== "object") {
  $ERROR("#3.1: typeof new Date(date_1969_end) === 'object'");
}

if (new Date(date_1969_end) === undefined) {
  $ERROR("#3.2: new Date(date_1969_end) === undefined");
}

var x33 = new Date(date_1969_end);
if(typeof x33 !== "object"){
  $ERROR("#3.3: typeof new Date(date_1969_end) !== 'object'");
}

var x34 = new Date(date_1969_end);
if(x34 === undefined){
  $ERROR("#3.4: new Date(date_1969_end) !== undefined");
}

if (typeof new Date(date_1970_start) !== "object") {
  $ERROR("#4.1: typeof new Date(date_1970_start) === 'object'");
}

if (new Date(date_1970_start) === undefined) {
  $ERROR("#4.2: new Date(date_1970_start) === undefined");
}

var x43 = new Date(date_1970_start);
if(typeof x43 !== "object"){
  $ERROR("#4.3: typeof new Date(date_1970_start) !== 'object'");
}

var x44 = new Date(date_1970_start);
if(x44 === undefined){
  $ERROR("#4.4: new Date(date_1970_start) !== undefined");
}

if (typeof new Date(date_1999_end) !== "object") {
  $ERROR("#5.1: typeof new Date(date_1999_end) === 'object'");
}

if (new Date(date_1999_end) === undefined) {
  $ERROR("#5.2: new Date(date_1999_end) === undefined");
}

var x53 = new Date(date_1999_end);
if(typeof x53 !== "object"){
  $ERROR("#5.3: typeof new Date(date_1999_end) !== 'object'");
}

var x54 = new Date(date_1999_end);
if(x54 === undefined){
  $ERROR("#5.4: new Date(date_1999_end) !== undefined");
}

if (typeof new Date(date_2000_start) !== "object") {
  $ERROR("#6.1: typeof new Date(date_2000_start) === 'object'");
}

if (new Date(date_2000_start) === undefined) {
  $ERROR("#6.2: new Date(date_2000_start) === undefined");
}

var x63 = new Date(date_2000_start);
if(typeof x63 !== "object"){
  $ERROR("#6.3: typeof new Date(date_2000_start) !== 'object'");
}

var x64 = new Date(date_2000_start);
if(x64 === undefined){
  $ERROR("#6.4: new Date(date_2000_start) !== undefined");
}

if (typeof new Date(date_2099_end) !== "object") {
  $ERROR("#7.1: typeof new Date(date_2099_end) === 'object'");
}

if (new Date(date_2099_end) === undefined) {
  $ERROR("#7.2: new Date(date_2099_end) === undefined");
}

var x73 = new Date(date_2099_end);
if(typeof x73 !== "object"){
  $ERROR("#7.3: typeof new Date(date_2099_end) !== 'object'");
}

var x74 = new Date(date_2099_end);
if(x74 === undefined){
  $ERROR("#7.4: new Date(date_2099_end) !== undefined");
}

if (typeof new Date(date_2100_start) !== "object") {
  $ERROR("#8.1: typeof new Date(date_2100_start) === 'object'");
}

if (new Date(date_2100_start) === undefined) {
  $ERROR("#8.2: new Date(date_2100_start) === undefined");
}

var x83 = new Date(date_2100_start);
if(typeof x83 !== "object"){
  $ERROR("#8.3: typeof new Date(date_2100_start) !== 'object'");
}

var x84 = new Date(date_2100_start);
if(x84 === undefined){
  $ERROR("#8.4: new Date(date_2100_start) !== undefined");
}