Source/JavaScriptCore/runtime/JSCJSValue.cpp

   1 /*
   2  *  Copyright (C) 1999-2001 Harri Porten (porten@kde.org)
   3  *  Copyright (C) 2001 Peter Kelly (pmk@post.com)
   4  *  Copyright (C) 2003, 2007-2008, 2012, 2016 Apple Inc. All rights reserved.
   5  *
   6  *  This library is free software; you can redistribute it and/or
   7  *  modify it under the terms of the GNU Library General Public
   8  *  License as published by the Free Software Foundation; either
   9  *  version 2 of the License, or (at your option) any later version.
  10  *
  11  *  This library is distributed in the hope that it will be useful,
  12  *  but WITHOUT ANY WARRANTY; without even the implied warranty of
  13  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  14  *  Library General Public License for more details.
  15  *
  16  *  You should have received a copy of the GNU Library General Public License
  17  *  along with this library; see the file COPYING.LIB.  If not, write to
  18  *  the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
  19  *  Boston, MA 02110-1301, USA.
  20  *
  21  */
  22
  23 #include "config.h"
  24 #include "JSCJSValue.h"
  25
  26 #include "BooleanConstructor.h"
  27 #include "BooleanPrototype.h"
  28 #include "CustomGetterSetter.h"
  29 #include "Error.h"
  30 #include "ExceptionHelpers.h"
  31 #include "GetterSetter.h"
  32 #include "JSCInlines.h"
  33 #include "JSFunction.h"
  34 #include "JSGlobalObject.h"
  35 #include "NumberObject.h"
  36 #include <wtf/MathExtras.h>
  37 #include <wtf/StringExtras.h>
  38
  39 namespace JSC {
  40
  41 // ECMA 9.4
  42 double JSValue::toInteger(ExecState* exec) const
  43 {
  44     if (isInt32())
  45         return asInt32();
  46     double d = toNumber(exec);
  47     return std::isnan(d) ? 0.0 : trunc(d);
  48 }
  49
  50 double JSValue::toIntegerPreserveNaN(ExecState* exec) const
  51 {
  52     if (isInt32())
  53         return asInt32();
  54     return trunc(toNumber(exec));
  55 }
  56
  57 double JSValue::toLength(ExecState* exec) const
  58 {
  59     // ECMA 7.1.15
  60     // http://www.ecma-international.org/ecma-262/6.0/#sec-tolength
  61     double d = toInteger(exec);
  62     if (d <= 0)
  63         return 0.0;
  64     if (std::isinf(d))
  65         return 9007199254740991.0; // 2 ** 53 - 1
  66     return std::min(d, 9007199254740991.0);
  67 }
  68
  69 double JSValue::toNumberSlowCase(ExecState* exec) const
  70 {
  71     ASSERT(!isInt32() && !isDouble());
  72     if (isCell())
  73         return asCell()->toNumber(exec);
  74     if (isTrue())
  75         return 1.0;
  76     return isUndefined() ? PNaN : 0; // null and false both convert to 0.
  77 }
  78
  79 Optional<double> JSValue::toNumberFromPrimitive() const
  80 {
  81     if (isEmpty())
  82         return Nullopt;
  83     if (isNumber())
  84         return asNumber();
  85     if (isBoolean())
  86         return asBoolean();
  87     if (isUndefined())
  88         return PNaN;
  89     if (isNull())
  90         return 0;
  91     return Nullopt;
  92 }
  93
  94 JSObject* JSValue::toObjectSlowCase(ExecState* exec, JSGlobalObject* globalObject) const
  95 {
  96     VM& vm = exec->vm();
  97     auto scope = DECLARE_THROW_SCOPE(vm);
  98     ASSERT(!isCell());
  99
 100     if (isInt32() || isDouble())
 101         return constructNumber(exec, globalObject, asValue());
 102     if (isTrue() || isFalse())
 103         return constructBooleanFromImmediateBoolean(exec, globalObject, asValue());
 104
 105     ASSERT(isUndefinedOrNull());
 106     throwException(exec, scope, createNotAnObjectError(exec, *this));
 107     return nullptr;
 108 }
 109
 110 JSValue JSValue::toThisSlowCase(ExecState* exec, ECMAMode ecmaMode) const
 111 {
 112     ASSERT(!isCell());
 113
 114     if (ecmaMode == StrictMode)
 115         return *this;
 116
 117     if (isInt32() || isDouble())
 118         return constructNumber(exec, exec->lexicalGlobalObject(), asValue());
 119     if (isTrue() || isFalse())
 120         return constructBooleanFromImmediateBoolean(exec, exec->lexicalGlobalObject(), asValue());
 121     ASSERT(isUndefinedOrNull());
 122     return exec->globalThisValue();
 123 }
 124
 125 JSObject* JSValue::synthesizePrototype(ExecState* exec) const
 126 {
 127     VM& vm = exec->vm();
 128     auto scope = DECLARE_THROW_SCOPE(vm);
 129
 130     if (isCell()) {
 131         if (isString())
 132             return exec->lexicalGlobalObject()->stringPrototype();
 133         ASSERT(isSymbol());
 134         return exec->lexicalGlobalObject()->symbolPrototype();
 135     }
 136
 137     if (isNumber())
 138         return exec->lexicalGlobalObject()->numberPrototype();
 139     if (isBoolean())
 140         return exec->lexicalGlobalObject()->booleanPrototype();
 141
 142     ASSERT(isUndefinedOrNull());
 143     throwException(exec, scope, createNotAnObjectError(exec, *this));
 144     return nullptr;
 145 }
 146
 147 // ECMA 8.7.2
 148 bool JSValue::putToPrimitive(ExecState* exec, PropertyName propertyName, JSValue value, PutPropertySlot& slot)
 149 {
 150     VM& vm = exec->vm();
 151     auto scope = DECLARE_THROW_SCOPE(vm);
 152
 153     if (Optional<uint32_t> index = parseIndex(propertyName))
 154         return putToPrimitiveByIndex(exec, index.value(), value, slot.isStrictMode());
 155
 156     // Check if there are any setters or getters in the prototype chain
 157     JSObject* obj = synthesizePrototype(exec);
 158     if (UNLIKELY(!obj))
 159         return false;
 160     JSValue prototype;
 161     if (propertyName != vm.propertyNames->underscoreProto) {
 162         for (; !obj->structure()->hasReadOnlyOrGetterSetterPropertiesExcludingProto(); obj = asObject(prototype)) {
 163             prototype = obj->getPrototypeDirect();
 164             if (prototype.isNull())
 165                 return reject(exec, scope, slot.isStrictMode(), ASCIILiteral(ReadonlyPropertyWriteError));
 166         }
 167     }
 168
 169     for (; ; obj = asObject(prototype)) {
 170         unsigned attributes;
 171         PropertyOffset offset = obj->structure()->get(vm, propertyName, attributes);
 172         if (offset != invalidOffset) {
 173             if (attributes & ReadOnly)
 174                 return reject(exec, scope, slot.isStrictMode(), ASCIILiteral(ReadonlyPropertyWriteError));
 175
 176             JSValue gs = obj->getDirect(offset);
 177             if (gs.isGetterSetter())
 178                 return callSetter(exec, *this, gs, value, slot.isStrictMode() ? StrictMode : NotStrictMode);
 179
 180             if (gs.isCustomGetterSetter())
 181                 return callCustomSetter(exec, gs, attributes & CustomAccessor, obj, slot.thisValue(), value);
 182
 183             // If there's an existing property on the object or one of its
 184             // prototypes it should be replaced, so break here.
 185             break;
 186         }
 187
 188         prototype = obj->getPrototype(vm, exec);
 189         RETURN_IF_EXCEPTION(scope, false);
 190         if (prototype.isNull())
 191             break;
 192     }
 193
 194     return reject(exec, scope, slot.isStrictMode(), ASCIILiteral(ReadonlyPropertyWriteError));
 195 }
 196
 197 bool JSValue::putToPrimitiveByIndex(ExecState* exec, unsigned propertyName, JSValue value, bool shouldThrow)
 198 {
 199     VM& vm = exec->vm();
 200     auto scope = DECLARE_THROW_SCOPE(vm);
 201
 202     if (propertyName > MAX_ARRAY_INDEX) {
 203         PutPropertySlot slot(*this, shouldThrow);
 204         return putToPrimitive(exec, Identifier::from(exec, propertyName), value, slot);
 205     }
 206
 207     JSObject* prototype = synthesizePrototype(exec);
 208     if (UNLIKELY(!prototype)) {
 209         ASSERT(scope.exception());
 210         return false;
 211     }
 212     bool putResult = false;
 213     if (prototype->attemptToInterceptPutByIndexOnHoleForPrototype(exec, *this, propertyName, value, shouldThrow, putResult))
 214         return putResult;
 215
 216     return reject(exec, scope, shouldThrow, ASCIILiteral(ReadonlyPropertyWriteError));
 217 }
 218
 219 void JSValue::dump(PrintStream& out) const
 220 {
 221     dumpInContext(out, 0);
 222 }
 223
 224 void JSValue::dumpInContext(PrintStream& out, DumpContext* context) const
 225 {
 226     dumpInContextAssumingStructure(
 227         out, context, (!!*this && isCell()) ? asCell()->structure() : nullptr);
 228 }
 229
 230 void JSValue::dumpInContextAssumingStructure(
 231     PrintStream& out, DumpContext* context, Structure* structure) const
 232 {
 233     if (!*this)
 234         out.print("<JSValue()>");
 235     else if (isInt32())
 236         out.printf("Int32: %d", asInt32());
 237     else if (isDouble()) {
 238 #if USE(JSVALUE64)
 239         out.printf("Double: %lld, %lf", (long long)reinterpretDoubleToInt64(asDouble()), asDouble());
 240 #else
 241         union {
 242             double asDouble;
 243             uint32_t asTwoInt32s[2];
 244         } u;
 245         u.asDouble = asDouble();
 246         out.printf("Double: %08x:%08x, %lf", u.asTwoInt32s[1], u.asTwoInt32s[0], asDouble());
 247 #endif
 248     } else if (isCell()) {
 249         if (structure->classInfo()->isSubClassOf(JSString::info())) {
 250             JSString* string = jsCast<JSString*>(asCell());
 251             out.print("String");
 252             if (string->isRope())
 253                 out.print(" (rope)");
 254             const StringImpl* impl = string->tryGetValueImpl();
 255             if (impl) {
 256                 if (impl->isAtomic())
 257                     out.print(" (atomic)");
 258                 if (impl->isAtomic())
 259                     out.print(" (identifier)");
 260                 if (impl->isSymbol())
 261                     out.print(" (symbol)");
 262             } else
 263                 out.print(" (unresolved)");
 264             out.print(": ", impl);
 265         } else if (structure->classInfo()->isSubClassOf(Symbol::info()))
 266             out.print("Symbol: ", RawPointer(asCell()));
 267         else if (structure->classInfo()->isSubClassOf(Structure::info()))
 268             out.print("Structure: ", inContext(*jsCast<Structure*>(asCell()), context));
 269         else if (structure->classInfo()->isSubClassOf(JSObject::info())) {
 270             out.print("Object: ", RawPointer(asCell()));
 271             out.print(" with butterfly ", RawPointer(asObject(asCell())->butterfly()));
 272             out.print(" (", inContext(*structure, context), ")");
 273         } else {
 274             out.print("Cell: ", RawPointer(asCell()));
 275             out.print(" (", inContext(*structure, context), ")");
 276         }
 277 #if USE(JSVALUE64)
 278         out.print(", ID: ", asCell()->structureID());
 279 #endif
 280     } else if (isTrue())
 281         out.print("True");
 282     else if (isFalse())
 283         out.print("False");
 284     else if (isNull())
 285         out.print("Null");
 286     else if (isUndefined())
 287         out.print("Undefined");
 288     else
 289         out.print("INVALID");
 290 }
 291
 292 void JSValue::dumpForBacktrace(PrintStream& out) const
 293 {
 294     if (!*this)
 295         out.print("<JSValue()>");
 296     else if (isInt32())
 297         out.printf("%d", asInt32());
 298     else if (isDouble())
 299         out.printf("%lf", asDouble());
 300     else if (isCell()) {
 301         if (asCell()->inherits(JSString::info())) {
 302             JSString* string = jsCast<JSString*>(asCell());
 303             const StringImpl* impl = string->tryGetValueImpl();
 304             if (impl)
 305                 out.print("\"", impl, "\"");
 306             else
 307                 out.print("(unresolved string)");
 308         } else if (asCell()->inherits(Structure::info())) {
 309             out.print("Structure[ ", asCell()->structure()->classInfo()->className);
 310 #if USE(JSVALUE64)
 311             out.print(" ID: ", asCell()->structureID());
 312 #endif
 313             out.print("]: ", RawPointer(asCell()));
 314         } else {
 315             out.print("Cell[", asCell()->structure()->classInfo()->className);
 316 #if USE(JSVALUE64)
 317             out.print(" ID: ", asCell()->structureID());
 318 #endif
 319             out.print("]: ", RawPointer(asCell()));
 320         }
 321     } else if (isTrue())
 322         out.print("True");
 323     else if (isFalse())
 324         out.print("False");
 325     else if (isNull())
 326         out.print("Null");
 327     else if (isUndefined())
 328         out.print("Undefined");
 329     else
 330         out.print("INVALID");
 331 }
 332
 333 bool JSValue::isValidCallee()
 334 {
 335     return asObject(asCell())->globalObject();
 336 }
 337
 338 JSString* JSValue::toStringSlowCase(ExecState* exec, bool returnEmptyStringOnError) const
 339 {
 340     VM& vm = exec->vm();
 341     auto scope = DECLARE_THROW_SCOPE(vm);
 342
 343     auto errorValue = [&] () -> JSString* {
 344         if (returnEmptyStringOnError)
 345             return jsEmptyString(exec);
 346         return nullptr;
 347     };
 348
 349     ASSERT(!isString());
 350     if (isInt32()) {
 351         auto integer = asInt32();
 352         if (static_cast<unsigned>(integer) <= 9)
 353             return vm.smallStrings.singleCharacterString(integer + '0');
 354         return jsNontrivialString(&vm, vm.numericStrings.add(integer));
 355     }
 356     if (isDouble())
 357         return jsString(&vm, vm.numericStrings.add(asDouble()));
 358     if (isTrue())
 359         return vm.smallStrings.trueString();
 360     if (isFalse())
 361         return vm.smallStrings.falseString();
 362     if (isNull())
 363         return vm.smallStrings.nullString();
 364     if (isUndefined())
 365         return vm.smallStrings.undefinedString();
 366     if (isSymbol()) {
 367         throwTypeError(exec, scope, ASCIILiteral("Cannot convert a symbol to a string"));
 368         return errorValue();
 369     }
 370
 371     ASSERT(isCell());
 372     JSValue value = asCell()->toPrimitive(exec, PreferString);
 373     RETURN_IF_EXCEPTION(scope, errorValue());
 374     ASSERT(!value.isObject());
 375     JSString* result = value.toString(exec);
 376     RETURN_IF_EXCEPTION(scope, errorValue());
 377     return result;
 378 }
 379
 380 String JSValue::toWTFStringSlowCase(ExecState* exec) const
 381 {
 382     VM& vm = exec->vm();
 383     if (isInt32())
 384         return vm.numericStrings.add(asInt32());
 385     if (isDouble())
 386         return vm.numericStrings.add(asDouble());
 387     if (isTrue())
 388         return vm.propertyNames->trueKeyword.string();
 389     if (isFalse())
 390         return vm.propertyNames->falseKeyword.string();
 391     if (isNull())
 392         return vm.propertyNames->nullKeyword.string();
 393     if (isUndefined())
 394         return vm.propertyNames->undefinedKeyword.string();
 395     return toString(exec)->value(exec);
 396 }
 397
 398 } // namespace JSC