PromiseResolvingElementFunctions.cpp 8.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205
  1. /*
  2. * Copyright (c) 2021, Tim Flynn <trflynn89@serenityos.org>
  3. *
  4. * SPDX-License-Identifier: BSD-2-Clause
  5. */
  6. #include <LibJS/Runtime/AbstractOperations.h>
  7. #include <LibJS/Runtime/AggregateError.h>
  8. #include <LibJS/Runtime/Array.h>
  9. #include <LibJS/Runtime/GlobalObject.h>
  10. #include <LibJS/Runtime/PromiseCapability.h>
  11. #include <LibJS/Runtime/PromiseResolvingElementFunctions.h>
  12. namespace JS {
  13. void PromiseValueList::visit_edges(Visitor& visitor)
  14. {
  15. Base::visit_edges(visitor);
  16. for (auto& val : m_values)
  17. visitor.visit(val);
  18. }
  19. PromiseResolvingElementFunction::PromiseResolvingElementFunction(size_t index, PromiseValueList& values, NonnullGCPtr<PromiseCapability const> capability, RemainingElements& remaining_elements, Object& prototype)
  20. : NativeFunction(prototype)
  21. , m_index(index)
  22. , m_values(values)
  23. , m_capability(capability)
  24. , m_remaining_elements(remaining_elements)
  25. {
  26. }
  27. void PromiseResolvingElementFunction::initialize(Realm& realm)
  28. {
  29. Base::initialize(realm);
  30. define_direct_property(vm().names.length, Value(1), Attribute::Configurable);
  31. }
  32. ThrowCompletionOr<Value> PromiseResolvingElementFunction::call()
  33. {
  34. if (m_already_called)
  35. return js_undefined();
  36. m_already_called = true;
  37. return resolve_element();
  38. }
  39. void PromiseResolvingElementFunction::visit_edges(Cell::Visitor& visitor)
  40. {
  41. Base::visit_edges(visitor);
  42. visitor.visit(m_values);
  43. visitor.visit(m_capability);
  44. visitor.visit(m_remaining_elements);
  45. }
  46. NonnullGCPtr<PromiseAllResolveElementFunction> PromiseAllResolveElementFunction::create(Realm& realm, size_t index, PromiseValueList& values, NonnullGCPtr<PromiseCapability const> capability, RemainingElements& remaining_elements)
  47. {
  48. return realm.heap().allocate<PromiseAllResolveElementFunction>(realm, index, values, capability, remaining_elements, realm.intrinsics().function_prototype());
  49. }
  50. PromiseAllResolveElementFunction::PromiseAllResolveElementFunction(size_t index, PromiseValueList& values, NonnullGCPtr<PromiseCapability const> capability, RemainingElements& remaining_elements, Object& prototype)
  51. : PromiseResolvingElementFunction(index, values, capability, remaining_elements, prototype)
  52. {
  53. }
  54. ThrowCompletionOr<Value> PromiseAllResolveElementFunction::resolve_element()
  55. {
  56. auto& vm = this->vm();
  57. auto& realm = *vm.current_realm();
  58. // 8. Set values[index] to x.
  59. m_values->values()[m_index] = vm.argument(0);
  60. // 9. Set remainingElementsCount.[[Value]] to remainingElementsCount.[[Value]] - 1.
  61. // 10. If remainingElementsCount.[[Value]] is 0, then
  62. if (--m_remaining_elements->value == 0) {
  63. // a. Let valuesArray be CreateArrayFromList(values).
  64. auto values_array = Array::create_from(realm, m_values->values());
  65. // b. Return ? Call(promiseCapability.[[Resolve]], undefined, « valuesArray »).
  66. return JS::call(vm, *m_capability->resolve(), js_undefined(), values_array);
  67. }
  68. // 11. Return undefined.
  69. return js_undefined();
  70. }
  71. NonnullGCPtr<PromiseAllSettledResolveElementFunction> PromiseAllSettledResolveElementFunction::create(Realm& realm, size_t index, PromiseValueList& values, NonnullGCPtr<PromiseCapability const> capability, RemainingElements& remaining_elements)
  72. {
  73. return realm.heap().allocate<PromiseAllSettledResolveElementFunction>(realm, index, values, capability, remaining_elements, realm.intrinsics().function_prototype());
  74. }
  75. PromiseAllSettledResolveElementFunction::PromiseAllSettledResolveElementFunction(size_t index, PromiseValueList& values, NonnullGCPtr<PromiseCapability const> capability, RemainingElements& remaining_elements, Object& prototype)
  76. : PromiseResolvingElementFunction(index, values, capability, remaining_elements, prototype)
  77. {
  78. }
  79. ThrowCompletionOr<Value> PromiseAllSettledResolveElementFunction::resolve_element()
  80. {
  81. auto& vm = this->vm();
  82. auto& realm = *vm.current_realm();
  83. // 9. Let obj be OrdinaryObjectCreate(%Object.prototype%).
  84. auto object = Object::create(realm, realm.intrinsics().object_prototype());
  85. // 10. Perform ! CreateDataPropertyOrThrow(obj, "status", "fulfilled").
  86. MUST(object->create_data_property_or_throw(vm.names.status, PrimitiveString::create(vm, "fulfilled"_string)));
  87. // 11. Perform ! CreateDataPropertyOrThrow(obj, "value", x).
  88. MUST(object->create_data_property_or_throw(vm.names.value, vm.argument(0)));
  89. // 12. Set values[index] to obj.
  90. m_values->values()[m_index] = object;
  91. // 13. Set remainingElementsCount.[[Value]] to remainingElementsCount.[[Value]] - 1.
  92. // 14. If remainingElementsCount.[[Value]] is 0, then
  93. if (--m_remaining_elements->value == 0) {
  94. // a. Let valuesArray be CreateArrayFromList(values).
  95. auto values_array = Array::create_from(realm, m_values->values());
  96. // b. Return ? Call(promiseCapability.[[Resolve]], undefined, « valuesArray »).
  97. return JS::call(vm, *m_capability->resolve(), js_undefined(), values_array);
  98. }
  99. // 15. Return undefined.
  100. return js_undefined();
  101. }
  102. NonnullGCPtr<PromiseAllSettledRejectElementFunction> PromiseAllSettledRejectElementFunction::create(Realm& realm, size_t index, PromiseValueList& values, NonnullGCPtr<PromiseCapability const> capability, RemainingElements& remaining_elements)
  103. {
  104. return realm.heap().allocate<PromiseAllSettledRejectElementFunction>(realm, index, values, capability, remaining_elements, realm.intrinsics().function_prototype());
  105. }
  106. PromiseAllSettledRejectElementFunction::PromiseAllSettledRejectElementFunction(size_t index, PromiseValueList& values, NonnullGCPtr<PromiseCapability const> capability, RemainingElements& remaining_elements, Object& prototype)
  107. : PromiseResolvingElementFunction(index, values, capability, remaining_elements, prototype)
  108. {
  109. }
  110. ThrowCompletionOr<Value> PromiseAllSettledRejectElementFunction::resolve_element()
  111. {
  112. auto& vm = this->vm();
  113. auto& realm = *vm.current_realm();
  114. // 9. Let obj be OrdinaryObjectCreate(%Object.prototype%).
  115. auto object = Object::create(realm, realm.intrinsics().object_prototype());
  116. // 10. Perform ! CreateDataPropertyOrThrow(obj, "status", "rejected").
  117. MUST(object->create_data_property_or_throw(vm.names.status, PrimitiveString::create(vm, "rejected"_string)));
  118. // 11. Perform ! CreateDataPropertyOrThrow(obj, "reason", x).
  119. MUST(object->create_data_property_or_throw(vm.names.reason, vm.argument(0)));
  120. // 12. Set values[index] to obj.
  121. m_values->values()[m_index] = object;
  122. // 13. Set remainingElementsCount.[[Value]] to remainingElementsCount.[[Value]] - 1.
  123. // 14. If remainingElementsCount.[[Value]] is 0, then
  124. if (--m_remaining_elements->value == 0) {
  125. // a. Let valuesArray be CreateArrayFromList(values).
  126. auto values_array = Array::create_from(realm, m_values->values());
  127. // b. Return ? Call(promiseCapability.[[Resolve]], undefined, « valuesArray »).
  128. return JS::call(vm, *m_capability->resolve(), js_undefined(), values_array);
  129. }
  130. // 15. Return undefined.
  131. return js_undefined();
  132. }
  133. NonnullGCPtr<PromiseAnyRejectElementFunction> PromiseAnyRejectElementFunction::create(Realm& realm, size_t index, PromiseValueList& errors, NonnullGCPtr<PromiseCapability const> capability, RemainingElements& remaining_elements)
  134. {
  135. return realm.heap().allocate<PromiseAnyRejectElementFunction>(realm, index, errors, capability, remaining_elements, realm.intrinsics().function_prototype());
  136. }
  137. PromiseAnyRejectElementFunction::PromiseAnyRejectElementFunction(size_t index, PromiseValueList& errors, NonnullGCPtr<PromiseCapability const> capability, RemainingElements& remaining_elements, Object& prototype)
  138. : PromiseResolvingElementFunction(index, errors, capability, remaining_elements, prototype)
  139. {
  140. }
  141. ThrowCompletionOr<Value> PromiseAnyRejectElementFunction::resolve_element()
  142. {
  143. auto& vm = this->vm();
  144. auto& realm = *vm.current_realm();
  145. // 8. Set errors[index] to x.
  146. m_values->values()[m_index] = vm.argument(0);
  147. // 9. Set remainingElementsCount.[[Value]] to remainingElementsCount.[[Value]] - 1.
  148. // 10. If remainingElementsCount.[[Value]] is 0, then
  149. if (--m_remaining_elements->value == 0) {
  150. // a. Let error be a newly created AggregateError object.
  151. auto error = AggregateError::create(realm);
  152. // b. Perform ! DefinePropertyOrThrow(error, "errors", PropertyDescriptor { [[Configurable]]: true, [[Enumerable]]: false, [[Writable]]: true, [[Value]]: CreateArrayFromList(errors) }).
  153. auto errors_array = Array::create_from(realm, m_values->values());
  154. MUST(error->define_property_or_throw(vm.names.errors, { .value = errors_array, .writable = true, .enumerable = false, .configurable = true }));
  155. // c. Return ? Call(promiseCapability.[[Reject]], undefined, « error »).
  156. return JS::call(vm, *m_capability->reject(), js_undefined(), error);
  157. }
  158. return js_undefined();
  159. }
  160. }