IteratorOperations.cpp 7.2 KB

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