| /* |
| * Copyright (C) 1999-2000 Harri Porten (porten@kde.org) |
| * Copyright (C) 2008-2017 Apple Inc. All rights reserved. |
| * |
| * This library is free software; you can redistribute it and/or |
| * modify it under the terms of the GNU Lesser General Public |
| * License as published by the Free Software Foundation; either |
| * version 2 of the License, or (at your option) any later version. |
| * |
| * This library is distributed in the hope that it will be useful, |
| * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
| * Lesser General Public License for more details. |
| * |
| * You should have received a copy of the GNU Lesser General Public |
| * License along with this library; if not, write to the Free Software |
| * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA |
| * |
| */ |
| |
| #include "config.h" |
| #include "ObjectConstructor.h" |
| |
| #include "BuiltinNames.h" |
| #include "ButterflyInlines.h" |
| #include "Error.h" |
| #include "ExceptionHelpers.h" |
| #include "JSArray.h" |
| #include "JSCInlines.h" |
| #include "JSFunction.h" |
| #include "JSGlobalObject.h" |
| #include "JSGlobalObjectFunctions.h" |
| #include "Lookup.h" |
| #include "ObjectPrototype.h" |
| #include "PropertyDescriptor.h" |
| #include "PropertyNameArray.h" |
| #include "StackVisitor.h" |
| #include "Symbol.h" |
| |
| namespace JSC { |
| |
| EncodedJSValue JSC_HOST_CALL objectConstructorAssign(ExecState*); |
| EncodedJSValue JSC_HOST_CALL objectConstructorValues(ExecState*); |
| EncodedJSValue JSC_HOST_CALL objectConstructorGetPrototypeOf(ExecState*); |
| EncodedJSValue JSC_HOST_CALL objectConstructorSetPrototypeOf(ExecState*); |
| EncodedJSValue JSC_HOST_CALL objectConstructorGetOwnPropertyNames(ExecState*); |
| EncodedJSValue JSC_HOST_CALL objectConstructorDefineProperty(ExecState*); |
| EncodedJSValue JSC_HOST_CALL objectConstructorDefineProperties(ExecState*); |
| EncodedJSValue JSC_HOST_CALL objectConstructorCreate(ExecState*); |
| EncodedJSValue JSC_HOST_CALL objectConstructorSeal(ExecState*); |
| EncodedJSValue JSC_HOST_CALL objectConstructorFreeze(ExecState*); |
| EncodedJSValue JSC_HOST_CALL objectConstructorPreventExtensions(ExecState*); |
| EncodedJSValue JSC_HOST_CALL objectConstructorIsSealed(ExecState*); |
| EncodedJSValue JSC_HOST_CALL objectConstructorIsFrozen(ExecState*); |
| EncodedJSValue JSC_HOST_CALL objectConstructorIsExtensible(ExecState*); |
| EncodedJSValue JSC_HOST_CALL objectConstructorIs(ExecState*); |
| |
| } |
| |
| #include "ObjectConstructor.lut.h" |
| |
| namespace JSC { |
| |
| STATIC_ASSERT_IS_TRIVIALLY_DESTRUCTIBLE(ObjectConstructor); |
| |
| const ClassInfo ObjectConstructor::s_info = { "Function", &InternalFunction::s_info, &objectConstructorTable, nullptr, CREATE_METHOD_TABLE(ObjectConstructor) }; |
| |
| /* Source for ObjectConstructor.lut.h |
| @begin objectConstructorTable |
| getPrototypeOf objectConstructorGetPrototypeOf DontEnum|Function 1 ObjectGetPrototypeOfIntrinsic |
| setPrototypeOf objectConstructorSetPrototypeOf DontEnum|Function 2 |
| getOwnPropertyDescriptor objectConstructorGetOwnPropertyDescriptor DontEnum|Function 2 |
| getOwnPropertyDescriptors objectConstructorGetOwnPropertyDescriptors DontEnum|Function 1 |
| getOwnPropertyNames objectConstructorGetOwnPropertyNames DontEnum|Function 1 |
| getOwnPropertySymbols objectConstructorGetOwnPropertySymbols DontEnum|Function 1 |
| keys objectConstructorKeys DontEnum|Function 1 |
| defineProperty objectConstructorDefineProperty DontEnum|Function 3 |
| defineProperties objectConstructorDefineProperties DontEnum|Function 2 |
| create objectConstructorCreate DontEnum|Function 2 |
| seal objectConstructorSeal DontEnum|Function 1 |
| freeze objectConstructorFreeze DontEnum|Function 1 |
| preventExtensions objectConstructorPreventExtensions DontEnum|Function 1 |
| isSealed objectConstructorIsSealed DontEnum|Function 1 |
| isFrozen objectConstructorIsFrozen DontEnum|Function 1 |
| isExtensible objectConstructorIsExtensible DontEnum|Function 1 |
| is objectConstructorIs DontEnum|Function 2 |
| assign objectConstructorAssign DontEnum|Function 2 |
| values objectConstructorValues DontEnum|Function 1 |
| entries JSBuiltin DontEnum|Function 1 |
| @end |
| */ |
| |
| |
| static EncodedJSValue JSC_HOST_CALL callObjectConstructor(ExecState*); |
| static EncodedJSValue JSC_HOST_CALL constructWithObjectConstructor(ExecState*); |
| |
| ObjectConstructor::ObjectConstructor(VM& vm, Structure* structure) |
| : InternalFunction(vm, structure, callObjectConstructor, constructWithObjectConstructor) |
| { |
| } |
| |
| void ObjectConstructor::finishCreation(VM& vm, JSGlobalObject* globalObject, ObjectPrototype* objectPrototype) |
| { |
| Base::finishCreation(vm, objectPrototype->classInfo(vm)->className); |
| |
| putDirectWithoutTransition(vm, vm.propertyNames->prototype, objectPrototype, PropertyAttribute::DontEnum | PropertyAttribute::DontDelete | PropertyAttribute::ReadOnly); |
| putDirectWithoutTransition(vm, vm.propertyNames->length, jsNumber(1), PropertyAttribute::ReadOnly | PropertyAttribute::DontEnum); |
| |
| JSC_NATIVE_FUNCTION_WITHOUT_TRANSITION(vm.propertyNames->builtinNames().createPrivateName(), objectConstructorCreate, static_cast<unsigned>(PropertyAttribute::DontEnum), 2); |
| JSC_NATIVE_FUNCTION_WITHOUT_TRANSITION(vm.propertyNames->builtinNames().definePropertyPrivateName(), objectConstructorDefineProperty, static_cast<unsigned>(PropertyAttribute::DontEnum), 3); |
| JSC_NATIVE_FUNCTION_WITHOUT_TRANSITION(vm.propertyNames->builtinNames().getPrototypeOfPrivateName(), objectConstructorGetPrototypeOf, static_cast<unsigned>(PropertyAttribute::DontEnum), 1); |
| JSC_NATIVE_FUNCTION_WITHOUT_TRANSITION(vm.propertyNames->builtinNames().getOwnPropertyNamesPrivateName(), objectConstructorGetOwnPropertyNames, static_cast<unsigned>(PropertyAttribute::DontEnum), 1); |
| } |
| |
| // ES 19.1.1.1 Object([value]) |
| static ALWAYS_INLINE JSObject* constructObject(ExecState* exec, JSValue newTarget) |
| { |
| ObjectConstructor* objectConstructor = jsCast<ObjectConstructor*>(exec->jsCallee()); |
| JSGlobalObject* globalObject = objectConstructor->globalObject(); |
| VM& vm = globalObject->vm(); |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| |
| // We need to check newTarget condition in this caller side instead of InternalFunction::createSubclassStructure side. |
| // Since if we found this condition is met, we should not fall into the type conversion in the step 3. |
| |
| // 1. If NewTarget is neither undefined nor the active function, then |
| if (newTarget && newTarget != objectConstructor) { |
| // a. Return ? OrdinaryCreateFromConstructor(NewTarget, "%ObjectPrototype%"). |
| Structure* objectStructure = InternalFunction::createSubclassStructure(exec, newTarget, globalObject->objectStructureForObjectConstructor()); |
| RETURN_IF_EXCEPTION(scope, nullptr); |
| return constructEmptyObject(exec, objectStructure); |
| } |
| |
| // 2. If value is null, undefined or not supplied, return ObjectCreate(%ObjectPrototype%). |
| ArgList args(exec); |
| JSValue arg = args.at(0); |
| if (arg.isUndefinedOrNull()) |
| return constructEmptyObject(exec, globalObject->objectStructureForObjectConstructor()); |
| |
| // 3. Return ToObject(value). |
| scope.release(); |
| return arg.toObject(exec, globalObject); |
| } |
| |
| static EncodedJSValue JSC_HOST_CALL constructWithObjectConstructor(ExecState* exec) |
| { |
| return JSValue::encode(constructObject(exec, exec->newTarget())); |
| } |
| |
| static EncodedJSValue JSC_HOST_CALL callObjectConstructor(ExecState* exec) |
| { |
| return JSValue::encode(constructObject(exec, JSValue())); |
| } |
| |
| EncodedJSValue JSC_HOST_CALL objectConstructorGetPrototypeOf(ExecState* exec) |
| { |
| VM& vm = exec->vm(); |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| JSObject* object = exec->argument(0).toObject(exec); |
| RETURN_IF_EXCEPTION(scope, encodedJSValue()); |
| scope.release(); |
| return JSValue::encode(object->getPrototype(vm, exec)); |
| } |
| |
| EncodedJSValue JSC_HOST_CALL objectConstructorSetPrototypeOf(ExecState* exec) |
| { |
| VM& vm = exec->vm(); |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| |
| JSValue objectValue = exec->argument(0); |
| if (objectValue.isUndefinedOrNull()) |
| return throwVMTypeError(exec, scope, ASCIILiteral("Cannot set prototype of undefined or null")); |
| |
| JSValue protoValue = exec->argument(1); |
| if (!protoValue.isObject() && !protoValue.isNull()) |
| return throwVMTypeError(exec, scope, ASCIILiteral("Prototype value can only be an object or null")); |
| |
| JSObject* object = objectValue.toObject(exec); |
| RETURN_IF_EXCEPTION(scope, encodedJSValue()); |
| |
| bool shouldThrowIfCantSet = true; |
| bool didSetPrototype = object->setPrototype(vm, exec, protoValue, shouldThrowIfCantSet); |
| EXCEPTION_ASSERT_UNUSED(didSetPrototype, scope.exception() || didSetPrototype); |
| return JSValue::encode(objectValue); |
| } |
| |
| JSValue objectConstructorGetOwnPropertyDescriptor(ExecState* exec, JSObject* object, const Identifier& propertyName) |
| { |
| VM& vm = exec->vm(); |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| PropertyDescriptor descriptor; |
| if (!object->getOwnPropertyDescriptor(exec, propertyName, descriptor)) { |
| scope.release(); |
| return jsUndefined(); |
| } |
| RETURN_IF_EXCEPTION(scope, { }); |
| |
| JSObject* result = constructObjectFromPropertyDescriptor(exec, descriptor); |
| EXCEPTION_ASSERT(!!scope.exception() == !result); |
| if (!result) |
| return jsUndefined(); |
| return result; |
| } |
| |
| JSValue objectConstructorGetOwnPropertyDescriptors(ExecState* exec, JSObject* object) |
| { |
| VM& vm = exec->vm(); |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| PropertyNameArray properties(&vm, PropertyNameMode::StringsAndSymbols, PrivateSymbolMode::Exclude); |
| object->methodTable(vm)->getOwnPropertyNames(object, exec, properties, EnumerationMode(DontEnumPropertiesMode::Include)); |
| RETURN_IF_EXCEPTION(scope, { }); |
| |
| JSObject* descriptors = constructEmptyObject(exec); |
| RETURN_IF_EXCEPTION(scope, { }); |
| |
| for (auto& propertyName : properties) { |
| PropertyDescriptor descriptor; |
| bool didGetDescriptor = object->getOwnPropertyDescriptor(exec, propertyName, descriptor); |
| RETURN_IF_EXCEPTION(scope, { }); |
| |
| if (!didGetDescriptor) |
| continue; |
| |
| JSObject* fromDescriptor = constructObjectFromPropertyDescriptor(exec, descriptor); |
| EXCEPTION_ASSERT(!!scope.exception() == !fromDescriptor); |
| if (!fromDescriptor) |
| return jsUndefined(); |
| |
| PutPropertySlot slot(descriptors); |
| descriptors->putOwnDataPropertyMayBeIndex(exec, propertyName, fromDescriptor, slot); |
| scope.assertNoException(); |
| } |
| |
| return descriptors; |
| } |
| |
| EncodedJSValue JSC_HOST_CALL objectConstructorGetOwnPropertyDescriptor(ExecState* exec) |
| { |
| VM& vm = exec->vm(); |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| JSObject* object = exec->argument(0).toObject(exec); |
| RETURN_IF_EXCEPTION(scope, encodedJSValue()); |
| auto propertyName = exec->argument(1).toPropertyKey(exec); |
| RETURN_IF_EXCEPTION(scope, encodedJSValue()); |
| scope.release(); |
| return JSValue::encode(objectConstructorGetOwnPropertyDescriptor(exec, object, propertyName)); |
| } |
| |
| EncodedJSValue JSC_HOST_CALL objectConstructorGetOwnPropertyDescriptors(ExecState* exec) |
| { |
| VM& vm = exec->vm(); |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| JSObject* object = exec->argument(0).toObject(exec); |
| RETURN_IF_EXCEPTION(scope, encodedJSValue()); |
| scope.release(); |
| return JSValue::encode(objectConstructorGetOwnPropertyDescriptors(exec, object)); |
| } |
| |
| // FIXME: Use the enumeration cache. |
| EncodedJSValue JSC_HOST_CALL objectConstructorGetOwnPropertyNames(ExecState* exec) |
| { |
| VM& vm = exec->vm(); |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| JSObject* object = exec->argument(0).toObject(exec); |
| RETURN_IF_EXCEPTION(scope, encodedJSValue()); |
| scope.release(); |
| return JSValue::encode(ownPropertyKeys(exec, object, PropertyNameMode::Strings, DontEnumPropertiesMode::Include)); |
| } |
| |
| // FIXME: Use the enumeration cache. |
| EncodedJSValue JSC_HOST_CALL objectConstructorGetOwnPropertySymbols(ExecState* exec) |
| { |
| VM& vm = exec->vm(); |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| JSObject* object = exec->argument(0).toObject(exec); |
| RETURN_IF_EXCEPTION(scope, encodedJSValue()); |
| scope.release(); |
| return JSValue::encode(ownPropertyKeys(exec, object, PropertyNameMode::Symbols, DontEnumPropertiesMode::Include)); |
| } |
| |
| // FIXME: Use the enumeration cache. |
| EncodedJSValue JSC_HOST_CALL objectConstructorKeys(ExecState* exec) |
| { |
| VM& vm = exec->vm(); |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| JSObject* object = exec->argument(0).toObject(exec); |
| RETURN_IF_EXCEPTION(scope, encodedJSValue()); |
| scope.release(); |
| return JSValue::encode(ownPropertyKeys(exec, object, PropertyNameMode::Strings, DontEnumPropertiesMode::Exclude)); |
| } |
| |
| EncodedJSValue JSC_HOST_CALL objectConstructorAssign(ExecState* exec) |
| { |
| VM& vm = exec->vm(); |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| |
| JSValue targetValue = exec->argument(0); |
| if (targetValue.isUndefinedOrNull()) |
| return throwVMTypeError(exec, scope, ASCIILiteral("Object.assign requires that input parameter not be null or undefined")); |
| JSObject* target = targetValue.toObject(exec); |
| RETURN_IF_EXCEPTION(scope, { }); |
| |
| unsigned argsCount = exec->argumentCount(); |
| for (unsigned i = 1; i < argsCount; ++i) { |
| JSValue sourceValue = exec->uncheckedArgument(i); |
| if (sourceValue.isUndefinedOrNull()) |
| continue; |
| JSObject* source = sourceValue.toObject(exec); |
| RETURN_IF_EXCEPTION(scope, { }); |
| |
| PropertyNameArray properties(&vm, PropertyNameMode::StringsAndSymbols, PrivateSymbolMode::Exclude); |
| source->methodTable(vm)->getOwnPropertyNames(source, exec, properties, EnumerationMode(DontEnumPropertiesMode::Include)); |
| RETURN_IF_EXCEPTION(scope, { }); |
| |
| auto assign = [&] (PropertyName propertyName) { |
| PropertySlot slot(source, PropertySlot::InternalMethodType::GetOwnProperty); |
| bool hasProperty = source->methodTable(vm)->getOwnPropertySlot(source, exec, propertyName, slot); |
| RETURN_IF_EXCEPTION(scope, void()); |
| if (!hasProperty) |
| return; |
| if (slot.attributes() & PropertyAttribute::DontEnum) |
| return; |
| |
| JSValue value; |
| if (LIKELY(!slot.isTaintedByOpaqueObject())) |
| value = slot.getValue(exec, propertyName); |
| else |
| value = source->get(exec, propertyName); |
| RETURN_IF_EXCEPTION(scope, void()); |
| |
| PutPropertySlot putPropertySlot(target, true); |
| target->putInline(exec, propertyName, value, putPropertySlot); |
| }; |
| |
| // First loop is for strings. Second loop is for symbols to keep standardized order requirement in the spec. |
| // https://tc39.github.io/ecma262/#sec-ordinaryownpropertykeys |
| bool foundSymbol = false; |
| unsigned numProperties = properties.size(); |
| for (unsigned j = 0; j < numProperties; j++) { |
| const auto& propertyName = properties[j]; |
| if (propertyName.isSymbol()) { |
| foundSymbol = true; |
| continue; |
| } |
| |
| assign(propertyName); |
| RETURN_IF_EXCEPTION(scope, { }); |
| } |
| |
| if (foundSymbol) { |
| for (unsigned j = 0; j < numProperties; j++) { |
| const auto& propertyName = properties[j]; |
| if (propertyName.isSymbol()) { |
| ASSERT(!propertyName.isPrivateName()); |
| assign(propertyName); |
| RETURN_IF_EXCEPTION(scope, { }); |
| } |
| } |
| } |
| } |
| return JSValue::encode(target); |
| } |
| |
| EncodedJSValue JSC_HOST_CALL objectConstructorValues(ExecState* exec) |
| { |
| VM& vm = exec->vm(); |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| |
| JSValue targetValue = exec->argument(0); |
| if (targetValue.isUndefinedOrNull()) |
| return throwVMTypeError(exec, scope, ASCIILiteral("Object.values requires that input parameter not be null or undefined")); |
| JSObject* target = targetValue.toObject(exec); |
| RETURN_IF_EXCEPTION(scope, { }); |
| |
| JSArray* values = constructEmptyArray(exec, nullptr); |
| RETURN_IF_EXCEPTION(scope, { }); |
| |
| PropertyNameArray properties(&vm, PropertyNameMode::Strings, PrivateSymbolMode::Exclude); |
| target->methodTable(vm)->getOwnPropertyNames(target, exec, properties, EnumerationMode(DontEnumPropertiesMode::Include)); |
| RETURN_IF_EXCEPTION(scope, { }); |
| |
| unsigned index = 0; |
| auto addValue = [&] (PropertyName propertyName) { |
| PropertySlot slot(target, PropertySlot::InternalMethodType::GetOwnProperty); |
| bool hasProperty = target->methodTable(vm)->getOwnPropertySlot(target, exec, propertyName, slot); |
| RETURN_IF_EXCEPTION(scope, void()); |
| if (!hasProperty) |
| return; |
| if (slot.attributes() & PropertyAttribute::DontEnum) |
| return; |
| |
| JSValue value; |
| if (LIKELY(!slot.isTaintedByOpaqueObject())) |
| value = slot.getValue(exec, propertyName); |
| else |
| value = target->get(exec, propertyName); |
| RETURN_IF_EXCEPTION(scope, void()); |
| |
| values->putDirectIndex(exec, index++, value); |
| }; |
| |
| for (unsigned i = 0, numProperties = properties.size(); i < numProperties; i++) { |
| const auto& propertyName = properties[i]; |
| if (propertyName.isSymbol()) |
| continue; |
| |
| addValue(propertyName); |
| RETURN_IF_EXCEPTION(scope, { }); |
| } |
| |
| return JSValue::encode(values); |
| } |
| |
| |
| // ES6 6.2.4.5 ToPropertyDescriptor |
| // https://tc39.github.io/ecma262/#sec-topropertydescriptor |
| bool toPropertyDescriptor(ExecState* exec, JSValue in, PropertyDescriptor& desc) |
| { |
| VM& vm = exec->vm(); |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| |
| if (!in.isObject()) { |
| throwTypeError(exec, scope, ASCIILiteral("Property description must be an object.")); |
| return false; |
| } |
| JSObject* description = asObject(in); |
| |
| bool hasProperty = description->hasProperty(exec, vm.propertyNames->enumerable); |
| EXCEPTION_ASSERT(!scope.exception() || !hasProperty); |
| if (hasProperty) { |
| JSValue value = description->get(exec, vm.propertyNames->enumerable); |
| RETURN_IF_EXCEPTION(scope, false); |
| desc.setEnumerable(value.toBoolean(exec)); |
| } else |
| RETURN_IF_EXCEPTION(scope, false); |
| |
| hasProperty = description->hasProperty(exec, vm.propertyNames->configurable); |
| EXCEPTION_ASSERT(!scope.exception() || !hasProperty); |
| if (hasProperty) { |
| JSValue value = description->get(exec, vm.propertyNames->configurable); |
| RETURN_IF_EXCEPTION(scope, false); |
| desc.setConfigurable(value.toBoolean(exec)); |
| } else |
| RETURN_IF_EXCEPTION(scope, false); |
| |
| JSValue value; |
| hasProperty = description->hasProperty(exec, vm.propertyNames->value); |
| EXCEPTION_ASSERT(!scope.exception() || !hasProperty); |
| if (hasProperty) { |
| JSValue value = description->get(exec, vm.propertyNames->value); |
| RETURN_IF_EXCEPTION(scope, false); |
| desc.setValue(value); |
| } else |
| RETURN_IF_EXCEPTION(scope, false); |
| |
| hasProperty = description->hasProperty(exec, vm.propertyNames->writable); |
| EXCEPTION_ASSERT(!scope.exception() || !hasProperty); |
| if (hasProperty) { |
| JSValue value = description->get(exec, vm.propertyNames->writable); |
| RETURN_IF_EXCEPTION(scope, false); |
| desc.setWritable(value.toBoolean(exec)); |
| } else |
| RETURN_IF_EXCEPTION(scope, false); |
| |
| hasProperty = description->hasProperty(exec, vm.propertyNames->get); |
| EXCEPTION_ASSERT(!scope.exception() || !hasProperty); |
| if (hasProperty) { |
| JSValue get = description->get(exec, vm.propertyNames->get); |
| RETURN_IF_EXCEPTION(scope, false); |
| if (!get.isUndefined()) { |
| CallData callData; |
| if (getCallData(get, callData) == CallType::None) { |
| throwTypeError(exec, scope, ASCIILiteral("Getter must be a function.")); |
| return false; |
| } |
| } |
| desc.setGetter(get); |
| } else |
| RETURN_IF_EXCEPTION(scope, false); |
| |
| hasProperty = description->hasProperty(exec, vm.propertyNames->set); |
| EXCEPTION_ASSERT(!scope.exception() || !hasProperty); |
| if (hasProperty) { |
| JSValue set = description->get(exec, vm.propertyNames->set); |
| RETURN_IF_EXCEPTION(scope, false); |
| if (!set.isUndefined()) { |
| CallData callData; |
| if (getCallData(set, callData) == CallType::None) { |
| throwTypeError(exec, scope, ASCIILiteral("Setter must be a function.")); |
| return false; |
| } |
| } |
| desc.setSetter(set); |
| } else |
| RETURN_IF_EXCEPTION(scope, false); |
| |
| if (!desc.isAccessorDescriptor()) |
| return true; |
| |
| if (desc.value()) { |
| throwTypeError(exec, scope, ASCIILiteral("Invalid property. 'value' present on property with getter or setter.")); |
| return false; |
| } |
| |
| if (desc.writablePresent()) { |
| throwTypeError(exec, scope, ASCIILiteral("Invalid property. 'writable' present on property with getter or setter.")); |
| return false; |
| } |
| return true; |
| } |
| |
| EncodedJSValue JSC_HOST_CALL objectConstructorDefineProperty(ExecState* exec) |
| { |
| VM& vm = exec->vm(); |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| |
| if (!exec->argument(0).isObject()) |
| return throwVMTypeError(exec, scope, ASCIILiteral("Properties can only be defined on Objects.")); |
| JSObject* obj = asObject(exec->argument(0)); |
| auto propertyName = exec->argument(1).toPropertyKey(exec); |
| RETURN_IF_EXCEPTION(scope, encodedJSValue()); |
| PropertyDescriptor descriptor; |
| auto success = toPropertyDescriptor(exec, exec->argument(2), descriptor); |
| EXCEPTION_ASSERT(!scope.exception() == success); |
| if (!success) |
| return JSValue::encode(jsNull()); |
| ASSERT((descriptor.attributes() & PropertyAttribute::Accessor) || (!descriptor.isAccessorDescriptor())); |
| scope.assertNoException(); |
| obj->methodTable(vm)->defineOwnProperty(obj, exec, propertyName, descriptor, true); |
| scope.release(); |
| return JSValue::encode(obj); |
| } |
| |
| static JSValue defineProperties(ExecState* exec, JSObject* object, JSObject* properties) |
| { |
| VM& vm = exec->vm(); |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| |
| PropertyNameArray propertyNames(&vm, PropertyNameMode::StringsAndSymbols, PrivateSymbolMode::Exclude); |
| asObject(properties)->methodTable(vm)->getOwnPropertyNames(asObject(properties), exec, propertyNames, EnumerationMode(DontEnumPropertiesMode::Exclude)); |
| RETURN_IF_EXCEPTION(scope, { }); |
| size_t numProperties = propertyNames.size(); |
| Vector<PropertyDescriptor> descriptors; |
| MarkedArgumentBuffer markBuffer; |
| for (size_t i = 0; i < numProperties; i++) { |
| JSValue prop = properties->get(exec, propertyNames[i]); |
| RETURN_IF_EXCEPTION(scope, { }); |
| PropertyDescriptor descriptor; |
| bool success = toPropertyDescriptor(exec, prop, descriptor); |
| EXCEPTION_ASSERT(!scope.exception() || !success); |
| if (UNLIKELY(!success)) { |
| markBuffer.overflowCheckNotNeeded(); |
| return jsNull(); |
| } |
| descriptors.append(descriptor); |
| // Ensure we mark all the values that we're accumulating |
| if (descriptor.isDataDescriptor() && descriptor.value()) |
| markBuffer.append(descriptor.value()); |
| if (descriptor.isAccessorDescriptor()) { |
| if (descriptor.getter()) |
| markBuffer.append(descriptor.getter()); |
| if (descriptor.setter()) |
| markBuffer.append(descriptor.setter()); |
| } |
| } |
| RELEASE_ASSERT(!markBuffer.hasOverflowed()); |
| for (size_t i = 0; i < numProperties; i++) { |
| auto& propertyName = propertyNames[i]; |
| ASSERT(!propertyName.isPrivateName()); |
| |
| object->methodTable(vm)->defineOwnProperty(object, exec, propertyName, descriptors[i], true); |
| RETURN_IF_EXCEPTION(scope, { }); |
| } |
| return object; |
| } |
| |
| EncodedJSValue JSC_HOST_CALL objectConstructorDefineProperties(ExecState* exec) |
| { |
| VM& vm = exec->vm(); |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| |
| if (!exec->argument(0).isObject()) |
| return throwVMTypeError(exec, scope, ASCIILiteral("Properties can only be defined on Objects.")); |
| JSObject* targetObj = asObject(exec->argument(0)); |
| JSObject* props = exec->argument(1).toObject(exec); |
| EXCEPTION_ASSERT(!!scope.exception() == !props); |
| if (UNLIKELY(!props)) |
| return encodedJSValue(); |
| scope.release(); |
| return JSValue::encode(defineProperties(exec, targetObj, props)); |
| } |
| |
| EncodedJSValue JSC_HOST_CALL objectConstructorCreate(ExecState* exec) |
| { |
| VM& vm = exec->vm(); |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| |
| JSValue proto = exec->argument(0); |
| if (!proto.isObject() && !proto.isNull()) |
| return throwVMTypeError(exec, scope, ASCIILiteral("Object prototype may only be an Object or null.")); |
| JSObject* newObject = proto.isObject() |
| ? constructEmptyObject(exec, asObject(proto)) |
| : constructEmptyObject(exec, exec->lexicalGlobalObject()->nullPrototypeObjectStructure()); |
| if (exec->argument(1).isUndefined()) |
| return JSValue::encode(newObject); |
| if (!exec->argument(1).isObject()) |
| return throwVMTypeError(exec, scope, ASCIILiteral("Property descriptor list must be an Object.")); |
| scope.release(); |
| return JSValue::encode(defineProperties(exec, newObject, asObject(exec->argument(1)))); |
| } |
| |
| enum class IntegrityLevel { |
| Sealed, |
| Frozen |
| }; |
| |
| template<IntegrityLevel level> |
| bool setIntegrityLevel(ExecState* exec, VM& vm, JSObject* object) |
| { |
| // See https://tc39.github.io/ecma262/#sec-setintegritylevel. |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| |
| bool success = object->methodTable(vm)->preventExtensions(object, exec); |
| RETURN_IF_EXCEPTION(scope, false); |
| if (UNLIKELY(!success)) |
| return false; |
| |
| PropertyNameArray properties(&vm, PropertyNameMode::StringsAndSymbols, PrivateSymbolMode::Exclude); |
| object->methodTable(vm)->getOwnPropertyNames(object, exec, properties, EnumerationMode(DontEnumPropertiesMode::Include)); |
| RETURN_IF_EXCEPTION(scope, false); |
| |
| PropertyNameArray::const_iterator end = properties.end(); |
| for (PropertyNameArray::const_iterator iter = properties.begin(); iter != end; ++iter) { |
| auto& propertyName = *iter; |
| ASSERT(!propertyName.isPrivateName()); |
| |
| PropertyDescriptor desc; |
| if (level == IntegrityLevel::Sealed) |
| desc.setConfigurable(false); |
| else { |
| bool hasPropertyDescriptor = object->getOwnPropertyDescriptor(exec, propertyName, desc); |
| RETURN_IF_EXCEPTION(scope, false); |
| if (!hasPropertyDescriptor) |
| continue; |
| |
| if (desc.isDataDescriptor()) |
| desc.setWritable(false); |
| |
| desc.setConfigurable(false); |
| } |
| |
| object->methodTable(vm)->defineOwnProperty(object, exec, propertyName, desc, true); |
| RETURN_IF_EXCEPTION(scope, false); |
| } |
| return true; |
| } |
| |
| template<IntegrityLevel level> |
| bool testIntegrityLevel(ExecState* exec, VM& vm, JSObject* object) |
| { |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| |
| // 1. Assert: Type(O) is Object. |
| // 2. Assert: level is either "sealed" or "frozen". |
| |
| // 3. Let status be ?IsExtensible(O). |
| bool status = object->isExtensible(exec); |
| RETURN_IF_EXCEPTION(scope, { }); |
| |
| // 4. If status is true, return false. |
| if (status) |
| return false; |
| |
| // 6. Let keys be ? O.[[OwnPropertyKeys]](). |
| PropertyNameArray keys(&vm, PropertyNameMode::StringsAndSymbols, PrivateSymbolMode::Exclude); |
| object->methodTable(vm)->getOwnPropertyNames(object, exec, keys, EnumerationMode(DontEnumPropertiesMode::Include)); |
| RETURN_IF_EXCEPTION(scope, { }); |
| |
| // 7. For each element k of keys, do |
| PropertyNameArray::const_iterator end = keys.end(); |
| for (PropertyNameArray::const_iterator iter = keys.begin(); iter != end; ++iter) { |
| auto& propertyName = *iter; |
| ASSERT(!propertyName.isPrivateName()); |
| |
| // a. Let currentDesc be ? O.[[GetOwnProperty]](k) |
| PropertyDescriptor desc; |
| bool didGetDescriptor = object->getOwnPropertyDescriptor(exec, propertyName, desc); |
| RETURN_IF_EXCEPTION(scope, { }); |
| |
| // b. If currentDesc is not undefined, then |
| if (!didGetDescriptor) |
| continue; |
| |
| // i. If currentDesc.[[Configurable]] is true, return false. |
| if (desc.configurable()) |
| return false; |
| |
| // ii. If level is "frozen" and IsDataDescriptor(currentDesc) is true, then |
| // 1. If currentDesc.[[Writable]] is true, return false. |
| if (level == IntegrityLevel::Frozen && desc.isDataDescriptor() && desc.writable()) |
| return false; |
| } |
| |
| return true; |
| } |
| |
| EncodedJSValue JSC_HOST_CALL objectConstructorSeal(ExecState* exec) |
| { |
| VM& vm = exec->vm(); |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| |
| // 1. If Type(O) is not Object, return O. |
| JSValue obj = exec->argument(0); |
| if (!obj.isObject()) |
| return JSValue::encode(obj); |
| JSObject* object = asObject(obj); |
| |
| if (jsDynamicCast<JSFinalObject*>(vm, object) && !hasIndexedProperties(object->indexingType())) { |
| object->seal(vm); |
| return JSValue::encode(obj); |
| } |
| |
| bool success = setIntegrityLevel<IntegrityLevel::Sealed>(exec, vm, object); |
| RETURN_IF_EXCEPTION(scope, encodedJSValue()); |
| if (UNLIKELY(!success)) { |
| throwTypeError(exec, scope, ASCIILiteral("Unable to prevent extension in Object.seal")); |
| return encodedJSValue(); |
| } |
| |
| return JSValue::encode(obj); |
| } |
| |
| JSObject* objectConstructorFreeze(ExecState* exec, JSObject* object) |
| { |
| VM& vm = exec->vm(); |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| |
| if (jsDynamicCast<JSFinalObject*>(vm, object) && !hasIndexedProperties(object->indexingType())) { |
| object->freeze(vm); |
| return object; |
| } |
| |
| bool success = setIntegrityLevel<IntegrityLevel::Frozen>(exec, vm, object); |
| RETURN_IF_EXCEPTION(scope, nullptr); |
| if (!success) |
| return throwTypeError(exec, scope, ASCIILiteral("Unable to prevent extension in Object.freeze")); |
| return object; |
| } |
| |
| EncodedJSValue JSC_HOST_CALL objectConstructorFreeze(ExecState* exec) |
| { |
| VM& vm = exec->vm(); |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| // 1. If Type(O) is not Object, return O. |
| JSValue obj = exec->argument(0); |
| if (!obj.isObject()) |
| return JSValue::encode(obj); |
| JSObject* result = objectConstructorFreeze(exec, asObject(obj)); |
| RETURN_IF_EXCEPTION(scope, encodedJSValue()); |
| return JSValue::encode(result); |
| } |
| |
| EncodedJSValue JSC_HOST_CALL objectConstructorPreventExtensions(ExecState* exec) |
| { |
| VM& vm = exec->vm(); |
| JSValue argument = exec->argument(0); |
| if (!argument.isObject()) |
| return JSValue::encode(argument); |
| JSObject* object = asObject(argument); |
| object->methodTable(vm)->preventExtensions(object, exec); |
| return JSValue::encode(object); |
| } |
| |
| EncodedJSValue JSC_HOST_CALL objectConstructorIsSealed(ExecState* exec) |
| { |
| VM& vm = exec->vm(); |
| |
| // 1. If Type(O) is not Object, return true. |
| JSValue obj = exec->argument(0); |
| if (!obj.isObject()) |
| return JSValue::encode(jsBoolean(true)); |
| JSObject* object = asObject(obj); |
| |
| // Quick check for final objects. |
| if (jsDynamicCast<JSFinalObject*>(vm, object) && !hasIndexedProperties(object->indexingType())) |
| return JSValue::encode(jsBoolean(object->isSealed(vm))); |
| |
| // 2. Return ? TestIntegrityLevel(O, "sealed"). |
| return JSValue::encode(jsBoolean(testIntegrityLevel<IntegrityLevel::Sealed>(exec, vm, object))); |
| } |
| |
| EncodedJSValue JSC_HOST_CALL objectConstructorIsFrozen(ExecState* exec) |
| { |
| VM& vm = exec->vm(); |
| |
| // 1. If Type(O) is not Object, return true. |
| JSValue obj = exec->argument(0); |
| if (!obj.isObject()) |
| return JSValue::encode(jsBoolean(true)); |
| JSObject* object = asObject(obj); |
| |
| // Quick check for final objects. |
| if (jsDynamicCast<JSFinalObject*>(vm, object) && !hasIndexedProperties(object->indexingType())) |
| return JSValue::encode(jsBoolean(object->isFrozen(vm))); |
| |
| // 2. Return ? TestIntegrityLevel(O, "frozen"). |
| return JSValue::encode(jsBoolean(testIntegrityLevel<IntegrityLevel::Frozen>(exec, vm, object))); |
| } |
| |
| EncodedJSValue JSC_HOST_CALL objectConstructorIsExtensible(ExecState* exec) |
| { |
| VM& vm = exec->vm(); |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| JSValue obj = exec->argument(0); |
| if (!obj.isObject()) |
| return JSValue::encode(jsBoolean(false)); |
| JSObject* object = asObject(obj); |
| bool isExtensible = object->isExtensible(exec); |
| RETURN_IF_EXCEPTION(scope, encodedJSValue()); |
| return JSValue::encode(jsBoolean(isExtensible)); |
| } |
| |
| EncodedJSValue JSC_HOST_CALL objectConstructorIs(ExecState* exec) |
| { |
| return JSValue::encode(jsBoolean(sameValue(exec, exec->argument(0), exec->argument(1)))); |
| } |
| |
| // FIXME: Use the enumeration cache. |
| JSArray* ownPropertyKeys(ExecState* exec, JSObject* object, PropertyNameMode propertyNameMode, DontEnumPropertiesMode dontEnumPropertiesMode) |
| { |
| VM& vm = exec->vm(); |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| PropertyNameArray properties(&vm, propertyNameMode, PrivateSymbolMode::Exclude); |
| object->methodTable(vm)->getOwnPropertyNames(object, exec, properties, EnumerationMode(dontEnumPropertiesMode)); |
| RETURN_IF_EXCEPTION(scope, nullptr); |
| |
| // https://tc39.github.io/ecma262/#sec-enumerableownproperties |
| // If {object} is a Proxy, an explicit and observable [[GetOwnProperty]] op is required to filter out non-enumerable properties. |
| // In other cases, filtering has already been performed. |
| const bool mustFilterProperty = dontEnumPropertiesMode == DontEnumPropertiesMode::Exclude && object->type() == ProxyObjectType; |
| auto filterPropertyIfNeeded = [exec, object, mustFilterProperty](const Identifier& identifier) { |
| if (!mustFilterProperty) |
| return true; |
| PropertyDescriptor descriptor; |
| PropertyName name(identifier); |
| return object->getOwnPropertyDescriptor(exec, name, descriptor) && descriptor.enumerable(); |
| }; |
| |
| // If !mustFilterProperty and PropertyNameMode::Strings mode, we do not need to filter out any entries in PropertyNameArray. |
| // We can use fast allocation and initialization. |
| if (propertyNameMode != PropertyNameMode::StringsAndSymbols) { |
| ASSERT(propertyNameMode == PropertyNameMode::Strings || propertyNameMode == PropertyNameMode::Symbols); |
| if (!mustFilterProperty && properties.size() < MIN_SPARSE_ARRAY_INDEX) { |
| auto* globalObject = exec->lexicalGlobalObject(); |
| if (LIKELY(!globalObject->isHavingABadTime())) { |
| size_t numProperties = properties.size(); |
| JSArray* keys = JSArray::create(vm, globalObject->originalArrayStructureForIndexingType(ArrayWithContiguous), numProperties); |
| WriteBarrier<Unknown>* buffer = keys->butterfly()->contiguous().data(); |
| for (size_t i = 0; i < numProperties; i++) { |
| const auto& identifier = properties[i]; |
| if (propertyNameMode == PropertyNameMode::Strings) { |
| ASSERT(!identifier.isSymbol()); |
| buffer[i].set(vm, keys, jsOwnedString(&vm, identifier.string())); |
| } else { |
| ASSERT(identifier.isSymbol()); |
| buffer[i].set(vm, keys, Symbol::create(vm, static_cast<SymbolImpl&>(*identifier.impl()))); |
| } |
| } |
| return keys; |
| } |
| } |
| } |
| |
| JSArray* keys = constructEmptyArray(exec, nullptr); |
| RETURN_IF_EXCEPTION(scope, nullptr); |
| |
| unsigned index = 0; |
| auto pushDirect = [&] (ExecState* exec, JSArray* array, JSValue value) { |
| array->putDirectIndex(exec, index++, value); |
| }; |
| |
| switch (propertyNameMode) { |
| case PropertyNameMode::Strings: { |
| size_t numProperties = properties.size(); |
| for (size_t i = 0; i < numProperties; i++) { |
| const auto& identifier = properties[i]; |
| ASSERT(!identifier.isSymbol()); |
| bool hasProperty = filterPropertyIfNeeded(identifier); |
| EXCEPTION_ASSERT(!scope.exception() || !hasProperty); |
| if (hasProperty) |
| pushDirect(exec, keys, jsOwnedString(exec, identifier.string())); |
| RETURN_IF_EXCEPTION(scope, nullptr); |
| } |
| break; |
| } |
| |
| case PropertyNameMode::Symbols: { |
| size_t numProperties = properties.size(); |
| for (size_t i = 0; i < numProperties; i++) { |
| const auto& identifier = properties[i]; |
| ASSERT(identifier.isSymbol()); |
| ASSERT(!identifier.isPrivateName()); |
| bool hasProperty = filterPropertyIfNeeded(identifier); |
| EXCEPTION_ASSERT(!scope.exception() || !hasProperty); |
| if (hasProperty) |
| pushDirect(exec, keys, Symbol::create(vm, static_cast<SymbolImpl&>(*identifier.impl()))); |
| RETURN_IF_EXCEPTION(scope, nullptr); |
| } |
| break; |
| } |
| |
| case PropertyNameMode::StringsAndSymbols: { |
| Vector<Identifier, 16> propertySymbols; |
| size_t numProperties = properties.size(); |
| for (size_t i = 0; i < numProperties; i++) { |
| const auto& identifier = properties[i]; |
| if (identifier.isSymbol()) { |
| ASSERT(!identifier.isPrivateName()); |
| propertySymbols.append(identifier); |
| continue; |
| } |
| |
| bool hasProperty = filterPropertyIfNeeded(identifier); |
| EXCEPTION_ASSERT(!scope.exception() || !hasProperty); |
| if (hasProperty) |
| pushDirect(exec, keys, jsOwnedString(exec, identifier.string())); |
| RETURN_IF_EXCEPTION(scope, nullptr); |
| } |
| |
| // To ensure the order defined in the spec (9.1.12), we append symbols at the last elements of keys. |
| for (const auto& identifier : propertySymbols) { |
| bool hasProperty = filterPropertyIfNeeded(identifier); |
| EXCEPTION_ASSERT(!scope.exception() || !hasProperty); |
| if (hasProperty) |
| pushDirect(exec, keys, Symbol::create(vm, static_cast<SymbolImpl&>(*identifier.impl()))); |
| RETURN_IF_EXCEPTION(scope, nullptr); |
| } |
| |
| break; |
| } |
| } |
| |
| return keys; |
| } |
| |
| } // namespace JSC |
