| 1 | // Copyright (C) 2016 The Qt Company Ltd. |
| 2 | // SPDX-License-Identifier: LicenseRef-Qt-Commercial OR LGPL-3.0-only OR GPL-2.0-only OR GPL-3.0-only |
| 3 | #ifndef QMLJS_ENVIRONMENT_H |
| 4 | #define QMLJS_ENVIRONMENT_H |
| 5 | |
| 6 | // |
| 7 | // W A R N I N G |
| 8 | // ------------- |
| 9 | // |
| 10 | // This file is not part of the Qt API. It exists purely as an |
| 11 | // implementation detail. This header file may change from version to |
| 12 | // version without notice, or even be removed. |
| 13 | // |
| 14 | // We mean it. |
| 15 | // |
| 16 | |
| 17 | #include "qv4global_p.h" |
| 18 | #include "qv4managed_p.h" |
| 19 | |
| 20 | QT_BEGIN_NAMESPACE |
| 21 | |
| 22 | namespace QV4 { |
| 23 | |
| 24 | |
| 25 | namespace Heap { |
| 26 | |
| 27 | #define ExecutionContextMembers(class, Member) \ |
| 28 | Member(class, Pointer, ExecutionContext *, outer) \ |
| 29 | Member(class, Pointer, Object *, activation) |
| 30 | |
| 31 | DECLARE_HEAP_OBJECT(ExecutionContext, Base) { |
| 32 | DECLARE_MARKOBJECTS(ExecutionContext) |
| 33 | |
| 34 | enum ContextType { |
| 35 | Type_GlobalContext = 0x1, |
| 36 | Type_WithContext = 0x2, |
| 37 | Type_QmlContext = 0x3, |
| 38 | Type_BlockContext = 0x4, |
| 39 | Type_CallContext = 0x5 |
| 40 | }; |
| 41 | |
| 42 | void init(ContextType t) |
| 43 | { |
| 44 | Base::init(); |
| 45 | |
| 46 | type = t; |
| 47 | } |
| 48 | |
| 49 | const VTable *vtable() const { |
| 50 | return internalClass->vtable; |
| 51 | } |
| 52 | |
| 53 | quint32 type : 8; |
| 54 | quint32 nArgs : 24; |
| 55 | #if QT_POINTER_SIZE == 8 |
| 56 | quint8 padding_[4]; |
| 57 | #endif |
| 58 | }; |
| 59 | Q_STATIC_ASSERT(std::is_trivial_v<ExecutionContext>); |
| 60 | Q_STATIC_ASSERT(sizeof(ExecutionContext) == sizeof(Base) + sizeof(ExecutionContextData) + QT_POINTER_SIZE); |
| 61 | |
| 62 | Q_STATIC_ASSERT(std::is_standard_layout<ExecutionContextData>::value); |
| 63 | Q_STATIC_ASSERT(offsetof(ExecutionContextData, outer) == 0); |
| 64 | Q_STATIC_ASSERT(offsetof(ExecutionContextData, activation) == offsetof(ExecutionContextData, outer) + QT_POINTER_SIZE); |
| 65 | |
| 66 | #define CallContextMembers(class, Member) \ |
| 67 | Member(class, Pointer, JavaScriptFunctionObject *, function) \ |
| 68 | Member(class, ValueArray, ValueArray, locals) |
| 69 | |
| 70 | DECLARE_HEAP_OBJECT(CallContext, ExecutionContext) { |
| 71 | DECLARE_MARKOBJECTS(CallContext) |
| 72 | |
| 73 | void init() |
| 74 | { |
| 75 | ExecutionContext::init(t: Type_CallContext); |
| 76 | } |
| 77 | |
| 78 | int argc() const { |
| 79 | return static_cast<int>(nArgs); |
| 80 | } |
| 81 | const Value *args() const { |
| 82 | return locals.data() + locals.size; |
| 83 | } |
| 84 | void setArg(uint index, Value v); |
| 85 | |
| 86 | template <typename BlockOrFunction> |
| 87 | void setupLocalTemporalDeadZone(BlockOrFunction *bof) { |
| 88 | for (uint i = bof->nLocals - bof->sizeOfLocalTemporalDeadZone; i < bof->nLocals; ++i) |
| 89 | locals.values[i] = Value::emptyValue(); |
| 90 | } |
| 91 | }; |
| 92 | Q_STATIC_ASSERT(std::is_trivial_v<CallContext>); |
| 93 | Q_STATIC_ASSERT(std::is_standard_layout<CallContextData>::value); |
| 94 | Q_STATIC_ASSERT(offsetof(CallContextData, function) == 0); |
| 95 | //### The following size check fails on Win8. With the ValueArray at the end of the |
| 96 | // CallContextMembers, it doesn't look very useful. |
| 97 | //#if defined(Q_PROCESSOR_ARM_32) && !defined(Q_OS_IOS) |
| 98 | //Q_STATIC_ASSERT(sizeof(CallContext) == sizeof(ExecutionContext) + sizeof(CallContextData) + QT_POINTER_SIZE); |
| 99 | //#else |
| 100 | //Q_STATIC_ASSERT(sizeof(CallContext) == sizeof(ExecutionContext) + sizeof(CallContextData)); |
| 101 | //#endif |
| 102 | |
| 103 | |
| 104 | } |
| 105 | |
| 106 | struct Q_QML_EXPORT ExecutionContext : public Managed |
| 107 | { |
| 108 | enum { |
| 109 | IsExecutionContext = true |
| 110 | }; |
| 111 | |
| 112 | V4_MANAGED(ExecutionContext, Managed) |
| 113 | Q_MANAGED_TYPE(ExecutionContext) |
| 114 | V4_INTERNALCLASS(ExecutionContext) |
| 115 | |
| 116 | static Heap::CallContext *newBlockContext(QV4::CppStackFrame *frame, int blockIndex); |
| 117 | static Heap::CallContext *cloneBlockContext(ExecutionEngine *engine, |
| 118 | Heap::CallContext *callContext); |
| 119 | static Heap::CallContext *newCallContext(JSTypesStackFrame *frame); |
| 120 | Heap::ExecutionContext *newWithContext(Heap::Object *with) const; |
| 121 | static Heap::ExecutionContext *newCatchContext(CppStackFrame *frame, int blockIndex, Heap::String *exceptionVarName); |
| 122 | |
| 123 | void createMutableBinding(String *name, bool deletable); |
| 124 | |
| 125 | enum Error { |
| 126 | NoError, |
| 127 | TypeError, |
| 128 | RangeError |
| 129 | }; |
| 130 | |
| 131 | Error setProperty(String *name, const Value &value); |
| 132 | |
| 133 | ReturnedValue getProperty(String *name); |
| 134 | ReturnedValue getPropertyAndBase(String *name, Value *base); |
| 135 | bool deleteProperty(String *name); |
| 136 | |
| 137 | inline CallContext *asCallContext(); |
| 138 | inline const CallContext *asCallContext() const; |
| 139 | |
| 140 | protected: |
| 141 | // vtable method required for compilation |
| 142 | static bool virtualDeleteProperty(Managed *, PropertyKey) { |
| 143 | Q_UNREACHABLE(); |
| 144 | } |
| 145 | }; |
| 146 | |
| 147 | struct Q_QML_EXPORT CallContext : public ExecutionContext |
| 148 | { |
| 149 | V4_MANAGED(CallContext, ExecutionContext) |
| 150 | V4_INTERNALCLASS(CallContext) |
| 151 | |
| 152 | int argc() const { |
| 153 | return d()->argc(); |
| 154 | } |
| 155 | const Value *args() const { |
| 156 | return d()->args(); |
| 157 | } |
| 158 | }; |
| 159 | |
| 160 | inline CallContext *ExecutionContext::asCallContext() |
| 161 | { |
| 162 | return d()->type == Heap::ExecutionContext::Type_CallContext ? static_cast<CallContext *>(this) : nullptr; |
| 163 | } |
| 164 | |
| 165 | inline const CallContext *ExecutionContext::asCallContext() const |
| 166 | { |
| 167 | return d()->type == Heap::ExecutionContext::Type_CallContext ? static_cast<const CallContext *>(this) : nullptr; |
| 168 | } |
| 169 | |
| 170 | } // namespace QV4 |
| 171 | |
| 172 | QT_END_NAMESPACE |
| 173 | |
| 174 | #endif |
| 175 | |