"A + B" with strings shouldn't copy if A or B is empty.
[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 "StructureRareDataInlines.h"
30
31 namespace JSC {
32
33 static EncodedJSValue JSC_HOST_CALL objectProtoFuncValueOf(ExecState*);
34 static EncodedJSValue JSC_HOST_CALL objectProtoFuncHasOwnProperty(ExecState*);
35 static EncodedJSValue JSC_HOST_CALL objectProtoFuncIsPrototypeOf(ExecState*);
36 static EncodedJSValue JSC_HOST_CALL objectProtoFuncDefineGetter(ExecState*);
37 static EncodedJSValue JSC_HOST_CALL objectProtoFuncDefineSetter(ExecState*);
38 static EncodedJSValue JSC_HOST_CALL objectProtoFuncLookupGetter(ExecState*);
39 static EncodedJSValue JSC_HOST_CALL objectProtoFuncLookupSetter(ExecState*);
40 static EncodedJSValue JSC_HOST_CALL objectProtoFuncPropertyIsEnumerable(ExecState*);
41 static EncodedJSValue JSC_HOST_CALL objectProtoFuncToLocaleString(ExecState*);
42
43 STATIC_ASSERT_IS_TRIVIALLY_DESTRUCTIBLE(ObjectPrototype);
44
45 const ClassInfo ObjectPrototype::s_info = { "Object", &JSNonFinalObject::s_info, 0, CREATE_METHOD_TABLE(ObjectPrototype) };
46
47 ObjectPrototype::ObjectPrototype(VM& vm, Structure* stucture)
48     : JSNonFinalObject(vm, stucture)
49 {
50 }
51
52 void ObjectPrototype::finishCreation(VM& vm, JSGlobalObject* globalObject)
53 {
54     Base::finishCreation(vm);
55     ASSERT(inherits(info()));
56     vm.prototypeMap.addPrototype(this);
57     
58     JSC_NATIVE_FUNCTION(vm.propertyNames->toString, objectProtoFuncToString, DontEnum, 0);
59     JSC_NATIVE_FUNCTION(vm.propertyNames->toLocaleString, objectProtoFuncToLocaleString, DontEnum, 0);
60     JSC_NATIVE_FUNCTION(vm.propertyNames->valueOf, objectProtoFuncValueOf, DontEnum, 0);
61     JSC_NATIVE_FUNCTION(vm.propertyNames->hasOwnProperty, objectProtoFuncHasOwnProperty, DontEnum, 1);
62     JSC_NATIVE_FUNCTION(vm.propertyNames->propertyIsEnumerable, objectProtoFuncPropertyIsEnumerable, DontEnum, 1);
63     JSC_NATIVE_FUNCTION(vm.propertyNames->isPrototypeOf, objectProtoFuncIsPrototypeOf, DontEnum, 1);
64     JSC_NATIVE_FUNCTION(vm.propertyNames->__defineGetter__, objectProtoFuncDefineGetter, DontEnum, 2);
65     JSC_NATIVE_FUNCTION(vm.propertyNames->__defineSetter__, objectProtoFuncDefineSetter, DontEnum, 2);
66     JSC_NATIVE_FUNCTION(vm.propertyNames->__lookupGetter__, objectProtoFuncLookupGetter, DontEnum, 1);
67     JSC_NATIVE_FUNCTION(vm.propertyNames->__lookupSetter__, objectProtoFuncLookupSetter, DontEnum, 1);
68 }
69
70 ObjectPrototype* ObjectPrototype::create(VM& vm, JSGlobalObject* globalObject, Structure* structure)
71 {
72     ObjectPrototype* prototype = new (NotNull, allocateCell<ObjectPrototype>(vm.heap)) ObjectPrototype(vm, structure);
73     prototype->finishCreation(vm, globalObject);
74     return prototype;
75 }
76
77 // ------------------------------ Functions --------------------------------
78
79 EncodedJSValue JSC_HOST_CALL objectProtoFuncValueOf(ExecState* exec)
80 {
81     JSValue thisValue = exec->thisValue().toThis(exec, StrictMode);
82     return JSValue::encode(thisValue.toObject(exec));
83 }
84
85 EncodedJSValue JSC_HOST_CALL objectProtoFuncHasOwnProperty(ExecState* exec)
86 {
87     JSValue thisValue = exec->thisValue().toThis(exec, StrictMode);
88     auto propertyName = exec->argument(0).toPropertyKey(exec);
89     if (exec->hadException())
90         return JSValue::encode(jsUndefined());
91     return JSValue::encode(jsBoolean(thisValue.toObject(exec)->hasOwnProperty(exec, propertyName)));
92 }
93
94 EncodedJSValue JSC_HOST_CALL objectProtoFuncIsPrototypeOf(ExecState* exec)
95 {
96     JSValue thisValue = exec->thisValue().toThis(exec, StrictMode);
97     JSObject* thisObj = thisValue.toObject(exec);
98
99     if (!exec->argument(0).isObject())
100         return JSValue::encode(jsBoolean(false));
101
102     JSValue v = asObject(exec->argument(0))->prototype();
103
104     while (true) {
105         if (!v.isObject())
106             return JSValue::encode(jsBoolean(false));
107         if (v == thisObj)
108             return JSValue::encode(jsBoolean(true));
109         v = asObject(v)->prototype();
110     }
111 }
112
113 EncodedJSValue JSC_HOST_CALL objectProtoFuncDefineGetter(ExecState* exec)
114 {
115     JSObject* thisObject = exec->thisValue().toThis(exec, StrictMode).toObject(exec);
116     if (exec->hadException())
117         return JSValue::encode(jsUndefined());
118
119     JSValue get = exec->argument(1);
120     CallData callData;
121     if (getCallData(get, callData) == CallTypeNone)
122         return throwVMError(exec, createTypeError(exec, ASCIILiteral("invalid getter usage")));
123
124     auto propertyName = exec->argument(0).toPropertyKey(exec);
125     if (exec->hadException())
126         return JSValue::encode(jsUndefined());
127
128     PropertyDescriptor descriptor;
129     descriptor.setGetter(get);
130     descriptor.setEnumerable(true);
131     descriptor.setConfigurable(true);
132
133     bool shouldThrow = false;
134     thisObject->methodTable(exec->vm())->defineOwnProperty(thisObject, exec, propertyName, descriptor, shouldThrow);
135
136     return JSValue::encode(jsUndefined());
137 }
138
139 EncodedJSValue JSC_HOST_CALL objectProtoFuncDefineSetter(ExecState* exec)
140 {
141     JSObject* thisObject = exec->thisValue().toThis(exec, StrictMode).toObject(exec);
142     if (exec->hadException())
143         return JSValue::encode(jsUndefined());
144
145     JSValue set = exec->argument(1);
146     CallData callData;
147     if (getCallData(set, callData) == CallTypeNone)
148         return throwVMError(exec, createTypeError(exec, ASCIILiteral("invalid setter usage")));
149
150     auto propertyName = exec->argument(0).toPropertyKey(exec);
151     if (exec->hadException())
152         return JSValue::encode(jsUndefined());
153
154     PropertyDescriptor descriptor;
155     descriptor.setSetter(set);
156     descriptor.setEnumerable(true);
157     descriptor.setConfigurable(true);
158
159     bool shouldThrow = false;
160     thisObject->methodTable(exec->vm())->defineOwnProperty(thisObject, exec, propertyName, descriptor, shouldThrow);
161
162     return JSValue::encode(jsUndefined());
163 }
164
165 EncodedJSValue JSC_HOST_CALL objectProtoFuncLookupGetter(ExecState* exec)
166 {
167     JSObject* thisObject = exec->thisValue().toThis(exec, StrictMode).toObject(exec);
168     if (exec->hadException())
169         return JSValue::encode(jsUndefined());
170
171     auto propertyName = exec->argument(0).toPropertyKey(exec);
172     if (exec->hadException())
173         return JSValue::encode(jsUndefined());
174
175     PropertySlot slot(thisObject);
176     if (thisObject->getPropertySlot(exec, propertyName, slot) && slot.isAccessor()) {
177         GetterSetter* getterSetter = slot.getterSetter();
178         return getterSetter->isGetterNull() ? JSValue::encode(jsUndefined()) : JSValue::encode(getterSetter->getter());
179     }
180
181     return JSValue::encode(jsUndefined());
182 }
183
184 EncodedJSValue JSC_HOST_CALL objectProtoFuncLookupSetter(ExecState* exec)
185 {
186     JSObject* thisObject = exec->thisValue().toThis(exec, StrictMode).toObject(exec);
187     if (exec->hadException())
188         return JSValue::encode(jsUndefined());
189
190     auto propertyName = exec->argument(0).toPropertyKey(exec);
191     if (exec->hadException())
192         return JSValue::encode(jsUndefined());
193
194     PropertySlot slot(thisObject);
195     if (thisObject->getPropertySlot(exec, propertyName, slot) && slot.isAccessor()) {
196         GetterSetter* getterSetter = slot.getterSetter();
197         return getterSetter->isSetterNull() ? JSValue::encode(jsUndefined()) : JSValue::encode(getterSetter->setter());
198     }
199
200     return JSValue::encode(jsUndefined());
201 }
202
203 EncodedJSValue JSC_HOST_CALL objectProtoFuncPropertyIsEnumerable(ExecState* exec)
204 {
205     auto propertyName = exec->argument(0).toPropertyKey(exec);
206     if (exec->hadException())
207         return JSValue::encode(jsUndefined());
208
209     JSObject* thisObject = exec->thisValue().toThis(exec, StrictMode).toObject(exec);
210     if (exec->hadException())
211         return JSValue::encode(jsUndefined());
212     PropertyDescriptor descriptor;
213     bool enumerable = thisObject->getOwnPropertyDescriptor(exec, propertyName, descriptor) && descriptor.enumerable();
214     return JSValue::encode(jsBoolean(enumerable));
215 }
216
217 // 15.2.4.3 Object.prototype.toLocaleString()
218 EncodedJSValue JSC_HOST_CALL objectProtoFuncToLocaleString(ExecState* exec)
219 {
220     // 1. Let O be the result of calling ToObject passing the this value as the argument.
221     JSObject* object = exec->thisValue().toThis(exec, StrictMode).toObject(exec);
222     if (exec->hadException())
223         return JSValue::encode(jsUndefined());
224
225     // 2. Let toString be the result of calling the [[Get]] internal method of O passing "toString" as the argument.
226     JSValue toString = object->get(exec, exec->propertyNames().toString);
227
228     // 3. If IsCallable(toString) is false, throw a TypeError exception.
229     CallData callData;
230     CallType callType = getCallData(toString, callData);
231     if (callType == CallTypeNone)
232         return JSValue::encode(jsUndefined());
233
234     // 4. Return the result of calling the [[Call]] internal method of toString passing O as the this value and no arguments.
235     return JSValue::encode(call(exec, toString, callType, callData, object, exec->emptyList()));
236 }
237
238 EncodedJSValue JSC_HOST_CALL objectProtoFuncToString(ExecState* exec)
239 {
240     VM& vm = exec->vm();
241     JSValue thisValue = exec->thisValue().toThis(exec, StrictMode);
242     if (thisValue.isUndefinedOrNull())
243         return JSValue::encode(thisValue.isUndefined() ? vm.smallStrings.undefinedObjectString() : vm.smallStrings.nullObjectString());
244     JSObject* thisObject = thisValue.toObject(exec);
245
246     JSString* result = thisObject->structure(vm)->objectToStringValue();
247     if (!result) {
248         String newString = WTF::tryMakeString("[object ", thisObject->methodTable(exec->vm())->className(thisObject), "]");
249         if (!newString)
250             return JSValue::encode(throwOutOfMemoryError(exec));
251
252         result = jsNontrivialString(&vm, newString);
253         thisObject->structure(vm)->setObjectToStringValue(vm, result);
254     }
255     return JSValue::encode(result);
256 }
257
258 } // namespace JSC