PromiseResolvingElementFunctions.cpp 8.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211
  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/PromiseReaction.h>
  11. #include <LibJS/Runtime/PromiseResolvingElementFunctions.h>
  12. namespace JS {
  13. void PromiseValueList::visit_edges(Visitor& visitor)
  14. {
  15. Cell::visit_edges(visitor);
  16. for (auto& val : m_values)
  17. visitor.visit(val);
  18. }
  19. PromiseResolvingElementFunction::PromiseResolvingElementFunction(size_t index, PromiseValueList& values, PromiseCapability capability, RemainingElements& remaining_elements, Object& prototype)
  20. : NativeFunction(prototype)
  21. , m_index(index)
  22. , m_values(values)
  23. , m_capability(move(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.promise);
  44. visitor.visit(m_capability.resolve);
  45. visitor.visit(m_capability.reject);
  46. visitor.visit(&m_remaining_elements);
  47. }
  48. PromiseAllResolveElementFunction* PromiseAllResolveElementFunction::create(Realm& realm, size_t index, PromiseValueList& values, PromiseCapability capability, RemainingElements& remaining_elements)
  49. {
  50. return realm.heap().allocate<PromiseAllResolveElementFunction>(realm.global_object(), index, values, capability, remaining_elements, *realm.global_object().function_prototype());
  51. }
  52. PromiseAllResolveElementFunction::PromiseAllResolveElementFunction(size_t index, PromiseValueList& values, PromiseCapability capability, RemainingElements& remaining_elements, Object& prototype)
  53. : PromiseResolvingElementFunction(index, values, move(capability), remaining_elements, prototype)
  54. {
  55. }
  56. ThrowCompletionOr<Value> PromiseAllResolveElementFunction::resolve_element()
  57. {
  58. auto& vm = this->vm();
  59. auto& global_object = this->global_object();
  60. auto& realm = *global_object.associated_realm();
  61. // 8. Set values[index] to x.
  62. m_values.values()[m_index] = vm.argument(0);
  63. // 9. Set remainingElementsCount.[[Value]] to remainingElementsCount.[[Value]] - 1.
  64. // 10. If remainingElementsCount.[[Value]] is 0, then
  65. if (--m_remaining_elements.value == 0) {
  66. // a. Let valuesArray be CreateArrayFromList(values).
  67. auto* values_array = Array::create_from(realm, m_values.values());
  68. // b. Return ? Call(promiseCapability.[[Resolve]], undefined, « valuesArray »).
  69. return JS::call(global_object, *m_capability.resolve, js_undefined(), values_array);
  70. }
  71. // 11. Return undefined.
  72. return js_undefined();
  73. }
  74. PromiseAllSettledResolveElementFunction* PromiseAllSettledResolveElementFunction::create(Realm& realm, size_t index, PromiseValueList& values, PromiseCapability capability, RemainingElements& remaining_elements)
  75. {
  76. return realm.heap().allocate<PromiseAllSettledResolveElementFunction>(realm.global_object(), index, values, capability, remaining_elements, *realm.global_object().function_prototype());
  77. }
  78. PromiseAllSettledResolveElementFunction::PromiseAllSettledResolveElementFunction(size_t index, PromiseValueList& values, PromiseCapability capability, RemainingElements& remaining_elements, Object& prototype)
  79. : PromiseResolvingElementFunction(index, values, move(capability), remaining_elements, prototype)
  80. {
  81. }
  82. ThrowCompletionOr<Value> PromiseAllSettledResolveElementFunction::resolve_element()
  83. {
  84. auto& vm = this->vm();
  85. auto& global_object = this->global_object();
  86. auto& realm = *global_object.associated_realm();
  87. // 9. Let obj be OrdinaryObjectCreate(%Object.prototype%).
  88. auto* object = Object::create(realm, global_object.object_prototype());
  89. // 10. Perform ! CreateDataPropertyOrThrow(obj, "status", "fulfilled").
  90. MUST(object->create_data_property_or_throw(vm.names.status, js_string(vm, "fulfilled"sv)));
  91. // 11. Perform ! CreateDataPropertyOrThrow(obj, "value", x).
  92. MUST(object->create_data_property_or_throw(vm.names.value, vm.argument(0)));
  93. // 12. Set values[index] to obj.
  94. m_values.values()[m_index] = object;
  95. // 13. Set remainingElementsCount.[[Value]] to remainingElementsCount.[[Value]] - 1.
  96. // 14. If remainingElementsCount.[[Value]] is 0, then
  97. if (--m_remaining_elements.value == 0) {
  98. // a. Let valuesArray be CreateArrayFromList(values).
  99. auto* values_array = Array::create_from(realm, m_values.values());
  100. // b. Return ? Call(promiseCapability.[[Resolve]], undefined, « valuesArray »).
  101. return JS::call(global_object, *m_capability.resolve, js_undefined(), values_array);
  102. }
  103. // 15. Return undefined.
  104. return js_undefined();
  105. }
  106. PromiseAllSettledRejectElementFunction* PromiseAllSettledRejectElementFunction::create(Realm& realm, size_t index, PromiseValueList& values, PromiseCapability capability, RemainingElements& remaining_elements)
  107. {
  108. return realm.heap().allocate<PromiseAllSettledRejectElementFunction>(realm.global_object(), index, values, capability, remaining_elements, *realm.global_object().function_prototype());
  109. }
  110. PromiseAllSettledRejectElementFunction::PromiseAllSettledRejectElementFunction(size_t index, PromiseValueList& values, PromiseCapability capability, RemainingElements& remaining_elements, Object& prototype)
  111. : PromiseResolvingElementFunction(index, values, move(capability), remaining_elements, prototype)
  112. {
  113. }
  114. ThrowCompletionOr<Value> PromiseAllSettledRejectElementFunction::resolve_element()
  115. {
  116. auto& vm = this->vm();
  117. auto& global_object = this->global_object();
  118. auto& realm = *global_object.associated_realm();
  119. // 9. Let obj be OrdinaryObjectCreate(%Object.prototype%).
  120. auto* object = Object::create(realm, global_object.object_prototype());
  121. // 10. Perform ! CreateDataPropertyOrThrow(obj, "status", "rejected").
  122. MUST(object->create_data_property_or_throw(vm.names.status, js_string(vm, "rejected"sv)));
  123. // 11. Perform ! CreateDataPropertyOrThrow(obj, "reason", x).
  124. MUST(object->create_data_property_or_throw(vm.names.reason, vm.argument(0)));
  125. // 12. Set values[index] to obj.
  126. m_values.values()[m_index] = object;
  127. // 13. Set remainingElementsCount.[[Value]] to remainingElementsCount.[[Value]] - 1.
  128. // 14. If remainingElementsCount.[[Value]] is 0, then
  129. if (--m_remaining_elements.value == 0) {
  130. // a. Let valuesArray be CreateArrayFromList(values).
  131. auto* values_array = Array::create_from(realm, m_values.values());
  132. // b. Return ? Call(promiseCapability.[[Resolve]], undefined, « valuesArray »).
  133. return JS::call(global_object, *m_capability.resolve, js_undefined(), values_array);
  134. }
  135. // 15. Return undefined.
  136. return js_undefined();
  137. }
  138. PromiseAnyRejectElementFunction* PromiseAnyRejectElementFunction::create(Realm& realm, size_t index, PromiseValueList& errors, PromiseCapability capability, RemainingElements& remaining_elements)
  139. {
  140. return realm.heap().allocate<PromiseAnyRejectElementFunction>(realm.global_object(), index, errors, capability, remaining_elements, *realm.global_object().function_prototype());
  141. }
  142. PromiseAnyRejectElementFunction::PromiseAnyRejectElementFunction(size_t index, PromiseValueList& errors, PromiseCapability capability, RemainingElements& remaining_elements, Object& prototype)
  143. : PromiseResolvingElementFunction(index, errors, move(capability), remaining_elements, prototype)
  144. {
  145. }
  146. ThrowCompletionOr<Value> PromiseAnyRejectElementFunction::resolve_element()
  147. {
  148. auto& vm = this->vm();
  149. auto& global_object = this->global_object();
  150. auto& realm = *global_object.associated_realm();
  151. // 8. Set errors[index] to x.
  152. m_values.values()[m_index] = vm.argument(0);
  153. // 9. Set remainingElementsCount.[[Value]] to remainingElementsCount.[[Value]] - 1.
  154. // 10. If remainingElementsCount.[[Value]] is 0, then
  155. if (--m_remaining_elements.value == 0) {
  156. // a. Let error be a newly created AggregateError object.
  157. auto* error = AggregateError::create(realm);
  158. // b. Perform ! DefinePropertyOrThrow(error, "errors", PropertyDescriptor { [[Configurable]]: true, [[Enumerable]]: false, [[Writable]]: true, [[Value]]: CreateArrayFromList(errors) }).
  159. auto* errors_array = Array::create_from(realm, m_values.values());
  160. MUST(error->define_property_or_throw(vm.names.errors, { .value = errors_array, .writable = true, .enumerable = false, .configurable = true }));
  161. // c. Return ? Call(promiseCapability.[[Reject]], undefined, « error »).
  162. return JS::call(global_object, *m_capability.reject, js_undefined(), error);
  163. }
  164. return js_undefined();
  165. }
  166. }