| OLD | NEW |
| 1 // Copyright 2015 the V8 project authors. All rights reserved. | 1 // Copyright 2015 the V8 project authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
| 4 | 4 |
| 5 #include "src/objects.h" | 5 #include "src/objects.h" |
| 6 | 6 |
| 7 #include <cmath> | 7 #include <cmath> |
| 8 #include <iomanip> | 8 #include <iomanip> |
| 9 #include <sstream> | 9 #include <sstream> |
| 10 | 10 |
| (...skipping 6267 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 6278 // 7. ReturnIfAbrupt(success). | 6278 // 7. ReturnIfAbrupt(success). |
| 6279 MAYBE_RETURN(success, isolate->heap()->exception()); | 6279 MAYBE_RETURN(success, isolate->heap()->exception()); |
| 6280 CHECK(success.FromJust()); | 6280 CHECK(success.FromJust()); |
| 6281 // 8. Return O. | 6281 // 8. Return O. |
| 6282 return *object; | 6282 return *object; |
| 6283 } | 6283 } |
| 6284 | 6284 |
| 6285 | 6285 |
| 6286 // ES6 19.1.2.3.1 | 6286 // ES6 19.1.2.3.1 |
| 6287 // static | 6287 // static |
| 6288 Object* JSReceiver::DefineProperties(Isolate* isolate, Handle<Object> object, | 6288 MaybeHandle<Object> JSReceiver::DefineProperties(Isolate* isolate, |
| 6289 Handle<Object> properties) { | 6289 Handle<Object> object, |
| 6290 Handle<Object> properties) { |
| 6290 // 1. If Type(O) is not Object, throw a TypeError exception. | 6291 // 1. If Type(O) is not Object, throw a TypeError exception. |
| 6291 if (!object->IsJSReceiver()) { | 6292 if (!object->IsJSReceiver()) { |
| 6292 Handle<String> fun_name = | 6293 Handle<String> fun_name = |
| 6293 isolate->factory()->InternalizeUtf8String("Object.defineProperties"); | 6294 isolate->factory()->InternalizeUtf8String("Object.defineProperties"); |
| 6294 THROW_NEW_ERROR_RETURN_FAILURE( | 6295 THROW_NEW_ERROR(isolate, |
| 6295 isolate, NewTypeError(MessageTemplate::kCalledOnNonObject, fun_name)); | 6296 NewTypeError(MessageTemplate::kCalledOnNonObject, fun_name), |
| 6297 Object); |
| 6296 } | 6298 } |
| 6297 // 2. Let props be ToObject(Properties). | 6299 // 2. Let props be ToObject(Properties). |
| 6298 // 3. ReturnIfAbrupt(props). | 6300 // 3. ReturnIfAbrupt(props). |
| 6299 Handle<JSReceiver> props; | 6301 Handle<JSReceiver> props; |
| 6300 if (!Object::ToObject(isolate, properties).ToHandle(&props)) { | 6302 if (!Object::ToObject(isolate, properties).ToHandle(&props)) { |
| 6301 THROW_NEW_ERROR_RETURN_FAILURE( | 6303 THROW_NEW_ERROR(isolate, |
| 6302 isolate, NewTypeError(MessageTemplate::kUndefinedOrNullToObject)); | 6304 NewTypeError(MessageTemplate::kUndefinedOrNullToObject), |
| 6305 Object); |
| 6303 } | 6306 } |
| 6304 // 4. Let keys be props.[[OwnPropertyKeys]](). | 6307 // 4. Let keys be props.[[OwnPropertyKeys]](). |
| 6305 // 5. ReturnIfAbrupt(keys). | 6308 // 5. ReturnIfAbrupt(keys). |
| 6306 Handle<FixedArray> keys; | 6309 Handle<FixedArray> keys; |
| 6307 ASSIGN_RETURN_FAILURE_ON_EXCEPTION( | 6310 ASSIGN_RETURN_ON_EXCEPTION( |
| 6308 isolate, keys, | 6311 isolate, keys, |
| 6309 JSReceiver::GetKeys(props, JSReceiver::OWN_ONLY, ALL_PROPERTIES)); | 6312 JSReceiver::GetKeys(props, JSReceiver::OWN_ONLY, ALL_PROPERTIES), Object); |
| 6310 // 6. Let descriptors be an empty List. | 6313 // 6. Let descriptors be an empty List. |
| 6311 int capacity = keys->length(); | 6314 int capacity = keys->length(); |
| 6312 std::vector<PropertyDescriptor> descriptors(capacity); | 6315 std::vector<PropertyDescriptor> descriptors(capacity); |
| 6313 size_t descriptors_index = 0; | 6316 size_t descriptors_index = 0; |
| 6314 // 7. Repeat for each element nextKey of keys in List order, | 6317 // 7. Repeat for each element nextKey of keys in List order, |
| 6315 for (int i = 0; i < keys->length(); ++i) { | 6318 for (int i = 0; i < keys->length(); ++i) { |
| 6316 Handle<Object> next_key(keys->get(i), isolate); | 6319 Handle<Object> next_key(keys->get(i), isolate); |
| 6317 // 7a. Let propDesc be props.[[GetOwnProperty]](nextKey). | 6320 // 7a. Let propDesc be props.[[GetOwnProperty]](nextKey). |
| 6318 // 7b. ReturnIfAbrupt(propDesc). | 6321 // 7b. ReturnIfAbrupt(propDesc). |
| 6319 bool success = false; | 6322 bool success = false; |
| 6320 LookupIterator it = LookupIterator::PropertyOrElement( | 6323 LookupIterator it = LookupIterator::PropertyOrElement( |
| 6321 isolate, props, next_key, &success, LookupIterator::HIDDEN); | 6324 isolate, props, next_key, &success, LookupIterator::HIDDEN); |
| 6322 DCHECK(success); | 6325 DCHECK(success); |
| 6323 Maybe<PropertyAttributes> maybe = JSReceiver::GetPropertyAttributes(&it); | 6326 Maybe<PropertyAttributes> maybe = JSReceiver::GetPropertyAttributes(&it); |
| 6324 if (!maybe.IsJust()) return isolate->heap()->exception(); | 6327 if (!maybe.IsJust()) return MaybeHandle<Object>(); |
| 6325 PropertyAttributes attrs = maybe.FromJust(); | 6328 PropertyAttributes attrs = maybe.FromJust(); |
| 6326 // 7c. If propDesc is not undefined and propDesc.[[Enumerable]] is true: | 6329 // 7c. If propDesc is not undefined and propDesc.[[Enumerable]] is true: |
| 6327 if (attrs == ABSENT) continue; | 6330 if (attrs == ABSENT) continue; |
| 6328 if (attrs & DONT_ENUM) continue; | 6331 if (attrs & DONT_ENUM) continue; |
| 6329 // 7c i. Let descObj be Get(props, nextKey). | 6332 // 7c i. Let descObj be Get(props, nextKey). |
| 6330 // 7c ii. ReturnIfAbrupt(descObj). | 6333 // 7c ii. ReturnIfAbrupt(descObj). |
| 6331 Handle<Object> desc_obj; | 6334 Handle<Object> desc_obj; |
| 6332 ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, desc_obj, | 6335 ASSIGN_RETURN_ON_EXCEPTION(isolate, desc_obj, Object::GetProperty(&it), |
| 6333 Object::GetProperty(&it)); | 6336 Object); |
| 6334 // 7c iii. Let desc be ToPropertyDescriptor(descObj). | 6337 // 7c iii. Let desc be ToPropertyDescriptor(descObj). |
| 6335 success = PropertyDescriptor::ToPropertyDescriptor( | 6338 success = PropertyDescriptor::ToPropertyDescriptor( |
| 6336 isolate, desc_obj, &descriptors[descriptors_index]); | 6339 isolate, desc_obj, &descriptors[descriptors_index]); |
| 6337 // 7c iv. ReturnIfAbrupt(desc). | 6340 // 7c iv. ReturnIfAbrupt(desc). |
| 6338 if (!success) return isolate->heap()->exception(); | 6341 if (!success) return MaybeHandle<Object>(); |
| 6339 // 7c v. Append the pair (a two element List) consisting of nextKey and | 6342 // 7c v. Append the pair (a two element List) consisting of nextKey and |
| 6340 // desc to the end of descriptors. | 6343 // desc to the end of descriptors. |
| 6341 descriptors[descriptors_index].set_name(next_key); | 6344 descriptors[descriptors_index].set_name(next_key); |
| 6342 descriptors_index++; | 6345 descriptors_index++; |
| 6343 } | 6346 } |
| 6344 // 8. For each pair from descriptors in list order, | 6347 // 8. For each pair from descriptors in list order, |
| 6345 for (size_t i = 0; i < descriptors_index; ++i) { | 6348 for (size_t i = 0; i < descriptors_index; ++i) { |
| 6346 PropertyDescriptor* desc = &descriptors[i]; | 6349 PropertyDescriptor* desc = &descriptors[i]; |
| 6347 // 8a. Let P be the first element of pair. | 6350 // 8a. Let P be the first element of pair. |
| 6348 // 8b. Let desc be the second element of pair. | 6351 // 8b. Let desc be the second element of pair. |
| 6349 // 8c. Let status be DefinePropertyOrThrow(O, P, desc). | 6352 // 8c. Let status be DefinePropertyOrThrow(O, P, desc). |
| 6350 Maybe<bool> status = | 6353 Maybe<bool> status = |
| 6351 DefineOwnProperty(isolate, Handle<JSReceiver>::cast(object), | 6354 DefineOwnProperty(isolate, Handle<JSReceiver>::cast(object), |
| 6352 desc->name(), desc, THROW_ON_ERROR); | 6355 desc->name(), desc, THROW_ON_ERROR); |
| 6353 // 8d. ReturnIfAbrupt(status). | 6356 // 8d. ReturnIfAbrupt(status). |
| 6354 MAYBE_RETURN(status, isolate->heap()->exception()); | 6357 if (!status.IsJust()) return MaybeHandle<Object>(); |
| 6355 CHECK(status.FromJust()); | 6358 CHECK(status.FromJust()); |
| 6356 } | 6359 } |
| 6357 // 9. Return o. | 6360 // 9. Return o. |
| 6358 return *object; | 6361 return object; |
| 6359 } | 6362 } |
| 6360 | 6363 |
| 6361 | 6364 |
| 6362 // static | 6365 // static |
| 6363 Maybe<bool> JSReceiver::DefineOwnProperty(Isolate* isolate, | 6366 Maybe<bool> JSReceiver::DefineOwnProperty(Isolate* isolate, |
| 6364 Handle<JSReceiver> object, | 6367 Handle<JSReceiver> object, |
| 6365 Handle<Object> key, | 6368 Handle<Object> key, |
| 6366 PropertyDescriptor* desc, | 6369 PropertyDescriptor* desc, |
| 6367 ShouldThrow should_throw) { | 6370 ShouldThrow should_throw) { |
| 6368 if (object->IsJSArray()) { | 6371 if (object->IsJSArray()) { |
| (...skipping 13121 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 19490 if (cell->value() != *new_value) { | 19493 if (cell->value() != *new_value) { |
| 19491 cell->set_value(*new_value); | 19494 cell->set_value(*new_value); |
| 19492 Isolate* isolate = cell->GetIsolate(); | 19495 Isolate* isolate = cell->GetIsolate(); |
| 19493 cell->dependent_code()->DeoptimizeDependentCodeGroup( | 19496 cell->dependent_code()->DeoptimizeDependentCodeGroup( |
| 19494 isolate, DependentCode::kPropertyCellChangedGroup); | 19497 isolate, DependentCode::kPropertyCellChangedGroup); |
| 19495 } | 19498 } |
| 19496 } | 19499 } |
| 19497 | 19500 |
| 19498 } // namespace internal | 19501 } // namespace internal |
| 19499 } // namespace v8 | 19502 } // namespace v8 |
| OLD | NEW |