#include "config.h"
#include "JSPromise.h"
#include "BuiltinNames.h"
#include "DeferredWorkTimer.h"
#include "JSCInlines.h"
#include "JSInternalFieldObjectImplInlines.h"
#include "JSPromiseConstructor.h"
#include "Microtask.h"
namespace JSC {
const ClassInfo JSPromise::s_info = { "Promise", &Base::s_info, nullptr, nullptr, CREATE_METHOD_TABLE(JSPromise) };
JSPromise* JSPromise::create(VM& vm, Structure* structure)
{
JSPromise* promise = new (NotNull, allocateCell<JSPromise>(vm.heap)) JSPromise(vm, structure);
promise->finishCreation(vm);
return promise;
}
JSPromise* JSPromise::createWithInitialValues(VM& vm, Structure* structure)
{
return create(vm, structure);
}
Structure* JSPromise::createStructure(VM& vm, JSGlobalObject* globalObject, JSValue prototype)
{
return Structure::create(vm, globalObject, prototype, TypeInfo(JSPromiseType, StructureFlags), info());
}
JSPromise::JSPromise(VM& vm, Structure* structure)
: Base(vm, structure)
{
}
void JSPromise::finishCreation(VM& vm)
{
Base::finishCreation(vm);
auto values = initialValues();
for (unsigned index = 0; index < values.size(); ++index)
Base::internalField(index).set(vm, this, values[index]);
}
void JSPromise::visitChildren(JSCell* cell, SlotVisitor& visitor)
{
auto* thisObject = jsCast<JSPromise*>(cell);
ASSERT_GC_OBJECT_INHERITS(thisObject, info());
Base::visitChildren(thisObject, visitor);
}
auto JSPromise::status(VM&) const -> Status
{
JSValue value = internalField(Field::Flags).get();
uint32_t flags = value.asUInt32AsAnyInt();
return static_cast<Status>(flags & stateMask);
}
JSValue JSPromise::result(VM& vm) const
{
Status status = this->status(vm);
if (status == Status::Pending)
return jsUndefined();
return internalField(Field::ReactionsOrResult).get();
}
uint32_t JSPromise::flags() const
{
JSValue value = internalField(Field::Flags).get();
return value.asUInt32AsAnyInt();
}
bool JSPromise::isHandled(VM&) const
{
return flags() & isHandledFlag;
}
JSPromise::DeferredData JSPromise::createDeferredData(JSGlobalObject* globalObject, JSPromiseConstructor* promiseConstructor)
{
VM& vm = globalObject->vm();
auto scope = DECLARE_THROW_SCOPE(vm);
JSFunction* newPromiseCapabilityFunction = globalObject->newPromiseCapabilityFunction();
auto callData = JSC::getCallData(globalObject->vm(), newPromiseCapabilityFunction);
ASSERT(callData.type != CallData::Type::None);
MarkedArgumentBuffer arguments;
arguments.append(promiseConstructor);
ASSERT(!arguments.hasOverflowed());
JSValue deferred = call(globalObject, newPromiseCapabilityFunction, callData, jsUndefined(), arguments);
RETURN_IF_EXCEPTION(scope, { });
DeferredData result;
result.promise = jsCast<JSPromise*>(deferred.get(globalObject, vm.propertyNames->builtinNames().promisePrivateName()));
RETURN_IF_EXCEPTION(scope, { });
result.resolve = jsCast<JSFunction*>(deferred.get(globalObject, vm.propertyNames->builtinNames().resolvePrivateName()));
RETURN_IF_EXCEPTION(scope, { });
result.reject = jsCast<JSFunction*>(deferred.get(globalObject, vm.propertyNames->builtinNames().rejectPrivateName()));
RETURN_IF_EXCEPTION(scope, { });
return result;
}
JSPromise* JSPromise::resolvedPromise(JSGlobalObject* globalObject, JSValue value)
{
VM& vm = globalObject->vm();
auto scope = DECLARE_THROW_SCOPE(vm);
JSFunction* function = globalObject->promiseResolveFunction();
auto callData = JSC::getCallData(vm, function);
ASSERT(callData.type != CallData::Type::None);
MarkedArgumentBuffer arguments;
arguments.append(value);
auto result = call(globalObject, function, callData, globalObject->promiseConstructor(), arguments);
RETURN_IF_EXCEPTION(scope, nullptr);
ASSERT(result.inherits<JSPromise>(vm));
return jsCast<JSPromise*>(result);
}
static inline void callFunction(JSGlobalObject* globalObject, JSValue function, JSPromise* promise, JSValue value)
{
auto callData = getCallData(globalObject->vm(), function);
ASSERT(callData.type != CallData::Type::None);
MarkedArgumentBuffer arguments;
arguments.append(promise);
arguments.append(value);
ASSERT(!arguments.hasOverflowed());
call(globalObject, function, callData, jsUndefined(), arguments);
}
void JSPromise::resolve(JSGlobalObject* lexicalGlobalObject, JSValue value)
{
VM& vm = lexicalGlobalObject->vm();
auto scope = DECLARE_THROW_SCOPE(vm);
uint32_t flags = this->flags();
ASSERT(!value.inherits<Exception>(vm));
if (!(flags & isFirstResolvingFunctionCalledFlag)) {
internalField(Field::Flags).set(vm, this, jsNumber(flags | isFirstResolvingFunctionCalledFlag));
JSGlobalObject* globalObject = this->globalObject(vm);
callFunction(lexicalGlobalObject, globalObject->resolvePromiseFunction(), this, value);
RETURN_IF_EXCEPTION(scope, void());
}
vm.deferredWorkTimer->cancelPendingWork(this);
}
void JSPromise::reject(JSGlobalObject* lexicalGlobalObject, JSValue value)
{
VM& vm = lexicalGlobalObject->vm();
auto scope = DECLARE_THROW_SCOPE(vm);
uint32_t flags = this->flags();
ASSERT(!value.inherits<Exception>(vm));
if (!(flags & isFirstResolvingFunctionCalledFlag)) {
internalField(Field::Flags).set(vm, this, jsNumber(flags | isFirstResolvingFunctionCalledFlag));
JSGlobalObject* globalObject = this->globalObject(vm);
callFunction(lexicalGlobalObject, globalObject->rejectPromiseFunction(), this, value);
RETURN_IF_EXCEPTION(scope, void());
}
vm.deferredWorkTimer->cancelPendingWork(this);
}
void JSPromise::rejectAsHandled(JSGlobalObject* lexicalGlobalObject, JSValue value)
{
VM& vm = lexicalGlobalObject->vm();
uint32_t flags = this->flags();
if (!(flags & isFirstResolvingFunctionCalledFlag))
internalField(Field::Flags).set(vm, this, jsNumber(flags | isHandledFlag));
reject(lexicalGlobalObject, value);
}
void JSPromise::reject(JSGlobalObject* lexicalGlobalObject, Exception* reason)
{
reject(lexicalGlobalObject, reason->value());
}
void JSPromise::rejectAsHandled(JSGlobalObject* lexicalGlobalObject, Exception* reason)
{
rejectAsHandled(lexicalGlobalObject, reason->value());
}
}