IteratorOperations.cpp 7.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210
  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/Error.h>
  8. #include <LibJS/Runtime/GlobalObject.h>
  9. #include <LibJS/Runtime/IteratorOperations.h>
  10. namespace JS {
  11. // 7.4.1 GetIterator ( obj [ , hint [ , method ] ] ), https://tc39.es/ecma262/#sec-getiterator
  12. Object* get_iterator(GlobalObject& global_object, Value value, IteratorHint hint, Value method)
  13. {
  14. auto& vm = global_object.vm();
  15. if (method.is_empty()) {
  16. if (hint == IteratorHint::Async)
  17. TODO();
  18. auto object = value.to_object(global_object);
  19. if (!object)
  20. return {};
  21. method = object->get(*vm.well_known_symbol_iterator());
  22. if (vm.exception())
  23. return {};
  24. }
  25. if (!method.is_function()) {
  26. vm.throw_exception<TypeError>(global_object, ErrorType::NotIterable, value.to_string_without_side_effects());
  27. return nullptr;
  28. }
  29. auto iterator = TRY_OR_DISCARD(vm.call(method.as_function(), value));
  30. if (!iterator.is_object()) {
  31. vm.throw_exception<TypeError>(global_object, ErrorType::NotIterable, value.to_string_without_side_effects());
  32. return nullptr;
  33. }
  34. return &iterator.as_object();
  35. }
  36. // 7.4.2 IteratorNext ( iteratorRecord [ , value ] ), https://tc39.es/ecma262/#sec-iteratornext
  37. Object* iterator_next(Object& iterator, Value value)
  38. {
  39. auto& vm = iterator.vm();
  40. auto& global_object = iterator.global_object();
  41. auto next_method = iterator.get(vm.names.next);
  42. if (vm.exception())
  43. return {};
  44. if (!next_method.is_function()) {
  45. vm.throw_exception<TypeError>(global_object, ErrorType::IterableNextNotAFunction);
  46. return nullptr;
  47. }
  48. Value result;
  49. if (value.is_empty())
  50. result = TRY_OR_DISCARD(vm.call(next_method.as_function(), &iterator));
  51. else
  52. result = TRY_OR_DISCARD(vm.call(next_method.as_function(), &iterator, value));
  53. if (!result.is_object()) {
  54. vm.throw_exception<TypeError>(global_object, ErrorType::IterableNextBadReturn);
  55. return nullptr;
  56. }
  57. return &result.as_object();
  58. }
  59. // 7.4.3 IteratorComplete ( iterResult ), https://tc39.es/ecma262/#sec-iteratorcomplete
  60. bool iterator_complete(GlobalObject& global_object, Object& iterator_result)
  61. {
  62. auto& vm = global_object.vm();
  63. auto done = iterator_result.get(vm.names.done);
  64. if (vm.exception())
  65. return {};
  66. return done.to_boolean();
  67. }
  68. // 7.4.4 IteratorValue ( iterResult ), https://tc39.es/ecma262/#sec-iteratorvalue
  69. Value iterator_value(GlobalObject& global_object, Object& iterator_result)
  70. {
  71. auto& vm = global_object.vm();
  72. auto value = iterator_result.get(vm.names.value);
  73. if (vm.exception())
  74. return {};
  75. return value;
  76. }
  77. // 7.4.5 IteratorStep ( iteratorRecord ), https://tc39.es/ecma262/#sec-iteratorstep
  78. Object* iterator_step(GlobalObject& global_object, Object& iterator)
  79. {
  80. auto& vm = global_object.vm();
  81. auto result = iterator_next(iterator);
  82. if (vm.exception())
  83. return {};
  84. auto done = iterator_complete(global_object, *result);
  85. if (vm.exception())
  86. return {};
  87. if (done)
  88. return nullptr;
  89. return result;
  90. }
  91. // 7.4.6 IteratorClose ( iteratorRecord, completion ), https://tc39.es/ecma262/#sec-iteratorclose
  92. void iterator_close(Object& iterator)
  93. {
  94. auto& vm = iterator.vm();
  95. auto& global_object = iterator.global_object();
  96. // Emulates `completion` behavior
  97. auto* completion_exception = vm.exception();
  98. vm.clear_exception();
  99. auto unwind_until = vm.unwind_until();
  100. auto unwind_until_label = vm.unwind_until_label();
  101. vm.stop_unwind();
  102. auto restore_completion = [&]() {
  103. if (completion_exception)
  104. vm.set_exception(*completion_exception);
  105. if (unwind_until != ScopeType::None)
  106. vm.unwind(unwind_until, unwind_until_label);
  107. };
  108. auto return_method_or_error = Value(&iterator).get_method(global_object, vm.names.return_);
  109. Value result;
  110. if (!return_method_or_error.is_error()) { // If innerResult.[[Type]] is normal, then
  111. auto return_method = return_method_or_error.release_value();
  112. if (!return_method)
  113. return restore_completion(); // If return is undefined, return Completion(completion).
  114. auto result_or_error = vm.call(*return_method, &iterator);
  115. if (result_or_error.is_error())
  116. return_method_or_error = result_or_error.release_error();
  117. else
  118. result = result_or_error.release_value();
  119. }
  120. if (completion_exception)
  121. return restore_completion(); // If completion.[[Type]] is throw, return Completion(completion).
  122. if (return_method_or_error.is_error())
  123. return; // If innerResult.[[Type]] is throw, return Completion(innerResult).
  124. if (!result.is_object()) {
  125. vm.throw_exception<TypeError>(global_object, ErrorType::IterableReturnBadReturn);
  126. return; // If Type(innerResult.[[Value]]) is not Object, throw a TypeError exception.
  127. }
  128. restore_completion(); // Return Completion(completion).
  129. }
  130. // 7.4.8 CreateIterResultObject ( value, done ), https://tc39.es/ecma262/#sec-createiterresultobject
  131. Value create_iterator_result_object(GlobalObject& global_object, Value value, bool done)
  132. {
  133. auto& vm = global_object.vm();
  134. auto* object = Object::create(global_object, global_object.object_prototype());
  135. object->create_data_property_or_throw(vm.names.value, value);
  136. object->create_data_property_or_throw(vm.names.done, Value(done));
  137. return object;
  138. }
  139. // 7.4.10 IterableToList ( items [ , method ] ), https://tc39.es/ecma262/#sec-iterabletolist
  140. MarkedValueList iterable_to_list(GlobalObject& global_object, Value iterable, Value method)
  141. {
  142. auto& vm = global_object.vm();
  143. MarkedValueList values(vm.heap());
  144. get_iterator_values(
  145. global_object, iterable, [&](auto value) {
  146. if (vm.exception())
  147. return IterationDecision::Break;
  148. values.append(value);
  149. return IterationDecision::Continue;
  150. },
  151. method, CloseOnAbrupt::No);
  152. return values;
  153. }
  154. void get_iterator_values(GlobalObject& global_object, Value value, Function<IterationDecision(Value)> callback, Value method, CloseOnAbrupt close_on_abrupt)
  155. {
  156. auto& vm = global_object.vm();
  157. auto iterator = get_iterator(global_object, value, IteratorHint::Sync, method);
  158. if (!iterator)
  159. return;
  160. while (true) {
  161. auto next_object = iterator_next(*iterator);
  162. if (!next_object)
  163. return;
  164. auto done_property = next_object->get(vm.names.done);
  165. if (vm.exception())
  166. return;
  167. if (!done_property.is_empty() && done_property.to_boolean())
  168. return;
  169. auto next_value = next_object->get(vm.names.value);
  170. if (vm.exception())
  171. return;
  172. auto result = callback(next_value);
  173. if (result == IterationDecision::Break) {
  174. if (close_on_abrupt == CloseOnAbrupt::Yes)
  175. iterator_close(*iterator);
  176. return;
  177. }
  178. VERIFY(result == IterationDecision::Continue);
  179. }
  180. }
  181. }