| /* |
| * Copyright (C) 2015-2017 Apple Inc. All Rights Reserved. |
| * |
| * Redistribution and use in source and binary forms, with or without |
| * modification, are permitted provided that the following conditions |
| * are met: |
| * 1. Redistributions of source code must retain the above copyright |
| * notice, this list of conditions and the following disclaimer. |
| * 2. Redistributions in binary form must reproduce the above copyright |
| * notice, this list of conditions and the following disclaimer in the |
| * documentation and/or other materials provided with the distribution. |
| * |
| * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY |
| * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE |
| * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR |
| * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR |
| * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, |
| * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, |
| * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR |
| * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY |
| * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
| * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE |
| * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| |
| #include "config.h" |
| #include "ReflectObject.h" |
| |
| #include "JSCInlines.h" |
| #include "ObjectConstructor.h" |
| |
| namespace JSC { |
| |
| static JSC_DECLARE_HOST_FUNCTION(reflectObjectConstruct); |
| static JSC_DECLARE_HOST_FUNCTION(reflectObjectDefineProperty); |
| static JSC_DECLARE_HOST_FUNCTION(reflectObjectGet); |
| static JSC_DECLARE_HOST_FUNCTION(reflectObjectGetOwnPropertyDescriptor); |
| static JSC_DECLARE_HOST_FUNCTION(reflectObjectGetPrototypeOf); |
| static JSC_DECLARE_HOST_FUNCTION(reflectObjectIsExtensible); |
| static JSC_DECLARE_HOST_FUNCTION(reflectObjectOwnKeys); |
| static JSC_DECLARE_HOST_FUNCTION(reflectObjectPreventExtensions); |
| static JSC_DECLARE_HOST_FUNCTION(reflectObjectSet); |
| static JSC_DECLARE_HOST_FUNCTION(reflectObjectSetPrototypeOf); |
| |
| } |
| |
| #include "ReflectObject.lut.h" |
| |
| namespace JSC { |
| |
| STATIC_ASSERT_IS_TRIVIALLY_DESTRUCTIBLE(ReflectObject); |
| |
| const ClassInfo ReflectObject::s_info = { "Reflect"_s, &Base::s_info, &reflectObjectTable, nullptr, CREATE_METHOD_TABLE(ReflectObject) }; |
| |
| /* Source for ReflectObject.lut.h |
| @begin reflectObjectTable |
| apply JSBuiltin DontEnum|Function 3 |
| construct reflectObjectConstruct DontEnum|Function 2 |
| defineProperty reflectObjectDefineProperty DontEnum|Function 3 |
| deleteProperty JSBuiltin DontEnum|Function 2 |
| get reflectObjectGet DontEnum|Function 2 |
| getOwnPropertyDescriptor reflectObjectGetOwnPropertyDescriptor DontEnum|Function 2 |
| getPrototypeOf reflectObjectGetPrototypeOf DontEnum|Function 1 ReflectGetPrototypeOfIntrinsic |
| has JSBuiltin DontEnum|Function 2 |
| isExtensible reflectObjectIsExtensible DontEnum|Function 1 |
| ownKeys reflectObjectOwnKeys DontEnum|Function 1 |
| preventExtensions reflectObjectPreventExtensions DontEnum|Function 1 |
| set reflectObjectSet DontEnum|Function 3 |
| setPrototypeOf reflectObjectSetPrototypeOf DontEnum|Function 2 |
| @end |
| */ |
| |
| ReflectObject::ReflectObject(VM& vm, Structure* structure) |
| : JSNonFinalObject(vm, structure) |
| { |
| } |
| |
| void ReflectObject::finishCreation(VM& vm, JSGlobalObject*) |
| { |
| Base::finishCreation(vm); |
| ASSERT(inherits(info())); |
| JSC_TO_STRING_TAG_WITHOUT_TRANSITION(); |
| } |
| |
| // ------------------------------ Functions -------------------------------- |
| |
| // https://tc39.github.io/ecma262/#sec-reflect.construct |
| JSC_DEFINE_HOST_FUNCTION(reflectObjectConstruct, (JSGlobalObject* globalObject, CallFrame* callFrame)) |
| { |
| VM& vm = globalObject->vm(); |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| |
| JSValue target = callFrame->argument(0); |
| if (!target.isObject()) |
| return JSValue::encode(throwTypeError(globalObject, scope, "Reflect.construct requires the first argument be a constructor"_s)); |
| |
| auto constructData = JSC::getConstructData(target); |
| if (constructData.type == CallData::Type::None) |
| return JSValue::encode(throwTypeError(globalObject, scope, "Reflect.construct requires the first argument be a constructor"_s)); |
| |
| JSValue newTarget = target; |
| if (callFrame->argumentCount() >= 3) { |
| newTarget = callFrame->argument(2); |
| if (!newTarget.isConstructor()) |
| return JSValue::encode(throwTypeError(globalObject, scope, "Reflect.construct requires the third argument be a constructor if present"_s)); |
| } |
| |
| MarkedArgumentBuffer arguments; |
| JSObject* argumentsObject = jsDynamicCast<JSObject*>(callFrame->argument(1)); |
| if (!argumentsObject) |
| return JSValue::encode(throwTypeError(globalObject, scope, "Reflect.construct requires the second argument be an object"_s)); |
| |
| forEachInArrayLike(globalObject, argumentsObject, [&] (JSValue value) -> bool { |
| arguments.append(value); |
| return true; |
| }); |
| RETURN_IF_EXCEPTION(scope, (arguments.overflowCheckNotNeeded(), encodedJSValue())); |
| if (UNLIKELY(arguments.hasOverflowed())) { |
| throwOutOfMemoryError(globalObject, scope); |
| return encodedJSValue(); |
| } |
| |
| RELEASE_AND_RETURN(scope, JSValue::encode(construct(globalObject, target, constructData, arguments, newTarget))); |
| } |
| |
| // https://tc39.github.io/ecma262/#sec-reflect.defineproperty |
| JSC_DEFINE_HOST_FUNCTION(reflectObjectDefineProperty, (JSGlobalObject* globalObject, CallFrame* callFrame)) |
| { |
| VM& vm = globalObject->vm(); |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| |
| JSValue target = callFrame->argument(0); |
| if (!target.isObject()) |
| return JSValue::encode(throwTypeError(globalObject, scope, "Reflect.defineProperty requires the first argument be an object"_s)); |
| auto propertyName = callFrame->argument(1).toPropertyKey(globalObject); |
| RETURN_IF_EXCEPTION(scope, encodedJSValue()); |
| |
| PropertyDescriptor descriptor; |
| bool success = toPropertyDescriptor(globalObject, callFrame->argument(2), descriptor); |
| EXCEPTION_ASSERT(!scope.exception() == success); |
| if (UNLIKELY(!success)) |
| return encodedJSValue(); |
| ASSERT((descriptor.attributes() & PropertyAttribute::Accessor) || (!descriptor.isAccessorDescriptor())); |
| scope.assertNoException(); |
| |
| // Reflect.defineProperty should not throw an error when the defineOwnProperty operation fails. |
| bool shouldThrow = false; |
| JSObject* targetObject = asObject(target); |
| RELEASE_AND_RETURN(scope, JSValue::encode(jsBoolean(targetObject->methodTable()->defineOwnProperty(targetObject, globalObject, propertyName, descriptor, shouldThrow)))); |
| } |
| |
| // https://tc39.github.io/ecma262/#sec-reflect.get |
| JSC_DEFINE_HOST_FUNCTION(reflectObjectGet, (JSGlobalObject* globalObject, CallFrame* callFrame)) |
| { |
| VM& vm = globalObject->vm(); |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| |
| JSValue target = callFrame->argument(0); |
| if (!target.isObject()) |
| return JSValue::encode(throwTypeError(globalObject, scope, "Reflect.get requires the first argument be an object"_s)); |
| |
| const Identifier propertyName = callFrame->argument(1).toPropertyKey(globalObject); |
| RETURN_IF_EXCEPTION(scope, encodedJSValue()); |
| |
| JSValue receiver = target; |
| if (callFrame->argumentCount() >= 3) |
| receiver = callFrame->argument(2); |
| |
| PropertySlot slot(receiver, PropertySlot::InternalMethodType::Get); |
| RELEASE_AND_RETURN(scope, JSValue::encode(target.get(globalObject, propertyName, slot))); |
| } |
| |
| // https://tc39.github.io/ecma262/#sec-reflect.getownpropertydescriptor |
| JSC_DEFINE_HOST_FUNCTION(reflectObjectGetOwnPropertyDescriptor, (JSGlobalObject* globalObject, CallFrame* callFrame)) |
| { |
| VM& vm = globalObject->vm(); |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| |
| JSValue target = callFrame->argument(0); |
| if (!target.isObject()) |
| return JSValue::encode(throwTypeError(globalObject, scope, "Reflect.getOwnPropertyDescriptor requires the first argument be an object"_s)); |
| |
| auto key = callFrame->argument(1).toPropertyKey(globalObject); |
| RETURN_IF_EXCEPTION(scope, encodedJSValue()); |
| |
| RELEASE_AND_RETURN(scope, JSValue::encode(objectConstructorGetOwnPropertyDescriptor(globalObject, asObject(target), key))); |
| } |
| |
| // https://tc39.github.io/ecma262/#sec-reflect.getprototypeof |
| JSC_DEFINE_HOST_FUNCTION(reflectObjectGetPrototypeOf, (JSGlobalObject* globalObject, CallFrame* callFrame)) |
| { |
| VM& vm = globalObject->vm(); |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| |
| JSValue target = callFrame->argument(0); |
| if (!target.isObject()) |
| return JSValue::encode(throwTypeError(globalObject, scope, "Reflect.getPrototypeOf requires the first argument be an object"_s)); |
| RELEASE_AND_RETURN(scope, JSValue::encode(asObject(target)->getPrototype(vm, globalObject))); |
| } |
| |
| // https://tc39.github.io/ecma262/#sec-reflect.isextensible |
| JSC_DEFINE_HOST_FUNCTION(reflectObjectIsExtensible, (JSGlobalObject* globalObject, CallFrame* callFrame)) |
| { |
| VM& vm = globalObject->vm(); |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| |
| JSValue target = callFrame->argument(0); |
| if (!target.isObject()) |
| return JSValue::encode(throwTypeError(globalObject, scope, "Reflect.isExtensible requires the first argument be an object"_s)); |
| |
| bool isExtensible = asObject(target)->isExtensible(globalObject); |
| RETURN_IF_EXCEPTION(scope, encodedJSValue()); |
| return JSValue::encode(jsBoolean(isExtensible)); |
| } |
| |
| // https://tc39.github.io/ecma262/#sec-reflect.ownkeys |
| JSC_DEFINE_HOST_FUNCTION(reflectObjectOwnKeys, (JSGlobalObject* globalObject, CallFrame* callFrame)) |
| { |
| VM& vm = globalObject->vm(); |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| |
| JSValue target = callFrame->argument(0); |
| if (!target.isObject()) |
| return JSValue::encode(throwTypeError(globalObject, scope, "Reflect.ownKeys requires the first argument be an object"_s)); |
| RELEASE_AND_RETURN(scope, JSValue::encode(ownPropertyKeys(globalObject, jsCast<JSObject*>(target), PropertyNameMode::StringsAndSymbols, DontEnumPropertiesMode::Include, std::nullopt))); |
| } |
| |
| // https://tc39.github.io/ecma262/#sec-reflect.preventextensions |
| JSC_DEFINE_HOST_FUNCTION(reflectObjectPreventExtensions, (JSGlobalObject* globalObject, CallFrame* callFrame)) |
| { |
| VM& vm = globalObject->vm(); |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| |
| JSValue target = callFrame->argument(0); |
| if (!target.isObject()) |
| return JSValue::encode(throwTypeError(globalObject, scope, "Reflect.preventExtensions requires the first argument be an object"_s)); |
| JSObject* object = asObject(target); |
| bool result = object->methodTable()->preventExtensions(object, globalObject); |
| RETURN_IF_EXCEPTION(scope, encodedJSValue()); |
| return JSValue::encode(jsBoolean(result)); |
| } |
| |
| // https://tc39.github.io/ecma262/#sec-reflect.set |
| JSC_DEFINE_HOST_FUNCTION(reflectObjectSet, (JSGlobalObject* globalObject, CallFrame* callFrame)) |
| { |
| VM& vm = globalObject->vm(); |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| |
| JSValue target = callFrame->argument(0); |
| if (!target.isObject()) |
| return JSValue::encode(throwTypeError(globalObject, scope, "Reflect.set requires the first argument be an object"_s)); |
| JSObject* targetObject = asObject(target); |
| |
| auto propertyName = callFrame->argument(1).toPropertyKey(globalObject); |
| RETURN_IF_EXCEPTION(scope, encodedJSValue()); |
| |
| JSValue receiver = target; |
| if (callFrame->argumentCount() >= 4) |
| receiver = callFrame->argument(3); |
| |
| // Do not raise any readonly errors that happen in strict mode. |
| bool shouldThrowIfCantSet = false; |
| PutPropertySlot slot(receiver, shouldThrowIfCantSet, PutPropertySlot::ReflectSet); |
| RELEASE_AND_RETURN(scope, JSValue::encode(jsBoolean(targetObject->methodTable()->put(targetObject, globalObject, propertyName, callFrame->argument(2), slot)))); |
| } |
| |
| // https://tc39.github.io/ecma262/#sec-reflect.setprototypeof |
| JSC_DEFINE_HOST_FUNCTION(reflectObjectSetPrototypeOf, (JSGlobalObject* globalObject, CallFrame* callFrame)) |
| { |
| VM& vm = globalObject->vm(); |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| |
| JSValue target = callFrame->argument(0); |
| if (!target.isObject()) |
| return JSValue::encode(throwTypeError(globalObject, scope, "Reflect.setPrototypeOf requires the first argument be an object"_s)); |
| JSValue proto = callFrame->argument(1); |
| if (!proto.isObject() && !proto.isNull()) |
| return JSValue::encode(throwTypeError(globalObject, scope, "Reflect.setPrototypeOf requires the second argument be either an object or null"_s)); |
| |
| JSObject* object = asObject(target); |
| |
| bool shouldThrowIfCantSet = false; |
| bool didSetPrototype = object->setPrototype(vm, globalObject, proto, shouldThrowIfCantSet); |
| RETURN_IF_EXCEPTION(scope, encodedJSValue()); |
| return JSValue::encode(jsBoolean(didSetPrototype)); |
| } |
| |
| } // namespace JSC |