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:          11.9.3.js
michael@0:    ECMA Section:       11.9.3 The equals operator ( == )
michael@0:    Description:
michael@0: 
michael@0:    The production EqualityExpression:
michael@0:    EqualityExpression ==  RelationalExpression is evaluated as follows:
michael@0: 
michael@0:    1.  Evaluate EqualityExpression.
michael@0:    2.  Call GetValue(Result(1)).
michael@0:    3.  Evaluate RelationalExpression.
michael@0:    4.  Call GetValue(Result(3)).
michael@0:    5.  Perform the comparison Result(4) == Result(2). (See section 11.9.3)
michael@0:    6.  Return Result(5).
michael@0:    Author:             christine@netscape.com
michael@0:    Date:               12 november 1997
michael@0: */
michael@0: var SECTION = "11.9.3";
michael@0: var VERSION = "ECMA_1";
michael@0: var BUGNUMBER="77391";
michael@0: startTest();
michael@0: 
michael@0: writeHeaderToLog( SECTION + " The equals operator ( == )");
michael@0: 
michael@0: // type x and type y are the same.  if type x is undefined or null, return true
michael@0: 
michael@0: new TestCase( SECTION,    "void 0 = void 0",        true,   void 0 == void 0 );
michael@0: new TestCase( SECTION,    "null == null",           true,   null == null );
michael@0: 
michael@0: //  if x is NaN, return false. if y is NaN, return false.
michael@0: 
michael@0: new TestCase( SECTION,    "NaN == NaN",             false,  Number.NaN == Number.NaN );
michael@0: new TestCase( SECTION,    "NaN == 0",               false,  Number.NaN == 0 );
michael@0: new TestCase( SECTION,    "0 == NaN",               false,  0 == Number.NaN );
michael@0: new TestCase( SECTION,    "NaN == Infinity",        false,  Number.NaN == Number.POSITIVE_INFINITY );
michael@0: new TestCase( SECTION,    "Infinity == NaN",        false,  Number.POSITIVE_INFINITY == Number.NaN );
michael@0: 
michael@0: // if x is the same number value as y, return true.
michael@0: 
michael@0: new TestCase( SECTION,    "Number.MAX_VALUE == Number.MAX_VALUE",   true,   Number.MAX_VALUE == Number.MAX_VALUE );
michael@0: new TestCase( SECTION,    "Number.MIN_VALUE == Number.MIN_VALUE",   true,   Number.MIN_VALUE == Number.MIN_VALUE );
michael@0: new TestCase( SECTION,    "Number.POSITIVE_INFINITY == Number.POSITIVE_INFINITY",   true,   Number.POSITIVE_INFINITY == Number.POSITIVE_INFINITY );
michael@0: new TestCase( SECTION,    "Number.NEGATIVE_INFINITY == Number.NEGATIVE_INFINITY",   true,   Number.NEGATIVE_INFINITY == Number.NEGATIVE_INFINITY );
michael@0: 
michael@0: //  if xis 0 and y is -0, return true.   if x is -0 and y is 0, return true.
michael@0: 
michael@0: new TestCase( SECTION,    "0 == 0",                 true,   0 == 0 );
michael@0: new TestCase( SECTION,    "0 == -0",                true,   0 == -0 );
michael@0: new TestCase( SECTION,    "-0 == 0",                true,   -0 == 0 );
michael@0: new TestCase( SECTION,    "-0 == -0",               true,   -0 == -0 );
michael@0: 
michael@0: // return false.
michael@0: 
michael@0: new TestCase( SECTION,    "0.9 == 1",               false,  0.9 == 1 );
michael@0: new TestCase( SECTION,    "0.999999 == 1",          false,  0.999999 == 1 );
michael@0: new TestCase( SECTION,    "0.9999999999 == 1",      false,  0.9999999999 == 1 );
michael@0: new TestCase( SECTION,    "0.9999999999999 == 1",   false,  0.9999999999999 == 1 );
michael@0: 
michael@0: // type x and type y are the same type, but not numbers.
michael@0: 
michael@0: 
michael@0: // x and y are strings.  return true if x and y are exactly the same sequence of characters.
michael@0: // otherwise, return false.
michael@0: 
michael@0: new TestCase( SECTION,    "'hello' == 'hello'",         true,   "hello" == "hello" );
michael@0: 
michael@0: // x and y are booleans.  return true if both are true or both are false.
michael@0: 
michael@0: new TestCase( SECTION,    "true == true",               true,   true == true );
michael@0: new TestCase( SECTION,    "false == false",             true,   false == false );
michael@0: new TestCase( SECTION,    "true == false",              false,  true == false );
michael@0: new TestCase( SECTION,    "false == true",              false,  false == true );
michael@0: 
michael@0: // return true if x and y refer to the same object.  otherwise return false.
michael@0: 
michael@0: new TestCase( SECTION,    "new MyObject(true) == new MyObject(true)",   false,  new MyObject(true) == new MyObject(true) );
michael@0: new TestCase( SECTION,    "new Boolean(true) == new Boolean(true)",     false,  new Boolean(true) == new Boolean(true) );
michael@0: new TestCase( SECTION,    "new Boolean(false) == new Boolean(false)",   false,  new Boolean(false) == new Boolean(false) );
michael@0: 
michael@0: 
michael@0: new TestCase( SECTION,    "x = new MyObject(true); y = x; z = x; z == y",   true,  eval("x = new MyObject(true); y = x; z = x; z == y") );
michael@0: new TestCase( SECTION,    "x = new MyObject(false); y = x; z = x; z == y",  true,  eval("x = new MyObject(false); y = x; z = x; z == y") );
michael@0: new TestCase( SECTION,    "x = new Boolean(true); y = x; z = x; z == y",   true,  eval("x = new Boolean(true); y = x; z = x; z == y") );
michael@0: new TestCase( SECTION,    "x = new Boolean(false); y = x; z = x; z == y",   true,  eval("x = new Boolean(false); y = x; z = x; z == y") );
michael@0: 
michael@0: new TestCase( SECTION,    "new Boolean(true) == new Boolean(true)",     false,  new Boolean(true) == new Boolean(true) );
michael@0: new TestCase( SECTION,    "new Boolean(false) == new Boolean(false)",   false,  new Boolean(false) == new Boolean(false) );
michael@0: 
michael@0: // if x is null and y is undefined, return true.  if x is undefined and y is null return true.
michael@0: 
michael@0: new TestCase( SECTION,    "null == void 0",             true,   null == void 0 );
michael@0: new TestCase( SECTION,    "void 0 == null",             true,   void 0 == null );
michael@0: 
michael@0: // if type(x) is Number and type(y) is string, return the result of the comparison x == ToNumber(y).
michael@0: 
michael@0: new TestCase( SECTION,    "1 == '1'",                   true,   1 == '1' );
michael@0: new TestCase( SECTION,    "255 == '0xff'",               true,  255 == '0xff' );
michael@0: new TestCase( SECTION,    "0 == '\r'",                  true,   0 == "\r" );
michael@0: new TestCase( SECTION,    "1e19 == '1e19'",             true,   1e19 == "1e19" );
michael@0: 
michael@0: 
michael@0: new TestCase( SECTION,    "new Boolean(true) == true",  true,   true == new Boolean(true) );
michael@0: new TestCase( SECTION,    "new MyObject(true) == true", true,   true == new MyObject(true) );
michael@0: 
michael@0: new TestCase( SECTION,    "new Boolean(false) == false",    true,   new Boolean(false) == false );
michael@0: new TestCase( SECTION,    "new MyObject(false) == false",   true,   new MyObject(false) == false );
michael@0: 
michael@0: new TestCase( SECTION,    "true == new Boolean(true)",      true,   true == new Boolean(true) );
michael@0: new TestCase( SECTION,    "true == new MyObject(true)",     true,   true == new MyObject(true) );
michael@0: 
michael@0: new TestCase( SECTION,    "false == new Boolean(false)",    true,   false == new Boolean(false) );
michael@0: new TestCase( SECTION,    "false == new MyObject(false)",   true,   false == new MyObject(false) );
michael@0: 
michael@0: test();
michael@0: 
michael@0: function MyObject( value ) {
michael@0:   this.value = value;
michael@0:   this.valueOf = new Function( "return this.value" );
michael@0: }