| 1 | /*
|
|---|
| 2 | * Copyright (C) 1999-2000 Harri Porten ([email protected])
|
|---|
| 3 | * Copyright (C) 2008 Apple Inc. All Rights Reserved.
|
|---|
| 4 | *
|
|---|
| 5 | * This library is free software; you can redistribute it and/or
|
|---|
| 6 | * modify it under the terms of the GNU Library General Public
|
|---|
| 7 | * License as published by the Free Software Foundation; either
|
|---|
| 8 | * version 2 of the License, or (at your option) any later version.
|
|---|
| 9 | *
|
|---|
| 10 | * This library is distributed in the hope that it will be useful,
|
|---|
| 11 | * but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|---|
| 12 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|---|
| 13 | * Library General Public License for more details.
|
|---|
| 14 | *
|
|---|
| 15 | * You should have received a copy of the GNU Library General Public License
|
|---|
| 16 | * along with this library; see the file COPYING.LIB. If not, write to
|
|---|
| 17 | * the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
|
|---|
| 18 | * Boston, MA 02110-1301, USA.
|
|---|
| 19 | *
|
|---|
| 20 | */
|
|---|
| 21 |
|
|---|
| 22 | #include "config.h"
|
|---|
| 23 | #include "operations.h"
|
|---|
| 24 |
|
|---|
| 25 | #include "Error.h"
|
|---|
| 26 | #include "JSObject.h"
|
|---|
| 27 | #include "JSString.h"
|
|---|
| 28 | #include <math.h>
|
|---|
| 29 | #include <stdio.h>
|
|---|
| 30 | #include <wtf/MathExtras.h>
|
|---|
| 31 |
|
|---|
| 32 | #if HAVE(FLOAT_H)
|
|---|
| 33 | #include <float.h>
|
|---|
| 34 | #endif
|
|---|
| 35 |
|
|---|
| 36 | namespace KJS {
|
|---|
| 37 |
|
|---|
| 38 | // ECMA 11.9.3
|
|---|
| 39 | bool equal(ExecState* exec, JSValue* v1, JSValue* v2)
|
|---|
| 40 | {
|
|---|
| 41 | startOver:
|
|---|
| 42 | if (JSImmediate::areBothImmediateNumbers(v1, v2))
|
|---|
| 43 | return v1 == v2;
|
|---|
| 44 |
|
|---|
| 45 | if (v1->isNumber() && v2->isNumber())
|
|---|
| 46 | return v1->uncheckedGetNumber() == v2->uncheckedGetNumber();
|
|---|
| 47 |
|
|---|
| 48 | bool s1 = v1->isString();
|
|---|
| 49 | bool s2 = v2->isString();
|
|---|
| 50 | if (s1 && s2)
|
|---|
| 51 | return static_cast<JSString*>(v1)->value() == static_cast<JSString*>(v2)->value();
|
|---|
| 52 |
|
|---|
| 53 | if (v1->isUndefinedOrNull()) {
|
|---|
| 54 | if (v2->isUndefinedOrNull())
|
|---|
| 55 | return true;
|
|---|
| 56 | if (!v2->isObject())
|
|---|
| 57 | return false;
|
|---|
| 58 | return static_cast<JSObject*>(v2)->masqueradeAsUndefined();
|
|---|
| 59 | }
|
|---|
| 60 |
|
|---|
| 61 | if (v2->isUndefinedOrNull()) {
|
|---|
| 62 | if (!v1->isObject())
|
|---|
| 63 | return false;
|
|---|
| 64 | return static_cast<JSObject*>(v1)->masqueradeAsUndefined();
|
|---|
| 65 | }
|
|---|
| 66 |
|
|---|
| 67 | if (v1->isObject()) {
|
|---|
| 68 | if (v2->isObject())
|
|---|
| 69 | return v1 == v2;
|
|---|
| 70 | JSValue* p1 = v1->toPrimitive(exec);
|
|---|
| 71 | if (exec->hadException())
|
|---|
| 72 | return false;
|
|---|
| 73 | v1 = p1;
|
|---|
| 74 | goto startOver;
|
|---|
| 75 | }
|
|---|
| 76 |
|
|---|
| 77 | if (v2->isObject()) {
|
|---|
| 78 | JSValue* p2 = v2->toPrimitive(exec);
|
|---|
| 79 | if (exec->hadException())
|
|---|
| 80 | return false;
|
|---|
| 81 | v2 = p2;
|
|---|
| 82 | goto startOver;
|
|---|
| 83 | }
|
|---|
| 84 |
|
|---|
| 85 | if (s1 || s2) {
|
|---|
| 86 | double d1 = v1->toNumber(exec);
|
|---|
| 87 | double d2 = v2->toNumber(exec);
|
|---|
| 88 | return d1 == d2;
|
|---|
| 89 | }
|
|---|
| 90 |
|
|---|
| 91 | if (v1->isBoolean()) {
|
|---|
| 92 | if (v2->isNumber())
|
|---|
| 93 | return v1->getBoolean() == v2->uncheckedGetNumber();
|
|---|
| 94 | } else if (v2->isBoolean()) {
|
|---|
| 95 | if (v1->isNumber())
|
|---|
| 96 | return v1->uncheckedGetNumber() == v2->getBoolean();
|
|---|
| 97 | }
|
|---|
| 98 |
|
|---|
| 99 | return v1 == v2;
|
|---|
| 100 | }
|
|---|
| 101 |
|
|---|
| 102 | bool strictEqual(JSValue* v1, JSValue* v2)
|
|---|
| 103 | {
|
|---|
| 104 | if (JSImmediate::isEitherImmediate(v1, v2)) {
|
|---|
| 105 | if (v1 == v2)
|
|---|
| 106 | return true;
|
|---|
| 107 |
|
|---|
| 108 | // The reason we can't just return false here is that 0 === -0,
|
|---|
| 109 | // and while the former is an immediate number, the latter is not.
|
|---|
| 110 | if (v1 == JSImmediate::from(0))
|
|---|
| 111 | return !JSImmediate::isImmediate(v2)
|
|---|
| 112 | && static_cast<JSCell*>(v2)->isNumber()
|
|---|
| 113 | && static_cast<JSNumberCell*>(v2)->value() == 0;
|
|---|
| 114 | return v2 == JSImmediate::from(0)
|
|---|
| 115 | && !JSImmediate::isImmediate(v1)
|
|---|
| 116 | && static_cast<JSCell*>(v1)->isNumber()
|
|---|
| 117 | && static_cast<JSNumberCell*>(v1)->value() == 0;
|
|---|
| 118 | }
|
|---|
| 119 |
|
|---|
| 120 | if (static_cast<JSCell*>(v1)->isNumber())
|
|---|
| 121 | return static_cast<JSCell*>(v2)->isNumber()
|
|---|
| 122 | && static_cast<JSNumberCell*>(v1)->value() == static_cast<JSNumberCell*>(v2)->value();
|
|---|
| 123 |
|
|---|
| 124 | if (static_cast<JSCell*>(v1)->isString())
|
|---|
| 125 | return static_cast<JSCell*>(v2)->isString()
|
|---|
| 126 | && static_cast<JSString*>(v1)->value() == static_cast<JSString*>(v2)->value();
|
|---|
| 127 |
|
|---|
| 128 | return v1 == v2;
|
|---|
| 129 | }
|
|---|
| 130 |
|
|---|
| 131 | JSValue* throwOutOfMemoryError(ExecState* exec)
|
|---|
| 132 | {
|
|---|
| 133 | JSObject* error = Error::create(exec, GeneralError, "Out of memory");
|
|---|
| 134 | exec->setException(error);
|
|---|
| 135 | return error;
|
|---|
| 136 | }
|
|---|
| 137 |
|
|---|
| 138 | } // namespace KJS
|
|---|
