Index: src/builtins/builtins-reflect.cc |
diff --git a/src/builtins/builtins-reflect.cc b/src/builtins/builtins-reflect.cc |
new file mode 100644 |
index 0000000000000000000000000000000000000000..b4d16c4a7b4c164eeb1f8af8f4a05beb5a62e91f |
--- /dev/null |
+++ b/src/builtins/builtins-reflect.cc |
@@ -0,0 +1,274 @@ |
+// 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/property-descriptor.h" |
+ |
+namespace v8 { |
+namespace internal { |
+ |
+// ----------------------------------------------------------------------------- |
+// ES6 section 26.1 The Reflect Object |
+ |
+// ES6 section 26.1.3 Reflect.defineProperty |
+BUILTIN(ReflectDefineProperty) { |
+ 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); |
+ |
+ if (!target->IsJSReceiver()) { |
+ THROW_NEW_ERROR_RETURN_FAILURE( |
+ isolate, NewTypeError(MessageTemplate::kCalledOnNonObject, |
+ isolate->factory()->NewStringFromAsciiChecked( |
+ "Reflect.defineProperty"))); |
+ } |
+ |
+ Handle<Name> name; |
+ ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, name, |
+ Object::ToName(isolate, key)); |
+ |
+ PropertyDescriptor desc; |
+ if (!PropertyDescriptor::ToPropertyDescriptor(isolate, attributes, &desc)) { |
+ return isolate->heap()->exception(); |
+ } |
+ |
+ Maybe<bool> result = |
+ JSReceiver::DefineOwnProperty(isolate, Handle<JSReceiver>::cast(target), |
+ name, &desc, Object::DONT_THROW); |
+ MAYBE_RETURN(result, isolate->heap()->exception()); |
+ return *isolate->factory()->ToBoolean(result.FromJust()); |
+} |
+ |
+// ES6 section 26.1.4 Reflect.deleteProperty |
+BUILTIN(ReflectDeleteProperty) { |
+ HandleScope scope(isolate); |
+ DCHECK_EQ(3, args.length()); |
+ Handle<Object> target = args.at<Object>(1); |
+ Handle<Object> key = args.at<Object>(2); |
+ |
+ if (!target->IsJSReceiver()) { |
+ THROW_NEW_ERROR_RETURN_FAILURE( |
+ isolate, NewTypeError(MessageTemplate::kCalledOnNonObject, |
+ isolate->factory()->NewStringFromAsciiChecked( |
+ "Reflect.deleteProperty"))); |
+ } |
+ |
+ Handle<Name> name; |
+ ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, name, |
+ Object::ToName(isolate, key)); |
+ |
+ Maybe<bool> result = JSReceiver::DeletePropertyOrElement( |
+ Handle<JSReceiver>::cast(target), name, SLOPPY); |
+ MAYBE_RETURN(result, isolate->heap()->exception()); |
+ return *isolate->factory()->ToBoolean(result.FromJust()); |
+} |
+ |
+// ES6 section 26.1.6 Reflect.get |
+BUILTIN(ReflectGet) { |
+ HandleScope scope(isolate); |
+ Handle<Object> target = args.atOrUndefined(isolate, 1); |
+ Handle<Object> key = args.atOrUndefined(isolate, 2); |
+ Handle<Object> receiver = args.length() > 3 ? args.at<Object>(3) : target; |
+ |
+ if (!target->IsJSReceiver()) { |
+ THROW_NEW_ERROR_RETURN_FAILURE( |
+ isolate, NewTypeError(MessageTemplate::kCalledOnNonObject, |
+ isolate->factory()->NewStringFromAsciiChecked( |
+ "Reflect.get"))); |
+ } |
+ |
+ Handle<Name> name; |
+ ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, name, |
+ Object::ToName(isolate, key)); |
+ |
+ RETURN_RESULT_OR_FAILURE( |
+ isolate, Object::GetPropertyOrElement(receiver, name, |
+ Handle<JSReceiver>::cast(target))); |
+} |
+ |
+// ES6 section 26.1.7 Reflect.getOwnPropertyDescriptor |
+BUILTIN(ReflectGetOwnPropertyDescriptor) { |
+ HandleScope scope(isolate); |
+ DCHECK_EQ(3, args.length()); |
+ Handle<Object> target = args.at<Object>(1); |
+ Handle<Object> key = args.at<Object>(2); |
+ |
+ if (!target->IsJSReceiver()) { |
+ THROW_NEW_ERROR_RETURN_FAILURE( |
+ isolate, NewTypeError(MessageTemplate::kCalledOnNonObject, |
+ isolate->factory()->NewStringFromAsciiChecked( |
+ "Reflect.getOwnPropertyDescriptor"))); |
+ } |
+ |
+ Handle<Name> name; |
+ ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, name, |
+ Object::ToName(isolate, key)); |
+ |
+ PropertyDescriptor desc; |
+ Maybe<bool> found = JSReceiver::GetOwnPropertyDescriptor( |
+ isolate, Handle<JSReceiver>::cast(target), name, &desc); |
+ MAYBE_RETURN(found, isolate->heap()->exception()); |
+ if (!found.FromJust()) return isolate->heap()->undefined_value(); |
+ return *desc.ToObject(isolate); |
+} |
+ |
+// ES6 section 26.1.8 Reflect.getPrototypeOf |
+BUILTIN(ReflectGetPrototypeOf) { |
+ HandleScope scope(isolate); |
+ DCHECK_EQ(2, args.length()); |
+ Handle<Object> target = args.at<Object>(1); |
+ |
+ if (!target->IsJSReceiver()) { |
+ THROW_NEW_ERROR_RETURN_FAILURE( |
+ isolate, NewTypeError(MessageTemplate::kCalledOnNonObject, |
+ isolate->factory()->NewStringFromAsciiChecked( |
+ "Reflect.getPrototypeOf"))); |
+ } |
+ Handle<JSReceiver> receiver = Handle<JSReceiver>::cast(target); |
+ RETURN_RESULT_OR_FAILURE(isolate, |
+ JSReceiver::GetPrototype(isolate, receiver)); |
+} |
+ |
+// ES6 section 26.1.9 Reflect.has |
+BUILTIN(ReflectHas) { |
+ HandleScope scope(isolate); |
+ DCHECK_EQ(3, args.length()); |
+ Handle<Object> target = args.at<Object>(1); |
+ Handle<Object> key = args.at<Object>(2); |
+ |
+ if (!target->IsJSReceiver()) { |
+ THROW_NEW_ERROR_RETURN_FAILURE( |
+ isolate, NewTypeError(MessageTemplate::kCalledOnNonObject, |
+ isolate->factory()->NewStringFromAsciiChecked( |
+ "Reflect.has"))); |
+ } |
+ |
+ Handle<Name> name; |
+ ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, name, |
+ Object::ToName(isolate, key)); |
+ |
+ Maybe<bool> result = |
+ JSReceiver::HasProperty(Handle<JSReceiver>::cast(target), name); |
+ return result.IsJust() ? *isolate->factory()->ToBoolean(result.FromJust()) |
+ : isolate->heap()->exception(); |
+} |
+ |
+// ES6 section 26.1.10 Reflect.isExtensible |
+BUILTIN(ReflectIsExtensible) { |
+ HandleScope scope(isolate); |
+ DCHECK_EQ(2, args.length()); |
+ Handle<Object> target = args.at<Object>(1); |
+ |
+ if (!target->IsJSReceiver()) { |
+ THROW_NEW_ERROR_RETURN_FAILURE( |
+ isolate, NewTypeError(MessageTemplate::kCalledOnNonObject, |
+ isolate->factory()->NewStringFromAsciiChecked( |
+ "Reflect.isExtensible"))); |
+ } |
+ |
+ Maybe<bool> result = |
+ JSReceiver::IsExtensible(Handle<JSReceiver>::cast(target)); |
+ MAYBE_RETURN(result, isolate->heap()->exception()); |
+ return *isolate->factory()->ToBoolean(result.FromJust()); |
+} |
+ |
+// ES6 section 26.1.11 Reflect.ownKeys |
+BUILTIN(ReflectOwnKeys) { |
+ HandleScope scope(isolate); |
+ DCHECK_EQ(2, args.length()); |
+ Handle<Object> target = args.at<Object>(1); |
+ |
+ if (!target->IsJSReceiver()) { |
+ THROW_NEW_ERROR_RETURN_FAILURE( |
+ isolate, NewTypeError(MessageTemplate::kCalledOnNonObject, |
+ isolate->factory()->NewStringFromAsciiChecked( |
+ "Reflect.ownKeys"))); |
+ } |
+ |
+ Handle<FixedArray> keys; |
+ ASSIGN_RETURN_FAILURE_ON_EXCEPTION( |
+ isolate, keys, |
+ KeyAccumulator::GetKeys(Handle<JSReceiver>::cast(target), |
+ KeyCollectionMode::kOwnOnly, ALL_PROPERTIES, |
+ GetKeysConversion::kConvertToString)); |
+ return *isolate->factory()->NewJSArrayWithElements(keys); |
+} |
+ |
+// ES6 section 26.1.12 Reflect.preventExtensions |
+BUILTIN(ReflectPreventExtensions) { |
+ HandleScope scope(isolate); |
+ DCHECK_EQ(2, args.length()); |
+ Handle<Object> target = args.at<Object>(1); |
+ |
+ if (!target->IsJSReceiver()) { |
+ THROW_NEW_ERROR_RETURN_FAILURE( |
+ isolate, NewTypeError(MessageTemplate::kCalledOnNonObject, |
+ isolate->factory()->NewStringFromAsciiChecked( |
+ "Reflect.preventExtensions"))); |
+ } |
+ |
+ Maybe<bool> result = JSReceiver::PreventExtensions( |
+ Handle<JSReceiver>::cast(target), Object::DONT_THROW); |
+ MAYBE_RETURN(result, isolate->heap()->exception()); |
+ return *isolate->factory()->ToBoolean(result.FromJust()); |
+} |
+ |
+// ES6 section 26.1.13 Reflect.set |
+BUILTIN(ReflectSet) { |
+ HandleScope scope(isolate); |
+ Handle<Object> target = args.atOrUndefined(isolate, 1); |
+ Handle<Object> key = args.atOrUndefined(isolate, 2); |
+ Handle<Object> value = args.atOrUndefined(isolate, 3); |
+ Handle<Object> receiver = args.length() > 4 ? args.at<Object>(4) : target; |
+ |
+ if (!target->IsJSReceiver()) { |
+ THROW_NEW_ERROR_RETURN_FAILURE( |
+ isolate, NewTypeError(MessageTemplate::kCalledOnNonObject, |
+ isolate->factory()->NewStringFromAsciiChecked( |
+ "Reflect.set"))); |
+ } |
+ |
+ Handle<Name> name; |
+ ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, name, |
+ Object::ToName(isolate, key)); |
+ |
+ LookupIterator it = LookupIterator::PropertyOrElement( |
+ isolate, receiver, name, Handle<JSReceiver>::cast(target)); |
+ Maybe<bool> result = Object::SetSuperProperty( |
+ &it, value, SLOPPY, Object::MAY_BE_STORE_FROM_KEYED); |
+ MAYBE_RETURN(result, isolate->heap()->exception()); |
+ return *isolate->factory()->ToBoolean(result.FromJust()); |
+} |
+ |
+// ES6 section 26.1.14 Reflect.setPrototypeOf |
+BUILTIN(ReflectSetPrototypeOf) { |
+ HandleScope scope(isolate); |
+ DCHECK_EQ(3, args.length()); |
+ Handle<Object> target = args.at<Object>(1); |
+ Handle<Object> proto = args.at<Object>(2); |
+ |
+ if (!target->IsJSReceiver()) { |
+ THROW_NEW_ERROR_RETURN_FAILURE( |
+ isolate, NewTypeError(MessageTemplate::kCalledOnNonObject, |
+ isolate->factory()->NewStringFromAsciiChecked( |
+ "Reflect.setPrototypeOf"))); |
+ } |
+ |
+ if (!proto->IsJSReceiver() && !proto->IsNull(isolate)) { |
+ THROW_NEW_ERROR_RETURN_FAILURE( |
+ isolate, NewTypeError(MessageTemplate::kProtoObjectOrNull, proto)); |
+ } |
+ |
+ Maybe<bool> result = JSReceiver::SetPrototype( |
+ Handle<JSReceiver>::cast(target), proto, true, Object::DONT_THROW); |
+ MAYBE_RETURN(result, isolate->heap()->exception()); |
+ return *isolate->factory()->ToBoolean(result.FromJust()); |
+} |
+ |
+} // namespace internal |
+} // namespace v8 |