1 // Copyright 2016 the V8 project authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file.
4 
5 #include "src/builtins/builtins-utils-inl.h"
6 #include "src/builtins/builtins.h"
7 #include "src/counters.h"
8 #include "src/keys.h"
9 #include "src/lookup.h"
10 #include "src/objects-inl.h"
11 #include "src/property-descriptor.h"
12 
13 namespace v8 {
14 namespace internal {
15 
16 // -----------------------------------------------------------------------------
17 // ES6 section 26.1 The Reflect Object
18 
19 // ES6 section 26.1.3 Reflect.defineProperty
BUILTIN(ReflectDefineProperty)20 BUILTIN(ReflectDefineProperty) {
21   HandleScope scope(isolate);
22   DCHECK_EQ(4, args.length());
23   Handle<Object> target = args.at(1);
24   Handle<Object> key = args.at(2);
25   Handle<Object> attributes = args.at(3);
26 
27   if (!target->IsJSReceiver()) {
28     THROW_NEW_ERROR_RETURN_FAILURE(
29         isolate, NewTypeError(MessageTemplate::kCalledOnNonObject,
30                               isolate->factory()->NewStringFromAsciiChecked(
31                                   "Reflect.defineProperty")));
32   }
33 
34   Handle<Name> name;
35   ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, name,
36                                      Object::ToName(isolate, key));
37 
38   PropertyDescriptor desc;
39   if (!PropertyDescriptor::ToPropertyDescriptor(isolate, attributes, &desc)) {
40     return ReadOnlyRoots(isolate).exception();
41   }
42 
43   Maybe<bool> result = JSReceiver::DefineOwnProperty(
44       isolate, Handle<JSReceiver>::cast(target), name, &desc, kDontThrow);
45   MAYBE_RETURN(result, ReadOnlyRoots(isolate).exception());
46   return *isolate->factory()->ToBoolean(result.FromJust());
47 }
48 
49 // ES6 section 26.1.4 Reflect.deleteProperty
BUILTIN(ReflectDeleteProperty)50 BUILTIN(ReflectDeleteProperty) {
51   HandleScope scope(isolate);
52   DCHECK_EQ(3, args.length());
53   Handle<Object> target = args.at(1);
54   Handle<Object> key = args.at(2);
55 
56   if (!target->IsJSReceiver()) {
57     THROW_NEW_ERROR_RETURN_FAILURE(
58         isolate, NewTypeError(MessageTemplate::kCalledOnNonObject,
59                               isolate->factory()->NewStringFromAsciiChecked(
60                                   "Reflect.deleteProperty")));
61   }
62 
63   Handle<Name> name;
64   ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, name,
65                                      Object::ToName(isolate, key));
66 
67   Maybe<bool> result = JSReceiver::DeletePropertyOrElement(
68       Handle<JSReceiver>::cast(target), name, LanguageMode::kSloppy);
69   MAYBE_RETURN(result, ReadOnlyRoots(isolate).exception());
70   return *isolate->factory()->ToBoolean(result.FromJust());
71 }
72 
73 // ES6 section 26.1.6 Reflect.get
BUILTIN(ReflectGet)74 BUILTIN(ReflectGet) {
75   HandleScope scope(isolate);
76   Handle<Object> target = args.atOrUndefined(isolate, 1);
77   Handle<Object> key = args.atOrUndefined(isolate, 2);
78   Handle<Object> receiver = args.length() > 3 ? args.at(3) : target;
79 
80   if (!target->IsJSReceiver()) {
81     THROW_NEW_ERROR_RETURN_FAILURE(
82         isolate, NewTypeError(MessageTemplate::kCalledOnNonObject,
83                               isolate->factory()->NewStringFromAsciiChecked(
84                                   "Reflect.get")));
85   }
86 
87   Handle<Name> name;
88   ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, name,
89                                      Object::ToName(isolate, key));
90 
91   RETURN_RESULT_OR_FAILURE(
92       isolate, Object::GetPropertyOrElement(receiver, name,
93                                             Handle<JSReceiver>::cast(target)));
94 }
95 
96 // ES6 section 26.1.7 Reflect.getOwnPropertyDescriptor
BUILTIN(ReflectGetOwnPropertyDescriptor)97 BUILTIN(ReflectGetOwnPropertyDescriptor) {
98   HandleScope scope(isolate);
99   DCHECK_EQ(3, args.length());
100   Handle<Object> target = args.at(1);
101   Handle<Object> key = args.at(2);
102 
103   if (!target->IsJSReceiver()) {
104     THROW_NEW_ERROR_RETURN_FAILURE(
105         isolate, NewTypeError(MessageTemplate::kCalledOnNonObject,
106                               isolate->factory()->NewStringFromAsciiChecked(
107                                   "Reflect.getOwnPropertyDescriptor")));
108   }
109 
110   Handle<Name> name;
111   ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, name,
112                                      Object::ToName(isolate, key));
113 
114   PropertyDescriptor desc;
115   Maybe<bool> found = JSReceiver::GetOwnPropertyDescriptor(
116       isolate, Handle<JSReceiver>::cast(target), name, &desc);
117   MAYBE_RETURN(found, ReadOnlyRoots(isolate).exception());
118   if (!found.FromJust()) return ReadOnlyRoots(isolate).undefined_value();
119   return *desc.ToObject(isolate);
120 }
121 
122 // ES6 section 26.1.8 Reflect.getPrototypeOf
BUILTIN(ReflectGetPrototypeOf)123 BUILTIN(ReflectGetPrototypeOf) {
124   HandleScope scope(isolate);
125   DCHECK_EQ(2, args.length());
126   Handle<Object> target = args.at(1);
127 
128   if (!target->IsJSReceiver()) {
129     THROW_NEW_ERROR_RETURN_FAILURE(
130         isolate, NewTypeError(MessageTemplate::kCalledOnNonObject,
131                               isolate->factory()->NewStringFromAsciiChecked(
132                                   "Reflect.getPrototypeOf")));
133   }
134   Handle<JSReceiver> receiver = Handle<JSReceiver>::cast(target);
135   RETURN_RESULT_OR_FAILURE(isolate,
136                            JSReceiver::GetPrototype(isolate, receiver));
137 }
138 
139 // ES6 section 26.1.10 Reflect.isExtensible
BUILTIN(ReflectIsExtensible)140 BUILTIN(ReflectIsExtensible) {
141   HandleScope scope(isolate);
142   DCHECK_EQ(2, args.length());
143   Handle<Object> target = args.at(1);
144 
145   if (!target->IsJSReceiver()) {
146     THROW_NEW_ERROR_RETURN_FAILURE(
147         isolate, NewTypeError(MessageTemplate::kCalledOnNonObject,
148                               isolate->factory()->NewStringFromAsciiChecked(
149                                   "Reflect.isExtensible")));
150   }
151 
152   Maybe<bool> result =
153       JSReceiver::IsExtensible(Handle<JSReceiver>::cast(target));
154   MAYBE_RETURN(result, ReadOnlyRoots(isolate).exception());
155   return *isolate->factory()->ToBoolean(result.FromJust());
156 }
157 
158 // ES6 section 26.1.11 Reflect.ownKeys
BUILTIN(ReflectOwnKeys)159 BUILTIN(ReflectOwnKeys) {
160   HandleScope scope(isolate);
161   DCHECK_EQ(2, args.length());
162   Handle<Object> target = args.at(1);
163 
164   if (!target->IsJSReceiver()) {
165     THROW_NEW_ERROR_RETURN_FAILURE(
166         isolate, NewTypeError(MessageTemplate::kCalledOnNonObject,
167                               isolate->factory()->NewStringFromAsciiChecked(
168                                   "Reflect.ownKeys")));
169   }
170 
171   Handle<FixedArray> keys;
172   ASSIGN_RETURN_FAILURE_ON_EXCEPTION(
173       isolate, keys,
174       KeyAccumulator::GetKeys(Handle<JSReceiver>::cast(target),
175                               KeyCollectionMode::kOwnOnly, ALL_PROPERTIES,
176                               GetKeysConversion::kConvertToString));
177   return *isolate->factory()->NewJSArrayWithElements(keys);
178 }
179 
180 // ES6 section 26.1.12 Reflect.preventExtensions
BUILTIN(ReflectPreventExtensions)181 BUILTIN(ReflectPreventExtensions) {
182   HandleScope scope(isolate);
183   DCHECK_EQ(2, args.length());
184   Handle<Object> target = args.at(1);
185 
186   if (!target->IsJSReceiver()) {
187     THROW_NEW_ERROR_RETURN_FAILURE(
188         isolate, NewTypeError(MessageTemplate::kCalledOnNonObject,
189                               isolate->factory()->NewStringFromAsciiChecked(
190                                   "Reflect.preventExtensions")));
191   }
192 
193   Maybe<bool> result = JSReceiver::PreventExtensions(
194       Handle<JSReceiver>::cast(target), kDontThrow);
195   MAYBE_RETURN(result, ReadOnlyRoots(isolate).exception());
196   return *isolate->factory()->ToBoolean(result.FromJust());
197 }
198 
199 // ES6 section 26.1.13 Reflect.set
BUILTIN(ReflectSet)200 BUILTIN(ReflectSet) {
201   HandleScope scope(isolate);
202   Handle<Object> target = args.atOrUndefined(isolate, 1);
203   Handle<Object> key = args.atOrUndefined(isolate, 2);
204   Handle<Object> value = args.atOrUndefined(isolate, 3);
205   Handle<Object> receiver = args.length() > 4 ? args.at(4) : target;
206 
207   if (!target->IsJSReceiver()) {
208     THROW_NEW_ERROR_RETURN_FAILURE(
209         isolate, NewTypeError(MessageTemplate::kCalledOnNonObject,
210                               isolate->factory()->NewStringFromAsciiChecked(
211                                   "Reflect.set")));
212   }
213 
214   Handle<Name> name;
215   ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, name,
216                                      Object::ToName(isolate, key));
217 
218   LookupIterator it = LookupIterator::PropertyOrElement(
219       isolate, receiver, name, Handle<JSReceiver>::cast(target));
220   Maybe<bool> result = Object::SetSuperProperty(
221       &it, value, LanguageMode::kSloppy, Object::MAY_BE_STORE_FROM_KEYED);
222   MAYBE_RETURN(result, ReadOnlyRoots(isolate).exception());
223   return *isolate->factory()->ToBoolean(result.FromJust());
224 }
225 
226 // ES6 section 26.1.14 Reflect.setPrototypeOf
BUILTIN(ReflectSetPrototypeOf)227 BUILTIN(ReflectSetPrototypeOf) {
228   HandleScope scope(isolate);
229   DCHECK_EQ(3, args.length());
230   Handle<Object> target = args.at(1);
231   Handle<Object> proto = args.at(2);
232 
233   if (!target->IsJSReceiver()) {
234     THROW_NEW_ERROR_RETURN_FAILURE(
235         isolate, NewTypeError(MessageTemplate::kCalledOnNonObject,
236                               isolate->factory()->NewStringFromAsciiChecked(
237                                   "Reflect.setPrototypeOf")));
238   }
239 
240   if (!proto->IsJSReceiver() && !proto->IsNull(isolate)) {
241     THROW_NEW_ERROR_RETURN_FAILURE(
242         isolate, NewTypeError(MessageTemplate::kProtoObjectOrNull, proto));
243   }
244 
245   Maybe<bool> result = JSReceiver::SetPrototype(
246       Handle<JSReceiver>::cast(target), proto, true, kDontThrow);
247   MAYBE_RETURN(result, ReadOnlyRoots(isolate).exception());
248   return *isolate->factory()->ToBoolean(result.FromJust());
249 }
250 
251 }  // namespace internal
252 }  // namespace v8
253