IteratorOperations.cpp 10 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252
  1. /*
  2. * Copyright (c) 2020, Matthew Olsson <mattco@serenityos.org>
  3. * Copyright (c) 2022, Linus Groh <linusg@serenityos.org>
  4. *
  5. * SPDX-License-Identifier: BSD-2-Clause
  6. */
  7. #include <LibJS/Runtime/AbstractOperations.h>
  8. #include <LibJS/Runtime/AsyncFromSyncIteratorPrototype.h>
  9. #include <LibJS/Runtime/Error.h>
  10. #include <LibJS/Runtime/FunctionObject.h>
  11. #include <LibJS/Runtime/GlobalObject.h>
  12. #include <LibJS/Runtime/IteratorOperations.h>
  13. #include <LibJS/Runtime/TemporaryClearException.h>
  14. namespace JS {
  15. // 7.4.1 GetIterator ( obj [ , hint [ , method ] ] ), https://tc39.es/ecma262/#sec-getiterator
  16. ThrowCompletionOr<Iterator> get_iterator(GlobalObject& global_object, Value value, IteratorHint hint, Optional<Value> method)
  17. {
  18. auto& vm = global_object.vm();
  19. // 1. If hint is not present, set hint to sync.
  20. // 2. If method is not present, then
  21. if (!method.has_value()) {
  22. // a. If hint is async, then
  23. if (hint == IteratorHint::Async) {
  24. // i. Set method to ? GetMethod(obj, @@asyncIterator).
  25. auto* async_method = TRY(value.get_method(global_object, *vm.well_known_symbol_async_iterator()));
  26. // ii. If method is undefined, then
  27. if (async_method == nullptr) {
  28. // 1. Let syncMethod be ? GetMethod(obj, @@iterator).
  29. auto* sync_method = TRY(value.get_method(global_object, *vm.well_known_symbol_iterator()));
  30. // 2. Let syncIteratorRecord be ? GetIterator(obj, sync, syncMethod).
  31. auto sync_iterator_record = TRY(get_iterator(global_object, value, IteratorHint::Sync, sync_method));
  32. // 3. Return ! CreateAsyncFromSyncIterator(syncIteratorRecord).
  33. return MUST(create_async_from_sync_iterator(global_object, sync_iterator_record));
  34. }
  35. method = Value(async_method);
  36. }
  37. // b. Otherwise, set method to ? GetMethod(obj, @@iterator).
  38. else {
  39. method = TRY(value.get_method(global_object, *vm.well_known_symbol_iterator()));
  40. }
  41. }
  42. // NOTE: Additional type check to produce a better error message than Call().
  43. if (!method->is_function())
  44. return vm.throw_completion<TypeError>(global_object, ErrorType::NotIterable, value.to_string_without_side_effects());
  45. // 3. Let iterator be ? Call(method, obj).
  46. auto iterator = TRY(call(global_object, *method, value));
  47. // 4. If Type(iterator) is not Object, throw a TypeError exception.
  48. if (!iterator.is_object())
  49. return vm.throw_completion<TypeError>(global_object, ErrorType::NotIterable, value.to_string_without_side_effects());
  50. // 5. Let nextMethod be ? GetV(iterator, "next").
  51. auto next_method = TRY(iterator.get(global_object, vm.names.next));
  52. // 6. Let iteratorRecord be the Record { [[Iterator]]: iterator, [[NextMethod]]: nextMethod, [[Done]]: false }.
  53. auto iterator_record = Iterator { .iterator = &iterator.as_object(), .next_method = next_method, .done = false };
  54. // 7. Return iteratorRecord.
  55. return iterator_record;
  56. }
  57. // 7.4.2 IteratorNext ( iteratorRecord [ , value ] ), https://tc39.es/ecma262/#sec-iteratornext
  58. ThrowCompletionOr<Object*> iterator_next(GlobalObject& global_object, Iterator const& iterator_record, Optional<Value> value)
  59. {
  60. auto& vm = global_object.vm();
  61. Value result;
  62. // 1. If value is not present, then
  63. if (!value.has_value()) {
  64. // a. Let result be ? Call(iteratorRecord.[[NextMethod]], iteratorRecord.[[Iterator]]).
  65. result = TRY(call(global_object, iterator_record.next_method, iterator_record.iterator));
  66. } else {
  67. // a. Let result be ? Call(iteratorRecord.[[NextMethod]], iteratorRecord.[[Iterator]], « value »).
  68. result = TRY(call(global_object, iterator_record.next_method, iterator_record.iterator, *value));
  69. }
  70. // 3. If Type(result) is not Object, throw a TypeError exception.
  71. if (!result.is_object())
  72. return vm.throw_completion<TypeError>(global_object, ErrorType::IterableNextBadReturn);
  73. // 4. Return result.
  74. return &result.as_object();
  75. }
  76. // 7.4.3 IteratorComplete ( iterResult ), https://tc39.es/ecma262/#sec-iteratorcomplete
  77. ThrowCompletionOr<bool> iterator_complete(GlobalObject& global_object, Object& iterator_result)
  78. {
  79. auto& vm = global_object.vm();
  80. // 1. Return ! ToBoolean(? Get(iterResult, "done")).
  81. return TRY(iterator_result.get(vm.names.done)).to_boolean();
  82. }
  83. // 7.4.4 IteratorValue ( iterResult ), https://tc39.es/ecma262/#sec-iteratorvalue
  84. ThrowCompletionOr<Value> iterator_value(GlobalObject& global_object, Object& iterator_result)
  85. {
  86. auto& vm = global_object.vm();
  87. // 1. Return ? Get(iterResult, "value").
  88. return TRY(iterator_result.get(vm.names.value));
  89. }
  90. // 7.4.5 IteratorStep ( iteratorRecord ), https://tc39.es/ecma262/#sec-iteratorstep
  91. ThrowCompletionOr<Object*> iterator_step(GlobalObject& global_object, Iterator const& iterator_record)
  92. {
  93. // 1. Let result be ? IteratorNext(iteratorRecord).
  94. auto* result = TRY(iterator_next(global_object, iterator_record));
  95. // 2. Let done be ? IteratorComplete(result).
  96. auto done = TRY(iterator_complete(global_object, *result));
  97. // 3. If done is true, return false.
  98. if (done)
  99. return nullptr;
  100. // 4. Return result.
  101. return result;
  102. }
  103. // 7.4.6 IteratorClose ( iteratorRecord, completion ), https://tc39.es/ecma262/#sec-iteratorclose
  104. // 7.4.8 AsyncIteratorClose ( iteratorRecord, completion ), https://tc39.es/ecma262/#sec-asynciteratorclose
  105. // NOTE: These only differ in that async awaits the inner value after the call.
  106. static Completion iterator_close_impl(GlobalObject& global_object, Iterator const& iterator_record, Completion completion, IteratorHint iterator_hint)
  107. {
  108. auto& vm = global_object.vm();
  109. // 1. Assert: Type(iteratorRecord.[[Iterator]]) is Object.
  110. // 2. Let iterator be iteratorRecord.[[Iterator]].
  111. auto* iterator = iterator_record.iterator;
  112. // The callers of iterator_close() are often in an exceptional state.
  113. // Temporarily clear that exception for invocation(s) to Call.
  114. TemporaryClearException clear_exception(vm);
  115. // 3. Let innerResult be GetMethod(iterator, "return").
  116. auto inner_result = ThrowCompletionOr<Value> { js_undefined() };
  117. auto get_method_result = Value(iterator).get_method(global_object, vm.names.return_);
  118. if (get_method_result.is_error())
  119. inner_result = get_method_result.release_error();
  120. // 4. If innerResult.[[Type]] is normal, then
  121. if (!inner_result.is_error()) {
  122. // a. Let return be innerResult.[[Value]].
  123. auto* return_method = get_method_result.value();
  124. // b. If return is undefined, return Completion(completion).
  125. if (!return_method)
  126. return completion;
  127. // c. Set innerResult to Call(return, iterator).
  128. inner_result = call(global_object, return_method, iterator);
  129. // Note: If this is AsyncIteratorClose perform one extra step.
  130. if (iterator_hint == IteratorHint::Async && !inner_result.is_error()) {
  131. // d. If innerResult.[[Type]] is normal, set innerResult to Await(innerResult.[[Value]]).
  132. inner_result = await(global_object, inner_result.value());
  133. }
  134. }
  135. // 5. If completion.[[Type]] is throw, return Completion(completion).
  136. if (completion.is_error())
  137. return completion;
  138. // 6. If innerResult.[[Type]] is throw, return Completion(innerResult).
  139. if (inner_result.is_throw_completion())
  140. return inner_result;
  141. // 7. If Type(innerResult.[[Value]]) is not Object, throw a TypeError exception.
  142. if (!inner_result.value().is_object())
  143. return vm.throw_completion<TypeError>(global_object, ErrorType::IterableReturnBadReturn);
  144. // 8. Return Completion(completion).
  145. return completion;
  146. }
  147. // 7.4.6 IteratorClose ( iteratorRecord, completion ), https://tc39.es/ecma262/#sec-iteratorclose
  148. Completion iterator_close(GlobalObject& global_object, Iterator const& iterator_record, Completion completion)
  149. {
  150. return iterator_close_impl(global_object, iterator_record, move(completion), IteratorHint::Sync);
  151. }
  152. // 7.4.8 AsyncIteratorClose ( iteratorRecord, completion ), https://tc39.es/ecma262/#sec-asynciteratorclose
  153. Completion async_iterator_close(GlobalObject& global_object, Iterator const& iterator_record, Completion completion)
  154. {
  155. return iterator_close_impl(global_object, iterator_record, move(completion), IteratorHint::Async);
  156. }
  157. // 7.4.9 CreateIterResultObject ( value, done ), https://tc39.es/ecma262/#sec-createiterresultobject
  158. Object* create_iterator_result_object(GlobalObject& global_object, Value value, bool done)
  159. {
  160. auto& vm = global_object.vm();
  161. // 1. Let obj be ! OrdinaryObjectCreate(%Object.prototype%).
  162. auto* object = Object::create(global_object, global_object.object_prototype());
  163. // 2. Perform ! CreateDataPropertyOrThrow(obj, "value", value).
  164. MUST(object->create_data_property_or_throw(vm.names.value, value));
  165. // 3. Perform ! CreateDataPropertyOrThrow(obj, "done", done).
  166. MUST(object->create_data_property_or_throw(vm.names.done, Value(done)));
  167. // 4. Return obj.
  168. return object;
  169. }
  170. // 7.4.11 IterableToList ( items [ , method ] ), https://tc39.es/ecma262/#sec-iterabletolist
  171. ThrowCompletionOr<MarkedValueList> iterable_to_list(GlobalObject& global_object, Value iterable, Optional<Value> method)
  172. {
  173. auto& vm = global_object.vm();
  174. MarkedValueList values(vm.heap());
  175. (void)TRY(get_iterator_values(
  176. global_object, iterable, [&](auto value) -> Optional<Completion> {
  177. values.append(value);
  178. return {};
  179. },
  180. move(method)));
  181. return { move(values) };
  182. }
  183. // Non-standard
  184. Completion get_iterator_values(GlobalObject& global_object, Value iterable, IteratorValueCallback callback, Optional<Value> method)
  185. {
  186. auto iterator_record = TRY(get_iterator(global_object, iterable, IteratorHint::Sync, move(method)));
  187. while (true) {
  188. auto* next_object = TRY(iterator_step(global_object, iterator_record));
  189. if (!next_object)
  190. return {};
  191. auto next_value = TRY(iterator_value(global_object, *next_object));
  192. if (auto completion = callback(next_value); completion.has_value())
  193. return iterator_close(global_object, iterator_record, completion.release_value());
  194. }
  195. }
  196. }