d53f652720c5559b03b36eadbea5a220fe2f72e0
[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     PropertyNameArray properties(exec, PropertyNameMode::Strings);
255     object->methodTable(exec->vm())->getOwnPropertyNames(object, exec, properties, EnumerationMode(DontEnumPropertiesMode::Include));
256     JSArray* names = constructEmptyArray(exec, 0);
257     size_t numProperties = properties.size();
258     for (size_t i = 0; i < numProperties; i++)
259         names->push(exec, jsOwnedString(exec, properties[i].string()));
260     return JSValue::encode(names);
261 }
262
263 // FIXME: Use the enumeration cache.
264 EncodedJSValue JSC_HOST_CALL objectConstructorGetOwnPropertySymbols(ExecState* exec)
265 {
266     JSObject* object = exec->argument(0).toObject(exec);
267     if (exec->hadException())
268         return JSValue::encode(jsNull());
269     PropertyNameArray properties(exec, PropertyNameMode::Symbols);
270     object->methodTable(exec->vm())->getOwnPropertyNames(object, exec, properties, EnumerationMode(DontEnumPropertiesMode::Include));
271     JSArray* names = constructEmptyArray(exec, 0);
272     size_t numProperties = properties.size();
273     for (size_t i = 0; i < numProperties; i++) {
274         auto impl = properties[i].impl();
275         if (impl->isSymbol() && !exec->propertyNames().isPrivateName(*impl))
276             names->push(exec, Symbol::create(exec->vm(), static_cast<SymbolImpl&>(*impl)));
277     }
278     return JSValue::encode(names);
279 }
280
281 // FIXME: Use the enumeration cache.
282 EncodedJSValue JSC_HOST_CALL objectConstructorKeys(ExecState* exec)
283 {
284     JSObject* object = exec->argument(0).toObject(exec);
285     if (exec->hadException())
286         return JSValue::encode(jsNull());
287     PropertyNameArray properties(exec, PropertyNameMode::Strings);
288     object->methodTable(exec->vm())->getOwnPropertyNames(object, exec, properties, EnumerationMode());
289     JSArray* keys = constructEmptyArray(exec, 0);
290     size_t numProperties = properties.size();
291     for (size_t i = 0; i < numProperties; i++)
292         keys->push(exec, jsOwnedString(exec, properties[i].string()));
293     return JSValue::encode(keys);
294 }
295
296 EncodedJSValue JSC_HOST_CALL ownEnumerablePropertyKeys(ExecState* exec)
297 {
298     JSObject* object = exec->argument(0).toObject(exec);
299     if (exec->hadException())
300         return JSValue::encode(jsNull());
301     PropertyNameArray properties(exec, PropertyNameMode::Both);
302     object->methodTable(exec->vm())->getOwnPropertyNames(object, exec, properties, EnumerationMode());
303
304     JSArray* keys = constructEmptyArray(exec, 0);
305     Vector<Identifier, 16> propertySymbols;
306     size_t numProperties = properties.size();
307     for (size_t i = 0; i < numProperties; i++) {
308         const auto& identifier = properties[i];
309         if (identifier.isSymbol()) {
310             if (!exec->propertyNames().isPrivateName(identifier))
311                 propertySymbols.append(identifier);
312         } else
313             keys->push(exec, jsOwnedString(exec, identifier.string()));
314     }
315
316     // To ensure the order defined in the spec (9.1.12), we append symbols at the last elements of keys.
317     for (const auto& identifier : propertySymbols)
318         keys->push(exec, Symbol::create(exec->vm(), static_cast<SymbolImpl&>(*identifier.impl())));
319
320     return JSValue::encode(keys);
321 }
322
323 // ES5 8.10.5 ToPropertyDescriptor
324 static bool toPropertyDescriptor(ExecState* exec, JSValue in, PropertyDescriptor& desc)
325 {
326     if (!in.isObject()) {
327         exec->vm().throwException(exec, createTypeError(exec, ASCIILiteral("Property description must be an object.")));
328         return false;
329     }
330     JSObject* description = asObject(in);
331
332     PropertySlot enumerableSlot(description);
333     if (description->getPropertySlot(exec, exec->propertyNames().enumerable, enumerableSlot)) {
334         desc.setEnumerable(enumerableSlot.getValue(exec, exec->propertyNames().enumerable).toBoolean(exec));
335         if (exec->hadException())
336             return false;
337     }
338
339     PropertySlot configurableSlot(description);
340     if (description->getPropertySlot(exec, exec->propertyNames().configurable, configurableSlot)) {
341         desc.setConfigurable(configurableSlot.getValue(exec, exec->propertyNames().configurable).toBoolean(exec));
342         if (exec->hadException())
343             return false;
344     }
345
346     JSValue value;
347     PropertySlot valueSlot(description);
348     if (description->getPropertySlot(exec, exec->propertyNames().value, valueSlot)) {
349         desc.setValue(valueSlot.getValue(exec, exec->propertyNames().value));
350         if (exec->hadException())
351             return false;
352     }
353
354     PropertySlot writableSlot(description);
355     if (description->getPropertySlot(exec, exec->propertyNames().writable, writableSlot)) {
356         desc.setWritable(writableSlot.getValue(exec, exec->propertyNames().writable).toBoolean(exec));
357         if (exec->hadException())
358             return false;
359     }
360
361     PropertySlot getSlot(description);
362     if (description->getPropertySlot(exec, exec->propertyNames().get, getSlot)) {
363         JSValue get = getSlot.getValue(exec, exec->propertyNames().get);
364         if (exec->hadException())
365             return false;
366         if (!get.isUndefined()) {
367             CallData callData;
368             if (getCallData(get, callData) == CallTypeNone) {
369                 exec->vm().throwException(exec, createTypeError(exec, ASCIILiteral("Getter must be a function.")));
370                 return false;
371             }
372         }
373         desc.setGetter(get);
374     }
375
376     PropertySlot setSlot(description);
377     if (description->getPropertySlot(exec, exec->propertyNames().set, setSlot)) {
378         JSValue set = setSlot.getValue(exec, exec->propertyNames().set);
379         if (exec->hadException())
380             return false;
381         if (!set.isUndefined()) {
382             CallData callData;
383             if (getCallData(set, callData) == CallTypeNone) {
384                 exec->vm().throwException(exec, createTypeError(exec, ASCIILiteral("Setter must be a function.")));
385                 return false;
386             }
387         }
388         desc.setSetter(set);
389     }
390
391     if (!desc.isAccessorDescriptor())
392         return true;
393
394     if (desc.value()) {
395         exec->vm().throwException(exec, createTypeError(exec, ASCIILiteral("Invalid property.  'value' present on property with getter or setter.")));
396         return false;
397     }
398
399     if (desc.writablePresent()) {
400         exec->vm().throwException(exec, createTypeError(exec, ASCIILiteral("Invalid property.  'writable' present on property with getter or setter.")));
401         return false;
402     }
403     return true;
404 }
405
406 EncodedJSValue JSC_HOST_CALL objectConstructorDefineProperty(ExecState* exec)
407 {
408     if (!exec->argument(0).isObject())
409         return throwVMError(exec, createTypeError(exec, ASCIILiteral("Properties can only be defined on Objects.")));
410     JSObject* O = asObject(exec->argument(0));
411     auto propertyName = exec->argument(1).toPropertyKey(exec);
412     if (exec->hadException())
413         return JSValue::encode(jsNull());
414     PropertyDescriptor descriptor;
415     if (!toPropertyDescriptor(exec, exec->argument(2), descriptor))
416         return JSValue::encode(jsNull());
417     ASSERT((descriptor.attributes() & Accessor) || (!descriptor.isAccessorDescriptor()));
418     ASSERT(!exec->hadException());
419     O->methodTable(exec->vm())->defineOwnProperty(O, exec, propertyName, descriptor, true);
420     return JSValue::encode(O);
421 }
422
423 static JSValue defineProperties(ExecState* exec, JSObject* object, JSObject* properties)
424 {
425     PropertyNameArray propertyNames(exec, PropertyNameMode::Both);
426     asObject(properties)->methodTable(exec->vm())->getOwnPropertyNames(asObject(properties), exec, propertyNames, EnumerationMode(DontEnumPropertiesMode::Exclude));
427     size_t numProperties = propertyNames.size();
428     Vector<PropertyDescriptor> descriptors;
429     MarkedArgumentBuffer markBuffer;
430     for (size_t i = 0; i < numProperties; i++) {
431         JSValue prop = properties->get(exec, propertyNames[i]);
432         if (exec->hadException())
433             return jsNull();
434         PropertyDescriptor descriptor;
435         if (!toPropertyDescriptor(exec, prop, descriptor))
436             return jsNull();
437         descriptors.append(descriptor);
438         // Ensure we mark all the values that we're accumulating
439         if (descriptor.isDataDescriptor() && descriptor.value())
440             markBuffer.append(descriptor.value());
441         if (descriptor.isAccessorDescriptor()) {
442             if (descriptor.getter())
443                 markBuffer.append(descriptor.getter());
444             if (descriptor.setter())
445                 markBuffer.append(descriptor.setter());
446         }
447     }
448     for (size_t i = 0; i < numProperties; i++) {
449         Identifier propertyName = propertyNames[i];
450         if (exec->propertyNames().isPrivateName(propertyName))
451             continue;
452         object->methodTable(exec->vm())->defineOwnProperty(object, exec, propertyName, descriptors[i], true);
453         if (exec->hadException())
454             return jsNull();
455     }
456     return object;
457 }
458
459 EncodedJSValue JSC_HOST_CALL objectConstructorDefineProperties(ExecState* exec)
460 {
461     if (!exec->argument(0).isObject())
462         return throwVMError(exec, createTypeError(exec, ASCIILiteral("Properties can only be defined on Objects.")));
463     return JSValue::encode(defineProperties(exec, asObject(exec->argument(0)), exec->argument(1).toObject(exec)));
464 }
465
466 EncodedJSValue JSC_HOST_CALL objectConstructorCreate(ExecState* exec)
467 {
468     JSValue proto = exec->argument(0);
469     if (!proto.isObject() && !proto.isNull())
470         return throwVMError(exec, createTypeError(exec, ASCIILiteral("Object prototype may only be an Object or null.")));
471     JSObject* newObject = proto.isObject()
472         ? constructEmptyObject(exec, asObject(proto))
473         : constructEmptyObject(exec, exec->lexicalGlobalObject()->nullPrototypeObjectStructure());
474     if (exec->argument(1).isUndefined())
475         return JSValue::encode(newObject);
476     if (!exec->argument(1).isObject())
477         return throwVMError(exec, createTypeError(exec, ASCIILiteral("Property descriptor list must be an Object.")));
478     return JSValue::encode(defineProperties(exec, newObject, asObject(exec->argument(1))));
479 }
480
481 EncodedJSValue JSC_HOST_CALL objectConstructorSeal(ExecState* exec)
482 {
483     // 1. If Type(O) is not Object, return O.
484     JSValue obj = exec->argument(0);
485     if (!obj.isObject())
486         return JSValue::encode(obj);
487     JSObject* object = asObject(obj);
488
489     if (isJSFinalObject(object)) {
490         object->seal(exec->vm());
491         return JSValue::encode(obj);
492     }
493
494     // 2. For each named own property name P of O,
495     PropertyNameArray properties(exec, PropertyNameMode::Both);
496     object->methodTable(exec->vm())->getOwnPropertyNames(object, exec, properties, EnumerationMode(DontEnumPropertiesMode::Include));
497     PropertyNameArray::const_iterator end = properties.end();
498     for (PropertyNameArray::const_iterator iter = properties.begin(); iter != end; ++iter) {
499         Identifier propertyName = *iter;
500         if (exec->propertyNames().isPrivateName(propertyName))
501             continue;
502         // a. Let desc be the result of calling the [[GetOwnProperty]] internal method of O with P.
503         PropertyDescriptor desc;
504         if (!object->getOwnPropertyDescriptor(exec, propertyName, desc))
505             continue;
506         // b. If desc.[[Configurable]] is true, set desc.[[Configurable]] to false.
507         desc.setConfigurable(false);
508         // c. Call the [[DefineOwnProperty]] internal method of O with P, desc, and true as arguments.
509         object->methodTable(exec->vm())->defineOwnProperty(object, exec, propertyName, desc, true);
510         if (exec->hadException())
511             return JSValue::encode(obj);
512     }
513
514     // 3. Set the [[Extensible]] internal property of O to false.
515     object->preventExtensions(exec->vm());
516
517     // 4. Return O.
518     return JSValue::encode(obj);
519 }
520
521 JSObject* objectConstructorFreeze(ExecState* exec, JSObject* object)
522 {
523     if (isJSFinalObject(object) && !hasIndexedProperties(object->indexingType())) {
524         object->freeze(exec->vm());
525         return object;
526     }
527
528     // 2. For each named own property name P of O,
529     PropertyNameArray properties(exec, PropertyNameMode::Both);
530     object->methodTable(exec->vm())->getOwnPropertyNames(object, exec, properties, EnumerationMode(DontEnumPropertiesMode::Include));
531     PropertyNameArray::const_iterator end = properties.end();
532     for (PropertyNameArray::const_iterator iter = properties.begin(); iter != end; ++iter) {
533         Identifier propertyName = *iter;
534         if (exec->propertyNames().isPrivateName(propertyName))
535             continue;
536         // a. Let desc be the result of calling the [[GetOwnProperty]] internal method of O with P.
537         PropertyDescriptor desc;
538         if (!object->getOwnPropertyDescriptor(exec, propertyName, desc))
539             continue;
540         // b. If IsDataDescriptor(desc) is true, then
541         // i. If desc.[[Writable]] is true, set desc.[[Writable]] to false.
542         if (desc.isDataDescriptor())
543             desc.setWritable(false);
544         // c. If desc.[[Configurable]] is true, set desc.[[Configurable]] to false.
545         desc.setConfigurable(false);
546         // d. Call the [[DefineOwnProperty]] internal method of O with P, desc, and true as arguments.
547         object->methodTable(exec->vm())->defineOwnProperty(object, exec, propertyName, desc, true);
548         if (exec->hadException())
549             return object;
550     }
551
552     // 3. Set the [[Extensible]] internal property of O to false.
553     object->preventExtensions(exec->vm());
554
555     // 4. Return O.
556     return object;
557 }
558
559 EncodedJSValue JSC_HOST_CALL objectConstructorFreeze(ExecState* exec)
560 {
561     // 1. If Type(O) is not Object, return O.
562     JSValue obj = exec->argument(0);
563     if (!obj.isObject())
564         return JSValue::encode(obj);
565     return JSValue::encode(objectConstructorFreeze(exec, asObject(obj)));
566 }
567
568 EncodedJSValue JSC_HOST_CALL objectConstructorPreventExtensions(ExecState* exec)
569 {
570     JSValue obj = exec->argument(0);
571     if (!obj.isObject())
572         return JSValue::encode(obj);
573     asObject(obj)->preventExtensions(exec->vm());
574     return JSValue::encode(obj);
575 }
576
577 EncodedJSValue JSC_HOST_CALL objectConstructorIsSealed(ExecState* exec)
578 {
579     // 1. If Type(O) is not Object, return true.
580     JSValue obj = exec->argument(0);
581     if (!obj.isObject())
582         return JSValue::encode(jsBoolean(true));
583     JSObject* object = asObject(obj);
584
585     if (isJSFinalObject(object))
586         return JSValue::encode(jsBoolean(object->isSealed(exec->vm())));
587
588     // 2. For each named own property name P of O,
589     PropertyNameArray properties(exec, PropertyNameMode::Both);
590     object->methodTable(exec->vm())->getOwnPropertyNames(object, exec, properties, EnumerationMode(DontEnumPropertiesMode::Include));
591     PropertyNameArray::const_iterator end = properties.end();
592     for (PropertyNameArray::const_iterator iter = properties.begin(); iter != end; ++iter) {
593         Identifier propertyName = *iter;
594         if (exec->propertyNames().isPrivateName(propertyName))
595             continue;
596         // a. Let desc be the result of calling the [[GetOwnProperty]] internal method of O with P.
597         PropertyDescriptor desc;
598         if (!object->getOwnPropertyDescriptor(exec, propertyName, desc))
599             continue;
600         // b. If desc.[[Configurable]] is true, then return false.
601         if (desc.configurable())
602             return JSValue::encode(jsBoolean(false));
603     }
604
605     // 3. If the [[Extensible]] internal property of O is false, then return true.
606     // 4. Otherwise, return false.
607     return JSValue::encode(jsBoolean(!object->isExtensible()));
608 }
609
610 EncodedJSValue JSC_HOST_CALL objectConstructorIsFrozen(ExecState* exec)
611 {
612     // 1. If Type(O) is not Object, return true.
613     JSValue obj = exec->argument(0);
614     if (!obj.isObject())
615         return JSValue::encode(jsBoolean(true));
616     JSObject* object = asObject(obj);
617
618     if (isJSFinalObject(object))
619         return JSValue::encode(jsBoolean(object->isFrozen(exec->vm())));
620
621     // 2. For each named own property name P of O,
622     PropertyNameArray properties(exec, PropertyNameMode::Both);
623     object->methodTable(exec->vm())->getOwnPropertyNames(object, exec, properties, EnumerationMode(DontEnumPropertiesMode::Include));
624     PropertyNameArray::const_iterator end = properties.end();
625     for (PropertyNameArray::const_iterator iter = properties.begin(); iter != end; ++iter) {
626         Identifier propertyName = *iter;
627         if (exec->propertyNames().isPrivateName(propertyName))
628             continue;
629         // a. Let desc be the result of calling the [[GetOwnProperty]] internal method of O with P.
630         PropertyDescriptor desc;
631         if (!object->getOwnPropertyDescriptor(exec, propertyName, desc))
632             continue;
633         // b. If IsDataDescriptor(desc) is true then
634         // i. If desc.[[Writable]] is true, return false. c. If desc.[[Configurable]] is true, then return false.
635         if ((desc.isDataDescriptor() && desc.writable()) || desc.configurable())
636             return JSValue::encode(jsBoolean(false));
637     }
638
639     // 3. If the [[Extensible]] internal property of O is false, then return true.
640     // 4. Otherwise, return false.
641     return JSValue::encode(jsBoolean(!object->isExtensible()));
642 }
643
644 EncodedJSValue JSC_HOST_CALL objectConstructorIsExtensible(ExecState* exec)
645 {
646     JSValue obj = exec->argument(0);
647     if (!obj.isObject())
648         return JSValue::encode(jsBoolean(false));
649     return JSValue::encode(jsBoolean(asObject(obj)->isExtensible()));
650 }
651
652 EncodedJSValue JSC_HOST_CALL objectConstructorIs(ExecState* exec)
653 {
654     return JSValue::encode(jsBoolean(sameValue(exec, exec->argument(0), exec->argument(1))));
655 }
656
657 } // namespace JSC