[ES6] Implement Reflect.has
[WebKit-https.git] / Source / JavaScriptCore / runtime / ReflectObject.cpp
1 /*
2  * Copyright (C) 2015 Apple Inc. All Rights Reserved.
3  *
4  * Redistribution and use in source and binary forms, with or without
5  * modification, are permitted provided that the following conditions
6  * are met:
7  * 1. Redistributions of source code must retain the above copyright
8  *    notice, this list of conditions and the following disclaimer.
9  * 2. Redistributions in binary form must reproduce the above copyright
10  *    notice, this list of conditions and the following disclaimer in the
11  *    documentation and/or other materials provided with the distribution.
12  *
13  * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
14  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
15  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
16  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL APPLE INC. OR
17  * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
18  * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
19  * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
20  * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
21  * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
22  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
23  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
24  */
25
26 #include "config.h"
27 #include "ReflectObject.h"
28
29 #include "JSCInlines.h"
30 #include "JSGlobalObjectFunctions.h"
31 #include "JSPropertyNameIterator.h"
32 #include "Lookup.h"
33 #include "ObjectConstructor.h"
34
35 namespace JSC {
36
37 static EncodedJSValue JSC_HOST_CALL reflectObjectEnumerate(ExecState*);
38 static EncodedJSValue JSC_HOST_CALL reflectObjectGetPrototypeOf(ExecState*);
39 static EncodedJSValue JSC_HOST_CALL reflectObjectIsExtensible(ExecState*);
40 static EncodedJSValue JSC_HOST_CALL reflectObjectOwnKeys(ExecState*);
41 static EncodedJSValue JSC_HOST_CALL reflectObjectPreventExtensions(ExecState*);
42 static EncodedJSValue JSC_HOST_CALL reflectObjectSetPrototypeOf(ExecState*);
43
44 }
45
46 #include "ReflectObject.lut.h"
47
48 namespace JSC {
49
50 STATIC_ASSERT_IS_TRIVIALLY_DESTRUCTIBLE(ReflectObject);
51
52 const ClassInfo ReflectObject::s_info = { "Reflect", &Base::s_info, &reflectObjectTable, CREATE_METHOD_TABLE(ReflectObject) };
53
54 /* Source for ReflectObject.lut.h
55 @begin reflectObjectTable
56     apply             reflectObjectApply             DontEnum|Function 3
57     deleteProperty    reflectObjectDeleteProperty    DontEnum|Function 2
58     enumerate         reflectObjectEnumerate         DontEnum|Function 1
59     getPrototypeOf    reflectObjectGetPrototypeOf    DontEnum|Function 1
60     has               reflectObjectHas               DontEnum|Function 2
61     isExtensible      reflectObjectIsExtensible      DontEnum|Function 1
62     ownKeys           reflectObjectOwnKeys           DontEnum|Function 1
63     preventExtensions reflectObjectPreventExtensions DontEnum|Function 1
64     setPrototypeOf    reflectObjectSetPrototypeOf    DontEnum|Function 2
65 @end
66 */
67
68 ReflectObject::ReflectObject(VM& vm, Structure* structure)
69     : JSNonFinalObject(vm, structure)
70 {
71 }
72
73 void ReflectObject::finishCreation(VM& vm, JSGlobalObject*)
74 {
75     Base::finishCreation(vm);
76     ASSERT(inherits(info()));
77 }
78
79 bool ReflectObject::getOwnPropertySlot(JSObject* object, ExecState* exec, PropertyName propertyName, PropertySlot &slot)
80 {
81     return getStaticFunctionSlot<Base>(exec, reflectObjectTable, jsCast<ReflectObject*>(object), propertyName, slot);
82 }
83
84 // ------------------------------ Functions --------------------------------
85
86 EncodedJSValue JSC_HOST_CALL reflectObjectEnumerate(ExecState* exec)
87 {
88     JSValue target = exec->argument(0);
89     if (!target.isObject())
90         return JSValue::encode(throwTypeError(exec, ASCIILiteral("Reflect.enumerate requires the first argument be an object")));
91     return JSValue::encode(JSPropertyNameIterator::create(exec, exec->lexicalGlobalObject()->propertyNameIteratorStructure(), asObject(target)));
92 }
93
94 EncodedJSValue JSC_HOST_CALL reflectObjectGetPrototypeOf(ExecState* exec)
95 {
96     JSValue target = exec->argument(0);
97     if (!target.isObject())
98         return JSValue::encode(throwTypeError(exec, ASCIILiteral("Reflect.getPrototypeOf requires the first argument be an object")));
99     return JSValue::encode(objectConstructorGetPrototypeOf(exec, asObject(target)));
100 }
101
102 EncodedJSValue JSC_HOST_CALL reflectObjectIsExtensible(ExecState* exec)
103 {
104     JSValue target = exec->argument(0);
105     if (!target.isObject())
106         return JSValue::encode(throwTypeError(exec, ASCIILiteral("Reflect.isExtensible requires the first argument be an object")));
107     return JSValue::encode(jsBoolean(asObject(target)->isExtensible()));
108 }
109
110 EncodedJSValue JSC_HOST_CALL reflectObjectOwnKeys(ExecState* exec)
111 {
112     JSValue target = exec->argument(0);
113     if (!target.isObject())
114         return JSValue::encode(throwTypeError(exec, ASCIILiteral("Reflect.ownKeys requires the first argument be an object")));
115     return JSValue::encode(ownPropertyKeys(exec, jsCast<JSObject*>(target), PropertyNameMode::StringsAndSymbols, DontEnumPropertiesMode::Include));
116 }
117
118 EncodedJSValue JSC_HOST_CALL reflectObjectPreventExtensions(ExecState* exec)
119 {
120     JSValue target = exec->argument(0);
121     if (!target.isObject())
122         return JSValue::encode(throwTypeError(exec, ASCIILiteral("Reflect.preventExtensions requires the first argument be an object")));
123     asObject(target)->preventExtensions(exec->vm());
124     return JSValue::encode(jsBoolean(true));
125 }
126
127 EncodedJSValue JSC_HOST_CALL reflectObjectSetPrototypeOf(ExecState* exec)
128 {
129     JSValue target = exec->argument(0);
130     if (!target.isObject())
131         return JSValue::encode(throwTypeError(exec, ASCIILiteral("Reflect.setPrototypeOf requires the first argument be an object")));
132     JSValue proto = exec->argument(1);
133     if (!proto.isObject() && !proto.isNull())
134         return JSValue::encode(throwTypeError(exec, ASCIILiteral("Reflect.setPrototypeOf requires the second argument be either an object or null")));
135
136     JSObject* object = asObject(target);
137
138     if (!checkProtoSetterAccessAllowed(exec, object))
139         return JSValue::encode(jsBoolean(false));
140
141     if (!object->isExtensible())
142         return JSValue::encode(jsBoolean(false));
143
144     return JSValue::encode(jsBoolean(object->setPrototypeWithCycleCheck(exec, proto)));
145 }
146
147 } // namespace JSC