d99149aa41c612a62a6d92e924a6c848b516cfcd
[WebKit-https.git] / Source / JavaScriptCore / runtime / ObjectConstructor.cpp
1 /*
2  *  Copyright (C) 1999-2000 Harri Porten (porten@kde.org)
3  *  Copyright (C) 2008, 2016 Apple Inc. All rights reserved.
4  *
5  *  This library is free software; you can redistribute it and/or
6  *  modify it under the terms of the GNU Lesser General Public
7  *  License as published by the Free Software Foundation; either
8  *  version 2 of the License, or (at your option) any later version.
9  *
10  *  This library is distributed in the hope that it will be useful,
11  *  but WITHOUT ANY WARRANTY; without even the implied warranty of
12  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
13  *  Lesser General Public License for more details.
14  *
15  *  You should have received a copy of the GNU Lesser General Public
16  *  License along with this library; if not, write to the Free Software
17  *  Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA
18  *
19  */
20
21 #include "config.h"
22 #include "ObjectConstructor.h"
23
24 #include "BuiltinNames.h"
25 #include "ButterflyInlines.h"
26 #include "Error.h"
27 #include "ExceptionHelpers.h"
28 #include "JSArray.h"
29 #include "JSCInlines.h"
30 #include "JSFunction.h"
31 #include "JSGlobalObject.h"
32 #include "JSGlobalObjectFunctions.h"
33 #include "Lookup.h"
34 #include "ObjectPrototype.h"
35 #include "PropertyDescriptor.h"
36 #include "PropertyNameArray.h"
37 #include "StackVisitor.h"
38 #include "Symbol.h"
39
40 namespace JSC {
41
42 EncodedJSValue JSC_HOST_CALL objectConstructorGetPrototypeOf(ExecState*);
43 EncodedJSValue JSC_HOST_CALL objectConstructorSetPrototypeOf(ExecState*);
44 EncodedJSValue JSC_HOST_CALL objectConstructorGetOwnPropertyNames(ExecState*);
45 EncodedJSValue JSC_HOST_CALL objectConstructorDefineProperty(ExecState*);
46 EncodedJSValue JSC_HOST_CALL objectConstructorDefineProperties(ExecState*);
47 EncodedJSValue JSC_HOST_CALL objectConstructorCreate(ExecState*);
48 EncodedJSValue JSC_HOST_CALL objectConstructorSeal(ExecState*);
49 EncodedJSValue JSC_HOST_CALL objectConstructorFreeze(ExecState*);
50 EncodedJSValue JSC_HOST_CALL objectConstructorPreventExtensions(ExecState*);
51 EncodedJSValue JSC_HOST_CALL objectConstructorIsSealed(ExecState*);
52 EncodedJSValue JSC_HOST_CALL objectConstructorIsFrozen(ExecState*);
53 EncodedJSValue JSC_HOST_CALL objectConstructorIsExtensible(ExecState*);
54 EncodedJSValue JSC_HOST_CALL objectConstructorIs(ExecState*);
55
56 }
57
58 #include "ObjectConstructor.lut.h"
59
60 namespace JSC {
61
62 STATIC_ASSERT_IS_TRIVIALLY_DESTRUCTIBLE(ObjectConstructor);
63
64 const ClassInfo ObjectConstructor::s_info = { "Function", &InternalFunction::s_info, &objectConstructorTable, CREATE_METHOD_TABLE(ObjectConstructor) };
65
66 /* Source for ObjectConstructor.lut.h
67 @begin objectConstructorTable
68   getPrototypeOf            objectConstructorGetPrototypeOf             DontEnum|Function 1
69   setPrototypeOf            objectConstructorSetPrototypeOf             DontEnum|Function 2
70   getOwnPropertyDescriptor  objectConstructorGetOwnPropertyDescriptor   DontEnum|Function 2
71   getOwnPropertyDescriptors objectConstructorGetOwnPropertyDescriptors  DontEnum|Function 1
72   getOwnPropertyNames       objectConstructorGetOwnPropertyNames        DontEnum|Function 1
73   getOwnPropertySymbols     objectConstructorGetOwnPropertySymbols      DontEnum|Function 1
74   keys                      objectConstructorKeys                       DontEnum|Function 1
75   defineProperty            objectConstructorDefineProperty             DontEnum|Function 3
76   defineProperties          objectConstructorDefineProperties           DontEnum|Function 2
77   create                    objectConstructorCreate                     DontEnum|Function 2
78   seal                      objectConstructorSeal                       DontEnum|Function 1
79   freeze                    objectConstructorFreeze                     DontEnum|Function 1
80   preventExtensions         objectConstructorPreventExtensions          DontEnum|Function 1
81   isSealed                  objectConstructorIsSealed                   DontEnum|Function 1
82   isFrozen                  objectConstructorIsFrozen                   DontEnum|Function 1
83   isExtensible              objectConstructorIsExtensible               DontEnum|Function 1
84   is                        objectConstructorIs                         DontEnum|Function 2
85   assign                    JSBuiltin                                   DontEnum|Function 2
86   values                    JSBuiltin                                   DontEnum|Function 1
87   entries                   JSBuiltin                                   DontEnum|Function 1
88 @end
89 */
90
91 ObjectConstructor::ObjectConstructor(VM& vm, Structure* structure)
92     : InternalFunction(vm, structure)
93 {
94 }
95
96 void ObjectConstructor::finishCreation(VM& vm, JSGlobalObject* globalObject, ObjectPrototype* objectPrototype)
97 {
98     Base::finishCreation(vm, objectPrototype->classInfo()->className);
99     // ECMA 15.2.3.1
100     putDirectWithoutTransition(vm, vm.propertyNames->prototype, objectPrototype, DontEnum | DontDelete | ReadOnly);
101     // no. of arguments for constructor
102     putDirectWithoutTransition(vm, vm.propertyNames->length, jsNumber(1), ReadOnly | DontEnum | DontDelete);
103
104     JSC_NATIVE_FUNCTION_WITHOUT_TRANSITION(vm.propertyNames->builtinNames().createPrivateName(), objectConstructorCreate, DontEnum, 2);
105     JSC_NATIVE_FUNCTION_WITHOUT_TRANSITION(vm.propertyNames->builtinNames().definePropertyPrivateName(), objectConstructorDefineProperty, DontEnum, 3);
106     JSC_NATIVE_FUNCTION_WITHOUT_TRANSITION(vm.propertyNames->builtinNames().getPrototypeOfPrivateName(), objectConstructorGetPrototypeOf, DontEnum, 1);
107     JSC_NATIVE_FUNCTION_WITHOUT_TRANSITION(vm.propertyNames->builtinNames().getOwnPropertyNamesPrivateName(), objectConstructorGetOwnPropertyNames, DontEnum, 1);
108 }
109
110 JSFunction* ObjectConstructor::addDefineProperty(ExecState* exec, JSGlobalObject* globalObject)
111 {
112     VM& vm = exec->vm();
113     JSFunction* definePropertyFunction = JSFunction::create(vm, globalObject, 3, vm.propertyNames->defineProperty.string(), objectConstructorDefineProperty);
114     putDirectWithoutTransition(vm, vm.propertyNames->defineProperty, definePropertyFunction, DontEnum);
115     return definePropertyFunction;
116 }
117
118 // ES 19.1.1.1 Object([value])
119 static ALWAYS_INLINE JSObject* constructObject(ExecState* exec, JSValue newTarget)
120 {
121     ObjectConstructor* objectConstructor = jsCast<ObjectConstructor*>(exec->callee());
122     JSGlobalObject* globalObject = objectConstructor->globalObject();
123     VM& vm = globalObject->vm();
124     auto scope = DECLARE_THROW_SCOPE(vm);
125
126     // We need to check newTarget condition in this caller side instead of InternalFunction::createSubclassStructure side.
127     // Since if we found this condition is met, we should not fall into the type conversion in the step 3.
128
129     // 1. If NewTarget is neither undefined nor the active function, then
130     if (newTarget && newTarget != objectConstructor) {
131         // a. Return ? OrdinaryCreateFromConstructor(NewTarget, "%ObjectPrototype%").
132         Structure* objectStructure = InternalFunction::createSubclassStructure(exec, newTarget, globalObject->objectStructureForObjectConstructor());
133         if (UNLIKELY(scope.exception()))
134             return nullptr;
135         return constructEmptyObject(exec, objectStructure);
136     }
137
138     // 2. If value is null, undefined or not supplied, return ObjectCreate(%ObjectPrototype%).
139     ArgList args(exec);
140     JSValue arg = args.at(0);
141     if (arg.isUndefinedOrNull())
142         return constructEmptyObject(exec, globalObject->objectStructureForObjectConstructor());
143
144     // 3. Return ToObject(value).
145     return arg.toObject(exec, globalObject);
146 }
147
148 static EncodedJSValue JSC_HOST_CALL constructWithObjectConstructor(ExecState* exec)
149 {
150     return JSValue::encode(constructObject(exec, exec->newTarget()));
151 }
152
153 ConstructType ObjectConstructor::getConstructData(JSCell*, ConstructData& constructData)
154 {
155     constructData.native.function = constructWithObjectConstructor;
156     return ConstructType::Host;
157 }
158
159 static EncodedJSValue JSC_HOST_CALL callObjectConstructor(ExecState* exec)
160 {
161     return JSValue::encode(constructObject(exec, JSValue()));
162 }
163
164 CallType ObjectConstructor::getCallData(JSCell*, CallData& callData)
165 {
166     callData.native.function = callObjectConstructor;
167     return CallType::Host;
168 }
169
170 EncodedJSValue JSC_HOST_CALL objectConstructorGetPrototypeOf(ExecState* exec)
171 {
172     VM& vm = exec->vm();
173     auto scope = DECLARE_THROW_SCOPE(vm);
174     JSObject* object = exec->argument(0).toObject(exec);
175     if (UNLIKELY(scope.exception()))
176         return JSValue::encode(jsUndefined());
177     return JSValue::encode(object->getPrototype(exec->vm(), exec));
178 }
179
180 EncodedJSValue JSC_HOST_CALL objectConstructorSetPrototypeOf(ExecState* exec)
181 {
182     VM& vm = exec->vm();
183     auto scope = DECLARE_THROW_SCOPE(vm);
184
185     JSValue objectValue = exec->argument(0);
186     if (objectValue.isUndefinedOrNull())
187         return throwVMTypeError(exec, scope);
188
189     JSValue protoValue = exec->argument(1);
190     if (!protoValue.isObject() && !protoValue.isNull())
191         return throwVMTypeError(exec, scope);
192
193     JSObject* object = objectValue.toObject(exec);
194     if (UNLIKELY(scope.exception()))
195         return JSValue::encode(objectValue);
196
197     bool shouldThrowIfCantSet = true;
198     bool didSetPrototype = object->setPrototype(vm, exec, protoValue, shouldThrowIfCantSet);
199     ASSERT_UNUSED(didSetPrototype, scope.exception() || didSetPrototype);
200     return JSValue::encode(objectValue);
201 }
202
203 JSValue objectConstructorGetOwnPropertyDescriptor(ExecState* exec, JSObject* object, const Identifier& propertyName)
204 {
205     VM& vm = exec->vm();
206     auto scope = DECLARE_THROW_SCOPE(vm);
207     PropertyDescriptor descriptor;
208     if (!object->getOwnPropertyDescriptor(exec, propertyName, descriptor))
209         return jsUndefined();
210     if (UNLIKELY(scope.exception()))
211         return jsUndefined();
212
213     JSObject* result = constructObjectFromPropertyDescriptor(exec, descriptor);
214     if (!result)
215         return jsUndefined();
216     return result;
217 }
218
219 JSValue objectConstructorGetOwnPropertyDescriptors(ExecState* exec, JSObject* object)
220 {
221     VM& vm = exec->vm();
222     auto scope = DECLARE_THROW_SCOPE(vm);
223     PropertyNameArray properties(exec, PropertyNameMode::StringsAndSymbols);
224     object->methodTable(vm)->getOwnPropertyNames(object, exec, properties, EnumerationMode(DontEnumPropertiesMode::Include));
225     if (UNLIKELY(scope.exception()))
226         return jsUndefined();
227
228     JSObject* descriptors = constructEmptyObject(exec);
229     if (UNLIKELY(scope.exception()))
230         return jsUndefined();
231
232     for (auto& propertyName : properties) {
233         PropertyDescriptor descriptor;
234         bool didGetDescriptor = object->getOwnPropertyDescriptor(exec, propertyName, descriptor);
235         if (UNLIKELY(scope.exception()))
236             return jsUndefined();
237
238         if (!didGetDescriptor)
239             continue;
240
241         JSObject* fromDescriptor = constructObjectFromPropertyDescriptor(exec, descriptor);
242         if (!fromDescriptor)
243             return jsUndefined();
244
245         PutPropertySlot slot(descriptors);
246         descriptors->putOwnDataPropertyMayBeIndex(exec, propertyName, fromDescriptor, slot);
247         ASSERT(!scope.exception());
248     }
249
250     return descriptors;
251 }
252
253 EncodedJSValue JSC_HOST_CALL objectConstructorGetOwnPropertyDescriptor(ExecState* exec)
254 {
255     VM& vm = exec->vm();
256     auto scope = DECLARE_THROW_SCOPE(vm);
257     JSObject* object = exec->argument(0).toObject(exec);
258     if (UNLIKELY(scope.exception()))
259         return JSValue::encode(jsUndefined());
260     auto propertyName = exec->argument(1).toPropertyKey(exec);
261     if (UNLIKELY(scope.exception()))
262         return JSValue::encode(jsUndefined());
263     return JSValue::encode(objectConstructorGetOwnPropertyDescriptor(exec, object, propertyName));
264 }
265
266 EncodedJSValue JSC_HOST_CALL objectConstructorGetOwnPropertyDescriptors(ExecState* exec)
267 {
268     VM& vm = exec->vm();
269     auto scope = DECLARE_THROW_SCOPE(vm);
270     JSObject* object = exec->argument(0).toObject(exec);
271     if (UNLIKELY(scope.exception()))
272         return JSValue::encode(jsUndefined());
273     return JSValue::encode(objectConstructorGetOwnPropertyDescriptors(exec, object));
274 }
275
276 // FIXME: Use the enumeration cache.
277 EncodedJSValue JSC_HOST_CALL objectConstructorGetOwnPropertyNames(ExecState* exec)
278 {
279     VM& vm = exec->vm();
280     auto scope = DECLARE_THROW_SCOPE(vm);
281     JSObject* object = exec->argument(0).toObject(exec);
282     if (UNLIKELY(scope.exception()))
283         return JSValue::encode(jsNull());
284     return JSValue::encode(ownPropertyKeys(exec, object, PropertyNameMode::Strings, DontEnumPropertiesMode::Include));
285 }
286
287 // FIXME: Use the enumeration cache.
288 EncodedJSValue JSC_HOST_CALL objectConstructorGetOwnPropertySymbols(ExecState* exec)
289 {
290     VM& vm = exec->vm();
291     auto scope = DECLARE_THROW_SCOPE(vm);
292     JSObject* object = exec->argument(0).toObject(exec);
293     if (UNLIKELY(scope.exception()))
294         return JSValue::encode(jsNull());
295     return JSValue::encode(ownPropertyKeys(exec, object, PropertyNameMode::Symbols, DontEnumPropertiesMode::Include));
296 }
297
298 // FIXME: Use the enumeration cache.
299 EncodedJSValue JSC_HOST_CALL objectConstructorKeys(ExecState* exec)
300 {
301     VM& vm = exec->vm();
302     auto scope = DECLARE_THROW_SCOPE(vm);
303     JSObject* object = exec->argument(0).toObject(exec);
304     if (UNLIKELY(scope.exception()))
305         return JSValue::encode(jsNull());
306     return JSValue::encode(ownPropertyKeys(exec, object, PropertyNameMode::Strings, DontEnumPropertiesMode::Exclude));
307 }
308
309 EncodedJSValue JSC_HOST_CALL ownEnumerablePropertyKeys(ExecState* exec)
310 {
311     VM& vm = exec->vm();
312     auto scope = DECLARE_THROW_SCOPE(vm);
313     JSObject* object = exec->argument(0).toObject(exec);
314     if (UNLIKELY(scope.exception()))
315         return JSValue::encode(jsNull());
316     return JSValue::encode(ownPropertyKeys(exec, object, PropertyNameMode::StringsAndSymbols, DontEnumPropertiesMode::Exclude));
317 }
318
319 // ES6 6.2.4.5 ToPropertyDescriptor
320 // https://tc39.github.io/ecma262/#sec-topropertydescriptor
321 bool toPropertyDescriptor(ExecState* exec, JSValue in, PropertyDescriptor& desc)
322 {
323     VM& vm = exec->vm();
324     auto scope = DECLARE_THROW_SCOPE(vm);
325
326     if (!in.isObject()) {
327         throwTypeError(exec, scope, ASCIILiteral("Property description must be an object."));
328         return false;
329     }
330     JSObject* description = asObject(in);
331
332     if (description->hasProperty(exec, exec->propertyNames().enumerable)) {
333         JSValue value = description->get(exec, exec->propertyNames().enumerable);
334         if (UNLIKELY(scope.exception()))
335             return false;
336         desc.setEnumerable(value.toBoolean(exec));
337     } else if (UNLIKELY(scope.exception()))
338         return false;
339
340     if (description->hasProperty(exec, exec->propertyNames().configurable)) {
341         JSValue value = description->get(exec, exec->propertyNames().configurable);
342         if (UNLIKELY(scope.exception()))
343             return false;
344         desc.setConfigurable(value.toBoolean(exec));
345     } else if (UNLIKELY(scope.exception()))
346         return false;
347
348     JSValue value;
349     if (description->hasProperty(exec, exec->propertyNames().value)) {
350         JSValue value = description->get(exec, exec->propertyNames().value);
351         if (UNLIKELY(scope.exception()))
352             return false;
353         desc.setValue(value);
354     } else if (UNLIKELY(scope.exception()))
355         return false;
356
357     if (description->hasProperty(exec, exec->propertyNames().writable)) {
358         JSValue value = description->get(exec, exec->propertyNames().writable);
359         if (UNLIKELY(scope.exception()))
360             return false;
361         desc.setWritable(value.toBoolean(exec));
362     } else if (UNLIKELY(scope.exception()))
363         return false;
364
365     if (description->hasProperty(exec, exec->propertyNames().get)) {
366         JSValue get = description->get(exec, exec->propertyNames().get);
367         if (UNLIKELY(scope.exception()))
368             return false;
369         if (!get.isUndefined()) {
370             CallData callData;
371             if (getCallData(get, callData) == CallType::None) {
372                 throwTypeError(exec, scope, ASCIILiteral("Getter must be a function."));
373                 return false;
374             }
375         }
376         desc.setGetter(get);
377     } else if (UNLIKELY(scope.exception()))
378         return false;
379
380     if (description->hasProperty(exec, exec->propertyNames().set)) {
381         JSValue set = description->get(exec, exec->propertyNames().set);
382         if (UNLIKELY(scope.exception()))
383             return false;
384         if (!set.isUndefined()) {
385             CallData callData;
386             if (getCallData(set, callData) == CallType::None) {
387                 throwTypeError(exec, scope, ASCIILiteral("Setter must be a function."));
388                 return false;
389             }
390         }
391         desc.setSetter(set);
392     } else if (UNLIKELY(scope.exception()))
393         return false;
394
395     if (!desc.isAccessorDescriptor())
396         return true;
397
398     if (desc.value()) {
399         throwTypeError(exec, scope, ASCIILiteral("Invalid property.  'value' present on property with getter or setter."));
400         return false;
401     }
402
403     if (desc.writablePresent()) {
404         throwTypeError(exec, scope, ASCIILiteral("Invalid property.  'writable' present on property with getter or setter."));
405         return false;
406     }
407     return true;
408 }
409
410 EncodedJSValue JSC_HOST_CALL objectConstructorDefineProperty(ExecState* exec)
411 {
412     VM& vm = exec->vm();
413     auto scope = DECLARE_THROW_SCOPE(vm);
414
415     if (!exec->argument(0).isObject())
416         return throwVMTypeError(exec, scope, ASCIILiteral("Properties can only be defined on Objects."));
417     JSObject* obj = asObject(exec->argument(0));
418     auto propertyName = exec->argument(1).toPropertyKey(exec);
419     if (UNLIKELY(scope.exception()))
420         return JSValue::encode(jsNull());
421     PropertyDescriptor descriptor;
422     auto success = toPropertyDescriptor(exec, exec->argument(2), descriptor);
423     ASSERT(!scope.exception() == success);
424     if (!success)
425         return JSValue::encode(jsNull());
426     ASSERT((descriptor.attributes() & Accessor) || (!descriptor.isAccessorDescriptor()));
427     ASSERT(!scope.exception());
428     obj->methodTable(vm)->defineOwnProperty(obj, exec, propertyName, descriptor, true);
429     scope.release();
430     return JSValue::encode(obj);
431 }
432
433 static JSValue defineProperties(ExecState* exec, JSObject* object, JSObject* properties)
434 {
435     VM& vm = exec->vm();
436     auto scope = DECLARE_THROW_SCOPE(vm);
437
438     PropertyNameArray propertyNames(exec, PropertyNameMode::StringsAndSymbols);
439     asObject(properties)->methodTable(vm)->getOwnPropertyNames(asObject(properties), exec, propertyNames, EnumerationMode(DontEnumPropertiesMode::Exclude));
440     if (UNLIKELY(scope.exception()))
441         return jsNull();
442     size_t numProperties = propertyNames.size();
443     Vector<PropertyDescriptor> descriptors;
444     MarkedArgumentBuffer markBuffer;
445     for (size_t i = 0; i < numProperties; i++) {
446         JSValue prop = properties->get(exec, propertyNames[i]);
447         if (UNLIKELY(scope.exception()))
448             return jsNull();
449         PropertyDescriptor descriptor;
450         if (!toPropertyDescriptor(exec, prop, descriptor))
451             return jsNull();
452         descriptors.append(descriptor);
453         // Ensure we mark all the values that we're accumulating
454         if (descriptor.isDataDescriptor() && descriptor.value())
455             markBuffer.append(descriptor.value());
456         if (descriptor.isAccessorDescriptor()) {
457             if (descriptor.getter())
458                 markBuffer.append(descriptor.getter());
459             if (descriptor.setter())
460                 markBuffer.append(descriptor.setter());
461         }
462     }
463     for (size_t i = 0; i < numProperties; i++) {
464         Identifier propertyName = propertyNames[i];
465         if (exec->propertyNames().isPrivateName(propertyName))
466             continue;
467         object->methodTable(vm)->defineOwnProperty(object, exec, propertyName, descriptors[i], true);
468         if (UNLIKELY(scope.exception()))
469             return jsNull();
470     }
471     return object;
472 }
473
474 EncodedJSValue JSC_HOST_CALL objectConstructorDefineProperties(ExecState* exec)
475 {
476     VM& vm = exec->vm();
477     auto scope = DECLARE_THROW_SCOPE(vm);
478
479     if (!exec->argument(0).isObject())
480         return throwVMTypeError(exec, scope, ASCIILiteral("Properties can only be defined on Objects."));
481     JSObject* targetObj = asObject(exec->argument(0));
482     JSObject* props = exec->argument(1).toObject(exec);
483     if (!props)
484         return JSValue::encode(JSValue());
485     return JSValue::encode(defineProperties(exec, targetObj, props));
486 }
487
488 EncodedJSValue JSC_HOST_CALL objectConstructorCreate(ExecState* exec)
489 {
490     VM& vm = exec->vm();
491     auto scope = DECLARE_THROW_SCOPE(vm);
492
493     JSValue proto = exec->argument(0);
494     if (!proto.isObject() && !proto.isNull())
495         return throwVMTypeError(exec, scope, ASCIILiteral("Object prototype may only be an Object or null."));
496     JSObject* newObject = proto.isObject()
497         ? constructEmptyObject(exec, asObject(proto))
498         : constructEmptyObject(exec, exec->lexicalGlobalObject()->nullPrototypeObjectStructure());
499     if (exec->argument(1).isUndefined())
500         return JSValue::encode(newObject);
501     if (!exec->argument(1).isObject())
502         return throwVMTypeError(exec, scope, ASCIILiteral("Property descriptor list must be an Object."));
503     return JSValue::encode(defineProperties(exec, newObject, asObject(exec->argument(1))));
504 }
505
506 EncodedJSValue JSC_HOST_CALL objectConstructorSeal(ExecState* exec)
507 {
508     VM& vm = exec->vm();
509     auto scope = DECLARE_THROW_SCOPE(vm);
510
511     // 1. If Type(O) is not Object, return O.
512     JSValue obj = exec->argument(0);
513     if (!obj.isObject())
514         return JSValue::encode(obj);
515     JSObject* object = asObject(obj);
516
517     if (isJSFinalObject(object)) {
518         object->seal(vm);
519         return JSValue::encode(obj);
520     }
521
522     // 2. For each named own property name P of O,
523     PropertyNameArray properties(exec, PropertyNameMode::StringsAndSymbols);
524     object->methodTable(vm)->getOwnPropertyNames(object, exec, properties, EnumerationMode(DontEnumPropertiesMode::Include));
525     if (UNLIKELY(scope.exception()))
526         return JSValue::encode(obj);
527     PropertyNameArray::const_iterator end = properties.end();
528     for (PropertyNameArray::const_iterator iter = properties.begin(); iter != end; ++iter) {
529         Identifier propertyName = *iter;
530         if (exec->propertyNames().isPrivateName(propertyName))
531             continue;
532         // a. Let desc be the result of calling the [[GetOwnProperty]] internal method of O with P.
533         PropertyDescriptor desc;
534         if (!object->getOwnPropertyDescriptor(exec, propertyName, desc))
535             continue;
536         // b. If desc.[[Configurable]] is true, set desc.[[Configurable]] to false.
537         desc.setConfigurable(false);
538         // c. Call the [[DefineOwnProperty]] internal method of O with P, desc, and true as arguments.
539         object->methodTable(vm)->defineOwnProperty(object, exec, propertyName, desc, true);
540         if (UNLIKELY(scope.exception()))
541             return JSValue::encode(obj);
542     }
543
544     // 3. Set the [[Extensible]] internal property of O to false.
545     object->methodTable(vm)->preventExtensions(object, exec);
546     if (UNLIKELY(scope.exception()))
547         return JSValue::encode(JSValue());
548
549     // 4. Return O.
550     return JSValue::encode(obj);
551 }
552
553 JSObject* objectConstructorFreeze(ExecState* exec, JSObject* object)
554 {
555     VM& vm = exec->vm();
556     auto scope = DECLARE_THROW_SCOPE(vm);
557
558     if (isJSFinalObject(object) && !hasIndexedProperties(object->indexingType())) {
559         object->freeze(vm);
560         return object;
561     }
562
563     // 2. For each named own property name P of O,
564     PropertyNameArray properties(exec, PropertyNameMode::StringsAndSymbols);
565     object->methodTable(vm)->getOwnPropertyNames(object, exec, properties, EnumerationMode(DontEnumPropertiesMode::Include));
566     if (UNLIKELY(scope.exception()))
567         return object;
568     PropertyNameArray::const_iterator end = properties.end();
569     for (PropertyNameArray::const_iterator iter = properties.begin(); iter != end; ++iter) {
570         Identifier propertyName = *iter;
571         if (exec->propertyNames().isPrivateName(propertyName))
572             continue;
573         // a. Let desc be the result of calling the [[GetOwnProperty]] internal method of O with P.
574         PropertyDescriptor desc;
575         if (!object->getOwnPropertyDescriptor(exec, propertyName, desc))
576             continue;
577         // b. If IsDataDescriptor(desc) is true, then
578         // i. If desc.[[Writable]] is true, set desc.[[Writable]] to false.
579         if (desc.isDataDescriptor())
580             desc.setWritable(false);
581         // c. If desc.[[Configurable]] is true, set desc.[[Configurable]] to false.
582         desc.setConfigurable(false);
583         // d. Call the [[DefineOwnProperty]] internal method of O with P, desc, and true as arguments.
584         object->methodTable(vm)->defineOwnProperty(object, exec, propertyName, desc, true);
585         if (UNLIKELY(scope.exception()))
586             return object;
587     }
588
589     // 3. Set the [[Extensible]] internal property of O to false.
590     object->methodTable(vm)->preventExtensions(object, exec);
591     if (UNLIKELY(scope.exception()))
592         return nullptr;
593
594     // 4. Return O.
595     return object;
596 }
597
598 EncodedJSValue JSC_HOST_CALL objectConstructorFreeze(ExecState* exec)
599 {
600     VM& vm = exec->vm();
601     auto scope = DECLARE_THROW_SCOPE(vm);
602     // 1. If Type(O) is not Object, return O.
603     JSValue obj = exec->argument(0);
604     if (!obj.isObject())
605         return JSValue::encode(obj);
606     JSObject* result = objectConstructorFreeze(exec, asObject(obj));
607     if (UNLIKELY(scope.exception()))
608         return JSValue::encode(JSValue());
609     return JSValue::encode(result);
610 }
611
612 EncodedJSValue JSC_HOST_CALL objectConstructorPreventExtensions(ExecState* exec)
613 {
614     JSValue argument = exec->argument(0);
615     if (!argument.isObject())
616         return JSValue::encode(argument);
617     JSObject* object = asObject(argument);
618     object->methodTable(exec->vm())->preventExtensions(object, exec);
619     return JSValue::encode(object);
620 }
621
622 EncodedJSValue JSC_HOST_CALL objectConstructorIsSealed(ExecState* exec)
623 {
624     VM& vm = exec->vm();
625     auto scope = DECLARE_THROW_SCOPE(vm);
626
627     // 1. If Type(O) is not Object, return true.
628     JSValue obj = exec->argument(0);
629     if (!obj.isObject())
630         return JSValue::encode(jsBoolean(true));
631     JSObject* object = asObject(obj);
632
633     if (isJSFinalObject(object))
634         return JSValue::encode(jsBoolean(object->isSealed(vm)));
635
636     // 2. For each named own property name P of O,
637     PropertyNameArray properties(exec, PropertyNameMode::StringsAndSymbols);
638     object->methodTable(vm)->getOwnPropertyNames(object, exec, properties, EnumerationMode(DontEnumPropertiesMode::Include));
639     if (UNLIKELY(scope.exception()))
640         return JSValue::encode(JSValue());
641     PropertyNameArray::const_iterator end = properties.end();
642     for (PropertyNameArray::const_iterator iter = properties.begin(); iter != end; ++iter) {
643         Identifier propertyName = *iter;
644         if (exec->propertyNames().isPrivateName(propertyName))
645             continue;
646         // a. Let desc be the result of calling the [[GetOwnProperty]] internal method of O with P.
647         PropertyDescriptor desc;
648         if (!object->getOwnPropertyDescriptor(exec, propertyName, desc))
649             continue;
650         // b. If desc.[[Configurable]] is true, then return false.
651         if (desc.configurable())
652             return JSValue::encode(jsBoolean(false));
653     }
654
655     // 3. If the [[Extensible]] internal property of O is false, then return true.
656     // 4. Otherwise, return false.
657     bool isExtensible = object->isExtensible(exec);
658     if (UNLIKELY(scope.exception()))
659         return JSValue::encode(JSValue());
660     return JSValue::encode(jsBoolean(!isExtensible));
661 }
662
663 EncodedJSValue JSC_HOST_CALL objectConstructorIsFrozen(ExecState* exec)
664 {
665     VM& vm = exec->vm();
666     auto scope = DECLARE_THROW_SCOPE(vm);
667
668     // 1. If Type(O) is not Object, return true.
669     JSValue obj = exec->argument(0);
670     if (!obj.isObject())
671         return JSValue::encode(jsBoolean(true));
672     JSObject* object = asObject(obj);
673
674     if (isJSFinalObject(object))
675         return JSValue::encode(jsBoolean(object->isFrozen(vm)));
676
677     // 2. For each named own property name P of O,
678     PropertyNameArray properties(exec, PropertyNameMode::StringsAndSymbols);
679     object->methodTable(vm)->getOwnPropertyNames(object, exec, properties, EnumerationMode(DontEnumPropertiesMode::Include));
680     if (UNLIKELY(scope.exception()))
681         return JSValue::encode(JSValue());
682     PropertyNameArray::const_iterator end = properties.end();
683     for (PropertyNameArray::const_iterator iter = properties.begin(); iter != end; ++iter) {
684         Identifier propertyName = *iter;
685         if (exec->propertyNames().isPrivateName(propertyName))
686             continue;
687         // a. Let desc be the result of calling the [[GetOwnProperty]] internal method of O with P.
688         PropertyDescriptor desc;
689         if (!object->getOwnPropertyDescriptor(exec, propertyName, desc))
690             continue;
691         // b. If IsDataDescriptor(desc) is true then
692         // i. If desc.[[Writable]] is true, return false. c. If desc.[[Configurable]] is true, then return false.
693         if ((desc.isDataDescriptor() && desc.writable()) || desc.configurable())
694             return JSValue::encode(jsBoolean(false));
695     }
696
697     // 3. If the [[Extensible]] internal property of O is false, then return true.
698     // 4. Otherwise, return false.
699     bool isExtensible = object->isExtensible(exec);
700     if (UNLIKELY(scope.exception()))
701         return JSValue::encode(JSValue());
702     return JSValue::encode(jsBoolean(!isExtensible));
703 }
704
705 EncodedJSValue JSC_HOST_CALL objectConstructorIsExtensible(ExecState* exec)
706 {
707     VM& vm = exec->vm();
708     auto scope = DECLARE_THROW_SCOPE(vm);
709     JSValue obj = exec->argument(0);
710     if (!obj.isObject())
711         return JSValue::encode(jsBoolean(false));
712     JSObject* object = asObject(obj);
713     bool isExtensible = object->isExtensible(exec);
714     if (UNLIKELY(scope.exception()))
715         return JSValue::encode(JSValue());
716     return JSValue::encode(jsBoolean(isExtensible));
717 }
718
719 EncodedJSValue JSC_HOST_CALL objectConstructorIs(ExecState* exec)
720 {
721     return JSValue::encode(jsBoolean(sameValue(exec, exec->argument(0), exec->argument(1))));
722 }
723
724 // FIXME: Use the enumeration cache.
725 JSArray* ownPropertyKeys(ExecState* exec, JSObject* object, PropertyNameMode propertyNameMode, DontEnumPropertiesMode dontEnumPropertiesMode)
726 {
727     VM& vm = exec->vm();
728     auto scope = DECLARE_THROW_SCOPE(vm);
729     PropertyNameArray properties(exec, propertyNameMode);
730     object->methodTable(vm)->getOwnPropertyNames(object, exec, properties, EnumerationMode(dontEnumPropertiesMode));
731     if (UNLIKELY(scope.exception()))
732         return nullptr;
733
734     JSArray* keys = constructEmptyArray(exec, 0);
735     if (UNLIKELY(scope.exception()))
736         return nullptr;
737
738     switch (propertyNameMode) {
739     case PropertyNameMode::Strings: {
740         size_t numProperties = properties.size();
741         for (size_t i = 0; i < numProperties; i++) {
742             const auto& identifier = properties[i];
743             ASSERT(!identifier.isSymbol());
744             keys->push(exec, jsOwnedString(exec, identifier.string()));
745         }
746         break;
747     }
748
749     case PropertyNameMode::Symbols: {
750         size_t numProperties = properties.size();
751         for (size_t i = 0; i < numProperties; i++) {
752             const auto& identifier = properties[i];
753             ASSERT(identifier.isSymbol());
754             if (!exec->propertyNames().isPrivateName(identifier))
755                 keys->push(exec, Symbol::create(vm, static_cast<SymbolImpl&>(*identifier.impl())));
756         }
757         break;
758     }
759
760     case PropertyNameMode::StringsAndSymbols: {
761         Vector<Identifier, 16> propertySymbols;
762         size_t numProperties = properties.size();
763         for (size_t i = 0; i < numProperties; i++) {
764             const auto& identifier = properties[i];
765             if (identifier.isSymbol()) {
766                 if (!exec->propertyNames().isPrivateName(identifier))
767                     propertySymbols.append(identifier);
768             } else
769                 keys->push(exec, jsOwnedString(exec, identifier.string()));
770         }
771
772         // To ensure the order defined in the spec (9.1.12), we append symbols at the last elements of keys.
773         for (const auto& identifier : propertySymbols)
774             keys->push(exec, Symbol::create(vm, static_cast<SymbolImpl&>(*identifier.impl())));
775
776         break;
777     }
778     }
779
780     return keys;
781 }
782
783 } // namespace JSC