__defineGetter__/__defineSetter__ should throw exceptions
[WebKit-https.git] / Source / JavaScriptCore / runtime / ObjectPrototype.cpp
1 /*
2  *  Copyright (C) 1999-2000 Harri Porten (porten@kde.org)
3  *  Copyright (C) 2008, 2011 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 "ObjectPrototype.h"
23
24 #include "Error.h"
25 #include "GetterSetter.h"
26 #include "JSFunction.h"
27 #include "JSString.h"
28 #include "JSCInlines.h"
29 #include "PropertySlot.h"
30 #include "StructureInlines.h"
31 #include "StructureRareDataInlines.h"
32
33 namespace JSC {
34
35 static EncodedJSValue JSC_HOST_CALL objectProtoFuncValueOf(ExecState*);
36 static EncodedJSValue JSC_HOST_CALL objectProtoFuncHasOwnProperty(ExecState*);
37 static EncodedJSValue JSC_HOST_CALL objectProtoFuncIsPrototypeOf(ExecState*);
38 static EncodedJSValue JSC_HOST_CALL objectProtoFuncDefineGetter(ExecState*);
39 static EncodedJSValue JSC_HOST_CALL objectProtoFuncDefineSetter(ExecState*);
40 static EncodedJSValue JSC_HOST_CALL objectProtoFuncLookupGetter(ExecState*);
41 static EncodedJSValue JSC_HOST_CALL objectProtoFuncLookupSetter(ExecState*);
42 static EncodedJSValue JSC_HOST_CALL objectProtoFuncPropertyIsEnumerable(ExecState*);
43 static EncodedJSValue JSC_HOST_CALL objectProtoFuncToLocaleString(ExecState*);
44
45 STATIC_ASSERT_IS_TRIVIALLY_DESTRUCTIBLE(ObjectPrototype);
46
47 const ClassInfo ObjectPrototype::s_info = { "Object", &JSNonFinalObject::s_info, 0, CREATE_METHOD_TABLE(ObjectPrototype) };
48
49 ObjectPrototype::ObjectPrototype(VM& vm, Structure* stucture)
50     : JSNonFinalObject(vm, stucture)
51 {
52 }
53
54 void ObjectPrototype::finishCreation(VM& vm, JSGlobalObject* globalObject)
55 {
56     Base::finishCreation(vm);
57     ASSERT(inherits(info()));
58     vm.prototypeMap.addPrototype(this);
59     
60     JSC_NATIVE_FUNCTION_WITHOUT_TRANSITION(vm.propertyNames->toString, objectProtoFuncToString, DontEnum, 0);
61     JSC_NATIVE_FUNCTION_WITHOUT_TRANSITION(vm.propertyNames->toLocaleString, objectProtoFuncToLocaleString, DontEnum, 0);
62     JSC_NATIVE_FUNCTION_WITHOUT_TRANSITION(vm.propertyNames->valueOf, objectProtoFuncValueOf, DontEnum, 0);
63     JSC_NATIVE_FUNCTION_WITHOUT_TRANSITION(vm.propertyNames->hasOwnProperty, objectProtoFuncHasOwnProperty, DontEnum, 1);
64     JSC_NATIVE_FUNCTION_WITHOUT_TRANSITION(vm.propertyNames->propertyIsEnumerable, objectProtoFuncPropertyIsEnumerable, DontEnum, 1);
65     JSC_NATIVE_FUNCTION_WITHOUT_TRANSITION(vm.propertyNames->isPrototypeOf, objectProtoFuncIsPrototypeOf, DontEnum, 1);
66     JSC_NATIVE_FUNCTION_WITHOUT_TRANSITION(vm.propertyNames->__defineGetter__, objectProtoFuncDefineGetter, DontEnum, 2);
67     JSC_NATIVE_FUNCTION_WITHOUT_TRANSITION(vm.propertyNames->__defineSetter__, objectProtoFuncDefineSetter, DontEnum, 2);
68     JSC_NATIVE_FUNCTION_WITHOUT_TRANSITION(vm.propertyNames->__lookupGetter__, objectProtoFuncLookupGetter, DontEnum, 1);
69     JSC_NATIVE_FUNCTION_WITHOUT_TRANSITION(vm.propertyNames->__lookupSetter__, objectProtoFuncLookupSetter, DontEnum, 1);
70 }
71
72 ObjectPrototype* ObjectPrototype::create(VM& vm, JSGlobalObject* globalObject, Structure* structure)
73 {
74     ObjectPrototype* prototype = new (NotNull, allocateCell<ObjectPrototype>(vm.heap)) ObjectPrototype(vm, structure);
75     prototype->finishCreation(vm, globalObject);
76     return prototype;
77 }
78
79 // ------------------------------ Functions --------------------------------
80
81 EncodedJSValue JSC_HOST_CALL objectProtoFuncValueOf(ExecState* exec)
82 {
83     JSValue thisValue = exec->thisValue().toThis(exec, StrictMode);
84     JSObject* valueObj = thisValue.toObject(exec);
85     if (!valueObj)
86         return JSValue::encode(JSValue());
87     return JSValue::encode(valueObj);
88 }
89
90 EncodedJSValue JSC_HOST_CALL objectProtoFuncHasOwnProperty(ExecState* exec)
91 {
92     JSValue thisValue = exec->thisValue().toThis(exec, StrictMode);
93     auto propertyName = exec->argument(0).toPropertyKey(exec);
94     if (exec->hadException())
95         return JSValue::encode(jsUndefined());
96     JSObject* thisObject = thisValue.toObject(exec);
97     if (!thisObject)
98         return JSValue::encode(JSValue());
99     return JSValue::encode(jsBoolean(thisObject->hasOwnProperty(exec, propertyName)));
100 }
101
102 EncodedJSValue JSC_HOST_CALL objectProtoFuncIsPrototypeOf(ExecState* exec)
103 {
104     JSValue thisValue = exec->thisValue().toThis(exec, StrictMode);
105     JSObject* thisObj = thisValue.toObject(exec);
106     if (!thisObj)
107         return JSValue::encode(JSValue());
108
109     if (!exec->argument(0).isObject())
110         return JSValue::encode(jsBoolean(false));
111
112     VM& vm = exec->vm();
113     JSValue v = asObject(exec->argument(0))->getPrototype(vm, exec);
114     if (UNLIKELY(vm.exception()))
115         return JSValue::encode(JSValue());
116
117     while (true) {
118         if (!v.isObject())
119             return JSValue::encode(jsBoolean(false));
120         if (v == thisObj)
121             return JSValue::encode(jsBoolean(true));
122         v = asObject(v)->getPrototype(vm, exec);
123         if (UNLIKELY(vm.exception()))
124             return JSValue::encode(JSValue());
125     }
126 }
127
128 EncodedJSValue JSC_HOST_CALL objectProtoFuncDefineGetter(ExecState* exec)
129 {
130     JSObject* thisObject = exec->thisValue().toThis(exec, StrictMode).toObject(exec);
131     if (exec->hadException())
132         return JSValue::encode(jsUndefined());
133
134     JSValue get = exec->argument(1);
135     CallData callData;
136     if (getCallData(get, callData) == CallType::None)
137         return throwVMError(exec, createTypeError(exec, ASCIILiteral("invalid getter usage")));
138
139     auto propertyName = exec->argument(0).toPropertyKey(exec);
140     if (exec->hadException())
141         return JSValue::encode(jsUndefined());
142
143     PropertyDescriptor descriptor;
144     descriptor.setGetter(get);
145     descriptor.setEnumerable(true);
146     descriptor.setConfigurable(true);
147
148     bool shouldThrow = true;
149     thisObject->methodTable(exec->vm())->defineOwnProperty(thisObject, exec, propertyName, descriptor, shouldThrow);
150
151     return JSValue::encode(jsUndefined());
152 }
153
154 EncodedJSValue JSC_HOST_CALL objectProtoFuncDefineSetter(ExecState* exec)
155 {
156     JSObject* thisObject = exec->thisValue().toThis(exec, StrictMode).toObject(exec);
157     if (exec->hadException())
158         return JSValue::encode(jsUndefined());
159
160     JSValue set = exec->argument(1);
161     CallData callData;
162     if (getCallData(set, callData) == CallType::None)
163         return throwVMError(exec, createTypeError(exec, ASCIILiteral("invalid setter usage")));
164
165     auto propertyName = exec->argument(0).toPropertyKey(exec);
166     if (exec->hadException())
167         return JSValue::encode(jsUndefined());
168
169     PropertyDescriptor descriptor;
170     descriptor.setSetter(set);
171     descriptor.setEnumerable(true);
172     descriptor.setConfigurable(true);
173
174     bool shouldThrow = true;
175     thisObject->methodTable(exec->vm())->defineOwnProperty(thisObject, exec, propertyName, descriptor, shouldThrow);
176
177     return JSValue::encode(jsUndefined());
178 }
179
180 EncodedJSValue JSC_HOST_CALL objectProtoFuncLookupGetter(ExecState* exec)
181 {
182     JSObject* thisObject = exec->thisValue().toThis(exec, StrictMode).toObject(exec);
183     if (exec->hadException())
184         return JSValue::encode(jsUndefined());
185
186     auto propertyName = exec->argument(0).toPropertyKey(exec);
187     if (exec->hadException())
188         return JSValue::encode(jsUndefined());
189
190     PropertySlot slot(thisObject, PropertySlot::InternalMethodType::VMInquiry);
191     if (thisObject->getPropertySlot(exec, propertyName, slot)) {
192         if (slot.isAccessor()) {
193             GetterSetter* getterSetter = slot.getterSetter();
194             return getterSetter->isGetterNull() ? JSValue::encode(jsUndefined()) : JSValue::encode(getterSetter->getter());
195         }
196         if (slot.attributes() & CustomAccessor) {
197             PropertyDescriptor descriptor;
198             ASSERT(slot.slotBase());
199             if (slot.slotBase()->getOwnPropertyDescriptor(exec, propertyName, descriptor))
200                 return descriptor.getterPresent() ? JSValue::encode(descriptor.getter()) : JSValue::encode(jsUndefined());
201         }
202     }
203
204     return JSValue::encode(jsUndefined());
205 }
206
207 EncodedJSValue JSC_HOST_CALL objectProtoFuncLookupSetter(ExecState* exec)
208 {
209     JSObject* thisObject = exec->thisValue().toThis(exec, StrictMode).toObject(exec);
210     if (exec->hadException())
211         return JSValue::encode(jsUndefined());
212
213     auto propertyName = exec->argument(0).toPropertyKey(exec);
214     if (exec->hadException())
215         return JSValue::encode(jsUndefined());
216
217     PropertySlot slot(thisObject, PropertySlot::InternalMethodType::VMInquiry);
218     if (thisObject->getPropertySlot(exec, propertyName, slot)) {
219         if (slot.isAccessor()) {
220             GetterSetter* getterSetter = slot.getterSetter();
221             return getterSetter->isSetterNull() ? JSValue::encode(jsUndefined()) : JSValue::encode(getterSetter->setter());
222         }
223         if (slot.attributes() & CustomAccessor) {
224             PropertyDescriptor descriptor;
225             ASSERT(slot.slotBase());
226             if (slot.slotBase()->getOwnPropertyDescriptor(exec, propertyName, descriptor))
227                 return descriptor.setterPresent() ? JSValue::encode(descriptor.setter()) : JSValue::encode(jsUndefined());
228         }
229     }
230
231     return JSValue::encode(jsUndefined());
232 }
233
234 EncodedJSValue JSC_HOST_CALL objectProtoFuncPropertyIsEnumerable(ExecState* exec)
235 {
236     auto propertyName = exec->argument(0).toPropertyKey(exec);
237     if (exec->hadException())
238         return JSValue::encode(jsUndefined());
239
240     JSObject* thisObject = exec->thisValue().toThis(exec, StrictMode).toObject(exec);
241     if (exec->hadException())
242         return JSValue::encode(jsUndefined());
243     PropertyDescriptor descriptor;
244     bool enumerable = thisObject->getOwnPropertyDescriptor(exec, propertyName, descriptor) && descriptor.enumerable();
245     return JSValue::encode(jsBoolean(enumerable));
246 }
247
248 // 15.2.4.3 Object.prototype.toLocaleString()
249 EncodedJSValue JSC_HOST_CALL objectProtoFuncToLocaleString(ExecState* exec)
250 {
251     // 1. Let O be the result of calling ToObject passing the this value as the argument.
252     JSObject* object = exec->thisValue().toThis(exec, StrictMode).toObject(exec);
253     if (exec->hadException())
254         return JSValue::encode(jsUndefined());
255
256     // 2. Let toString be the result of calling the [[Get]] internal method of O passing "toString" as the argument.
257     JSValue toString = object->get(exec, exec->propertyNames().toString);
258
259     // 3. If IsCallable(toString) is false, throw a TypeError exception.
260     CallData callData;
261     CallType callType = getCallData(toString, callData);
262     if (callType == CallType::None)
263         return JSValue::encode(jsUndefined());
264
265     // 4. Return the result of calling the [[Call]] internal method of toString passing O as the this value and no arguments.
266     return JSValue::encode(call(exec, toString, callType, callData, object, exec->emptyList()));
267 }
268
269 EncodedJSValue JSC_HOST_CALL objectProtoFuncToString(ExecState* exec)
270 {
271     VM& vm = exec->vm();
272     JSValue thisValue = exec->thisValue().toThis(exec, StrictMode);
273     if (thisValue.isUndefinedOrNull())
274         return JSValue::encode(thisValue.isUndefined() ? vm.smallStrings.undefinedObjectString() : vm.smallStrings.nullObjectString());
275     JSObject* thisObject = thisValue.toObject(exec);
276     if (!thisObject)
277         return JSValue::encode(jsUndefined());
278
279     auto result = thisObject->structure(vm)->objectToStringValue();
280     if (result)
281         return JSValue::encode(result);
282
283     PropertyName toStringTagSymbol = exec->propertyNames().toStringTagSymbol;
284     return JSValue::encode(thisObject->getPropertySlot(exec, toStringTagSymbol, [&] (bool found, PropertySlot& toStringTagSlot) -> JSValue {
285         if (found) {
286             JSValue stringTag = toStringTagSlot.getValue(exec, toStringTagSymbol);
287             if (UNLIKELY(vm.exception()))
288                 return jsUndefined();
289             if (stringTag.isString()) {
290                 JSRopeString::RopeBuilder ropeBuilder(vm);
291                 ropeBuilder.append(vm.smallStrings.objectStringStart());
292                 ropeBuilder.append(jsCast<JSString*>(stringTag));
293                 ropeBuilder.append(vm.smallStrings.singleCharacterString(']'));
294                 JSString* result = ropeBuilder.release();
295
296                 thisObject->structure(vm)->setObjectToStringValue(exec, vm, result, toStringTagSlot);
297                 return result;
298             }
299         }
300
301         String newString = WTF::tryMakeString("[object ", thisObject->methodTable(exec->vm())->className(thisObject), "]");
302         if (!newString)
303             return throwOutOfMemoryError(exec);
304
305         auto result = jsNontrivialString(&vm, newString);
306         thisObject->structure(vm)->setObjectToStringValue(exec, vm, result, toStringTagSlot);
307         return result;
308     }));
309 }
310
311 } // namespace JSC