PromiseConstructor.cpp 18 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379
  1. /*
  2. * Copyright (c) 2021, Linus Groh <linusg@serenityos.org>
  3. *
  4. * SPDX-License-Identifier: BSD-2-Clause
  5. */
  6. #include <AK/Function.h>
  7. #include <LibJS/Interpreter.h>
  8. #include <LibJS/Runtime/AbstractOperations.h>
  9. #include <LibJS/Runtime/AggregateError.h>
  10. #include <LibJS/Runtime/Array.h>
  11. #include <LibJS/Runtime/Error.h>
  12. #include <LibJS/Runtime/FunctionObject.h>
  13. #include <LibJS/Runtime/GlobalObject.h>
  14. #include <LibJS/Runtime/IteratorOperations.h>
  15. #include <LibJS/Runtime/Promise.h>
  16. #include <LibJS/Runtime/PromiseConstructor.h>
  17. #include <LibJS/Runtime/PromiseReaction.h>
  18. #include <LibJS/Runtime/PromiseResolvingElementFunctions.h>
  19. #include <LibJS/Runtime/TemporaryClearException.h>
  20. namespace JS {
  21. // 27.2.4.1.1 GetPromiseResolve ( promiseConstructor ), https://tc39.es/ecma262/#sec-getpromiseresolve
  22. static ThrowCompletionOr<Value> get_promise_resolve(GlobalObject& global_object, Value constructor)
  23. {
  24. VERIFY(constructor.is_constructor());
  25. auto& vm = global_object.vm();
  26. auto promise_resolve = TRY(constructor.get(global_object, vm.names.resolve));
  27. if (!promise_resolve.is_function())
  28. return vm.throw_completion<TypeError>(global_object, ErrorType::NotAFunction, promise_resolve.to_string_without_side_effects());
  29. return promise_resolve;
  30. }
  31. // 27.2.1.1.1 IfAbruptRejectPromise ( value, capability ), https://tc39.es/ecma262/#sec-ifabruptrejectpromise
  32. #define TRY_OR_REJECT(vm, capability, expression) \
  33. ({ \
  34. auto _temporary_result = (expression); \
  35. if (_temporary_result.is_error()) { \
  36. vm.clear_exception(); \
  37. vm.stop_unwind(); \
  38. \
  39. (void)vm.call(*capability.reject, js_undefined(), _temporary_result.release_error().value()); \
  40. return capability.promise; \
  41. } \
  42. _temporary_result.release_value(); \
  43. })
  44. static bool iterator_record_is_complete(GlobalObject& global_object, Object& iterator_record)
  45. {
  46. auto& vm = global_object.vm();
  47. // FIXME: Create a native iterator structure with the [[Done]] internal slot. For now, temporarily clear
  48. // the exception so we can access the "done" property on the iterator object.
  49. TemporaryClearException clear_exception(vm);
  50. return MUST(iterator_complete(global_object, iterator_record));
  51. }
  52. static void set_iterator_record_complete(GlobalObject& global_object, Object& iterator_record)
  53. {
  54. auto& vm = global_object.vm();
  55. // FIXME: Create a native iterator structure with the [[Done]] internal slot. For now, temporarily clear
  56. // the exception so we can access the "done" property on the iterator object.
  57. TemporaryClearException clear_exception(vm);
  58. MUST(iterator_record.set(vm.names.done, Value(true), Object::ShouldThrowExceptions::No));
  59. }
  60. using EndOfElementsCallback = Function<ThrowCompletionOr<Value>(PromiseValueList&)>;
  61. using InvokeElementFunctionCallback = Function<ThrowCompletionOr<Value>(PromiseValueList&, RemainingElements&, Value, size_t)>;
  62. static ThrowCompletionOr<Value> perform_promise_common(GlobalObject& global_object, Object& iterator_record, Value constructor, PromiseCapability result_capability, Value promise_resolve, EndOfElementsCallback end_of_list, InvokeElementFunctionCallback invoke_element_function)
  63. {
  64. auto& vm = global_object.vm();
  65. VERIFY(constructor.is_constructor());
  66. VERIFY(promise_resolve.is_function());
  67. auto* values = vm.heap().allocate_without_global_object<PromiseValueList>();
  68. auto* remaining_elements_count = vm.heap().allocate_without_global_object<RemainingElements>(1);
  69. size_t index = 0;
  70. while (true) {
  71. auto next_or_error = iterator_step(global_object, iterator_record);
  72. if (next_or_error.is_throw_completion()) {
  73. set_iterator_record_complete(global_object, iterator_record);
  74. return next_or_error.release_error();
  75. }
  76. auto* next = next_or_error.release_value();
  77. if (!next) {
  78. set_iterator_record_complete(global_object, iterator_record);
  79. if (--remaining_elements_count->value == 0)
  80. return TRY(end_of_list(*values));
  81. return result_capability.promise;
  82. }
  83. auto next_value_or_error = iterator_value(global_object, *next);
  84. if (next_value_or_error.is_throw_completion()) {
  85. set_iterator_record_complete(global_object, iterator_record);
  86. return next_value_or_error.release_error();
  87. }
  88. auto next_value = next_value_or_error.release_value();
  89. values->values().append(js_undefined());
  90. auto next_promise = TRY(vm.call(promise_resolve.as_function(), constructor, next_value));
  91. ++remaining_elements_count->value;
  92. TRY(invoke_element_function(*values, *remaining_elements_count, next_promise, index));
  93. ++index;
  94. }
  95. }
  96. // 27.2.4.1.2 PerformPromiseAll ( iteratorRecord, constructor, resultCapability, promiseResolve ), https://tc39.es/ecma262/#sec-performpromiseall
  97. static ThrowCompletionOr<Value> perform_promise_all(GlobalObject& global_object, Object& iterator_record, Value constructor, PromiseCapability result_capability, Value promise_resolve)
  98. {
  99. auto& vm = global_object.vm();
  100. return perform_promise_common(
  101. global_object, iterator_record, constructor, result_capability, promise_resolve,
  102. [&](PromiseValueList& values) -> ThrowCompletionOr<Value> {
  103. auto values_array = Array::create_from(global_object, values.values());
  104. TRY(vm.call(*result_capability.resolve, js_undefined(), values_array));
  105. return Value(result_capability.promise);
  106. },
  107. [&](PromiseValueList& values, RemainingElements& remaining_elements_count, Value next_promise, size_t index) {
  108. auto* on_fulfilled = PromiseAllResolveElementFunction::create(global_object, index, values, result_capability, remaining_elements_count);
  109. on_fulfilled->define_direct_property(vm.names.name, js_string(vm, String::empty()), Attribute::Configurable);
  110. return next_promise.invoke(global_object, vm.names.then, on_fulfilled, result_capability.reject);
  111. });
  112. }
  113. // 27.2.4.2.1 PerformPromiseAllSettled ( iteratorRecord, constructor, resultCapability, promiseResolve ), https://tc39.es/ecma262/#sec-performpromiseallsettled
  114. static ThrowCompletionOr<Value> perform_promise_all_settled(GlobalObject& global_object, Object& iterator_record, Value constructor, PromiseCapability result_capability, Value promise_resolve)
  115. {
  116. auto& vm = global_object.vm();
  117. return perform_promise_common(
  118. global_object, iterator_record, constructor, result_capability, promise_resolve,
  119. [&](PromiseValueList& values) -> ThrowCompletionOr<Value> {
  120. auto values_array = Array::create_from(global_object, values.values());
  121. TRY(vm.call(*result_capability.resolve, js_undefined(), values_array));
  122. return Value(result_capability.promise);
  123. },
  124. [&](PromiseValueList& values, RemainingElements& remaining_elements_count, Value next_promise, size_t index) {
  125. auto* on_fulfilled = PromiseAllSettledResolveElementFunction::create(global_object, index, values, result_capability, remaining_elements_count);
  126. on_fulfilled->define_direct_property(vm.names.name, js_string(vm, String::empty()), Attribute::Configurable);
  127. auto* on_rejected = PromiseAllSettledRejectElementFunction::create(global_object, index, values, result_capability, remaining_elements_count);
  128. on_rejected->define_direct_property(vm.names.name, js_string(vm, String::empty()), Attribute::Configurable);
  129. return next_promise.invoke(global_object, vm.names.then, on_fulfilled, on_rejected);
  130. });
  131. }
  132. // 27.2.4.3.1 PerformPromiseAny ( iteratorRecord, constructor, resultCapability, promiseResolve ), https://tc39.es/ecma262/#sec-performpromiseany
  133. static ThrowCompletionOr<Value> perform_promise_any(GlobalObject& global_object, Object& iterator_record, Value constructor, PromiseCapability result_capability, Value promise_resolve)
  134. {
  135. auto& vm = global_object.vm();
  136. return perform_promise_common(
  137. global_object, iterator_record, constructor, result_capability, promise_resolve,
  138. [&](PromiseValueList& errors) -> ThrowCompletionOr<Value> {
  139. auto errors_array = Array::create_from(global_object, errors.values());
  140. auto* error = AggregateError::create(global_object);
  141. MUST(error->define_property_or_throw(vm.names.errors, { .value = errors_array, .writable = true, .enumerable = false, .configurable = true }));
  142. vm.throw_exception(global_object, error);
  143. return throw_completion(error);
  144. },
  145. [&](PromiseValueList& errors, RemainingElements& remaining_elements_count, Value next_promise, size_t index) {
  146. auto* on_rejected = PromiseAnyRejectElementFunction::create(global_object, index, errors, result_capability, remaining_elements_count);
  147. on_rejected->define_direct_property(vm.names.name, js_string(vm, String::empty()), Attribute::Configurable);
  148. return next_promise.invoke(global_object, vm.names.then, result_capability.resolve, on_rejected);
  149. });
  150. }
  151. // 27.2.4.5.1 PerformPromiseRace ( iteratorRecord, constructor, resultCapability, promiseResolve ), https://tc39.es/ecma262/#sec-performpromiserace
  152. static ThrowCompletionOr<Value> perform_promise_race(GlobalObject& global_object, Object& iterator_record, Value constructor, PromiseCapability result_capability, Value promise_resolve)
  153. {
  154. auto& vm = global_object.vm();
  155. return perform_promise_common(
  156. global_object, iterator_record, constructor, result_capability, promise_resolve,
  157. [&](PromiseValueList&) -> ThrowCompletionOr<Value> {
  158. return Value(result_capability.promise);
  159. },
  160. [&](PromiseValueList&, RemainingElements&, Value next_promise, size_t) {
  161. return next_promise.invoke(global_object, vm.names.then, result_capability.resolve, result_capability.reject);
  162. });
  163. }
  164. PromiseConstructor::PromiseConstructor(GlobalObject& global_object)
  165. : NativeFunction(vm().names.Promise.as_string(), *global_object.function_prototype())
  166. {
  167. }
  168. void PromiseConstructor::initialize(GlobalObject& global_object)
  169. {
  170. auto& vm = this->vm();
  171. NativeFunction::initialize(global_object);
  172. // 27.2.4.4 Promise.prototype, https://tc39.es/ecma262/#sec-promise.prototype
  173. define_direct_property(vm.names.prototype, global_object.promise_prototype(), 0);
  174. u8 attr = Attribute::Writable | Attribute::Configurable;
  175. define_old_native_function(vm.names.all, all, 1, attr);
  176. define_old_native_function(vm.names.allSettled, all_settled, 1, attr);
  177. define_old_native_function(vm.names.any, any, 1, attr);
  178. define_old_native_function(vm.names.race, race, 1, attr);
  179. define_old_native_function(vm.names.reject, reject, 1, attr);
  180. define_old_native_function(vm.names.resolve, resolve, 1, attr);
  181. define_old_native_accessor(*vm.well_known_symbol_species(), symbol_species_getter, {}, Attribute::Configurable);
  182. define_direct_property(vm.names.length, Value(1), Attribute::Configurable);
  183. }
  184. // 27.2.3.1 Promise ( executor ), https://tc39.es/ecma262/#sec-promise-executor
  185. ThrowCompletionOr<Value> PromiseConstructor::call()
  186. {
  187. auto& vm = this->vm();
  188. return vm.throw_completion<TypeError>(global_object(), ErrorType::ConstructorWithoutNew, vm.names.Promise);
  189. }
  190. // 27.2.3.1 Promise ( executor ), https://tc39.es/ecma262/#sec-promise-executor
  191. ThrowCompletionOr<Object*> PromiseConstructor::construct(FunctionObject& new_target)
  192. {
  193. auto& vm = this->vm();
  194. auto& global_object = this->global_object();
  195. auto executor = vm.argument(0);
  196. if (!executor.is_function())
  197. return vm.throw_completion<TypeError>(global_object, ErrorType::PromiseExecutorNotAFunction);
  198. auto* promise = TRY(ordinary_create_from_constructor<Promise>(global_object, new_target, &GlobalObject::promise_prototype));
  199. auto [resolve_function, reject_function] = promise->create_resolving_functions();
  200. (void)vm.call(executor.as_function(), js_undefined(), &resolve_function, &reject_function);
  201. if (auto* exception = vm.exception()) {
  202. vm.clear_exception();
  203. vm.stop_unwind();
  204. TRY(vm.call(reject_function, js_undefined(), exception->value()));
  205. }
  206. return promise;
  207. }
  208. // 27.2.4.1 Promise.all ( iterable ), https://tc39.es/ecma262/#sec-promise.all
  209. JS_DEFINE_OLD_NATIVE_FUNCTION(PromiseConstructor::all)
  210. {
  211. auto* constructor = TRY_OR_DISCARD(vm.this_value(global_object).to_object(global_object));
  212. auto promise_capability = new_promise_capability(global_object, constructor);
  213. if (vm.exception())
  214. return {};
  215. auto promise_resolve = TRY_OR_REJECT(vm, promise_capability, get_promise_resolve(global_object, constructor));
  216. auto* iterator_record = TRY_OR_REJECT(vm, promise_capability, get_iterator(global_object, vm.argument(0)));
  217. auto result = perform_promise_all(global_object, *iterator_record, constructor, promise_capability, promise_resolve);
  218. if (result.is_error()) {
  219. if (!iterator_record_is_complete(global_object, *iterator_record))
  220. result = iterator_close(*iterator_record, result.release_error());
  221. TRY_OR_REJECT(vm, promise_capability, result);
  222. }
  223. return result.release_value();
  224. }
  225. // 27.2.4.2 Promise.allSettled ( iterable ), https://tc39.es/ecma262/#sec-promise.allsettled
  226. JS_DEFINE_OLD_NATIVE_FUNCTION(PromiseConstructor::all_settled)
  227. {
  228. auto* constructor = TRY_OR_DISCARD(vm.this_value(global_object).to_object(global_object));
  229. auto promise_capability = new_promise_capability(global_object, constructor);
  230. if (vm.exception())
  231. return {};
  232. auto promise_resolve = TRY_OR_REJECT(vm, promise_capability, get_promise_resolve(global_object, constructor));
  233. auto* iterator_record = TRY_OR_REJECT(vm, promise_capability, get_iterator(global_object, vm.argument(0)));
  234. auto result = perform_promise_all_settled(global_object, *iterator_record, constructor, promise_capability, promise_resolve);
  235. if (result.is_error()) {
  236. if (!iterator_record_is_complete(global_object, *iterator_record))
  237. result = iterator_close(*iterator_record, result.release_error());
  238. TRY_OR_REJECT(vm, promise_capability, result);
  239. }
  240. return result.release_value();
  241. }
  242. // 27.2.4.3 Promise.any ( iterable ), https://tc39.es/ecma262/#sec-promise.any
  243. JS_DEFINE_OLD_NATIVE_FUNCTION(PromiseConstructor::any)
  244. {
  245. auto* constructor = TRY_OR_DISCARD(vm.this_value(global_object).to_object(global_object));
  246. auto promise_capability = new_promise_capability(global_object, constructor);
  247. if (vm.exception())
  248. return {};
  249. auto promise_resolve = TRY_OR_REJECT(vm, promise_capability, get_promise_resolve(global_object, constructor));
  250. auto* iterator_record = TRY_OR_REJECT(vm, promise_capability, get_iterator(global_object, vm.argument(0)));
  251. auto result = perform_promise_any(global_object, *iterator_record, constructor, promise_capability, promise_resolve);
  252. if (result.is_error()) {
  253. if (!iterator_record_is_complete(global_object, *iterator_record))
  254. result = iterator_close(*iterator_record, result.release_error());
  255. TRY_OR_REJECT(vm, promise_capability, result);
  256. }
  257. return result.release_value();
  258. }
  259. // 27.2.4.5 Promise.race ( iterable ), https://tc39.es/ecma262/#sec-promise.race
  260. JS_DEFINE_OLD_NATIVE_FUNCTION(PromiseConstructor::race)
  261. {
  262. auto* constructor = TRY_OR_DISCARD(vm.this_value(global_object).to_object(global_object));
  263. auto promise_capability = new_promise_capability(global_object, constructor);
  264. if (vm.exception())
  265. return {};
  266. auto promise_resolve = TRY_OR_REJECT(vm, promise_capability, get_promise_resolve(global_object, constructor));
  267. auto* iterator_record = TRY_OR_REJECT(vm, promise_capability, get_iterator(global_object, vm.argument(0)));
  268. auto result = perform_promise_race(global_object, *iterator_record, constructor, promise_capability, promise_resolve);
  269. if (result.is_error()) {
  270. if (!iterator_record_is_complete(global_object, *iterator_record))
  271. result = iterator_close(*iterator_record, result.release_error());
  272. TRY_OR_REJECT(vm, promise_capability, result);
  273. }
  274. return result.release_value();
  275. }
  276. // 27.2.4.6 Promise.reject ( r ), https://tc39.es/ecma262/#sec-promise.reject
  277. JS_DEFINE_OLD_NATIVE_FUNCTION(PromiseConstructor::reject)
  278. {
  279. auto* constructor = TRY_OR_DISCARD(vm.this_value(global_object).to_object(global_object));
  280. auto promise_capability = new_promise_capability(global_object, constructor);
  281. if (vm.exception())
  282. return {};
  283. auto reason = vm.argument(0);
  284. [[maybe_unused]] auto result = TRY_OR_DISCARD(vm.call(*promise_capability.reject, js_undefined(), reason));
  285. return promise_capability.promise;
  286. }
  287. // 27.2.4.7 Promise.resolve ( x ), https://tc39.es/ecma262/#sec-promise.resolve
  288. JS_DEFINE_OLD_NATIVE_FUNCTION(PromiseConstructor::resolve)
  289. {
  290. auto* constructor = TRY_OR_DISCARD(vm.this_value(global_object).to_object(global_object));
  291. auto value = vm.argument(0);
  292. return promise_resolve(global_object, *constructor, value);
  293. }
  294. // 27.2.4.8 get Promise [ @@species ], https://tc39.es/ecma262/#sec-get-promise-@@species
  295. JS_DEFINE_OLD_NATIVE_FUNCTION(PromiseConstructor::symbol_species_getter)
  296. {
  297. return vm.this_value(global_object);
  298. }
  299. }