PromiseConstructor.cpp 25 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497
  1. /*
  2. * Copyright (c) 2021-2022, 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. namespace JS {
  20. // 27.2.4.1.1 GetPromiseResolve ( promiseConstructor ), https://tc39.es/ecma262/#sec-getpromiseresolve
  21. static ThrowCompletionOr<Value> get_promise_resolve(GlobalObject& global_object, Value constructor)
  22. {
  23. VERIFY(constructor.is_constructor());
  24. auto& vm = global_object.vm();
  25. // 1. Let promiseResolve be ? Get(promiseConstructor, "resolve").
  26. auto promise_resolve = TRY(constructor.get(vm, vm.names.resolve));
  27. // 2. If IsCallable(promiseResolve) is false, throw a TypeError exception.
  28. if (!promise_resolve.is_function())
  29. return vm.throw_completion<TypeError>(ErrorType::NotAFunction, promise_resolve.to_string_without_side_effects());
  30. // 3. Return promiseResolve.
  31. return promise_resolve;
  32. }
  33. using EndOfElementsCallback = Function<ThrowCompletionOr<Value>(PromiseValueList&)>;
  34. using InvokeElementFunctionCallback = Function<ThrowCompletionOr<Value>(PromiseValueList&, RemainingElements&, Value, size_t)>;
  35. static ThrowCompletionOr<Value> perform_promise_common(GlobalObject& global_object, Iterator& iterator_record, Value constructor, PromiseCapability result_capability, Value promise_resolve, EndOfElementsCallback end_of_list, InvokeElementFunctionCallback invoke_element_function)
  36. {
  37. auto& vm = global_object.vm();
  38. VERIFY(constructor.is_constructor());
  39. VERIFY(promise_resolve.is_function());
  40. // 1. Let values be a new empty List.
  41. auto* values = vm.heap().allocate_without_realm<PromiseValueList>();
  42. // 2. Let remainingElementsCount be the Record { [[Value]]: 1 }.
  43. auto* remaining_elements_count = vm.heap().allocate_without_realm<RemainingElements>(1);
  44. // 3. Let index be 0.
  45. size_t index = 0;
  46. // 4. Repeat,
  47. while (true) {
  48. // a. Let next be Completion(IteratorStep(iteratorRecord)).
  49. auto next_or_error = iterator_step(vm, iterator_record);
  50. // b. If next is an abrupt completion, set iteratorRecord.[[Done]] to true.
  51. // c. ReturnIfAbrupt(next).
  52. if (next_or_error.is_throw_completion()) {
  53. iterator_record.done = true;
  54. return next_or_error.release_error();
  55. }
  56. auto* next = next_or_error.release_value();
  57. // d. If next is false, then
  58. if (!next) {
  59. // i. Set iteratorRecord.[[Done]] to true.
  60. iterator_record.done = true;
  61. // ii. Set remainingElementsCount.[[Value]] to remainingElementsCount.[[Value]] - 1.
  62. // iii. If remainingElementsCount.[[Value]] is 0, then
  63. if (--remaining_elements_count->value == 0) {
  64. // 1-2/3. are handled in `end_of_list`
  65. return TRY(end_of_list(*values));
  66. }
  67. // iv. Return resultCapability.[[Promise]].
  68. return result_capability.promise;
  69. }
  70. // e. Let nextValue be Completion(IteratorValue(next)).
  71. auto next_value_or_error = iterator_value(vm, *next);
  72. // f. If nextValue is an abrupt completion, set iteratorRecord.[[Done]] to true.
  73. // g. ReturnIfAbrupt(nextValue).
  74. if (next_value_or_error.is_throw_completion()) {
  75. iterator_record.done = true;
  76. return next_value_or_error.release_error();
  77. }
  78. auto next_value = next_value_or_error.release_value();
  79. // h. Append undefined to values.
  80. values->values().append(js_undefined());
  81. // i. Let nextPromise be ? Call(promiseResolve, constructor, « nextValue »).
  82. auto next_promise = TRY(call(global_object, promise_resolve.as_function(), constructor, next_value));
  83. // j-q. are handled in `invoke_element_function`
  84. // r. Set remainingElementsCount.[[Value]] to remainingElementsCount.[[Value]] + 1.
  85. ++remaining_elements_count->value;
  86. // s. Perform ? Invoke(nextPromise, "then", « ... »).
  87. TRY(invoke_element_function(*values, *remaining_elements_count, next_promise, index));
  88. // t. Set index to index + 1.
  89. ++index;
  90. }
  91. }
  92. // 27.2.4.1.2 PerformPromiseAll ( iteratorRecord, constructor, resultCapability, promiseResolve ), https://tc39.es/ecma262/#sec-performpromiseall
  93. static ThrowCompletionOr<Value> perform_promise_all(GlobalObject& global_object, Iterator& iterator_record, Value constructor, PromiseCapability result_capability, Value promise_resolve)
  94. {
  95. auto& vm = global_object.vm();
  96. auto& realm = *global_object.associated_realm();
  97. return perform_promise_common(
  98. global_object, iterator_record, constructor, result_capability, promise_resolve,
  99. [&](PromiseValueList& values) -> ThrowCompletionOr<Value> {
  100. // 1. Let valuesArray be CreateArrayFromList(values).
  101. auto* values_array = Array::create_from(realm, values.values());
  102. // 2. Perform ? Call(resultCapability.[[Resolve]], undefined, « valuesArray »).
  103. TRY(call(global_object, *result_capability.resolve, js_undefined(), values_array));
  104. // iv. Return resultCapability.[[Promise]].
  105. return Value(result_capability.promise);
  106. },
  107. [&](PromiseValueList& values, RemainingElements& remaining_elements_count, Value next_promise, size_t index) {
  108. // j. Let steps be the algorithm steps defined in Promise.all Resolve Element Functions.
  109. // k. Let length be the number of non-optional parameters of the function definition in Promise.all Resolve Element Functions.
  110. // l. Let onFulfilled be CreateBuiltinFunction(steps, length, "", « [[AlreadyCalled]], [[Index]], [[Values]], [[Capability]], [[RemainingElements]] »).
  111. // m. Set onFulfilled.[[AlreadyCalled]] to false.
  112. // n. Set onFulfilled.[[Index]] to index.
  113. // o. Set onFulfilled.[[Values]] to values.
  114. // p. Set onFulfilled.[[Capability]] to resultCapability.
  115. // q. Set onFulfilled.[[RemainingElements]] to remainingElementsCount.
  116. auto* on_fulfilled = PromiseAllResolveElementFunction::create(realm, index, values, result_capability, remaining_elements_count);
  117. on_fulfilled->define_direct_property(vm.names.name, js_string(vm, String::empty()), Attribute::Configurable);
  118. // s. Perform ? Invoke(nextPromise, "then", « onFulfilled, resultCapability.[[Reject]] »).
  119. return next_promise.invoke(vm, vm.names.then, on_fulfilled, result_capability.reject);
  120. });
  121. }
  122. // 27.2.4.2.1 PerformPromiseAllSettled ( iteratorRecord, constructor, resultCapability, promiseResolve ), https://tc39.es/ecma262/#sec-performpromiseallsettled
  123. static ThrowCompletionOr<Value> perform_promise_all_settled(GlobalObject& global_object, Iterator& iterator_record, Value constructor, PromiseCapability result_capability, Value promise_resolve)
  124. {
  125. auto& vm = global_object.vm();
  126. auto& realm = *global_object.associated_realm();
  127. return perform_promise_common(
  128. global_object, iterator_record, constructor, result_capability, promise_resolve,
  129. [&](PromiseValueList& values) -> ThrowCompletionOr<Value> {
  130. auto* values_array = Array::create_from(realm, values.values());
  131. TRY(call(global_object, *result_capability.resolve, js_undefined(), values_array));
  132. return Value(result_capability.promise);
  133. },
  134. [&](PromiseValueList& values, RemainingElements& remaining_elements_count, Value next_promise, size_t index) {
  135. // j. Let stepsFulfilled be the algorithm steps defined in Promise.allSettled Resolve Element Functions.
  136. // k. Let lengthFulfilled be the number of non-optional parameters of the function definition in Promise.allSettled Resolve Element Functions.
  137. // l. Let onFulfilled be CreateBuiltinFunction(stepsFulfilled, lengthFulfilled, "", « [[AlreadyCalled]], [[Index]], [[Values]], [[Capability]], [[RemainingElements]] »).
  138. // m. Let alreadyCalled be the Record { [[Value]]: false }.
  139. // n. Set onFulfilled.[[AlreadyCalled]] to alreadyCalled.
  140. // o. Set onFulfilled.[[Index]] to index.
  141. // p. Set onFulfilled.[[Values]] to values.
  142. // q. Set onFulfilled.[[Capability]] to resultCapability.
  143. // r. Set onFulfilled.[[RemainingElements]] to remainingElementsCount.
  144. auto* on_fulfilled = PromiseAllSettledResolveElementFunction::create(realm, index, values, result_capability, remaining_elements_count);
  145. on_fulfilled->define_direct_property(vm.names.name, js_string(vm, String::empty()), Attribute::Configurable);
  146. // s. Let stepsRejected be the algorithm steps defined in Promise.allSettled Reject Element Functions.
  147. // t. Let lengthRejected be the number of non-optional parameters of the function definition in Promise.allSettled Reject Element Functions.
  148. // u. Let onRejected be CreateBuiltinFunction(stepsRejected, lengthRejected, "", « [[AlreadyCalled]], [[Index]], [[Values]], [[Capability]], [[RemainingElements]] »).
  149. // v. Set onRejected.[[AlreadyCalled]] to alreadyCalled.
  150. // w. Set onRejected.[[Index]] to index.
  151. // x. Set onRejected.[[Values]] to values.
  152. // y. Set onRejected.[[Capability]] to resultCapability.
  153. // z. Set onRejected.[[RemainingElements]] to remainingElementsCount.
  154. auto* on_rejected = PromiseAllSettledRejectElementFunction::create(realm, index, values, result_capability, remaining_elements_count);
  155. on_rejected->define_direct_property(vm.names.name, js_string(vm, String::empty()), Attribute::Configurable);
  156. // ab. Perform ? Invoke(nextPromise, "then", « onFulfilled, onRejected »).
  157. return next_promise.invoke(vm, vm.names.then, on_fulfilled, on_rejected);
  158. });
  159. }
  160. // 27.2.4.3.1 PerformPromiseAny ( iteratorRecord, constructor, resultCapability, promiseResolve ), https://tc39.es/ecma262/#sec-performpromiseany
  161. static ThrowCompletionOr<Value> perform_promise_any(GlobalObject& global_object, Iterator& iterator_record, Value constructor, PromiseCapability result_capability, Value promise_resolve)
  162. {
  163. auto& vm = global_object.vm();
  164. auto& realm = *global_object.associated_realm();
  165. return perform_promise_common(
  166. global_object, iterator_record, constructor, result_capability, promise_resolve,
  167. [&](PromiseValueList& errors) -> ThrowCompletionOr<Value> {
  168. // 1. Let error be a newly created AggregateError object.
  169. auto* error = AggregateError::create(realm);
  170. // 2. Perform ! DefinePropertyOrThrow(error, "errors", PropertyDescriptor { [[Configurable]]: true, [[Enumerable]]: false, [[Writable]]: true, [[Value]]: CreateArrayFromList(errors) }).
  171. auto* errors_array = Array::create_from(realm, errors.values());
  172. MUST(error->define_property_or_throw(vm.names.errors, { .value = errors_array, .writable = true, .enumerable = false, .configurable = true }));
  173. // 3. Return ThrowCompletion(error).
  174. return throw_completion(error);
  175. },
  176. [&](PromiseValueList& errors, RemainingElements& remaining_elements_count, Value next_promise, size_t index) {
  177. // j. Let stepsRejected be the algorithm steps defined in Promise.any Reject Element Functions.
  178. // k. Let lengthRejected be the number of non-optional parameters of the function definition in Promise.any Reject Element Functions.
  179. // l. Let onRejected be CreateBuiltinFunction(stepsRejected, lengthRejected, "", « [[AlreadyCalled]], [[Index]], [[Errors]], [[Capability]], [[RemainingElements]] »).
  180. // m. Set onRejected.[[AlreadyCalled]] to false.
  181. // n. Set onRejected.[[Index]] to index.
  182. // o. Set onRejected.[[Errors]] to errors.
  183. // p. Set onRejected.[[Capability]] to resultCapability.
  184. // q. Set onRejected.[[RemainingElements]] to remainingElementsCount.
  185. auto* on_rejected = PromiseAnyRejectElementFunction::create(realm, index, errors, result_capability, remaining_elements_count);
  186. on_rejected->define_direct_property(vm.names.name, js_string(vm, String::empty()), Attribute::Configurable);
  187. // s. Perform ? Invoke(nextPromise, "then", « resultCapability.[[Resolve]], onRejected »).
  188. return next_promise.invoke(vm, vm.names.then, result_capability.resolve, on_rejected);
  189. });
  190. }
  191. // 27.2.4.5.1 PerformPromiseRace ( iteratorRecord, constructor, resultCapability, promiseResolve ), https://tc39.es/ecma262/#sec-performpromiserace
  192. static ThrowCompletionOr<Value> perform_promise_race(GlobalObject& global_object, Iterator& iterator_record, Value constructor, PromiseCapability result_capability, Value promise_resolve)
  193. {
  194. auto& vm = global_object.vm();
  195. return perform_promise_common(
  196. global_object, iterator_record, constructor, result_capability, promise_resolve,
  197. [&](PromiseValueList&) -> ThrowCompletionOr<Value> {
  198. // ii. Return resultCapability.[[Promise]].
  199. return Value(result_capability.promise);
  200. },
  201. [&](PromiseValueList&, RemainingElements&, Value next_promise, size_t) {
  202. // i. Perform ? Invoke(nextPromise, "then", « resultCapability.[[Resolve]], resultCapability.[[Reject]] »).
  203. return next_promise.invoke(vm, vm.names.then, result_capability.resolve, result_capability.reject);
  204. });
  205. }
  206. PromiseConstructor::PromiseConstructor(Realm& realm)
  207. : NativeFunction(vm().names.Promise.as_string(), *realm.global_object().function_prototype())
  208. {
  209. }
  210. void PromiseConstructor::initialize(Realm& realm)
  211. {
  212. auto& vm = this->vm();
  213. NativeFunction::initialize(realm);
  214. // 27.2.4.4 Promise.prototype, https://tc39.es/ecma262/#sec-promise.prototype
  215. define_direct_property(vm.names.prototype, realm.global_object().promise_prototype(), 0);
  216. u8 attr = Attribute::Writable | Attribute::Configurable;
  217. define_native_function(vm.names.all, all, 1, attr);
  218. define_native_function(vm.names.allSettled, all_settled, 1, attr);
  219. define_native_function(vm.names.any, any, 1, attr);
  220. define_native_function(vm.names.race, race, 1, attr);
  221. define_native_function(vm.names.reject, reject, 1, attr);
  222. define_native_function(vm.names.resolve, resolve, 1, attr);
  223. define_native_accessor(*vm.well_known_symbol_species(), symbol_species_getter, {}, Attribute::Configurable);
  224. define_direct_property(vm.names.length, Value(1), Attribute::Configurable);
  225. }
  226. // 27.2.3.1 Promise ( executor ), https://tc39.es/ecma262/#sec-promise-executor
  227. ThrowCompletionOr<Value> PromiseConstructor::call()
  228. {
  229. auto& vm = this->vm();
  230. // 1. If NewTarget is undefined, throw a TypeError exception.
  231. return vm.throw_completion<TypeError>(ErrorType::ConstructorWithoutNew, vm.names.Promise);
  232. }
  233. // 27.2.3.1 Promise ( executor ), https://tc39.es/ecma262/#sec-promise-executor
  234. ThrowCompletionOr<Object*> PromiseConstructor::construct(FunctionObject& new_target)
  235. {
  236. auto& vm = this->vm();
  237. auto& global_object = this->global_object();
  238. auto executor = vm.argument(0);
  239. // 2. If IsCallable(executor) is false, throw a TypeError exception.
  240. if (!executor.is_function())
  241. return vm.throw_completion<TypeError>(ErrorType::PromiseExecutorNotAFunction);
  242. // 3. Let promise be ? OrdinaryCreateFromConstructor(NewTarget, "%Promise.prototype%", « [[PromiseState]], [[PromiseResult]], [[PromiseFulfillReactions]], [[PromiseRejectReactions]], [[PromiseIsHandled]] »).
  243. // 4. Set promise.[[PromiseState]] to pending.
  244. // 5. Set promise.[[PromiseFulfillReactions]] to a new empty List.
  245. // 6. Set promise.[[PromiseRejectReactions]] to a new empty List.
  246. // 7. Set promise.[[PromiseIsHandled]] to false.
  247. auto* promise = TRY(ordinary_create_from_constructor<Promise>(global_object, new_target, &GlobalObject::promise_prototype));
  248. // 8. Let resolvingFunctions be CreateResolvingFunctions(promise).
  249. auto [resolve_function, reject_function] = promise->create_resolving_functions();
  250. // 9. Let completion be Completion(Call(executor, undefined, « resolvingFunctions.[[Resolve]], resolvingFunctions.[[Reject]] »)).
  251. auto completion = JS::call(global_object, executor.as_function(), js_undefined(), &resolve_function, &reject_function);
  252. // 10. If completion is an abrupt completion, then
  253. if (completion.is_error()) {
  254. // a. Perform ? Call(resolvingFunctions.[[Reject]], undefined, « completion.[[Value]] »).
  255. TRY(JS::call(global_object, reject_function, js_undefined(), *completion.release_error().value()));
  256. }
  257. // 11. Return promise.
  258. return promise;
  259. }
  260. // 27.2.4.1 Promise.all ( iterable ), https://tc39.es/ecma262/#sec-promise.all
  261. JS_DEFINE_NATIVE_FUNCTION(PromiseConstructor::all)
  262. {
  263. // 1. Let C be the this value.
  264. auto* constructor = TRY(vm.this_value().to_object(vm));
  265. // 2. Let promiseCapability be ? NewPromiseCapability(C).
  266. auto promise_capability = TRY(new_promise_capability(global_object, constructor));
  267. // 3. Let promiseResolve be Completion(GetPromiseResolve(C)).
  268. // 4. IfAbruptRejectPromise(promiseResolve, promiseCapability).
  269. auto promise_resolve = TRY_OR_REJECT(global_object, promise_capability, get_promise_resolve(global_object, constructor));
  270. // 5. Let iteratorRecord be Completion(GetIterator(iterable)).
  271. // 6. IfAbruptRejectPromise(iteratorRecord, promiseCapability).
  272. auto iterator_record = TRY_OR_REJECT(global_object, promise_capability, get_iterator(vm, vm.argument(0)));
  273. // 7. Let result be Completion(PerformPromiseAll(iteratorRecord, C, promiseCapability, promiseResolve)).
  274. auto result = perform_promise_all(global_object, iterator_record, constructor, promise_capability, promise_resolve);
  275. // 8. If result is an abrupt completion, then
  276. if (result.is_error()) {
  277. // a. If iteratorRecord.[[Done]] is false, set result to Completion(IteratorClose(iteratorRecord, result)).
  278. if (!iterator_record.done)
  279. result = iterator_close(vm, iterator_record, result.release_error());
  280. // b. IfAbruptRejectPromise(result, promiseCapability).
  281. TRY_OR_REJECT(global_object, promise_capability, result);
  282. }
  283. // 9. Return ? result.
  284. return result;
  285. }
  286. // 27.2.4.2 Promise.allSettled ( iterable ), https://tc39.es/ecma262/#sec-promise.allsettled
  287. JS_DEFINE_NATIVE_FUNCTION(PromiseConstructor::all_settled)
  288. {
  289. // 1. Let C be the this value.
  290. auto* constructor = TRY(vm.this_value().to_object(vm));
  291. // 2. Let promiseCapability be ? NewPromiseCapability(C).
  292. auto promise_capability = TRY(new_promise_capability(global_object, constructor));
  293. // 3. Let promiseResolve be Completion(GetPromiseResolve(C)).
  294. // 4. IfAbruptRejectPromise(promiseResolve, promiseCapability).
  295. auto promise_resolve = TRY_OR_REJECT(global_object, promise_capability, get_promise_resolve(global_object, constructor));
  296. // 5. Let iteratorRecord be Completion(GetIterator(iterable)).
  297. // 6. IfAbruptRejectPromise(iteratorRecord, promiseCapability).
  298. auto iterator_record = TRY_OR_REJECT(global_object, promise_capability, get_iterator(vm, vm.argument(0)));
  299. // 7. Let result be Completion(PerformPromiseAllSettled(iteratorRecord, C, promiseCapability, promiseResolve)).
  300. auto result = perform_promise_all_settled(global_object, iterator_record, constructor, promise_capability, promise_resolve);
  301. // 8. If result is an abrupt completion, then
  302. if (result.is_error()) {
  303. // a. If iteratorRecord.[[Done]] is false, set result to Completion(IteratorClose(iteratorRecord, result)).
  304. if (!iterator_record.done)
  305. result = iterator_close(vm, iterator_record, result.release_error());
  306. // b. IfAbruptRejectPromise(result, promiseCapability).
  307. TRY_OR_REJECT(global_object, promise_capability, result);
  308. }
  309. // 9. Return ? result.
  310. return result;
  311. }
  312. // 27.2.4.3 Promise.any ( iterable ), https://tc39.es/ecma262/#sec-promise.any
  313. JS_DEFINE_NATIVE_FUNCTION(PromiseConstructor::any)
  314. {
  315. // 1. Let C be the this value.
  316. auto* constructor = TRY(vm.this_value().to_object(vm));
  317. // 2. Let promiseCapability be ? NewPromiseCapability(C).
  318. auto promise_capability = TRY(new_promise_capability(global_object, constructor));
  319. // 3. Let promiseResolve be Completion(GetPromiseResolve(C)).
  320. // 4. IfAbruptRejectPromise(promiseResolve, promiseCapability).
  321. auto promise_resolve = TRY_OR_REJECT(global_object, promise_capability, get_promise_resolve(global_object, constructor));
  322. // 5. Let iteratorRecord be Completion(GetIterator(iterable)).
  323. // 6. IfAbruptRejectPromise(iteratorRecord, promiseCapability).
  324. auto iterator_record = TRY_OR_REJECT(global_object, promise_capability, get_iterator(vm, vm.argument(0)));
  325. // 7. Let result be Completion(PerformPromiseAny(iteratorRecord, C, promiseCapability, promiseResolve)).
  326. auto result = perform_promise_any(global_object, iterator_record, constructor, promise_capability, promise_resolve);
  327. // 8. If result is an abrupt completion, then
  328. if (result.is_error()) {
  329. // a. If iteratorRecord.[[Done]] is false, set result to Completion(IteratorClose(iteratorRecord, result)).
  330. if (!iterator_record.done)
  331. result = iterator_close(vm, iterator_record, result.release_error());
  332. // b. IfAbruptRejectPromise(result, promiseCapability).
  333. TRY_OR_REJECT(global_object, promise_capability, result);
  334. }
  335. // 9. Return ? result.
  336. return result;
  337. }
  338. // 27.2.4.5 Promise.race ( iterable ), https://tc39.es/ecma262/#sec-promise.race
  339. JS_DEFINE_NATIVE_FUNCTION(PromiseConstructor::race)
  340. {
  341. // 1. Let C be the this value.
  342. auto* constructor = TRY(vm.this_value().to_object(vm));
  343. // 2. Let promiseCapability be ? NewPromiseCapability(C).
  344. auto promise_capability = TRY(new_promise_capability(global_object, constructor));
  345. // 3. Let promiseResolve be Completion(GetPromiseResolve(C)).
  346. // 4. IfAbruptRejectPromise(promiseResolve, promiseCapability).
  347. auto promise_resolve = TRY_OR_REJECT(global_object, promise_capability, get_promise_resolve(global_object, constructor));
  348. // 5. Let iteratorRecord be Completion(GetIterator(iterable)).
  349. // 6. IfAbruptRejectPromise(iteratorRecord, promiseCapability).
  350. auto iterator_record = TRY_OR_REJECT(global_object, promise_capability, get_iterator(vm, vm.argument(0)));
  351. // 7. Let result be Completion(PerformPromiseRace(iteratorRecord, C, promiseCapability, promiseResolve)).
  352. auto result = perform_promise_race(global_object, iterator_record, constructor, promise_capability, promise_resolve);
  353. // 8. If result is an abrupt completion, then
  354. if (result.is_error()) {
  355. // a. If iteratorRecord.[[Done]] is false, set result to Completion(IteratorClose(iteratorRecord, result)).
  356. if (!iterator_record.done)
  357. result = iterator_close(vm, iterator_record, result.release_error());
  358. // b. IfAbruptRejectPromise(result, promiseCapability).
  359. TRY_OR_REJECT(global_object, promise_capability, result);
  360. }
  361. // 9. Return ? result.
  362. return result;
  363. }
  364. // 27.2.4.6 Promise.reject ( r ), https://tc39.es/ecma262/#sec-promise.reject
  365. JS_DEFINE_NATIVE_FUNCTION(PromiseConstructor::reject)
  366. {
  367. auto reason = vm.argument(0);
  368. // 1. Let C be the this value.
  369. auto* constructor = TRY(vm.this_value().to_object(vm));
  370. // 2. Let promiseCapability be ? NewPromiseCapability(C).
  371. auto promise_capability = TRY(new_promise_capability(global_object, constructor));
  372. // 3. Perform ? Call(promiseCapability.[[Reject]], undefined, « r »).
  373. [[maybe_unused]] auto result = TRY(JS::call(global_object, *promise_capability.reject, js_undefined(), reason));
  374. // 4. Return promiseCapability.[[Promise]].
  375. return promise_capability.promise;
  376. }
  377. // 27.2.4.7 Promise.resolve ( x ), https://tc39.es/ecma262/#sec-promise.resolve
  378. JS_DEFINE_NATIVE_FUNCTION(PromiseConstructor::resolve)
  379. {
  380. auto value = vm.argument(0);
  381. // 1. Let C be the this value.
  382. auto constructor = vm.this_value();
  383. // 2. If Type(C) is not Object, throw a TypeError exception.
  384. if (!constructor.is_object())
  385. return vm.throw_completion<TypeError>(ErrorType::NotAnObject, constructor.to_string_without_side_effects());
  386. // 3. Return ? PromiseResolve(C, x).
  387. return TRY(promise_resolve(global_object, constructor.as_object(), value));
  388. }
  389. // 27.2.4.8 get Promise [ @@species ], https://tc39.es/ecma262/#sec-get-promise-@@species
  390. JS_DEFINE_NATIVE_FUNCTION(PromiseConstructor::symbol_species_getter)
  391. {
  392. // 1. Return the this value.
  393. return vm.this_value();
  394. }
  395. }