1 /****************************************************************************
2 **
3 ** Copyright (C) 2016 The Qt Company Ltd.
4 ** Contact: https://www.qt.io/licensing/
5 **
6 ** This file is part of the QtQml module of the Qt Toolkit.
7 **
8 ** $QT_BEGIN_LICENSE:LGPL$
9 ** Commercial License Usage
10 ** Licensees holding valid commercial Qt licenses may use this file in
11 ** accordance with the commercial license agreement provided with the
12 ** Software or, alternatively, in accordance with the terms contained in
13 ** a written agreement between you and The Qt Company. For licensing terms
14 ** and conditions see https://www.qt.io/terms-conditions. For further
15 ** information use the contact form at https://www.qt.io/contact-us.
16 **
17 ** GNU Lesser General Public License Usage
18 ** Alternatively, this file may be used under the terms of the GNU Lesser
19 ** General Public License version 3 as published by the Free Software
20 ** Foundation and appearing in the file LICENSE.LGPL3 included in the
21 ** packaging of this file. Please review the following information to
22 ** ensure the GNU Lesser General Public License version 3 requirements
23 ** will be met: https://www.gnu.org/licenses/lgpl-3.0.html.
24 **
25 ** GNU General Public License Usage
26 ** Alternatively, this file may be used under the terms of the GNU
27 ** General Public License version 2.0 or (at your option) the GNU General
28 ** Public license version 3 or any later version approved by the KDE Free
29 ** Qt Foundation. The licenses are as published by the Free Software
30 ** Foundation and appearing in the file LICENSE.GPL2 and LICENSE.GPL3
31 ** included in the packaging of this file. Please review the following
32 ** information to ensure the GNU General Public License requirements will
33 ** be met: https://www.gnu.org/licenses/gpl-2.0.html and
34 ** https://www.gnu.org/licenses/gpl-3.0.html.
35 **
36 ** $QT_END_LICENSE$
37 **
38 ****************************************************************************/
39 #ifndef QV4FUNCTIONOBJECT_H
40 #define QV4FUNCTIONOBJECT_H
41 
42 //
43 //  W A R N I N G
44 //  -------------
45 //
46 // This file is not part of the Qt API.  It exists purely as an
47 // implementation detail.  This header file may change from version to
48 // version without notice, or even be removed.
49 //
50 // We mean it.
51 //
52 
53 #include "qv4object_p.h"
54 #include "qv4function_p.h"
55 #include "qv4context_p.h"
56 #include <private/qv4mm_p.h>
57 
58 QT_BEGIN_NAMESPACE
59 
60 struct QQmlSourceLocation;
61 
62 namespace QV4 {
63 
64 struct IndexedBuiltinFunction;
65 struct JSCallData;
66 
67 namespace Heap {
68 
69 
70 #define FunctionObjectMembers(class, Member) \
71     Member(class, Pointer, ExecutionContext *, scope) \
72     Member(class, NoMark, Function *, function) \
73     Member(class, NoMark, VTable::Call, jsCall) \
74     Member(class, NoMark, VTable::CallAsConstructor, jsConstruct) \
75     Member(class, NoMark, bool, canBeTailCalled)
76 
DECLARE_HEAP_OBJECT(FunctionObject,Object)77 DECLARE_HEAP_OBJECT(FunctionObject, Object) {
78     DECLARE_MARKOBJECTS(FunctionObject);
79     enum {
80         Index_ProtoConstructor = 0,
81         Index_Prototype = 0,
82         Index_HasInstance = 1,
83     };
84 
85     bool isConstructor() const {
86         return jsConstruct != nullptr;
87     }
88 
89     Q_QML_PRIVATE_EXPORT void init(QV4::ExecutionContext *scope, QV4::String *name, VTable::Call call);
90     Q_QML_PRIVATE_EXPORT void init(QV4::ExecutionContext *scope, QV4::String *name = nullptr);
91     Q_QML_PRIVATE_EXPORT void init(QV4::ExecutionContext *scope, QV4::Function *function, QV4::String *n = nullptr);
92     Q_QML_PRIVATE_EXPORT void init(QV4::ExecutionContext *scope, const QString &name);
93     Q_QML_PRIVATE_EXPORT void init();
94     Q_QML_PRIVATE_EXPORT void destroy();
95 
96     void setFunction(Function *f);
97 
98     unsigned int formalParameterCount() { return function ? function->nFormals : 0; }
99     unsigned int varCount() { return function ? function->compiledFunction->nLocals : 0; }
100 };
101 
102 struct FunctionCtor : FunctionObject {
103     void init(QV4::ExecutionContext *scope);
104 };
105 
106 struct FunctionPrototype : FunctionObject {
107     void init();
108 };
109 
110 struct IndexedBuiltinFunction : FunctionObject {
111     inline void init(QV4::ExecutionContext *scope, uint index, VTable::Call call);
112     uint index;
113 };
114 
115 struct ArrowFunction : FunctionObject {
116     enum {
117         Index_Name = Index_HasInstance + 1,
118         Index_Length
119     };
120     void init(QV4::ExecutionContext *scope, Function *function, QV4::String *name = nullptr);
121 };
122 
123 #define ScriptFunctionMembers(class, Member) \
124     Member(class, Pointer, InternalClass *, cachedClassForConstructor)
125 
DECLARE_HEAP_OBJECT(ScriptFunction,ArrowFunction)126 DECLARE_HEAP_OBJECT(ScriptFunction, ArrowFunction) {
127     DECLARE_MARKOBJECTS(ScriptFunction)
128     void init(QV4::ExecutionContext *scope, Function *function);
129 };
130 
131 #define MemberFunctionMembers(class, Member) \
132     Member(class, Pointer, Object *, homeObject)
133 
DECLARE_HEAP_OBJECT(MemberFunction,ArrowFunction)134 DECLARE_HEAP_OBJECT(MemberFunction, ArrowFunction) {
135     DECLARE_MARKOBJECTS(MemberFunction)
136 
137     void init(QV4::ExecutionContext *scope, Function *function, QV4::String *name = nullptr) {
138         ArrowFunction::init(scope, function, name);
139     }
140 };
141 
142 #define ConstructorFunctionMembers(class, Member) \
143     Member(class, Pointer, Object *, homeObject)
144 
DECLARE_HEAP_OBJECT(ConstructorFunction,ScriptFunction)145 DECLARE_HEAP_OBJECT(ConstructorFunction, ScriptFunction) {
146     DECLARE_MARKOBJECTS(ConstructorFunction)
147     bool isDerivedConstructor;
148 };
149 
150 struct DefaultClassConstructorFunction : FunctionObject
151 {
152     bool isDerivedConstructor;
153 };
154 
155 #define BoundFunctionMembers(class, Member) \
156     Member(class, Pointer, FunctionObject *, target) \
157     Member(class, HeapValue, HeapValue, boundThis) \
158     Member(class, Pointer, MemberData *, boundArgs)
159 
DECLARE_HEAP_OBJECT(BoundFunction,FunctionObject)160 DECLARE_HEAP_OBJECT(BoundFunction, FunctionObject) {
161     DECLARE_MARKOBJECTS(BoundFunction);
162 
163     void init(QV4::ExecutionContext *scope, QV4::FunctionObject *target, const Value &boundThis, QV4::MemberData *boundArgs);
164 };
165 
166 }
167 
168 struct Q_QML_EXPORT FunctionObject: Object {
169     enum {
170         IsFunctionObject = true
171     };
172     V4_OBJECT2(FunctionObject, Object)
173     Q_MANAGED_TYPE(FunctionObject)
174     V4_INTERNALCLASS(FunctionObject)
175     V4_PROTOTYPE(functionPrototype)
176     V4_NEEDS_DESTROY
177     enum { NInlineProperties = 1 };
178 
canBeTailCalledFunctionObject179     bool canBeTailCalled() const { return d()->canBeTailCalled; }
scopeFunctionObject180     Heap::ExecutionContext *scope() const { return d()->scope; }
functionFunctionObject181     Function *function() const { return d()->function; }
182 
183     ReturnedValue name() const;
formalParameterCountFunctionObject184     unsigned int formalParameterCount() const { return d()->formalParameterCount(); }
varCountFunctionObject185     unsigned int varCount() const { return d()->varCount(); }
186 
setNameFunctionObject187     void setName(String *name) {
188         defineReadonlyConfigurableProperty(engine()->id_name(), *name);
189     }
190     void createDefaultPrototypeProperty(uint protoConstructorSlot);
191 
192     inline ReturnedValue callAsConstructor(const JSCallData &data) const;
193     ReturnedValue callAsConstructor(const Value *argv, int argc, const Value *newTarget = nullptr) const {
194         if (!d()->jsConstruct)
195             return engine()->throwTypeError(QStringLiteral("Function is not a constructor."));
196         return d()->jsConstruct(this, argv, argc, newTarget ? newTarget : this);
197     }
198     inline ReturnedValue call(const JSCallData &data) const;
callFunctionObject199     ReturnedValue call(const Value *thisObject, const Value *argv, int argc) const {
200         if (!d()->jsCall)
201             return engine()->throwTypeError(QStringLiteral("Function can only be called with |new|."));
202         return d()->jsCall(this, thisObject, argv, argc);
203     }
204     static ReturnedValue virtualCall(const FunctionObject *f, const Value *thisObject, const Value *argv, int argc);
205 
206     static Heap::FunctionObject *createScriptFunction(ExecutionContext *scope, Function *function);
207     static Heap::FunctionObject *createConstructorFunction(ExecutionContext *scope, Function *function, Object *homeObject, bool isDerivedConstructor);
208     static Heap::FunctionObject *createMemberFunction(ExecutionContext *scope, Function *function, Object *homeObject, String *name);
209     static Heap::FunctionObject *createBuiltinFunction(ExecutionEngine *engine, StringOrSymbol *nameOrSymbol, VTable::Call code, int argumentCount);
210 
strictModeFunctionObject211     bool strictMode() const { return d()->function ? d()->function->isStrict() : false; }
212     bool isBinding() const;
213     bool isBoundFunction() const;
isConstructorFunctionObject214     bool isConstructor() const {
215         return d()->isConstructor();
216     }
217 
218     ReturnedValue getHomeObject() const;
219 
protoPropertyFunctionObject220     ReturnedValue protoProperty() const {
221         return getValueByIndex(Heap::FunctionObject::Index_Prototype);
222     }
hasHasInstancePropertyFunctionObject223     bool hasHasInstanceProperty() const {
224         return !internalClass()->propertyData.at(Heap::FunctionObject::Index_HasInstance).isEmpty();
225     }
226 
227     QQmlSourceLocation sourceLocation() const;
228 };
229 
230 template<>
as()231 inline const FunctionObject *Value::as() const {
232     return isManaged() && m()->internalClass->vtable->isFunctionObject ? reinterpret_cast<const FunctionObject *>(this) : nullptr;
233 }
234 
235 
236 struct FunctionCtor: FunctionObject
237 {
238     V4_OBJECT2(FunctionCtor, FunctionObject)
239 
240     static ReturnedValue virtualCallAsConstructor(const FunctionObject *f, const Value *argv, int argc, const Value *);
241     static ReturnedValue virtualCall(const FunctionObject *f, const Value *thisObject, const Value *argv, int argc);
242 protected:
243     enum Type {
244         Type_Function,
245         Type_Generator
246     };
247     static QQmlRefPointer<ExecutableCompilationUnit> parse(ExecutionEngine *engine, const Value *argv, int argc, Type t = Type_Function);
248 };
249 
250 struct FunctionPrototype: FunctionObject
251 {
252     V4_OBJECT2(FunctionPrototype, FunctionObject)
253 
254     void init(ExecutionEngine *engine, Object *ctor);
255 
256     static ReturnedValue method_toString(const FunctionObject *, const Value *thisObject, const Value *argv, int argc);
257     static ReturnedValue method_apply(const FunctionObject *, const Value *thisObject, const Value *argv, int argc);
258     static ReturnedValue method_call(const FunctionObject *, const Value *thisObject, const Value *argv, int argc);
259     static ReturnedValue method_bind(const FunctionObject *, const Value *thisObject, const Value *argv, int argc);
260     static ReturnedValue method_hasInstance(const FunctionObject *, const Value *thisObject, const Value *argv, int argc);
261 };
262 
263 struct Q_QML_PRIVATE_EXPORT IndexedBuiltinFunction : FunctionObject
264 {
265     V4_OBJECT2(IndexedBuiltinFunction, FunctionObject)
266 };
267 
init(QV4::ExecutionContext * scope,uint index,VTable::Call call)268 void Heap::IndexedBuiltinFunction::init(QV4::ExecutionContext *scope, uint index, VTable::Call call)
269 {
270     Heap::FunctionObject::init(scope);
271     this->jsCall = call;
272     this->index = index;
273 }
274 
275 struct ArrowFunction : FunctionObject {
276     V4_OBJECT2(ArrowFunction, FunctionObject)
277     V4_INTERNALCLASS(ArrowFunction)
278     enum { NInlineProperties = 3 };
279 
280     static ReturnedValue virtualCall(const FunctionObject *f, const Value *thisObject, const Value *argv, int argc);
281 };
282 
283 struct ScriptFunction : ArrowFunction {
284     V4_OBJECT2(ScriptFunction, ArrowFunction)
285     V4_INTERNALCLASS(ScriptFunction)
286 
287     static ReturnedValue virtualCallAsConstructor(const FunctionObject *, const Value *argv, int argc, const Value *);
288 
289     Heap::InternalClass *classForConstructor() const;
290 };
291 
292 struct MemberFunction : ArrowFunction {
293     V4_OBJECT2(MemberFunction, ArrowFunction)
294     V4_INTERNALCLASS(MemberFunction)
295 };
296 
297 struct ConstructorFunction : ScriptFunction {
298     V4_OBJECT2(ConstructorFunction, ScriptFunction)
299     V4_INTERNALCLASS(ConstructorFunction)
300     static ReturnedValue virtualCallAsConstructor(const FunctionObject *, const Value *argv, int argc, const Value *);
301     static ReturnedValue virtualCall(const FunctionObject *f, const Value *thisObject, const Value *argv, int argc);
302 };
303 
304 struct DefaultClassConstructorFunction : FunctionObject {
305     V4_OBJECT2(DefaultClassConstructorFunction, FunctionObject)
306     static ReturnedValue virtualCallAsConstructor(const FunctionObject *, const Value *argv, int argc, const Value *);
307     static ReturnedValue virtualCall(const FunctionObject *f, const Value *thisObject, const Value *argv, int argc);
308 };
309 
310 struct BoundFunction: FunctionObject {
V4_OBJECT2BoundFunction311     V4_OBJECT2(BoundFunction, FunctionObject)
312 
313     static Heap::BoundFunction *create(ExecutionContext *scope, FunctionObject *target, const Value &boundThis, QV4::MemberData *boundArgs)
314     {
315         return scope->engine()->memoryManager->allocate<BoundFunction>(scope, target, boundThis, boundArgs);
316     }
317 
targetBoundFunction318     Heap::FunctionObject *target() const { return d()->target; }
boundThisBoundFunction319     Value boundThis() const { return d()->boundThis; }
boundArgsBoundFunction320     Heap::MemberData *boundArgs() const { return d()->boundArgs; }
321 
322     static ReturnedValue virtualCallAsConstructor(const FunctionObject *, const Value *argv, int argc, const Value *);
323     static ReturnedValue virtualCall(const FunctionObject *f, const Value *thisObject, const Value *argv, int argc);
324 };
325 
isBoundFunction()326 inline bool FunctionObject::isBoundFunction() const
327 {
328     return d()->vtable() == BoundFunction::staticVTable();
329 }
330 
checkedResult(QV4::ExecutionEngine * v4,ReturnedValue result)331 inline ReturnedValue checkedResult(QV4::ExecutionEngine *v4, ReturnedValue result)
332 {
333     return v4->hasException ? QV4::Encode::undefined() : result;
334 }
335 
336 }
337 
338 QT_END_NAMESPACE
339 
340 #endif // QMLJS_OBJECTS_H
341