[JSC] Generalize Get/PutPromiseInternalField for InternalFieldObjectImpl
[WebKit-https.git] / Source / JavaScriptCore / runtime / JSPromise.cpp
1 /*
2  * Copyright (C) 2013-2017 Apple Inc. All rights reserved.
3  *
4  * Redistribution and use in source and binary forms, with or without
5  * modification, are permitted provided that the following conditions
6  * are met:
7  * 1. Redistributions of source code must retain the above copyright
8  *    notice, this list of conditions and the following disclaimer.
9  * 2. Redistributions in binary form must reproduce the above copyright
10  *    notice, this list of conditions and the following disclaimer in the
11  *    documentation and/or other materials provided with the distribution.
12  *
13  * THIS SOFTWARE IS PROVIDED BY APPLE INC. AND ITS CONTRIBUTORS ``AS IS''
14  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
15  * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
16  * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR ITS CONTRIBUTORS
17  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
18  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
19  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
20  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
21  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
22  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF
23  * THE POSSIBILITY OF SUCH DAMAGE.
24  */
25
26 #include "config.h"
27 #include "JSPromise.h"
28
29 #include "BuiltinNames.h"
30 #include "Error.h"
31 #include "JSCInlines.h"
32 #include "JSInternalFieldObjectImplInlines.h"
33 #include "JSPromiseConstructor.h"
34 #include "Microtask.h"
35
36 namespace JSC {
37
38 const ClassInfo JSPromise::s_info = { "Promise", &Base::s_info, nullptr, nullptr, CREATE_METHOD_TABLE(JSPromise) };
39
40 JSPromise* JSPromise::create(VM& vm, Structure* structure)
41 {
42     JSPromise* promise = new (NotNull, allocateCell<JSPromise>(vm.heap)) JSPromise(vm, structure);
43     promise->finishCreation(vm);
44     return promise;
45 }
46
47 Structure* JSPromise::createStructure(VM& vm, JSGlobalObject* globalObject, JSValue prototype)
48 {
49     return Structure::create(vm, globalObject, prototype, TypeInfo(JSPromiseType, StructureFlags), info());
50 }
51
52 JSPromise::JSPromise(VM& vm, Structure* structure)
53     : Base(vm, structure)
54 {
55 }
56
57 void JSPromise::finishCreation(VM& vm)
58 {
59     Base::finishCreation(vm);
60     internalField(static_cast<unsigned>(Field::Flags)).set(vm, this, jsNumber(static_cast<unsigned>(Status::Pending)));
61     internalField(static_cast<unsigned>(Field::ReactionsOrResult)).set(vm, this, jsUndefined());
62 }
63
64 void JSPromise::visitChildren(JSCell* cell, SlotVisitor& visitor)
65 {
66     auto* thisObject = jsCast<JSPromise*>(cell);
67     ASSERT_GC_OBJECT_INHERITS(thisObject, info());
68     Base::visitChildren(thisObject, visitor);
69 }
70
71 auto JSPromise::status(VM&) const -> Status
72 {
73     JSValue value = internalField(static_cast<unsigned>(Field::Flags)).get();
74     uint32_t flags = value.asUInt32AsAnyInt();
75     return static_cast<Status>(flags & stateMask);
76 }
77
78 JSValue JSPromise::result(VM& vm) const
79 {
80     Status status = this->status(vm);
81     if (status == Status::Pending)
82         return jsUndefined();
83     return internalField(static_cast<unsigned>(Field::ReactionsOrResult)).get();
84 }
85
86 bool JSPromise::isHandled(VM&) const
87 {
88     JSValue value = internalField(static_cast<unsigned>(Field::Flags)).get();
89     uint32_t flags = value.asUInt32AsAnyInt();
90     return flags & isHandledFlag;
91 }
92
93 JSPromise* JSPromise::resolve(JSGlobalObject& globalObject, JSValue value)
94 {
95     auto* exec = globalObject.globalExec();
96     auto& vm = exec->vm();
97     auto scope = DECLARE_THROW_SCOPE(vm);
98
99     auto* promiseResolveFunction = globalObject.promiseResolveFunction();
100     CallData callData;
101     auto callType = JSC::getCallData(vm, promiseResolveFunction, callData);
102     ASSERT(callType != CallType::None);
103
104     MarkedArgumentBuffer arguments;
105     arguments.append(value);
106     ASSERT(!arguments.hasOverflowed());
107     auto result = call(exec, promiseResolveFunction, callType, callData, globalObject.promiseConstructor(), arguments);
108     RETURN_IF_EXCEPTION(scope, nullptr);
109     ASSERT(result.inherits<JSPromise>(vm));
110     return jsCast<JSPromise*>(result);
111 }
112
113 } // namespace JSC