1/* The contents of this file are subject to the Netscape Public 2 * License Version 1.1 (the "License"); you may not use this file 3 * except in compliance with the License. You may obtain a copy of 4 * the License at http://www.mozilla.org/NPL/ 5 * 6 * Software distributed under the License is distributed on an "AS 7 * IS" basis, WITHOUT WARRANTY OF ANY KIND, either express or 8 * implied. See the License for the specific language governing 9 * rights and limitations under the License. 10 * 11 * The Original Code is Mozilla Communicator client code, released March 12 * 31, 1998. 13 * 14 * The Initial Developer of the Original Code is Netscape Communications 15 * Corporation. Portions created by Netscape are 16 * Copyright (C) 1998 Netscape Communications Corporation. All 17 * Rights Reserved. 18 * 19 * Contributor(s): 20 * 21 */ 22/** 23 File Name: 11.5.2.js 24 ECMA Section: 11.5.2 Applying the / operator 25 Description: 26 27 The / operator performs division, producing the quotient of its operands. 28 The left operand is the dividend and the right operand is the divisor. 29 ECMAScript does not perform integer division. The operands and result of all 30 division operations are double-precision floating-point numbers. 31 The result of division is determined by the specification of IEEE 754 arithmetic: 32 33 If either operand is NaN, the result is NaN. 34 The sign of the result is positive if both operands have the same sign, negative if the operands have different 35 signs. 36 Division of an infinity by an infinity results in NaN. 37 Division of an infinity by a zero results in an infinity. The sign is determined by the rule already stated above. 38 Division of an infinity by a non-zero finite value results in a signed infinity. The sign is determined by the rule 39 already stated above. 40 Division of a finite value by an infinity results in zero. The sign is determined by the rule already stated above. 41 Division of a zero by a zero results in NaN; division of zero by any other finite value results in zero, with the sign 42 determined by the rule already stated above. 43 Division of a non-zero finite value by a zero results in a signed infinity. The sign is determined by the rule 44 already stated above. 45 In the remaining cases, where neither an infinity, nor a zero, nor NaN is involved, the quotient is computed and 46 rounded to the nearest representable value using IEEE 754 round-to-nearest mode. If the magnitude is too 47 large to represent, we say the operation overflows; the result is then an infinity of appropriate sign. If the 48 magnitude is too small to represent, we say the operation underflows and the result is a zero of the appropriate 49 sign. The ECMAScript language requires support of gradual underflow as defined by IEEE 754. 50 51 Author: christine@netscape.com 52 Date: 12 november 1997 53*/ 54 var SECTION = "11.5.2"; 55 var VERSION = "ECMA_1"; 56 startTest(); 57 var testcases = getTestCases(); 58 var BUGNUMBER="111202"; 59 60 writeHeaderToLog( SECTION + " Applying the / operator"); 61 test(); 62 63function test() { 64 for ( tc=0; tc < testcases.length; tc++ ) { 65 testcases[tc].passed = writeTestCaseResult( 66 testcases[tc].expect, 67 testcases[tc].actual, 68 testcases[tc].description +" = "+ 69 testcases[tc].actual ); 70 71 testcases[tc].reason += ( testcases[tc].passed ) ? "" : "wrong value "; 72 } 73 stopTest(); 74 return ( testcases ); 75} 76function getTestCases() { 77 var array = new Array(); 78 var item = 0; 79 80 // if either operand is NaN, the result is NaN. 81 82 array[item++] = new TestCase( SECTION, "Number.NaN / Number.NaN", Number.NaN, Number.NaN / Number.NaN ); 83 array[item++] = new TestCase( SECTION, "Number.NaN / 1", Number.NaN, Number.NaN / 1 ); 84 array[item++] = new TestCase( SECTION, "1 / Number.NaN", Number.NaN, 1 / Number.NaN ); 85 86 array[item++] = new TestCase( SECTION, "Number.POSITIVE_INFINITY / Number.NaN", Number.NaN, Number.POSITIVE_INFINITY / Number.NaN ); 87 array[item++] = new TestCase( SECTION, "Number.NEGATIVE_INFINITY / Number.NaN", Number.NaN, Number.NEGATIVE_INFINITY / Number.NaN ); 88 89 // Division of an infinity by an infinity results in NaN. 90 91 array[item++] = new TestCase( SECTION, "Number.NEGATIVE_INFINITY / Number.NEGATIVE_INFINITY", Number.NaN, Number.NEGATIVE_INFINITY / Number.NEGATIVE_INFINITY ); 92 array[item++] = new TestCase( SECTION, "Number.POSITIVE_INFINITY / Number.NEGATIVE_INFINITY", Number.NaN, Number.POSITIVE_INFINITY / Number.NEGATIVE_INFINITY ); 93 array[item++] = new TestCase( SECTION, "Number.NEGATIVE_INFINITY / Number.POSITIVE_INFINITY", Number.NaN, Number.NEGATIVE_INFINITY / Number.POSITIVE_INFINITY ); 94 array[item++] = new TestCase( SECTION, "Number.POSITIVE_INFINITY / Number.POSITIVE_INFINITY", Number.NaN, Number.POSITIVE_INFINITY / Number.POSITIVE_INFINITY ); 95 96 // Division of an infinity by a zero results in an infinity. 97 98 array[item++] = new TestCase( SECTION, "Number.POSITIVE_INFINITY / 0", Number.POSITIVE_INFINITY, Number.POSITIVE_INFINITY / 0 ); 99 array[item++] = new TestCase( SECTION, "Number.NEGATIVE_INFINITY / 0", Number.NEGATIVE_INFINITY, Number.NEGATIVE_INFINITY / 0 ); 100 array[item++] = new TestCase( SECTION, "Number.POSITIVE_INFINITY / -0", Number.NEGATIVE_INFINITY, Number.POSITIVE_INFINITY / -0 ); 101 array[item++] = new TestCase( SECTION, "Number.NEGATIVE_INFINITY / -0", Number.POSITIVE_INFINITY, Number.NEGATIVE_INFINITY / -0 ); 102 103 // Division of an infinity by a non-zero finite value results in a signed infinity. 104 105 array[item++] = new TestCase( SECTION, "Number.NEGATIVE_INFINITY / 1 ", Number.NEGATIVE_INFINITY, Number.NEGATIVE_INFINITY / 1 ); 106 array[item++] = new TestCase( SECTION, "Number.NEGATIVE_INFINITY / -1 ", Number.POSITIVE_INFINITY, Number.NEGATIVE_INFINITY / -1 ); 107 array[item++] = new TestCase( SECTION, "Number.POSITIVE_INFINITY / 1 ", Number.POSITIVE_INFINITY, Number.POSITIVE_INFINITY / 1 ); 108 array[item++] = new TestCase( SECTION, "Number.POSITIVE_INFINITY / -1 ", Number.NEGATIVE_INFINITY, Number.POSITIVE_INFINITY / -1 ); 109 110 array[item++] = new TestCase( SECTION, "Number.NEGATIVE_INFINITY / Number.MAX_VALUE ", Number.NEGATIVE_INFINITY, Number.NEGATIVE_INFINITY / Number.MAX_VALUE ); 111 array[item++] = new TestCase( SECTION, "Number.NEGATIVE_INFINITY / -Number.MAX_VALUE ", Number.POSITIVE_INFINITY, Number.NEGATIVE_INFINITY / -Number.MAX_VALUE ); 112 array[item++] = new TestCase( SECTION, "Number.POSITIVE_INFINITY / Number.MAX_VALUE ", Number.POSITIVE_INFINITY, Number.POSITIVE_INFINITY / Number.MAX_VALUE ); 113 array[item++] = new TestCase( SECTION, "Number.POSITIVE_INFINITY / -Number.MAX_VALUE ", Number.NEGATIVE_INFINITY, Number.POSITIVE_INFINITY / -Number.MAX_VALUE ); 114 115 // Division of a finite value by an infinity results in zero. 116 117 array[item++] = new TestCase( SECTION, "1 / Number.NEGATIVE_INFINITY", -0, 1 / Number.NEGATIVE_INFINITY ); 118 array[item++] = new TestCase( SECTION, "1 / Number.POSITIVE_INFINITY", 0, 1 / Number.POSITIVE_INFINITY ); 119 array[item++] = new TestCase( SECTION, "-1 / Number.POSITIVE_INFINITY", -0, -1 / Number.POSITIVE_INFINITY ); 120 array[item++] = new TestCase( SECTION, "-1 / Number.NEGATIVE_INFINITY", 0, -1 / Number.NEGATIVE_INFINITY ); 121 122 array[item++] = new TestCase( SECTION, "Number.MAX_VALUE / Number.NEGATIVE_INFINITY", -0, Number.MAX_VALUE / Number.NEGATIVE_INFINITY ); 123 array[item++] = new TestCase( SECTION, "Number.MAX_VALUE / Number.POSITIVE_INFINITY", 0, Number.MAX_VALUE / Number.POSITIVE_INFINITY ); 124 array[item++] = new TestCase( SECTION, "-Number.MAX_VALUE / Number.POSITIVE_INFINITY", -0, -Number.MAX_VALUE / Number.POSITIVE_INFINITY ); 125 array[item++] = new TestCase( SECTION, "-Number.MAX_VALUE / Number.NEGATIVE_INFINITY", 0, -Number.MAX_VALUE / Number.NEGATIVE_INFINITY ); 126 127 // Division of a zero by a zero results in NaN 128 129 array[item++] = new TestCase( SECTION, "0 / -0", Number.NaN, 0 / -0 ); 130 array[item++] = new TestCase( SECTION, "-0 / 0", Number.NaN, -0 / 0 ); 131 array[item++] = new TestCase( SECTION, "-0 / -0", Number.NaN, -0 / -0 ); 132 array[item++] = new TestCase( SECTION, "0 / 0", Number.NaN, 0 / 0 ); 133 134 // division of zero by any other finite value results in zero 135 136 array[item++] = new TestCase( SECTION, "0 / 1", 0, 0 / 1 ); 137 array[item++] = new TestCase( SECTION, "0 / -1", -0, 0 / -1 ); 138 array[item++] = new TestCase( SECTION, "-0 / 1", -0, -0 / 1 ); 139 array[item++] = new TestCase( SECTION, "-0 / -1", 0, -0 / -1 ); 140 141 // Division of a non-zero finite value by a zero results in a signed infinity. 142 143 array[item++] = new TestCase( SECTION, "1 / 0", Number.POSITIVE_INFINITY, 1/0 ); 144 array[item++] = new TestCase( SECTION, "1 / -0", Number.NEGATIVE_INFINITY, 1/-0 ); 145 array[item++] = new TestCase( SECTION, "-1 / 0", Number.NEGATIVE_INFINITY, -1/0 ); 146 array[item++] = new TestCase( SECTION, "-1 / -0", Number.POSITIVE_INFINITY, -1/-0 ); 147 148 array[item++] = new TestCase( SECTION, "0 / Number.POSITIVE_INFINITY", 0, 0 / Number.POSITIVE_INFINITY ); 149 array[item++] = new TestCase( SECTION, "0 / Number.NEGATIVE_INFINITY", -0, 0 / Number.NEGATIVE_INFINITY ); 150 array[item++] = new TestCase( SECTION, "-0 / Number.POSITIVE_INFINITY", -0, -0 / Number.POSITIVE_INFINITY ); 151 array[item++] = new TestCase( SECTION, "-0 / Number.NEGATIVE_INFINITY", 0, -0 / Number.NEGATIVE_INFINITY ); 152 153 return ( array ); 154} 155