PromiseReaction.cpp 3.4 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283
  1. /*
  2. * Copyright (c) 2021, Linus Groh <linusg@serenityos.org>
  3. *
  4. * SPDX-License-Identifier: BSD-2-Clause
  5. */
  6. #include <LibJS/Runtime/AbstractOperations.h>
  7. #include <LibJS/Runtime/Error.h>
  8. #include <LibJS/Runtime/MarkedValueList.h>
  9. #include <LibJS/Runtime/NativeFunction.h>
  10. #include <LibJS/Runtime/PromiseReaction.h>
  11. namespace JS {
  12. // 27.2.1.5 NewPromiseCapability ( C ), https://tc39.es/ecma262/#sec-newpromisecapability
  13. ThrowCompletionOr<PromiseCapability> new_promise_capability(GlobalObject& global_object, Value constructor)
  14. {
  15. auto& vm = global_object.vm();
  16. if (!constructor.is_constructor())
  17. return vm.throw_completion<TypeError>(global_object, ErrorType::NotAConstructor, constructor.to_string_without_side_effects());
  18. struct {
  19. Value resolve { js_undefined() };
  20. Value reject { js_undefined() };
  21. } promise_capability_functions;
  22. // 27.2.1.5.1 GetCapabilitiesExecutor Functions, https://tc39.es/ecma262/#sec-getcapabilitiesexecutor-functions
  23. auto* executor = NativeFunction::create(global_object, "", [&promise_capability_functions](auto& vm, auto& global_object) -> ThrowCompletionOr<Value> {
  24. auto resolve = vm.argument(0);
  25. auto reject = vm.argument(1);
  26. // No idea what other engines say here.
  27. if (!promise_capability_functions.resolve.is_undefined()) {
  28. return vm.template throw_completion<TypeError>(global_object, ErrorType::GetCapabilitiesExecutorCalledMultipleTimes);
  29. }
  30. if (!promise_capability_functions.reject.is_undefined()) {
  31. return vm.template throw_completion<TypeError>(global_object, ErrorType::GetCapabilitiesExecutorCalledMultipleTimes);
  32. }
  33. promise_capability_functions.resolve = resolve;
  34. promise_capability_functions.reject = reject;
  35. return js_undefined();
  36. });
  37. executor->define_direct_property(vm.names.length, Value(2), Attribute::Configurable);
  38. executor->define_direct_property(vm.names.name, js_string(vm, String::empty()), Attribute::Configurable);
  39. MarkedValueList arguments(vm.heap());
  40. arguments.append(executor);
  41. auto* promise = TRY(construct(global_object, constructor.as_function(), move(arguments)));
  42. if (!promise_capability_functions.resolve.is_function())
  43. return vm.throw_completion<TypeError>(global_object, ErrorType::NotAFunction, promise_capability_functions.resolve.to_string_without_side_effects());
  44. if (!promise_capability_functions.reject.is_function())
  45. return vm.throw_completion<TypeError>(global_object, ErrorType::NotAFunction, promise_capability_functions.reject.to_string_without_side_effects());
  46. return PromiseCapability {
  47. promise,
  48. &promise_capability_functions.resolve.as_function(),
  49. &promise_capability_functions.reject.as_function(),
  50. };
  51. }
  52. PromiseReaction::PromiseReaction(Type type, Optional<PromiseCapability> capability, Optional<JobCallback> handler)
  53. : m_type(type)
  54. , m_capability(move(capability))
  55. , m_handler(move(handler))
  56. {
  57. }
  58. void PromiseReaction::visit_edges(Cell::Visitor& visitor)
  59. {
  60. Cell::visit_edges(visitor);
  61. if (m_capability.has_value()) {
  62. auto& capability = m_capability.value();
  63. visitor.visit(capability.promise);
  64. visitor.visit(capability.resolve);
  65. visitor.visit(capability.reject);
  66. }
  67. if (m_handler.has_value()) {
  68. auto& handler = m_handler.value();
  69. visitor.visit(handler.callback);
  70. }
  71. }
  72. }