michael@0: /* -*- Mode: C++; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
michael@0: /* This Source Code Form is subject to the terms of the Mozilla Public
michael@0:  * License, v. 2.0. If a copy of the MPL was not distributed with this
michael@0:  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
michael@0: 
michael@0: 
michael@0: /**
michael@0:    File Name:          15.9.5.4-1.js
michael@0:    ECMA Section:       15.9.5.4-1 Date.prototype.getTime
michael@0:    Description:
michael@0: 
michael@0:    1.  If the this value is not an object whose [[Class]] property is "Date",
michael@0:    generate a runtime error.
michael@0:    2.  Return this time value.
michael@0:    Author:             christine@netscape.com
michael@0:    Date:               12 november 1997
michael@0: */
michael@0: var SECTION = "15.9.5.4-1";
michael@0: var VERSION = "ECMA_1";
michael@0: startTest();
michael@0: var TITLE   = "Date.prototype.getTime";
michael@0: 
michael@0: writeHeaderToLog( SECTION + " "+ TITLE);
michael@0: 
michael@0: addTestCase( TIME_NOW );
michael@0: addTestCase( TIME_1970 );
michael@0: addTestCase( TIME_1900 );
michael@0: addTestCase( TIME_2000 );
michael@0: addTestCase( UTC_FEB_29_2000 );
michael@0: addTestCase( UTC_JAN_1_2005 );
michael@0: 
michael@0: test();
michael@0: 
michael@0: function addTestCase( t ) {
michael@0:   new TestCase( SECTION,
michael@0: 		"(new Date("+t+").getTime()",
michael@0: 		t,
michael@0: 		(new Date(t)).getTime() );
michael@0: 
michael@0:   new TestCase( SECTION,
michael@0: 		"(new Date("+(t+1)+").getTime()",
michael@0: 		t+1,
michael@0: 		(new Date(t+1)).getTime() );
michael@0: 
michael@0:   new TestCase( SECTION,
michael@0: 		"(new Date("+(t-1)+").getTime()",
michael@0: 		t-1,
michael@0: 		(new Date(t-1)).getTime() );
michael@0: 
michael@0:   new TestCase( SECTION,
michael@0: 		"(new Date("+(t-TZ_ADJUST)+").getTime()",
michael@0: 		t-TZ_ADJUST,
michael@0: 		(new Date(t-TZ_ADJUST)).getTime() );
michael@0: 
michael@0:   new TestCase( SECTION,
michael@0: 		"(new Date("+(t+TZ_ADJUST)+").getTime()",
michael@0: 		t+TZ_ADJUST,
michael@0: 		(new Date(t+TZ_ADJUST)).getTime() );
michael@0: }