IteratorOperations.cpp 8.1 KB

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