[ES6] Implement Reflect.ownKeys
[WebKit-https.git] / Source / JavaScriptCore / runtime / ObjectConstructor.cpp
1 /*
2  *  Copyright (C) 1999-2000 Harri Porten (porten@kde.org)
3  *  Copyright (C) 2008 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 "ButterflyInlines.h"
25 #include "CopiedSpaceInlines.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   getOwnPropertyNames       objectConstructorGetOwnPropertyNames        DontEnum|Function 1
72   keys                      objectConstructorKeys                       DontEnum|Function 1
73   defineProperty            objectConstructorDefineProperty             DontEnum|Function 3
74   defineProperties          objectConstructorDefineProperties           DontEnum|Function 2
75   create                    objectConstructorCreate                     DontEnum|Function 2
76   seal                      objectConstructorSeal                       DontEnum|Function 1
77   freeze                    objectConstructorFreeze                     DontEnum|Function 1
78   preventExtensions         objectConstructorPreventExtensions          DontEnum|Function 1
79   isSealed                  objectConstructorIsSealed                   DontEnum|Function 1
80   isFrozen                  objectConstructorIsFrozen                   DontEnum|Function 1
81   isExtensible              objectConstructorIsExtensible               DontEnum|Function 1
82   is                        objectConstructorIs                         DontEnum|Function 2
83   assign                    objectConstructorAssign                     DontEnum|Function 2
84 @end
85 */
86
87 ObjectConstructor::ObjectConstructor(VM& vm, Structure* structure)
88     : InternalFunction(vm, structure)
89 {
90 }
91
92 void ObjectConstructor::finishCreation(VM& vm, JSGlobalObject* globalObject, ObjectPrototype* objectPrototype)
93 {
94     Base::finishCreation(vm, objectPrototype->classInfo()->className);
95     // ECMA 15.2.3.1
96     putDirectWithoutTransition(vm, vm.propertyNames->prototype, objectPrototype, DontEnum | DontDelete | ReadOnly);
97     // no. of arguments for constructor
98     putDirectWithoutTransition(vm, vm.propertyNames->length, jsNumber(1), ReadOnly | DontEnum | DontDelete);
99
100     JSC_NATIVE_FUNCTION("getOwnPropertySymbols", objectConstructorGetOwnPropertySymbols, DontEnum, 1);
101     JSC_NATIVE_FUNCTION(vm.propertyNames->getPrototypeOfPrivateName, objectConstructorGetPrototypeOf, DontEnum, 1);
102     JSC_NATIVE_FUNCTION(vm.propertyNames->getOwnPropertyNamesPrivateName, objectConstructorGetOwnPropertyNames, DontEnum, 1);
103 }
104
105 JSFunction* ObjectConstructor::addDefineProperty(ExecState* exec, JSGlobalObject* globalObject)
106 {
107     VM& vm = exec->vm();
108     JSFunction* definePropertyFunction = JSFunction::create(vm, globalObject, 3, vm.propertyNames->defineProperty.string(), objectConstructorDefineProperty);
109     putDirectWithoutTransition(vm, vm.propertyNames->defineProperty, definePropertyFunction, DontEnum);
110     return definePropertyFunction;
111 }
112
113 bool ObjectConstructor::getOwnPropertySlot(JSObject* object, ExecState* exec, PropertyName propertyName, PropertySlot &slot)
114 {
115     return getStaticFunctionSlot<JSObject>(exec, objectConstructorTable, jsCast<ObjectConstructor*>(object), propertyName, slot);
116 }
117
118 static ALWAYS_INLINE JSObject* constructObject(ExecState* exec)
119 {
120     JSGlobalObject* globalObject = exec->callee()->globalObject();
121     ArgList args(exec);
122     JSValue arg = args.at(0);
123     if (arg.isUndefinedOrNull())
124         return constructEmptyObject(exec, globalObject->objectPrototype());
125     return arg.toObject(exec, globalObject);
126 }
127
128 static EncodedJSValue JSC_HOST_CALL constructWithObjectConstructor(ExecState* exec)
129 {
130     return JSValue::encode(constructObject(exec));
131 }
132
133 ConstructType ObjectConstructor::getConstructData(JSCell*, ConstructData& constructData)
134 {
135     constructData.native.function = constructWithObjectConstructor;
136     return ConstructTypeHost;
137 }
138
139 static EncodedJSValue JSC_HOST_CALL callObjectConstructor(ExecState* exec)
140 {
141     return JSValue::encode(constructObject(exec));
142 }
143
144 CallType ObjectConstructor::getCallData(JSCell*, CallData& callData)
145 {
146     callData.native.function = callObjectConstructor;
147     return CallTypeHost;
148 }
149
150 class ObjectConstructorGetPrototypeOfFunctor {
151 public:
152     ObjectConstructorGetPrototypeOfFunctor(JSObject* object)
153         : m_hasSkippedFirstFrame(false)
154         , m_object(object)
155         , m_result(JSValue::encode(jsUndefined()))
156     {
157     }
158
159     EncodedJSValue result() const { return m_result; }
160
161     StackVisitor::Status operator()(StackVisitor& visitor)
162     {
163         if (!m_hasSkippedFirstFrame) {
164             m_hasSkippedFirstFrame = true;
165             return StackVisitor::Continue;
166         }
167
168         if (m_object->allowsAccessFrom(visitor->callFrame()))
169             m_result = JSValue::encode(m_object->prototype());
170         return StackVisitor::Done;
171     }
172
173 private:
174     bool m_hasSkippedFirstFrame;
175     JSObject* m_object;
176     EncodedJSValue m_result;
177 };
178
179 EncodedJSValue JSC_HOST_CALL objectConstructorGetPrototypeOf(ExecState* exec)
180 {
181     JSObject* object = exec->argument(0).toObject(exec);
182     if (exec->hadException())
183         return JSValue::encode(jsNull());
184     ObjectConstructorGetPrototypeOfFunctor functor(object);
185     exec->iterate(functor);
186     return functor.result();
187 }
188
189 EncodedJSValue JSC_HOST_CALL objectConstructorSetPrototypeOf(ExecState* exec)
190 {
191     JSValue objectValue = exec->argument(0);
192     if (objectValue.isUndefinedOrNull())
193         return throwVMTypeError(exec);
194
195     JSValue protoValue = exec->argument(1);
196     if (!protoValue.isObject() && !protoValue.isNull())
197         return throwVMTypeError(exec);
198
199     JSObject* object = objectValue.toObject(exec);
200     if (exec->hadException())
201         return JSValue::encode(objectValue);
202
203     if (!checkProtoSetterAccessAllowed(exec, object))
204         return JSValue::encode(objectValue);
205
206     if (!object->isExtensible())
207         return throwVMError(exec, createTypeError(exec, StrictModeReadonlyPropertyWriteError));
208
209     if (!object->setPrototypeWithCycleCheck(exec, protoValue)) {
210         exec->vm().throwException(exec, createError(exec, ASCIILiteral("cyclic __proto__ value")));
211         return JSValue::encode(jsUndefined());
212     }
213
214     return JSValue::encode(objectValue);
215 }
216
217 EncodedJSValue JSC_HOST_CALL objectConstructorGetOwnPropertyDescriptor(ExecState* exec)
218 {
219     JSObject* object = exec->argument(0).toObject(exec);
220     if (exec->hadException())
221         return JSValue::encode(jsNull());
222     auto propertyName = exec->argument(1).toPropertyKey(exec);
223     if (exec->hadException())
224         return JSValue::encode(jsNull());
225     PropertyDescriptor descriptor;
226     if (!object->getOwnPropertyDescriptor(exec, propertyName, descriptor))
227         return JSValue::encode(jsUndefined());
228     if (exec->hadException())
229         return JSValue::encode(jsUndefined());
230
231     JSObject* description = constructEmptyObject(exec);
232     if (!descriptor.isAccessorDescriptor()) {
233         description->putDirect(exec->vm(), exec->propertyNames().value, descriptor.value() ? descriptor.value() : jsUndefined(), 0);
234         description->putDirect(exec->vm(), exec->propertyNames().writable, jsBoolean(descriptor.writable()), 0);
235     } else {
236         ASSERT(descriptor.getter());
237         ASSERT(descriptor.setter());
238         description->putDirect(exec->vm(), exec->propertyNames().get, descriptor.getter(), 0);
239         description->putDirect(exec->vm(), exec->propertyNames().set, descriptor.setter(), 0);
240     }
241     
242     description->putDirect(exec->vm(), exec->propertyNames().enumerable, jsBoolean(descriptor.enumerable()), 0);
243     description->putDirect(exec->vm(), exec->propertyNames().configurable, jsBoolean(descriptor.configurable()), 0);
244
245     return JSValue::encode(description);
246 }
247
248 // FIXME: Use the enumeration cache.
249 EncodedJSValue JSC_HOST_CALL objectConstructorGetOwnPropertyNames(ExecState* exec)
250 {
251     JSObject* object = exec->argument(0).toObject(exec);
252     if (exec->hadException())
253         return JSValue::encode(jsNull());
254     return JSValue::encode(ownPropertyKeys(exec, object, PropertyNameMode::Strings, DontEnumPropertiesMode::Include));
255 }
256
257 // FIXME: Use the enumeration cache.
258 EncodedJSValue JSC_HOST_CALL objectConstructorGetOwnPropertySymbols(ExecState* exec)
259 {
260     JSObject* object = exec->argument(0).toObject(exec);
261     if (exec->hadException())
262         return JSValue::encode(jsNull());
263     return JSValue::encode(ownPropertyKeys(exec, object, PropertyNameMode::Symbols, DontEnumPropertiesMode::Include));
264 }
265
266 // FIXME: Use the enumeration cache.
267 EncodedJSValue JSC_HOST_CALL objectConstructorKeys(ExecState* exec)
268 {
269     JSObject* object = exec->argument(0).toObject(exec);
270     if (exec->hadException())
271         return JSValue::encode(jsNull());
272     return JSValue::encode(ownPropertyKeys(exec, object, PropertyNameMode::Strings, DontEnumPropertiesMode::Exclude));
273 }
274
275 EncodedJSValue JSC_HOST_CALL ownEnumerablePropertyKeys(ExecState* exec)
276 {
277     JSObject* object = exec->argument(0).toObject(exec);
278     if (exec->hadException())
279         return JSValue::encode(jsNull());
280     return JSValue::encode(ownPropertyKeys(exec, object, PropertyNameMode::Both, DontEnumPropertiesMode::Exclude));
281 }
282
283 // ES5 8.10.5 ToPropertyDescriptor
284 static bool toPropertyDescriptor(ExecState* exec, JSValue in, PropertyDescriptor& desc)
285 {
286     if (!in.isObject()) {
287         exec->vm().throwException(exec, createTypeError(exec, ASCIILiteral("Property description must be an object.")));
288         return false;
289     }
290     JSObject* description = asObject(in);
291
292     PropertySlot enumerableSlot(description);
293     if (description->getPropertySlot(exec, exec->propertyNames().enumerable, enumerableSlot)) {
294         desc.setEnumerable(enumerableSlot.getValue(exec, exec->propertyNames().enumerable).toBoolean(exec));
295         if (exec->hadException())
296             return false;
297     }
298
299     PropertySlot configurableSlot(description);
300     if (description->getPropertySlot(exec, exec->propertyNames().configurable, configurableSlot)) {
301         desc.setConfigurable(configurableSlot.getValue(exec, exec->propertyNames().configurable).toBoolean(exec));
302         if (exec->hadException())
303             return false;
304     }
305
306     JSValue value;
307     PropertySlot valueSlot(description);
308     if (description->getPropertySlot(exec, exec->propertyNames().value, valueSlot)) {
309         desc.setValue(valueSlot.getValue(exec, exec->propertyNames().value));
310         if (exec->hadException())
311             return false;
312     }
313
314     PropertySlot writableSlot(description);
315     if (description->getPropertySlot(exec, exec->propertyNames().writable, writableSlot)) {
316         desc.setWritable(writableSlot.getValue(exec, exec->propertyNames().writable).toBoolean(exec));
317         if (exec->hadException())
318             return false;
319     }
320
321     PropertySlot getSlot(description);
322     if (description->getPropertySlot(exec, exec->propertyNames().get, getSlot)) {
323         JSValue get = getSlot.getValue(exec, exec->propertyNames().get);
324         if (exec->hadException())
325             return false;
326         if (!get.isUndefined()) {
327             CallData callData;
328             if (getCallData(get, callData) == CallTypeNone) {
329                 exec->vm().throwException(exec, createTypeError(exec, ASCIILiteral("Getter must be a function.")));
330                 return false;
331             }
332         }
333         desc.setGetter(get);
334     }
335
336     PropertySlot setSlot(description);
337     if (description->getPropertySlot(exec, exec->propertyNames().set, setSlot)) {
338         JSValue set = setSlot.getValue(exec, exec->propertyNames().set);
339         if (exec->hadException())
340             return false;
341         if (!set.isUndefined()) {
342             CallData callData;
343             if (getCallData(set, callData) == CallTypeNone) {
344                 exec->vm().throwException(exec, createTypeError(exec, ASCIILiteral("Setter must be a function.")));
345                 return false;
346             }
347         }
348         desc.setSetter(set);
349     }
350
351     if (!desc.isAccessorDescriptor())
352         return true;
353
354     if (desc.value()) {
355         exec->vm().throwException(exec, createTypeError(exec, ASCIILiteral("Invalid property.  'value' present on property with getter or setter.")));
356         return false;
357     }
358
359     if (desc.writablePresent()) {
360         exec->vm().throwException(exec, createTypeError(exec, ASCIILiteral("Invalid property.  'writable' present on property with getter or setter.")));
361         return false;
362     }
363     return true;
364 }
365
366 EncodedJSValue JSC_HOST_CALL objectConstructorDefineProperty(ExecState* exec)
367 {
368     if (!exec->argument(0).isObject())
369         return throwVMError(exec, createTypeError(exec, ASCIILiteral("Properties can only be defined on Objects.")));
370     JSObject* O = asObject(exec->argument(0));
371     auto propertyName = exec->argument(1).toPropertyKey(exec);
372     if (exec->hadException())
373         return JSValue::encode(jsNull());
374     PropertyDescriptor descriptor;
375     if (!toPropertyDescriptor(exec, exec->argument(2), descriptor))
376         return JSValue::encode(jsNull());
377     ASSERT((descriptor.attributes() & Accessor) || (!descriptor.isAccessorDescriptor()));
378     ASSERT(!exec->hadException());
379     O->methodTable(exec->vm())->defineOwnProperty(O, exec, propertyName, descriptor, true);
380     return JSValue::encode(O);
381 }
382
383 static JSValue defineProperties(ExecState* exec, JSObject* object, JSObject* properties)
384 {
385     PropertyNameArray propertyNames(exec, PropertyNameMode::Both);
386     asObject(properties)->methodTable(exec->vm())->getOwnPropertyNames(asObject(properties), exec, propertyNames, EnumerationMode(DontEnumPropertiesMode::Exclude));
387     size_t numProperties = propertyNames.size();
388     Vector<PropertyDescriptor> descriptors;
389     MarkedArgumentBuffer markBuffer;
390     for (size_t i = 0; i < numProperties; i++) {
391         JSValue prop = properties->get(exec, propertyNames[i]);
392         if (exec->hadException())
393             return jsNull();
394         PropertyDescriptor descriptor;
395         if (!toPropertyDescriptor(exec, prop, descriptor))
396             return jsNull();
397         descriptors.append(descriptor);
398         // Ensure we mark all the values that we're accumulating
399         if (descriptor.isDataDescriptor() && descriptor.value())
400             markBuffer.append(descriptor.value());
401         if (descriptor.isAccessorDescriptor()) {
402             if (descriptor.getter())
403                 markBuffer.append(descriptor.getter());
404             if (descriptor.setter())
405                 markBuffer.append(descriptor.setter());
406         }
407     }
408     for (size_t i = 0; i < numProperties; i++) {
409         Identifier propertyName = propertyNames[i];
410         if (exec->propertyNames().isPrivateName(propertyName))
411             continue;
412         object->methodTable(exec->vm())->defineOwnProperty(object, exec, propertyName, descriptors[i], true);
413         if (exec->hadException())
414             return jsNull();
415     }
416     return object;
417 }
418
419 EncodedJSValue JSC_HOST_CALL objectConstructorDefineProperties(ExecState* exec)
420 {
421     if (!exec->argument(0).isObject())
422         return throwVMError(exec, createTypeError(exec, ASCIILiteral("Properties can only be defined on Objects.")));
423     return JSValue::encode(defineProperties(exec, asObject(exec->argument(0)), exec->argument(1).toObject(exec)));
424 }
425
426 EncodedJSValue JSC_HOST_CALL objectConstructorCreate(ExecState* exec)
427 {
428     JSValue proto = exec->argument(0);
429     if (!proto.isObject() && !proto.isNull())
430         return throwVMError(exec, createTypeError(exec, ASCIILiteral("Object prototype may only be an Object or null.")));
431     JSObject* newObject = proto.isObject()
432         ? constructEmptyObject(exec, asObject(proto))
433         : constructEmptyObject(exec, exec->lexicalGlobalObject()->nullPrototypeObjectStructure());
434     if (exec->argument(1).isUndefined())
435         return JSValue::encode(newObject);
436     if (!exec->argument(1).isObject())
437         return throwVMError(exec, createTypeError(exec, ASCIILiteral("Property descriptor list must be an Object.")));
438     return JSValue::encode(defineProperties(exec, newObject, asObject(exec->argument(1))));
439 }
440
441 EncodedJSValue JSC_HOST_CALL objectConstructorSeal(ExecState* exec)
442 {
443     // 1. If Type(O) is not Object, return O.
444     JSValue obj = exec->argument(0);
445     if (!obj.isObject())
446         return JSValue::encode(obj);
447     JSObject* object = asObject(obj);
448
449     if (isJSFinalObject(object)) {
450         object->seal(exec->vm());
451         return JSValue::encode(obj);
452     }
453
454     // 2. For each named own property name P of O,
455     PropertyNameArray properties(exec, PropertyNameMode::Both);
456     object->methodTable(exec->vm())->getOwnPropertyNames(object, exec, properties, EnumerationMode(DontEnumPropertiesMode::Include));
457     PropertyNameArray::const_iterator end = properties.end();
458     for (PropertyNameArray::const_iterator iter = properties.begin(); iter != end; ++iter) {
459         Identifier propertyName = *iter;
460         if (exec->propertyNames().isPrivateName(propertyName))
461             continue;
462         // a. Let desc be the result of calling the [[GetOwnProperty]] internal method of O with P.
463         PropertyDescriptor desc;
464         if (!object->getOwnPropertyDescriptor(exec, propertyName, desc))
465             continue;
466         // b. If desc.[[Configurable]] is true, set desc.[[Configurable]] to false.
467         desc.setConfigurable(false);
468         // c. Call the [[DefineOwnProperty]] internal method of O with P, desc, and true as arguments.
469         object->methodTable(exec->vm())->defineOwnProperty(object, exec, propertyName, desc, true);
470         if (exec->hadException())
471             return JSValue::encode(obj);
472     }
473
474     // 3. Set the [[Extensible]] internal property of O to false.
475     object->preventExtensions(exec->vm());
476
477     // 4. Return O.
478     return JSValue::encode(obj);
479 }
480
481 JSObject* objectConstructorFreeze(ExecState* exec, JSObject* object)
482 {
483     if (isJSFinalObject(object) && !hasIndexedProperties(object->indexingType())) {
484         object->freeze(exec->vm());
485         return object;
486     }
487
488     // 2. For each named own property name P of O,
489     PropertyNameArray properties(exec, PropertyNameMode::Both);
490     object->methodTable(exec->vm())->getOwnPropertyNames(object, exec, properties, EnumerationMode(DontEnumPropertiesMode::Include));
491     PropertyNameArray::const_iterator end = properties.end();
492     for (PropertyNameArray::const_iterator iter = properties.begin(); iter != end; ++iter) {
493         Identifier propertyName = *iter;
494         if (exec->propertyNames().isPrivateName(propertyName))
495             continue;
496         // a. Let desc be the result of calling the [[GetOwnProperty]] internal method of O with P.
497         PropertyDescriptor desc;
498         if (!object->getOwnPropertyDescriptor(exec, propertyName, desc))
499             continue;
500         // b. If IsDataDescriptor(desc) is true, then
501         // i. If desc.[[Writable]] is true, set desc.[[Writable]] to false.
502         if (desc.isDataDescriptor())
503             desc.setWritable(false);
504         // c. If desc.[[Configurable]] is true, set desc.[[Configurable]] to false.
505         desc.setConfigurable(false);
506         // d. Call the [[DefineOwnProperty]] internal method of O with P, desc, and true as arguments.
507         object->methodTable(exec->vm())->defineOwnProperty(object, exec, propertyName, desc, true);
508         if (exec->hadException())
509             return object;
510     }
511
512     // 3. Set the [[Extensible]] internal property of O to false.
513     object->preventExtensions(exec->vm());
514
515     // 4. Return O.
516     return object;
517 }
518
519 EncodedJSValue JSC_HOST_CALL objectConstructorFreeze(ExecState* exec)
520 {
521     // 1. If Type(O) is not Object, return O.
522     JSValue obj = exec->argument(0);
523     if (!obj.isObject())
524         return JSValue::encode(obj);
525     return JSValue::encode(objectConstructorFreeze(exec, asObject(obj)));
526 }
527
528 EncodedJSValue JSC_HOST_CALL objectConstructorPreventExtensions(ExecState* exec)
529 {
530     JSValue obj = exec->argument(0);
531     if (!obj.isObject())
532         return JSValue::encode(obj);
533     asObject(obj)->preventExtensions(exec->vm());
534     return JSValue::encode(obj);
535 }
536
537 EncodedJSValue JSC_HOST_CALL objectConstructorIsSealed(ExecState* exec)
538 {
539     // 1. If Type(O) is not Object, return true.
540     JSValue obj = exec->argument(0);
541     if (!obj.isObject())
542         return JSValue::encode(jsBoolean(true));
543     JSObject* object = asObject(obj);
544
545     if (isJSFinalObject(object))
546         return JSValue::encode(jsBoolean(object->isSealed(exec->vm())));
547
548     // 2. For each named own property name P of O,
549     PropertyNameArray properties(exec, PropertyNameMode::Both);
550     object->methodTable(exec->vm())->getOwnPropertyNames(object, exec, properties, EnumerationMode(DontEnumPropertiesMode::Include));
551     PropertyNameArray::const_iterator end = properties.end();
552     for (PropertyNameArray::const_iterator iter = properties.begin(); iter != end; ++iter) {
553         Identifier propertyName = *iter;
554         if (exec->propertyNames().isPrivateName(propertyName))
555             continue;
556         // a. Let desc be the result of calling the [[GetOwnProperty]] internal method of O with P.
557         PropertyDescriptor desc;
558         if (!object->getOwnPropertyDescriptor(exec, propertyName, desc))
559             continue;
560         // b. If desc.[[Configurable]] is true, then return false.
561         if (desc.configurable())
562             return JSValue::encode(jsBoolean(false));
563     }
564
565     // 3. If the [[Extensible]] internal property of O is false, then return true.
566     // 4. Otherwise, return false.
567     return JSValue::encode(jsBoolean(!object->isExtensible()));
568 }
569
570 EncodedJSValue JSC_HOST_CALL objectConstructorIsFrozen(ExecState* exec)
571 {
572     // 1. If Type(O) is not Object, return true.
573     JSValue obj = exec->argument(0);
574     if (!obj.isObject())
575         return JSValue::encode(jsBoolean(true));
576     JSObject* object = asObject(obj);
577
578     if (isJSFinalObject(object))
579         return JSValue::encode(jsBoolean(object->isFrozen(exec->vm())));
580
581     // 2. For each named own property name P of O,
582     PropertyNameArray properties(exec, PropertyNameMode::Both);
583     object->methodTable(exec->vm())->getOwnPropertyNames(object, exec, properties, EnumerationMode(DontEnumPropertiesMode::Include));
584     PropertyNameArray::const_iterator end = properties.end();
585     for (PropertyNameArray::const_iterator iter = properties.begin(); iter != end; ++iter) {
586         Identifier propertyName = *iter;
587         if (exec->propertyNames().isPrivateName(propertyName))
588             continue;
589         // a. Let desc be the result of calling the [[GetOwnProperty]] internal method of O with P.
590         PropertyDescriptor desc;
591         if (!object->getOwnPropertyDescriptor(exec, propertyName, desc))
592             continue;
593         // b. If IsDataDescriptor(desc) is true then
594         // i. If desc.[[Writable]] is true, return false. c. If desc.[[Configurable]] is true, then return false.
595         if ((desc.isDataDescriptor() && desc.writable()) || desc.configurable())
596             return JSValue::encode(jsBoolean(false));
597     }
598
599     // 3. If the [[Extensible]] internal property of O is false, then return true.
600     // 4. Otherwise, return false.
601     return JSValue::encode(jsBoolean(!object->isExtensible()));
602 }
603
604 EncodedJSValue JSC_HOST_CALL objectConstructorIsExtensible(ExecState* exec)
605 {
606     JSValue obj = exec->argument(0);
607     if (!obj.isObject())
608         return JSValue::encode(jsBoolean(false));
609     return JSValue::encode(jsBoolean(asObject(obj)->isExtensible()));
610 }
611
612 EncodedJSValue JSC_HOST_CALL objectConstructorIs(ExecState* exec)
613 {
614     return JSValue::encode(jsBoolean(sameValue(exec, exec->argument(0), exec->argument(1))));
615 }
616
617 // FIXME: Use the enumeration cache.
618 JSArray* ownPropertyKeys(ExecState* exec, JSObject* object, PropertyNameMode propertyNameMode, DontEnumPropertiesMode dontEnumPropertiesMode)
619 {
620     PropertyNameArray properties(exec, propertyNameMode);
621     object->methodTable(exec->vm())->getOwnPropertyNames(object, exec, properties, EnumerationMode(dontEnumPropertiesMode));
622
623     JSArray* keys = constructEmptyArray(exec, 0);
624
625     switch (propertyNameMode) {
626     case PropertyNameMode::Strings: {
627         size_t numProperties = properties.size();
628         for (size_t i = 0; i < numProperties; i++) {
629             ASSERT(!identifier.isSymbol());
630             keys->push(exec, jsOwnedString(exec, properties[i].string()));
631         }
632         break;
633     }
634
635     case PropertyNameMode::Symbols: {
636         size_t numProperties = properties.size();
637         for (size_t i = 0; i < numProperties; i++) {
638             const auto& identifier = properties[i];
639             ASSERT(identifier.isSymbol());
640             if (!exec->propertyNames().isPrivateName(identifier))
641                 keys->push(exec, Symbol::create(exec->vm(), static_cast<SymbolImpl&>(*identifier.impl())));
642         }
643         break;
644     }
645
646     case PropertyNameMode::Both: {
647         Vector<Identifier, 16> propertySymbols;
648         size_t numProperties = properties.size();
649         for (size_t i = 0; i < numProperties; i++) {
650             const auto& identifier = properties[i];
651             if (identifier.isSymbol()) {
652                 if (!exec->propertyNames().isPrivateName(identifier))
653                     propertySymbols.append(identifier);
654             } else
655                 keys->push(exec, jsOwnedString(exec, identifier.string()));
656         }
657
658         // To ensure the order defined in the spec (9.1.12), we append symbols at the last elements of keys.
659         for (const auto& identifier : propertySymbols)
660             keys->push(exec, Symbol::create(exec->vm(), static_cast<SymbolImpl&>(*identifier.impl())));
661
662         break;
663     }
664     }
665
666     return keys;
667 }
668
669 } // namespace JSC