OLD | NEW |
1 // Copyright 2013 the V8 project authors. All rights reserved. | 1 // Copyright 2013 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 <iomanip> | 5 #include <iomanip> |
6 #include <sstream> | 6 #include <sstream> |
7 | 7 |
8 #include "src/v8.h" | 8 #include "src/v8.h" |
9 | 9 |
10 #include "src/accessors.h" | 10 #include "src/accessors.h" |
(...skipping 109 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
120 if (js_object->map()->is_access_check_needed()) return false; | 120 if (js_object->map()->is_access_check_needed()) return false; |
121 auto isolate = js_object->GetIsolate(); | 121 auto isolate = js_object->GetIsolate(); |
122 // TODO(dcarney): this should just be read from the symbol registry so as not | 122 // TODO(dcarney): this should just be read from the symbol registry so as not |
123 // to be context dependent. | 123 // to be context dependent. |
124 auto key = isolate->promise_status(); | 124 auto key = isolate->promise_status(); |
125 // Shouldn't be possible to throw here. | 125 // Shouldn't be possible to throw here. |
126 return JSObject::HasRealNamedProperty(js_object, key).FromJust(); | 126 return JSObject::HasRealNamedProperty(js_object, key).FromJust(); |
127 } | 127 } |
128 | 128 |
129 | 129 |
130 MaybeHandle<Object> Object::GetProperty(LookupIterator* it, | 130 MaybeHandle<Object> Object::GetProperty(LookupIterator* it) { |
131 LanguageMode language_mode) { | |
132 for (; it->IsFound(); it->Next()) { | 131 for (; it->IsFound(); it->Next()) { |
133 switch (it->state()) { | 132 switch (it->state()) { |
134 case LookupIterator::NOT_FOUND: | 133 case LookupIterator::NOT_FOUND: |
135 case LookupIterator::TRANSITION: | 134 case LookupIterator::TRANSITION: |
136 UNREACHABLE(); | 135 UNREACHABLE(); |
137 case LookupIterator::JSPROXY: | 136 case LookupIterator::JSPROXY: |
138 return JSProxy::GetPropertyWithHandler( | 137 return JSProxy::GetPropertyWithHandler( |
139 it->GetHolder<JSProxy>(), it->GetReceiver(), it->GetName()); | 138 it->GetHolder<JSProxy>(), it->GetReceiver(), it->GetName()); |
140 case LookupIterator::INTERCEPTOR: { | 139 case LookupIterator::INTERCEPTOR: { |
141 bool done; | 140 bool done; |
142 Handle<Object> result; | 141 Handle<Object> result; |
143 ASSIGN_RETURN_ON_EXCEPTION( | 142 ASSIGN_RETURN_ON_EXCEPTION( |
144 it->isolate(), result, | 143 it->isolate(), result, |
145 JSObject::GetPropertyWithInterceptor(it, &done), Object); | 144 JSObject::GetPropertyWithInterceptor(it, &done), Object); |
146 if (done) return result; | 145 if (done) return result; |
147 break; | 146 break; |
148 } | 147 } |
149 case LookupIterator::ACCESS_CHECK: | 148 case LookupIterator::ACCESS_CHECK: |
150 if (it->HasAccess()) break; | 149 if (it->HasAccess()) break; |
151 return JSObject::GetPropertyWithFailedAccessCheck(it, language_mode); | 150 return JSObject::GetPropertyWithFailedAccessCheck(it); |
152 case LookupIterator::ACCESSOR: | 151 case LookupIterator::ACCESSOR: |
153 return GetPropertyWithAccessor(it, language_mode); | 152 return GetPropertyWithAccessor(it); |
154 case LookupIterator::INTEGER_INDEXED_EXOTIC: | 153 case LookupIterator::INTEGER_INDEXED_EXOTIC: |
155 return ReadAbsentProperty(it, language_mode); | 154 return it->factory()->undefined_value(); |
156 case LookupIterator::DATA: | 155 case LookupIterator::DATA: |
157 return it->GetDataValue(); | 156 return it->GetDataValue(); |
158 } | 157 } |
159 } | 158 } |
160 return ReadAbsentProperty(it, language_mode); | 159 return it->factory()->undefined_value(); |
161 } | 160 } |
162 | 161 |
163 | 162 |
164 Handle<Object> JSReceiver::GetDataProperty(Handle<JSReceiver> object, | 163 Handle<Object> JSReceiver::GetDataProperty(Handle<JSReceiver> object, |
165 Handle<Name> name) { | 164 Handle<Name> name) { |
166 LookupIterator it(object, name, | 165 LookupIterator it(object, name, |
167 LookupIterator::PROTOTYPE_CHAIN_SKIP_INTERCEPTOR); | 166 LookupIterator::PROTOTYPE_CHAIN_SKIP_INTERCEPTOR); |
168 return GetDataProperty(&it); | 167 return GetDataProperty(&it); |
169 } | 168 } |
170 | 169 |
(...skipping 127 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
298 | 297 |
299 // TODO(rossberg): adjust once there is a story for symbols vs proxies. | 298 // TODO(rossberg): adjust once there is a story for symbols vs proxies. |
300 if (name->IsSymbol()) return isolate->factory()->undefined_value(); | 299 if (name->IsSymbol()) return isolate->factory()->undefined_value(); |
301 | 300 |
302 Handle<Object> args[] = { receiver, name }; | 301 Handle<Object> args[] = { receiver, name }; |
303 return CallTrap( | 302 return CallTrap( |
304 proxy, "get", isolate->derived_get_trap(), arraysize(args), args); | 303 proxy, "get", isolate->derived_get_trap(), arraysize(args), args); |
305 } | 304 } |
306 | 305 |
307 | 306 |
308 MaybeHandle<Object> Object::GetPropertyWithAccessor( | 307 MaybeHandle<Object> Object::GetPropertyWithAccessor(LookupIterator* it) { |
309 LookupIterator* it, LanguageMode language_mode) { | |
310 Isolate* isolate = it->isolate(); | 308 Isolate* isolate = it->isolate(); |
311 Handle<Object> structure = it->GetAccessors(); | 309 Handle<Object> structure = it->GetAccessors(); |
312 Handle<Object> receiver = it->GetReceiver(); | 310 Handle<Object> receiver = it->GetReceiver(); |
313 | 311 |
314 // We should never get here to initialize a const with the hole value since a | 312 // We should never get here to initialize a const with the hole value since a |
315 // const declaration would conflict with the getter. | 313 // const declaration would conflict with the getter. |
316 DCHECK(!structure->IsForeign()); | 314 DCHECK(!structure->IsForeign()); |
317 | 315 |
318 // API style callbacks. | 316 // API style callbacks. |
319 if (structure->IsAccessorInfo()) { | 317 if (structure->IsAccessorInfo()) { |
(...skipping 11 matching lines...) Expand all Loading... |
331 v8::AccessorNameGetterCallback call_fun = | 329 v8::AccessorNameGetterCallback call_fun = |
332 v8::ToCData<v8::AccessorNameGetterCallback>(info->getter()); | 330 v8::ToCData<v8::AccessorNameGetterCallback>(info->getter()); |
333 if (call_fun == nullptr) return isolate->factory()->undefined_value(); | 331 if (call_fun == nullptr) return isolate->factory()->undefined_value(); |
334 | 332 |
335 LOG(isolate, ApiNamedPropertyAccess("load", *holder, *name)); | 333 LOG(isolate, ApiNamedPropertyAccess("load", *holder, *name)); |
336 PropertyCallbackArguments args(isolate, info->data(), *receiver, *holder); | 334 PropertyCallbackArguments args(isolate, info->data(), *receiver, *holder); |
337 v8::Handle<v8::Value> result = | 335 v8::Handle<v8::Value> result = |
338 args.Call(call_fun, v8::Utils::ToLocal(name)); | 336 args.Call(call_fun, v8::Utils::ToLocal(name)); |
339 RETURN_EXCEPTION_IF_SCHEDULED_EXCEPTION(isolate, Object); | 337 RETURN_EXCEPTION_IF_SCHEDULED_EXCEPTION(isolate, Object); |
340 if (result.IsEmpty()) { | 338 if (result.IsEmpty()) { |
341 return ReadAbsentProperty(isolate, receiver, name, language_mode); | 339 return isolate->factory()->undefined_value(); |
342 } | 340 } |
343 Handle<Object> return_value = v8::Utils::OpenHandle(*result); | 341 Handle<Object> return_value = v8::Utils::OpenHandle(*result); |
344 return_value->VerifyApiCallResultType(); | 342 return_value->VerifyApiCallResultType(); |
345 // Rebox handle before return. | 343 // Rebox handle before return. |
346 return handle(*return_value, isolate); | 344 return handle(*return_value, isolate); |
347 } | 345 } |
348 | 346 |
349 // Regular accessor. | 347 // Regular accessor. |
350 Handle<Object> getter(AccessorPair::cast(*structure)->getter(), isolate); | 348 Handle<Object> getter(AccessorPair::cast(*structure)->getter(), isolate); |
351 if (getter->IsSpecFunction()) { | 349 if (getter->IsSpecFunction()) { |
352 // TODO(rossberg): nicer would be to cast to some JSCallable here... | 350 // TODO(rossberg): nicer would be to cast to some JSCallable here... |
353 return Object::GetPropertyWithDefinedGetter( | 351 return Object::GetPropertyWithDefinedGetter( |
354 receiver, Handle<JSReceiver>::cast(getter)); | 352 receiver, Handle<JSReceiver>::cast(getter)); |
355 } | 353 } |
356 // Getter is not a function. | 354 // Getter is not a function. |
357 return ReadAbsentProperty(isolate, receiver, it->GetName(), language_mode); | 355 return isolate->factory()->undefined_value(); |
358 } | 356 } |
359 | 357 |
360 | 358 |
361 bool AccessorInfo::IsCompatibleReceiverMap(Isolate* isolate, | 359 bool AccessorInfo::IsCompatibleReceiverMap(Isolate* isolate, |
362 Handle<AccessorInfo> info, | 360 Handle<AccessorInfo> info, |
363 Handle<Map> map) { | 361 Handle<Map> map) { |
364 if (!info->HasExpectedReceiverType()) return true; | 362 if (!info->HasExpectedReceiverType()) return true; |
365 if (!map->IsJSObjectMap()) return false; | 363 if (!map->IsJSObjectMap()) return false; |
366 return FunctionTemplateInfo::cast(info->expected_receiver_type()) | 364 return FunctionTemplateInfo::cast(info->expected_receiver_type()) |
367 ->IsTemplateFor(*map); | 365 ->IsTemplateFor(*map); |
(...skipping 115 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
483 } | 481 } |
484 } else if (it->state() == LookupIterator::INTERCEPTOR) { | 482 } else if (it->state() == LookupIterator::INTERCEPTOR) { |
485 if (it->GetInterceptor()->all_can_read()) return true; | 483 if (it->GetInterceptor()->all_can_read()) return true; |
486 } | 484 } |
487 } | 485 } |
488 return false; | 486 return false; |
489 } | 487 } |
490 | 488 |
491 | 489 |
492 MaybeHandle<Object> JSObject::GetPropertyWithFailedAccessCheck( | 490 MaybeHandle<Object> JSObject::GetPropertyWithFailedAccessCheck( |
493 LookupIterator* it, LanguageMode language_mode) { | 491 LookupIterator* it) { |
494 Handle<JSObject> checked = it->GetHolder<JSObject>(); | 492 Handle<JSObject> checked = it->GetHolder<JSObject>(); |
495 while (FindAllCanReadHolder(it)) { | 493 while (FindAllCanReadHolder(it)) { |
496 if (it->state() == LookupIterator::ACCESSOR) { | 494 if (it->state() == LookupIterator::ACCESSOR) { |
497 return GetPropertyWithAccessor(it, language_mode); | 495 return GetPropertyWithAccessor(it); |
498 } | 496 } |
499 DCHECK_EQ(LookupIterator::INTERCEPTOR, it->state()); | 497 DCHECK_EQ(LookupIterator::INTERCEPTOR, it->state()); |
500 bool done; | 498 bool done; |
501 Handle<Object> result; | 499 Handle<Object> result; |
502 ASSIGN_RETURN_ON_EXCEPTION(it->isolate(), result, | 500 ASSIGN_RETURN_ON_EXCEPTION(it->isolate(), result, |
503 GetPropertyWithInterceptor(it, &done), Object); | 501 GetPropertyWithInterceptor(it, &done), Object); |
504 if (done) return result; | 502 if (done) return result; |
505 } | 503 } |
506 it->isolate()->ReportFailedAccessCheck(checked); | 504 it->isolate()->ReportFailedAccessCheck(checked); |
507 RETURN_EXCEPTION_IF_SCHEDULED_EXCEPTION(it->isolate(), Object); | 505 RETURN_EXCEPTION_IF_SCHEDULED_EXCEPTION(it->isolate(), Object); |
(...skipping 2710 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
3218 case LookupIterator::TRANSITION: | 3216 case LookupIterator::TRANSITION: |
3219 UNREACHABLE(); | 3217 UNREACHABLE(); |
3220 } | 3218 } |
3221 } | 3219 } |
3222 | 3220 |
3223 return JSObject::AddDataProperty(&own_lookup, value, NONE, language_mode, | 3221 return JSObject::AddDataProperty(&own_lookup, value, NONE, language_mode, |
3224 store_mode); | 3222 store_mode); |
3225 } | 3223 } |
3226 | 3224 |
3227 | 3225 |
3228 MaybeHandle<Object> Object::ReadAbsentProperty(LookupIterator* it, | |
3229 LanguageMode language_mode) { | |
3230 return ReadAbsentProperty(it->isolate(), it->GetReceiver(), it->GetName(), | |
3231 language_mode); | |
3232 } | |
3233 | |
3234 MaybeHandle<Object> Object::ReadAbsentProperty(Isolate* isolate, | |
3235 Handle<Object> receiver, | |
3236 Handle<Object> name, | |
3237 LanguageMode language_mode) { | |
3238 if (is_strong(language_mode)) { | |
3239 THROW_NEW_ERROR( | |
3240 isolate, | |
3241 NewTypeError(MessageTemplate::kStrongPropertyAccess, name, receiver), | |
3242 Object); | |
3243 } | |
3244 return isolate->factory()->undefined_value(); | |
3245 } | |
3246 | |
3247 | |
3248 MaybeHandle<Object> Object::WriteToReadOnlyProperty( | 3226 MaybeHandle<Object> Object::WriteToReadOnlyProperty( |
3249 LookupIterator* it, Handle<Object> value, LanguageMode language_mode) { | 3227 LookupIterator* it, Handle<Object> value, LanguageMode language_mode) { |
3250 return WriteToReadOnlyProperty(it->isolate(), it->GetReceiver(), | 3228 return WriteToReadOnlyProperty(it->isolate(), it->GetReceiver(), |
3251 it->GetName(), value, language_mode); | 3229 it->GetName(), value, language_mode); |
3252 } | 3230 } |
3253 | 3231 |
3254 | 3232 |
3255 MaybeHandle<Object> Object::WriteToReadOnlyProperty( | 3233 MaybeHandle<Object> Object::WriteToReadOnlyProperty( |
3256 Isolate* isolate, Handle<Object> receiver, Handle<Object> name, | 3234 Isolate* isolate, Handle<Object> receiver, Handle<Object> name, |
3257 Handle<Object> value, LanguageMode language_mode) { | 3235 Handle<Object> value, LanguageMode language_mode) { |
(...skipping 13442 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
16700 Handle<Object> new_value) { | 16678 Handle<Object> new_value) { |
16701 if (cell->value() != *new_value) { | 16679 if (cell->value() != *new_value) { |
16702 cell->set_value(*new_value); | 16680 cell->set_value(*new_value); |
16703 Isolate* isolate = cell->GetIsolate(); | 16681 Isolate* isolate = cell->GetIsolate(); |
16704 cell->dependent_code()->DeoptimizeDependentCodeGroup( | 16682 cell->dependent_code()->DeoptimizeDependentCodeGroup( |
16705 isolate, DependentCode::kPropertyCellChangedGroup); | 16683 isolate, DependentCode::kPropertyCellChangedGroup); |
16706 } | 16684 } |
16707 } | 16685 } |
16708 } // namespace internal | 16686 } // namespace internal |
16709 } // namespace v8 | 16687 } // namespace v8 |
OLD | NEW |