Index: src/builtins/builtins-object.cc |
diff --git a/src/builtins/builtins-object.cc b/src/builtins/builtins-object.cc |
new file mode 100644 |
index 0000000000000000000000000000000000000000..c422145a51801214090e87c74e73d63a32f2850c |
--- /dev/null |
+++ b/src/builtins/builtins-object.cc |
@@ -0,0 +1,914 @@ |
+// Copyright 2016 the V8 project authors. All rights reserved. |
+// Use of this source code is governed by a BSD-style license that can be |
+// found in the LICENSE file. |
+ |
+#include "src/builtins/builtins.h" |
+#include "src/builtins/builtins-utils.h" |
+ |
+#include "src/code-factory.h" |
+#include "src/property-descriptor.h" |
+ |
+namespace v8 { |
+namespace internal { |
+ |
+// ----------------------------------------------------------------------------- |
+// ES6 section 19.1 Object Objects |
+ |
+void Builtins::Generate_ObjectHasOwnProperty(CodeStubAssembler* assembler) { |
+ typedef compiler::Node Node; |
+ typedef CodeStubAssembler::Label Label; |
+ typedef CodeStubAssembler::Variable Variable; |
+ |
+ Node* object = assembler->Parameter(0); |
+ Node* key = assembler->Parameter(1); |
+ Node* context = assembler->Parameter(4); |
+ |
+ Label call_runtime(assembler), return_true(assembler), |
+ return_false(assembler); |
+ |
+ // Smi receivers do not have own properties. |
+ Label if_objectisnotsmi(assembler); |
+ assembler->Branch(assembler->WordIsSmi(object), &return_false, |
+ &if_objectisnotsmi); |
+ assembler->Bind(&if_objectisnotsmi); |
+ |
+ Node* map = assembler->LoadMap(object); |
+ Node* instance_type = assembler->LoadMapInstanceType(map); |
+ |
+ Variable var_index(assembler, MachineRepresentation::kWord32); |
+ |
+ Label keyisindex(assembler), if_iskeyunique(assembler); |
+ assembler->TryToName(key, &keyisindex, &var_index, &if_iskeyunique, |
+ &call_runtime); |
+ |
+ assembler->Bind(&if_iskeyunique); |
+ assembler->TryHasOwnProperty(object, map, instance_type, key, &return_true, |
+ &return_false, &call_runtime); |
+ |
+ assembler->Bind(&keyisindex); |
+ assembler->TryLookupElement(object, map, instance_type, var_index.value(), |
+ &return_true, &return_false, &call_runtime); |
+ |
+ assembler->Bind(&return_true); |
+ assembler->Return(assembler->BooleanConstant(true)); |
+ |
+ assembler->Bind(&return_false); |
+ assembler->Return(assembler->BooleanConstant(false)); |
+ |
+ assembler->Bind(&call_runtime); |
+ assembler->Return(assembler->CallRuntime(Runtime::kObjectHasOwnProperty, |
+ context, object, key)); |
+} |
+ |
+namespace { |
+ |
+MUST_USE_RESULT Maybe<bool> FastAssign(Handle<JSReceiver> to, |
+ Handle<Object> next_source) { |
+ // Non-empty strings are the only non-JSReceivers that need to be handled |
+ // explicitly by Object.assign. |
+ if (!next_source->IsJSReceiver()) { |
+ return Just(!next_source->IsString() || |
+ String::cast(*next_source)->length() == 0); |
+ } |
+ |
+ // If the target is deprecated, the object will be updated on first store. If |
+ // the source for that store equals the target, this will invalidate the |
+ // cached representation of the source. Preventively upgrade the target. |
+ // Do this on each iteration since any property load could cause deprecation. |
+ if (to->map()->is_deprecated()) { |
+ JSObject::MigrateInstance(Handle<JSObject>::cast(to)); |
+ } |
+ |
+ Isolate* isolate = to->GetIsolate(); |
+ Handle<Map> map(JSReceiver::cast(*next_source)->map(), isolate); |
+ |
+ if (!map->IsJSObjectMap()) return Just(false); |
+ if (!map->OnlyHasSimpleProperties()) return Just(false); |
+ |
+ Handle<JSObject> from = Handle<JSObject>::cast(next_source); |
+ if (from->elements() != isolate->heap()->empty_fixed_array()) { |
+ return Just(false); |
+ } |
+ |
+ Handle<DescriptorArray> descriptors(map->instance_descriptors(), isolate); |
+ int length = map->NumberOfOwnDescriptors(); |
+ |
+ bool stable = true; |
+ |
+ for (int i = 0; i < length; i++) { |
+ Handle<Name> next_key(descriptors->GetKey(i), isolate); |
+ Handle<Object> prop_value; |
+ // Directly decode from the descriptor array if |from| did not change shape. |
+ if (stable) { |
+ PropertyDetails details = descriptors->GetDetails(i); |
+ if (!details.IsEnumerable()) continue; |
+ if (details.kind() == kData) { |
+ if (details.location() == kDescriptor) { |
+ prop_value = handle(descriptors->GetValue(i), isolate); |
+ } else { |
+ Representation representation = details.representation(); |
+ FieldIndex index = FieldIndex::ForDescriptor(*map, i); |
+ prop_value = JSObject::FastPropertyAt(from, representation, index); |
+ } |
+ } else { |
+ ASSIGN_RETURN_ON_EXCEPTION_VALUE( |
+ isolate, prop_value, JSReceiver::GetProperty(from, next_key), |
+ Nothing<bool>()); |
+ stable = from->map() == *map; |
+ } |
+ } else { |
+ // If the map did change, do a slower lookup. We are still guaranteed that |
+ // the object has a simple shape, and that the key is a name. |
+ LookupIterator it(from, next_key, from, |
+ LookupIterator::OWN_SKIP_INTERCEPTOR); |
+ if (!it.IsFound()) continue; |
+ DCHECK(it.state() == LookupIterator::DATA || |
+ it.state() == LookupIterator::ACCESSOR); |
+ if (!it.IsEnumerable()) continue; |
+ ASSIGN_RETURN_ON_EXCEPTION_VALUE( |
+ isolate, prop_value, Object::GetProperty(&it), Nothing<bool>()); |
+ } |
+ LookupIterator it(to, next_key, to); |
+ bool call_to_js = it.IsFound() && it.state() != LookupIterator::DATA; |
+ Maybe<bool> result = Object::SetProperty( |
+ &it, prop_value, STRICT, Object::CERTAINLY_NOT_STORE_FROM_KEYED); |
+ if (result.IsNothing()) return result; |
+ if (stable && call_to_js) stable = from->map() == *map; |
+ } |
+ |
+ return Just(true); |
+} |
+ |
+} // namespace |
+ |
+// ES6 19.1.2.1 Object.assign |
+BUILTIN(ObjectAssign) { |
+ HandleScope scope(isolate); |
+ Handle<Object> target = args.atOrUndefined(isolate, 1); |
+ |
+ // 1. Let to be ? ToObject(target). |
+ ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, target, |
+ Object::ToObject(isolate, target)); |
+ Handle<JSReceiver> to = Handle<JSReceiver>::cast(target); |
+ // 2. If only one argument was passed, return to. |
+ if (args.length() == 2) return *to; |
+ // 3. Let sources be the List of argument values starting with the |
+ // second argument. |
+ // 4. For each element nextSource of sources, in ascending index order, |
+ for (int i = 2; i < args.length(); ++i) { |
+ Handle<Object> next_source = args.at<Object>(i); |
+ Maybe<bool> fast_assign = FastAssign(to, next_source); |
+ if (fast_assign.IsNothing()) return isolate->heap()->exception(); |
+ if (fast_assign.FromJust()) continue; |
+ // 4a. If nextSource is undefined or null, let keys be an empty List. |
+ // 4b. Else, |
+ // 4b i. Let from be ToObject(nextSource). |
+ // Only non-empty strings and JSReceivers have enumerable properties. |
+ Handle<JSReceiver> from = |
+ Object::ToObject(isolate, next_source).ToHandleChecked(); |
+ // 4b ii. Let keys be ? from.[[OwnPropertyKeys]](). |
+ Handle<FixedArray> keys; |
+ ASSIGN_RETURN_FAILURE_ON_EXCEPTION( |
+ isolate, keys, KeyAccumulator::GetKeys( |
+ from, KeyCollectionMode::kOwnOnly, ALL_PROPERTIES, |
+ GetKeysConversion::kKeepNumbers)); |
+ // 4c. Repeat for each element nextKey of keys in List order, |
+ for (int j = 0; j < keys->length(); ++j) { |
+ Handle<Object> next_key(keys->get(j), isolate); |
+ // 4c i. Let desc be ? from.[[GetOwnProperty]](nextKey). |
+ PropertyDescriptor desc; |
+ Maybe<bool> found = |
+ JSReceiver::GetOwnPropertyDescriptor(isolate, from, next_key, &desc); |
+ if (found.IsNothing()) return isolate->heap()->exception(); |
+ // 4c ii. If desc is not undefined and desc.[[Enumerable]] is true, then |
+ if (found.FromJust() && desc.enumerable()) { |
+ // 4c ii 1. Let propValue be ? Get(from, nextKey). |
+ Handle<Object> prop_value; |
+ ASSIGN_RETURN_FAILURE_ON_EXCEPTION( |
+ isolate, prop_value, |
+ Runtime::GetObjectProperty(isolate, from, next_key)); |
+ // 4c ii 2. Let status be ? Set(to, nextKey, propValue, true). |
+ Handle<Object> status; |
+ ASSIGN_RETURN_FAILURE_ON_EXCEPTION( |
+ isolate, status, Runtime::SetObjectProperty(isolate, to, next_key, |
+ prop_value, STRICT)); |
+ } |
+ } |
+ } |
+ // 5. Return to. |
+ return *to; |
+} |
+ |
+// ES6 section 19.1.3.4 Object.prototype.propertyIsEnumerable ( V ) |
+BUILTIN(ObjectPrototypePropertyIsEnumerable) { |
+ HandleScope scope(isolate); |
+ Handle<JSReceiver> object; |
+ Handle<Name> name; |
+ ASSIGN_RETURN_FAILURE_ON_EXCEPTION( |
+ isolate, name, Object::ToName(isolate, args.atOrUndefined(isolate, 1))); |
+ ASSIGN_RETURN_FAILURE_ON_EXCEPTION( |
+ isolate, object, JSReceiver::ToObject(isolate, args.receiver())); |
+ Maybe<PropertyAttributes> maybe = |
+ JSReceiver::GetOwnPropertyAttributes(object, name); |
+ if (!maybe.IsJust()) return isolate->heap()->exception(); |
+ if (maybe.FromJust() == ABSENT) return isolate->heap()->false_value(); |
+ return isolate->heap()->ToBoolean((maybe.FromJust() & DONT_ENUM) == 0); |
+} |
+ |
+namespace { // anonymous namespace for ObjectProtoToString() |
+ |
+void IsString(CodeStubAssembler* assembler, compiler::Node* object, |
+ CodeStubAssembler::Label* if_string, |
+ CodeStubAssembler::Label* if_notstring) { |
+ typedef compiler::Node Node; |
+ typedef CodeStubAssembler::Label Label; |
+ |
+ Label if_notsmi(assembler); |
+ assembler->Branch(assembler->WordIsSmi(object), if_notstring, &if_notsmi); |
+ |
+ assembler->Bind(&if_notsmi); |
+ { |
+ Node* instance_type = assembler->LoadInstanceType(object); |
+ |
+ assembler->Branch( |
+ assembler->Int32LessThan( |
+ instance_type, assembler->Int32Constant(FIRST_NONSTRING_TYPE)), |
+ if_string, if_notstring); |
+ } |
+} |
+ |
+void ReturnToStringFormat(CodeStubAssembler* assembler, compiler::Node* context, |
+ compiler::Node* string) { |
+ typedef compiler::Node Node; |
+ |
+ Node* lhs = assembler->HeapConstant( |
+ assembler->factory()->NewStringFromStaticChars("[object ")); |
+ Node* rhs = assembler->HeapConstant( |
+ assembler->factory()->NewStringFromStaticChars("]")); |
+ |
+ Callable callable = CodeFactory::StringAdd( |
+ assembler->isolate(), STRING_ADD_CHECK_NONE, NOT_TENURED); |
+ |
+ assembler->Return(assembler->CallStub( |
+ callable, context, assembler->CallStub(callable, context, lhs, string), |
+ rhs)); |
+} |
+ |
+void ReturnIfPrimitive(CodeStubAssembler* assembler, |
+ compiler::Node* instance_type, |
+ CodeStubAssembler::Label* return_string, |
+ CodeStubAssembler::Label* return_boolean, |
+ CodeStubAssembler::Label* return_number) { |
+ assembler->GotoIf( |
+ assembler->Int32LessThan(instance_type, |
+ assembler->Int32Constant(FIRST_NONSTRING_TYPE)), |
+ return_string); |
+ |
+ assembler->GotoIf(assembler->Word32Equal( |
+ instance_type, assembler->Int32Constant(ODDBALL_TYPE)), |
+ return_boolean); |
+ |
+ assembler->GotoIf( |
+ assembler->Word32Equal(instance_type, |
+ assembler->Int32Constant(HEAP_NUMBER_TYPE)), |
+ return_number); |
+} |
+ |
+} // namespace |
+ |
+// ES6 section 19.1.3.6 Object.prototype.toString |
+void Builtins::Generate_ObjectProtoToString(CodeStubAssembler* assembler) { |
+ typedef compiler::Node Node; |
+ typedef CodeStubAssembler::Label Label; |
+ typedef CodeStubAssembler::Variable Variable; |
+ |
+ Label return_undefined(assembler, Label::kDeferred), |
+ return_null(assembler, Label::kDeferred), |
+ return_arguments(assembler, Label::kDeferred), return_array(assembler), |
+ return_api(assembler, Label::kDeferred), return_object(assembler), |
+ return_regexp(assembler), return_function(assembler), |
+ return_error(assembler), return_date(assembler), return_string(assembler), |
+ return_boolean(assembler), return_jsvalue(assembler), |
+ return_jsproxy(assembler, Label::kDeferred), return_number(assembler); |
+ |
+ Label if_isproxy(assembler, Label::kDeferred); |
+ |
+ Label checkstringtag(assembler); |
+ Label if_tostringtag(assembler), if_notostringtag(assembler); |
+ |
+ Node* receiver = assembler->Parameter(0); |
+ Node* context = assembler->Parameter(3); |
+ |
+ assembler->GotoIf( |
+ assembler->Word32Equal(receiver, assembler->UndefinedConstant()), |
+ &return_undefined); |
+ |
+ assembler->GotoIf(assembler->Word32Equal(receiver, assembler->NullConstant()), |
+ &return_null); |
+ |
+ assembler->GotoIf(assembler->WordIsSmi(receiver), &return_number); |
+ |
+ Node* receiver_instance_type = assembler->LoadInstanceType(receiver); |
+ ReturnIfPrimitive(assembler, receiver_instance_type, &return_string, |
+ &return_boolean, &return_number); |
+ |
+ // for proxies, check IsArray before getting @@toStringTag |
+ Variable var_proxy_is_array(assembler, MachineRepresentation::kTagged); |
+ var_proxy_is_array.Bind(assembler->BooleanConstant(false)); |
+ |
+ assembler->Branch( |
+ assembler->Word32Equal(receiver_instance_type, |
+ assembler->Int32Constant(JS_PROXY_TYPE)), |
+ &if_isproxy, &checkstringtag); |
+ |
+ assembler->Bind(&if_isproxy); |
+ { |
+ // This can throw |
+ var_proxy_is_array.Bind( |
+ assembler->CallRuntime(Runtime::kArrayIsArray, context, receiver)); |
+ assembler->Goto(&checkstringtag); |
+ } |
+ |
+ assembler->Bind(&checkstringtag); |
+ { |
+ Node* to_string_tag_symbol = assembler->HeapConstant( |
+ assembler->isolate()->factory()->to_string_tag_symbol()); |
+ |
+ GetPropertyStub stub(assembler->isolate()); |
+ Callable get_property = |
+ Callable(stub.GetCode(), stub.GetCallInterfaceDescriptor()); |
+ Node* to_string_tag_value = assembler->CallStub( |
+ get_property, context, receiver, to_string_tag_symbol); |
+ |
+ IsString(assembler, to_string_tag_value, &if_tostringtag, |
+ &if_notostringtag); |
+ |
+ assembler->Bind(&if_tostringtag); |
+ ReturnToStringFormat(assembler, context, to_string_tag_value); |
+ } |
+ assembler->Bind(&if_notostringtag); |
+ { |
+ size_t const kNumCases = 11; |
+ Label* case_labels[kNumCases]; |
+ int32_t case_values[kNumCases]; |
+ case_labels[0] = &return_api; |
+ case_values[0] = JS_API_OBJECT_TYPE; |
+ case_labels[1] = &return_api; |
+ case_values[1] = JS_SPECIAL_API_OBJECT_TYPE; |
+ case_labels[2] = &return_arguments; |
+ case_values[2] = JS_ARGUMENTS_TYPE; |
+ case_labels[3] = &return_array; |
+ case_values[3] = JS_ARRAY_TYPE; |
+ case_labels[4] = &return_function; |
+ case_values[4] = JS_BOUND_FUNCTION_TYPE; |
+ case_labels[5] = &return_function; |
+ case_values[5] = JS_FUNCTION_TYPE; |
+ case_labels[6] = &return_error; |
+ case_values[6] = JS_ERROR_TYPE; |
+ case_labels[7] = &return_date; |
+ case_values[7] = JS_DATE_TYPE; |
+ case_labels[8] = &return_regexp; |
+ case_values[8] = JS_REGEXP_TYPE; |
+ case_labels[9] = &return_jsvalue; |
+ case_values[9] = JS_VALUE_TYPE; |
+ case_labels[10] = &return_jsproxy; |
+ case_values[10] = JS_PROXY_TYPE; |
+ |
+ assembler->Switch(receiver_instance_type, &return_object, case_values, |
+ case_labels, arraysize(case_values)); |
+ |
+ assembler->Bind(&return_undefined); |
+ assembler->Return(assembler->HeapConstant( |
+ assembler->isolate()->factory()->undefined_to_string())); |
+ |
+ assembler->Bind(&return_null); |
+ assembler->Return(assembler->HeapConstant( |
+ assembler->isolate()->factory()->null_to_string())); |
+ |
+ assembler->Bind(&return_number); |
+ assembler->Return(assembler->HeapConstant( |
+ assembler->isolate()->factory()->number_to_string())); |
+ |
+ assembler->Bind(&return_string); |
+ assembler->Return(assembler->HeapConstant( |
+ assembler->isolate()->factory()->string_to_string())); |
+ |
+ assembler->Bind(&return_boolean); |
+ assembler->Return(assembler->HeapConstant( |
+ assembler->isolate()->factory()->boolean_to_string())); |
+ |
+ assembler->Bind(&return_arguments); |
+ assembler->Return(assembler->HeapConstant( |
+ assembler->isolate()->factory()->arguments_to_string())); |
+ |
+ assembler->Bind(&return_array); |
+ assembler->Return(assembler->HeapConstant( |
+ assembler->isolate()->factory()->array_to_string())); |
+ |
+ assembler->Bind(&return_function); |
+ assembler->Return(assembler->HeapConstant( |
+ assembler->isolate()->factory()->function_to_string())); |
+ |
+ assembler->Bind(&return_error); |
+ assembler->Return(assembler->HeapConstant( |
+ assembler->isolate()->factory()->error_to_string())); |
+ |
+ assembler->Bind(&return_date); |
+ assembler->Return(assembler->HeapConstant( |
+ assembler->isolate()->factory()->date_to_string())); |
+ |
+ assembler->Bind(&return_regexp); |
+ assembler->Return(assembler->HeapConstant( |
+ assembler->isolate()->factory()->regexp_to_string())); |
+ |
+ assembler->Bind(&return_api); |
+ { |
+ Node* class_name = |
+ assembler->CallRuntime(Runtime::kClassOf, context, receiver); |
+ ReturnToStringFormat(assembler, context, class_name); |
+ } |
+ |
+ assembler->Bind(&return_jsvalue); |
+ { |
+ Node* value = assembler->LoadJSValueValue(receiver); |
+ assembler->GotoIf(assembler->WordIsSmi(value), &return_number); |
+ |
+ ReturnIfPrimitive(assembler, assembler->LoadInstanceType(value), |
+ &return_string, &return_boolean, &return_number); |
+ assembler->Goto(&return_object); |
+ } |
+ |
+ assembler->Bind(&return_jsproxy); |
+ { |
+ assembler->GotoIf(assembler->WordEqual(var_proxy_is_array.value(), |
+ assembler->BooleanConstant(true)), |
+ &return_array); |
+ |
+ Node* map = assembler->LoadMap(receiver); |
+ |
+ // Return object if the proxy {receiver} is not callable. |
+ assembler->Branch( |
+ assembler->Word32Equal( |
+ assembler->Word32And( |
+ assembler->LoadMapBitField(map), |
+ assembler->Int32Constant(1 << Map::kIsCallable)), |
+ assembler->Int32Constant(0)), |
+ &return_object, &return_function); |
+ } |
+ |
+ // Default |
+ assembler->Bind(&return_object); |
+ assembler->Return(assembler->HeapConstant( |
+ assembler->isolate()->factory()->object_to_string())); |
+ } |
+} |
+ |
+// ES6 section 19.1.2.2 Object.create ( O [ , Properties ] ) |
+// TODO(verwaest): Support the common cases with precached map directly in |
+// an Object.create stub. |
+BUILTIN(ObjectCreate) { |
+ HandleScope scope(isolate); |
+ Handle<Object> prototype = args.atOrUndefined(isolate, 1); |
+ if (!prototype->IsNull(isolate) && !prototype->IsJSReceiver()) { |
+ THROW_NEW_ERROR_RETURN_FAILURE( |
+ isolate, NewTypeError(MessageTemplate::kProtoObjectOrNull, prototype)); |
+ } |
+ |
+ // Generate the map with the specified {prototype} based on the Object |
+ // function's initial map from the current native context. |
+ // TODO(bmeurer): Use a dedicated cache for Object.create; think about |
+ // slack tracking for Object.create. |
+ Handle<Map> map(isolate->native_context()->object_function()->initial_map(), |
+ isolate); |
+ if (map->prototype() != *prototype) { |
+ if (prototype->IsNull(isolate)) { |
+ map = isolate->object_with_null_prototype_map(); |
+ } else if (prototype->IsJSObject()) { |
+ Handle<JSObject> js_prototype = Handle<JSObject>::cast(prototype); |
+ if (!js_prototype->map()->is_prototype_map()) { |
+ JSObject::OptimizeAsPrototype(js_prototype, FAST_PROTOTYPE); |
+ } |
+ Handle<PrototypeInfo> info = |
+ Map::GetOrCreatePrototypeInfo(js_prototype, isolate); |
+ // TODO(verwaest): Use inobject slack tracking for this map. |
+ if (info->HasObjectCreateMap()) { |
+ map = handle(info->ObjectCreateMap(), isolate); |
+ } else { |
+ map = Map::CopyInitialMap(map); |
+ Map::SetPrototype(map, prototype, FAST_PROTOTYPE); |
+ PrototypeInfo::SetObjectCreateMap(info, map); |
+ } |
+ } else { |
+ map = Map::TransitionToPrototype(map, prototype, REGULAR_PROTOTYPE); |
+ } |
+ } |
+ |
+ // Actually allocate the object. |
+ Handle<JSObject> object = isolate->factory()->NewJSObjectFromMap(map); |
+ |
+ // Define the properties if properties was specified and is not undefined. |
+ Handle<Object> properties = args.atOrUndefined(isolate, 2); |
+ if (!properties->IsUndefined(isolate)) { |
+ RETURN_FAILURE_ON_EXCEPTION( |
+ isolate, JSReceiver::DefineProperties(isolate, object, properties)); |
+ } |
+ |
+ return *object; |
+} |
+ |
+// ES6 section 19.1.2.3 Object.defineProperties |
+BUILTIN(ObjectDefineProperties) { |
+ HandleScope scope(isolate); |
+ DCHECK_EQ(3, args.length()); |
+ Handle<Object> target = args.at<Object>(1); |
+ Handle<Object> properties = args.at<Object>(2); |
+ |
+ RETURN_RESULT_OR_FAILURE( |
+ isolate, JSReceiver::DefineProperties(isolate, target, properties)); |
+} |
+ |
+// ES6 section 19.1.2.4 Object.defineProperty |
+BUILTIN(ObjectDefineProperty) { |
+ HandleScope scope(isolate); |
+ DCHECK_EQ(4, args.length()); |
+ Handle<Object> target = args.at<Object>(1); |
+ Handle<Object> key = args.at<Object>(2); |
+ Handle<Object> attributes = args.at<Object>(3); |
+ |
+ return JSReceiver::DefineProperty(isolate, target, key, attributes); |
+} |
+ |
+namespace { |
+ |
+template <AccessorComponent which_accessor> |
+Object* ObjectDefineAccessor(Isolate* isolate, Handle<Object> object, |
+ Handle<Object> name, Handle<Object> accessor) { |
+ // 1. Let O be ? ToObject(this value). |
+ Handle<JSReceiver> receiver; |
+ ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, receiver, |
+ Object::ConvertReceiver(isolate, object)); |
+ // 2. If IsCallable(getter) is false, throw a TypeError exception. |
+ if (!accessor->IsCallable()) { |
+ MessageTemplate::Template message = |
+ which_accessor == ACCESSOR_GETTER |
+ ? MessageTemplate::kObjectGetterExpectingFunction |
+ : MessageTemplate::kObjectSetterExpectingFunction; |
+ THROW_NEW_ERROR_RETURN_FAILURE(isolate, NewTypeError(message)); |
+ } |
+ // 3. Let desc be PropertyDescriptor{[[Get]]: getter, [[Enumerable]]: true, |
+ // [[Configurable]]: true}. |
+ PropertyDescriptor desc; |
+ if (which_accessor == ACCESSOR_GETTER) { |
+ desc.set_get(accessor); |
+ } else { |
+ DCHECK(which_accessor == ACCESSOR_SETTER); |
+ desc.set_set(accessor); |
+ } |
+ desc.set_enumerable(true); |
+ desc.set_configurable(true); |
+ // 4. Let key be ? ToPropertyKey(P). |
+ ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, name, |
+ Object::ToPropertyKey(isolate, name)); |
+ // 5. Perform ? DefinePropertyOrThrow(O, key, desc). |
+ // To preserve legacy behavior, we ignore errors silently rather than |
+ // throwing an exception. |
+ Maybe<bool> success = JSReceiver::DefineOwnProperty( |
+ isolate, receiver, name, &desc, Object::DONT_THROW); |
+ MAYBE_RETURN(success, isolate->heap()->exception()); |
+ if (!success.FromJust()) { |
+ isolate->CountUsage(v8::Isolate::kDefineGetterOrSetterWouldThrow); |
+ } |
+ // 6. Return undefined. |
+ return isolate->heap()->undefined_value(); |
+} |
+ |
+Object* ObjectLookupAccessor(Isolate* isolate, Handle<Object> object, |
+ Handle<Object> key, AccessorComponent component) { |
+ ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, object, |
+ Object::ConvertReceiver(isolate, object)); |
+ ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, key, |
+ Object::ToPropertyKey(isolate, key)); |
+ bool success = false; |
+ LookupIterator it = LookupIterator::PropertyOrElement( |
+ isolate, object, key, &success, |
+ LookupIterator::PROTOTYPE_CHAIN_SKIP_INTERCEPTOR); |
+ DCHECK(success); |
+ |
+ for (; it.IsFound(); it.Next()) { |
+ switch (it.state()) { |
+ case LookupIterator::INTERCEPTOR: |
+ case LookupIterator::NOT_FOUND: |
+ case LookupIterator::TRANSITION: |
+ UNREACHABLE(); |
+ |
+ case LookupIterator::ACCESS_CHECK: |
+ if (it.HasAccess()) continue; |
+ isolate->ReportFailedAccessCheck(it.GetHolder<JSObject>()); |
+ RETURN_FAILURE_IF_SCHEDULED_EXCEPTION(isolate); |
+ return isolate->heap()->undefined_value(); |
+ |
+ case LookupIterator::JSPROXY: |
+ return isolate->heap()->undefined_value(); |
+ |
+ case LookupIterator::INTEGER_INDEXED_EXOTIC: |
+ return isolate->heap()->undefined_value(); |
+ case LookupIterator::DATA: |
+ continue; |
+ case LookupIterator::ACCESSOR: { |
+ Handle<Object> maybe_pair = it.GetAccessors(); |
+ if (maybe_pair->IsAccessorPair()) { |
+ return *AccessorPair::GetComponent( |
+ Handle<AccessorPair>::cast(maybe_pair), component); |
+ } |
+ } |
+ } |
+ } |
+ |
+ return isolate->heap()->undefined_value(); |
+} |
+ |
+} // namespace |
+ |
+// ES6 B.2.2.2 a.k.a. |
+// https://tc39.github.io/ecma262/#sec-object.prototype.__defineGetter__ |
+BUILTIN(ObjectDefineGetter) { |
+ HandleScope scope(isolate); |
+ Handle<Object> object = args.at<Object>(0); // Receiver. |
+ Handle<Object> name = args.at<Object>(1); |
+ Handle<Object> getter = args.at<Object>(2); |
+ return ObjectDefineAccessor<ACCESSOR_GETTER>(isolate, object, name, getter); |
+} |
+ |
+// ES6 B.2.2.3 a.k.a. |
+// https://tc39.github.io/ecma262/#sec-object.prototype.__defineSetter__ |
+BUILTIN(ObjectDefineSetter) { |
+ HandleScope scope(isolate); |
+ Handle<Object> object = args.at<Object>(0); // Receiver. |
+ Handle<Object> name = args.at<Object>(1); |
+ Handle<Object> setter = args.at<Object>(2); |
+ return ObjectDefineAccessor<ACCESSOR_SETTER>(isolate, object, name, setter); |
+} |
+ |
+// ES6 B.2.2.4 a.k.a. |
+// https://tc39.github.io/ecma262/#sec-object.prototype.__lookupGetter__ |
+BUILTIN(ObjectLookupGetter) { |
+ HandleScope scope(isolate); |
+ Handle<Object> object = args.at<Object>(0); |
+ Handle<Object> name = args.at<Object>(1); |
+ return ObjectLookupAccessor(isolate, object, name, ACCESSOR_GETTER); |
+} |
+ |
+// ES6 B.2.2.5 a.k.a. |
+// https://tc39.github.io/ecma262/#sec-object.prototype.__lookupSetter__ |
+BUILTIN(ObjectLookupSetter) { |
+ HandleScope scope(isolate); |
+ Handle<Object> object = args.at<Object>(0); |
+ Handle<Object> name = args.at<Object>(1); |
+ return ObjectLookupAccessor(isolate, object, name, ACCESSOR_SETTER); |
+} |
+ |
+// ES6 section 19.1.2.5 Object.freeze ( O ) |
+BUILTIN(ObjectFreeze) { |
+ HandleScope scope(isolate); |
+ Handle<Object> object = args.atOrUndefined(isolate, 1); |
+ if (object->IsJSReceiver()) { |
+ MAYBE_RETURN(JSReceiver::SetIntegrityLevel(Handle<JSReceiver>::cast(object), |
+ FROZEN, Object::THROW_ON_ERROR), |
+ isolate->heap()->exception()); |
+ } |
+ return *object; |
+} |
+ |
+// ES section 19.1.2.9 Object.getPrototypeOf ( O ) |
+BUILTIN(ObjectGetPrototypeOf) { |
+ HandleScope scope(isolate); |
+ Handle<Object> object = args.atOrUndefined(isolate, 1); |
+ |
+ Handle<JSReceiver> receiver; |
+ ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, receiver, |
+ Object::ToObject(isolate, object)); |
+ |
+ RETURN_RESULT_OR_FAILURE(isolate, |
+ JSReceiver::GetPrototype(isolate, receiver)); |
+} |
+ |
+// ES6 section 19.1.2.6 Object.getOwnPropertyDescriptor ( O, P ) |
+BUILTIN(ObjectGetOwnPropertyDescriptor) { |
+ HandleScope scope(isolate); |
+ // 1. Let obj be ? ToObject(O). |
+ Handle<Object> object = args.atOrUndefined(isolate, 1); |
+ Handle<JSReceiver> receiver; |
+ ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, receiver, |
+ Object::ToObject(isolate, object)); |
+ // 2. Let key be ? ToPropertyKey(P). |
+ Handle<Object> property = args.atOrUndefined(isolate, 2); |
+ Handle<Name> key; |
+ ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, key, |
+ Object::ToName(isolate, property)); |
+ // 3. Let desc be ? obj.[[GetOwnProperty]](key). |
+ PropertyDescriptor desc; |
+ Maybe<bool> found = |
+ JSReceiver::GetOwnPropertyDescriptor(isolate, receiver, key, &desc); |
+ MAYBE_RETURN(found, isolate->heap()->exception()); |
+ // 4. Return FromPropertyDescriptor(desc). |
+ if (!found.FromJust()) return isolate->heap()->undefined_value(); |
+ return *desc.ToObject(isolate); |
+} |
+ |
+namespace { |
+ |
+Object* GetOwnPropertyKeys(Isolate* isolate, BuiltinArguments args, |
+ PropertyFilter filter) { |
+ HandleScope scope(isolate); |
+ Handle<Object> object = args.atOrUndefined(isolate, 1); |
+ Handle<JSReceiver> receiver; |
+ ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, receiver, |
+ Object::ToObject(isolate, object)); |
+ Handle<FixedArray> keys; |
+ ASSIGN_RETURN_FAILURE_ON_EXCEPTION( |
+ isolate, keys, |
+ KeyAccumulator::GetKeys(receiver, KeyCollectionMode::kOwnOnly, filter, |
+ GetKeysConversion::kConvertToString)); |
+ return *isolate->factory()->NewJSArrayWithElements(keys); |
+} |
+ |
+} // namespace |
+ |
+// ES6 section 19.1.2.7 Object.getOwnPropertyNames ( O ) |
+BUILTIN(ObjectGetOwnPropertyNames) { |
+ return GetOwnPropertyKeys(isolate, args, SKIP_SYMBOLS); |
+} |
+ |
+// ES6 section 19.1.2.8 Object.getOwnPropertySymbols ( O ) |
+BUILTIN(ObjectGetOwnPropertySymbols) { |
+ return GetOwnPropertyKeys(isolate, args, SKIP_STRINGS); |
+} |
+ |
+// ES#sec-object.is Object.is ( value1, value2 ) |
+BUILTIN(ObjectIs) { |
+ SealHandleScope shs(isolate); |
+ DCHECK_EQ(3, args.length()); |
+ Handle<Object> value1 = args.at<Object>(1); |
+ Handle<Object> value2 = args.at<Object>(2); |
+ return isolate->heap()->ToBoolean(value1->SameValue(*value2)); |
+} |
+ |
+// ES6 section 19.1.2.11 Object.isExtensible ( O ) |
+BUILTIN(ObjectIsExtensible) { |
+ HandleScope scope(isolate); |
+ Handle<Object> object = args.atOrUndefined(isolate, 1); |
+ Maybe<bool> result = |
+ object->IsJSReceiver() |
+ ? JSReceiver::IsExtensible(Handle<JSReceiver>::cast(object)) |
+ : Just(false); |
+ MAYBE_RETURN(result, isolate->heap()->exception()); |
+ return isolate->heap()->ToBoolean(result.FromJust()); |
+} |
+ |
+// ES6 section 19.1.2.12 Object.isFrozen ( O ) |
+BUILTIN(ObjectIsFrozen) { |
+ HandleScope scope(isolate); |
+ Handle<Object> object = args.atOrUndefined(isolate, 1); |
+ Maybe<bool> result = object->IsJSReceiver() |
+ ? JSReceiver::TestIntegrityLevel( |
+ Handle<JSReceiver>::cast(object), FROZEN) |
+ : Just(true); |
+ MAYBE_RETURN(result, isolate->heap()->exception()); |
+ return isolate->heap()->ToBoolean(result.FromJust()); |
+} |
+ |
+// ES6 section 19.1.2.13 Object.isSealed ( O ) |
+BUILTIN(ObjectIsSealed) { |
+ HandleScope scope(isolate); |
+ Handle<Object> object = args.atOrUndefined(isolate, 1); |
+ Maybe<bool> result = object->IsJSReceiver() |
+ ? JSReceiver::TestIntegrityLevel( |
+ Handle<JSReceiver>::cast(object), SEALED) |
+ : Just(true); |
+ MAYBE_RETURN(result, isolate->heap()->exception()); |
+ return isolate->heap()->ToBoolean(result.FromJust()); |
+} |
+ |
+// ES6 section 19.1.2.14 Object.keys ( O ) |
+BUILTIN(ObjectKeys) { |
+ HandleScope scope(isolate); |
+ Handle<Object> object = args.atOrUndefined(isolate, 1); |
+ Handle<JSReceiver> receiver; |
+ ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, receiver, |
+ Object::ToObject(isolate, object)); |
+ |
+ Handle<FixedArray> keys; |
+ int enum_length = receiver->map()->EnumLength(); |
+ if (enum_length != kInvalidEnumCacheSentinel && |
+ JSObject::cast(*receiver)->elements() == |
+ isolate->heap()->empty_fixed_array()) { |
+ DCHECK(receiver->IsJSObject()); |
+ DCHECK(!JSObject::cast(*receiver)->HasNamedInterceptor()); |
+ DCHECK(!JSObject::cast(*receiver)->IsAccessCheckNeeded()); |
+ DCHECK(!receiver->map()->has_hidden_prototype()); |
+ DCHECK(JSObject::cast(*receiver)->HasFastProperties()); |
+ if (enum_length == 0) { |
+ keys = isolate->factory()->empty_fixed_array(); |
+ } else { |
+ Handle<FixedArray> cache( |
+ receiver->map()->instance_descriptors()->GetEnumCache()); |
+ keys = isolate->factory()->CopyFixedArrayUpTo(cache, enum_length); |
+ } |
+ } else { |
+ ASSIGN_RETURN_FAILURE_ON_EXCEPTION( |
+ isolate, keys, |
+ KeyAccumulator::GetKeys(receiver, KeyCollectionMode::kOwnOnly, |
+ ENUMERABLE_STRINGS, |
+ GetKeysConversion::kConvertToString)); |
+ } |
+ return *isolate->factory()->NewJSArrayWithElements(keys, FAST_ELEMENTS); |
+} |
+ |
+BUILTIN(ObjectValues) { |
+ HandleScope scope(isolate); |
+ Handle<Object> object = args.atOrUndefined(isolate, 1); |
+ Handle<JSReceiver> receiver; |
+ ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, receiver, |
+ Object::ToObject(isolate, object)); |
+ Handle<FixedArray> values; |
+ ASSIGN_RETURN_FAILURE_ON_EXCEPTION( |
+ isolate, values, JSReceiver::GetOwnValues(receiver, ENUMERABLE_STRINGS)); |
+ return *isolate->factory()->NewJSArrayWithElements(values); |
+} |
+ |
+BUILTIN(ObjectEntries) { |
+ HandleScope scope(isolate); |
+ Handle<Object> object = args.atOrUndefined(isolate, 1); |
+ Handle<JSReceiver> receiver; |
+ ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, receiver, |
+ Object::ToObject(isolate, object)); |
+ Handle<FixedArray> entries; |
+ ASSIGN_RETURN_FAILURE_ON_EXCEPTION( |
+ isolate, entries, |
+ JSReceiver::GetOwnEntries(receiver, ENUMERABLE_STRINGS)); |
+ return *isolate->factory()->NewJSArrayWithElements(entries); |
+} |
+ |
+BUILTIN(ObjectGetOwnPropertyDescriptors) { |
+ HandleScope scope(isolate); |
+ Handle<Object> object = args.atOrUndefined(isolate, 1); |
+ |
+ Handle<JSReceiver> receiver; |
+ ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, receiver, |
+ Object::ToObject(isolate, object)); |
+ |
+ Handle<FixedArray> keys; |
+ ASSIGN_RETURN_FAILURE_ON_EXCEPTION( |
+ isolate, keys, KeyAccumulator::GetKeys( |
+ receiver, KeyCollectionMode::kOwnOnly, ALL_PROPERTIES, |
+ GetKeysConversion::kConvertToString)); |
+ |
+ Handle<JSObject> descriptors = |
+ isolate->factory()->NewJSObject(isolate->object_function()); |
+ |
+ for (int i = 0; i < keys->length(); ++i) { |
+ Handle<Name> key = Handle<Name>::cast(FixedArray::get(*keys, i, isolate)); |
+ PropertyDescriptor descriptor; |
+ Maybe<bool> did_get_descriptor = JSReceiver::GetOwnPropertyDescriptor( |
+ isolate, receiver, key, &descriptor); |
+ MAYBE_RETURN(did_get_descriptor, isolate->heap()->exception()); |
+ |
+ if (!did_get_descriptor.FromJust()) continue; |
+ Handle<Object> from_descriptor = descriptor.ToObject(isolate); |
+ |
+ LookupIterator it = LookupIterator::PropertyOrElement( |
+ isolate, descriptors, key, descriptors, LookupIterator::OWN); |
+ Maybe<bool> success = JSReceiver::CreateDataProperty(&it, from_descriptor, |
+ Object::DONT_THROW); |
+ CHECK(success.FromJust()); |
+ } |
+ |
+ return *descriptors; |
+} |
+ |
+// ES6 section 19.1.2.15 Object.preventExtensions ( O ) |
+BUILTIN(ObjectPreventExtensions) { |
+ HandleScope scope(isolate); |
+ Handle<Object> object = args.atOrUndefined(isolate, 1); |
+ if (object->IsJSReceiver()) { |
+ MAYBE_RETURN(JSReceiver::PreventExtensions(Handle<JSReceiver>::cast(object), |
+ Object::THROW_ON_ERROR), |
+ isolate->heap()->exception()); |
+ } |
+ return *object; |
+} |
+ |
+// ES6 section 19.1.2.17 Object.seal ( O ) |
+BUILTIN(ObjectSeal) { |
+ HandleScope scope(isolate); |
+ Handle<Object> object = args.atOrUndefined(isolate, 1); |
+ if (object->IsJSReceiver()) { |
+ MAYBE_RETURN(JSReceiver::SetIntegrityLevel(Handle<JSReceiver>::cast(object), |
+ SEALED, Object::THROW_ON_ERROR), |
+ isolate->heap()->exception()); |
+ } |
+ return *object; |
+} |
+ |
+} // namespace internal |
+} // namespace v8 |