| 1 | /**************************************************************************** |
| 2 | ** |
| 3 | ** Copyright (C) 2018 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 QV4PROMISEOBJECT_H |
| 40 | #define QV4PROMISEOBJECT_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 "qv4functionobject_p.h" |
| 55 | |
| 56 | QT_BEGIN_NAMESPACE |
| 57 | |
| 58 | namespace QV4 { |
| 59 | |
| 60 | struct PromiseCapability; |
| 61 | |
| 62 | namespace Promise { |
| 63 | |
| 64 | struct ReactionEvent; |
| 65 | struct ResolveThenableEvent; |
| 66 | |
| 67 | class ReactionHandler : public QObject |
| 68 | { |
| 69 | Q_OBJECT |
| 70 | |
| 71 | public: |
| 72 | ReactionHandler(QObject *parent = nullptr); |
| 73 | virtual ~ReactionHandler() override; |
| 74 | |
| 75 | void addReaction(ExecutionEngine *e, const Value *reaction, const Value *value); |
| 76 | void addResolveThenable(ExecutionEngine *e, const PromiseObject *promise, const Object *thenable, const FunctionObject *then); |
| 77 | |
| 78 | protected: |
| 79 | void customEvent(QEvent *event) override; |
| 80 | void executeReaction(ReactionEvent *event); |
| 81 | void executeResolveThenable(ResolveThenableEvent *event); |
| 82 | }; |
| 83 | |
| 84 | } // Promise |
| 85 | |
| 86 | namespace Heap { |
| 87 | |
| 88 | struct PromiseCtor : FunctionObject { |
| 89 | void init(QV4::ExecutionContext *scope); |
| 90 | }; |
| 91 | |
| 92 | #define PromiseObjectMembers(class, Member) \ |
| 93 | Member(class, HeapValue, HeapValue, resolution) \ |
| 94 | Member(class, HeapValue, HeapValue, fulfillReactions) \ |
| 95 | Member(class, HeapValue, HeapValue, rejectReactions) |
| 96 | |
| 97 | DECLARE_HEAP_OBJECT(PromiseObject, Object) { |
| 98 | DECLARE_MARKOBJECTS(PromiseObject) |
| 99 | void init(ExecutionEngine *e); |
| 100 | |
| 101 | enum State { |
| 102 | Pending, |
| 103 | Fulfilled, |
| 104 | Rejected |
| 105 | }; |
| 106 | |
| 107 | void setState(State); |
| 108 | bool isSettled() const; |
| 109 | bool isPending() const; |
| 110 | bool isFulfilled() const; |
| 111 | bool isRejected() const; |
| 112 | |
| 113 | State state; |
| 114 | |
| 115 | void triggerFullfillReactions(ExecutionEngine *e); |
| 116 | void triggerRejectReactions(ExecutionEngine *e); |
| 117 | }; |
| 118 | |
| 119 | #define PromiseCapabilityMembers(class, Member) \ |
| 120 | Member(class, HeapValue, HeapValue, promise) \ |
| 121 | Member(class, HeapValue, HeapValue, resolve) \ |
| 122 | Member(class, HeapValue, HeapValue, reject) |
| 123 | |
| 124 | DECLARE_HEAP_OBJECT(PromiseCapability, Object) { |
| 125 | DECLARE_MARKOBJECTS(PromiseCapability) |
| 126 | }; |
| 127 | |
| 128 | #define PromiseReactionMembers(class, Member) \ |
| 129 | Member(class, HeapValue, HeapValue, handler) \ |
| 130 | Member(class, Pointer, PromiseCapability*, capability) |
| 131 | |
| 132 | DECLARE_HEAP_OBJECT(PromiseReaction, Object) { |
| 133 | DECLARE_MARKOBJECTS(PromiseReaction) |
| 134 | |
| 135 | static Heap::PromiseReaction *createFulfillReaction(ExecutionEngine* e, const QV4::PromiseCapability *capability, const QV4::FunctionObject *onFulfilled); |
| 136 | static Heap::PromiseReaction *createRejectReaction(ExecutionEngine* e, const QV4::PromiseCapability *capability, const QV4::FunctionObject *onRejected); |
| 137 | |
| 138 | void triggerWithValue(ExecutionEngine *e, const Value *value); |
| 139 | |
| 140 | enum Type { |
| 141 | Function, |
| 142 | Identity, |
| 143 | Thrower |
| 144 | }; |
| 145 | |
| 146 | Type type; |
| 147 | |
| 148 | friend class ReactionHandler; |
| 149 | }; |
| 150 | |
| 151 | #define CapabilitiesExecutorWrapperMembers(class, Member) \ |
| 152 | Member(class, Pointer, PromiseCapability*, capabilities) |
| 153 | |
| 154 | DECLARE_HEAP_OBJECT(CapabilitiesExecutorWrapper, FunctionObject) { |
| 155 | DECLARE_MARKOBJECTS(CapabilitiesExecutorWrapper) |
| 156 | void init(); |
| 157 | void destroy(); |
| 158 | }; |
| 159 | |
| 160 | #define PromiseExecutionStateMembers(class, Member) \ |
| 161 | Member(class, HeapValue, HeapValue, values) \ |
| 162 | Member(class, HeapValue, HeapValue, capability) |
| 163 | |
| 164 | DECLARE_HEAP_OBJECT(PromiseExecutionState, FunctionObject) { |
| 165 | DECLARE_MARKOBJECTS(PromiseExecutionState) |
| 166 | void init(); |
| 167 | |
| 168 | uint index; |
| 169 | uint remainingElementCount; |
| 170 | }; |
| 171 | |
| 172 | #define ResolveElementWrapperMembers(class, Member) \ |
| 173 | Member(class, HeapValue, HeapValue, state) |
| 174 | |
| 175 | DECLARE_HEAP_OBJECT(ResolveElementWrapper, FunctionObject) { |
| 176 | DECLARE_MARKOBJECTS(ResolveElementWrapper) |
| 177 | void init(); |
| 178 | |
| 179 | uint index; |
| 180 | bool alreadyResolved; |
| 181 | }; |
| 182 | |
| 183 | #define ResolveWrapperMembers(class, Member) \ |
| 184 | Member(class, Pointer, PromiseObject*, promise) |
| 185 | |
| 186 | DECLARE_HEAP_OBJECT(ResolveWrapper, FunctionObject) { |
| 187 | DECLARE_MARKOBJECTS(ResolveWrapper) |
| 188 | void init(); |
| 189 | |
| 190 | bool alreadyResolved; |
| 191 | }; |
| 192 | |
| 193 | #define RejectWrapperMembers(class, Member) \ |
| 194 | Member(class, Pointer, PromiseObject*, promise) |
| 195 | |
| 196 | DECLARE_HEAP_OBJECT(RejectWrapper, FunctionObject) { |
| 197 | DECLARE_MARKOBJECTS(RejectWrapper) |
| 198 | void init(); |
| 199 | |
| 200 | bool alreadyResolved; |
| 201 | }; |
| 202 | |
| 203 | } // Heap |
| 204 | |
| 205 | struct PromiseReaction : Object |
| 206 | { |
| 207 | V4_OBJECT2(PromiseReaction, Object) |
| 208 | }; |
| 209 | |
| 210 | struct PromiseCapability : Object |
| 211 | { |
| 212 | V4_OBJECT2(PromiseCapability, Object) |
| 213 | }; |
| 214 | |
| 215 | struct PromiseExecutionState : Object |
| 216 | { |
| 217 | V4_OBJECT2(PromiseExecutionState, Object) |
| 218 | }; |
| 219 | |
| 220 | struct Q_QML_PRIVATE_EXPORT PromiseObject : Object |
| 221 | { |
| 222 | V4_OBJECT2(PromiseObject, Object) |
| 223 | V4_NEEDS_DESTROY |
| 224 | V4_PROTOTYPE(promisePrototype) |
| 225 | }; |
| 226 | |
| 227 | struct PromiseCtor: FunctionObject |
| 228 | { |
| 229 | V4_OBJECT2(PromiseCtor, FunctionObject) |
| 230 | |
| 231 | static ReturnedValue virtualCallAsConstructor(const FunctionObject *f, const Value *argv, int argc, const Value *); |
| 232 | static ReturnedValue virtualCall(const FunctionObject *f, const Value *thisObject, const Value *argv, int argc); |
| 233 | |
| 234 | static ReturnedValue method_resolve(const FunctionObject *f, const Value *thisObject, const Value *argv, int argc); |
| 235 | static ReturnedValue method_reject(const FunctionObject *f, const Value *thisObject, const Value *argv, int argc); |
| 236 | |
| 237 | static ReturnedValue method_all(const FunctionObject *f, const Value *thisObject, const Value *argv, int argc); |
| 238 | static ReturnedValue method_race(const FunctionObject *f, const Value *thisObject, const Value *argv, int argc); |
| 239 | }; |
| 240 | |
| 241 | struct PromisePrototype : Object |
| 242 | { |
| 243 | void init(ExecutionEngine *engine, Object *ctor); |
| 244 | |
| 245 | static ReturnedValue method_then(const FunctionObject *f, const Value *thisObject, const Value *argv, int argc); |
| 246 | static ReturnedValue method_catch(const FunctionObject *f, const Value *thisObject, const Value *argv, int argc); |
| 247 | }; |
| 248 | |
| 249 | struct CapabilitiesExecutorWrapper: FunctionObject { |
| 250 | V4_OBJECT2(CapabilitiesExecutorWrapper, FunctionObject) |
| 251 | |
| 252 | static ReturnedValue virtualCall(const FunctionObject *f, const Value *thisObject, const Value *argv, int argc); |
| 253 | }; |
| 254 | |
| 255 | struct ResolveElementWrapper : FunctionObject { |
| 256 | V4_OBJECT2(ResolveElementWrapper, FunctionObject) |
| 257 | |
| 258 | static ReturnedValue virtualCall(const FunctionObject *f, const Value *thisObject, const Value *argv, int argc); |
| 259 | }; |
| 260 | |
| 261 | struct ResolveWrapper : FunctionObject { |
| 262 | V4_OBJECT2(ResolveWrapper, FunctionObject) |
| 263 | |
| 264 | static ReturnedValue virtualCall(const FunctionObject *f, const Value *thisObject, const Value *argv, int argc); |
| 265 | }; |
| 266 | |
| 267 | struct RejectWrapper : FunctionObject { |
| 268 | V4_OBJECT2(RejectWrapper, FunctionObject) |
| 269 | |
| 270 | static ReturnedValue virtualCall(const FunctionObject *f, const Value *thisObject, const Value *argv, int argc); |
| 271 | }; |
| 272 | |
| 273 | } // QV4 |
| 274 | |
| 275 | QT_END_NAMESPACE |
| 276 | |
| 277 | #endif // QV4PROMISEOBJECT_H |
| 278 | |