IteratorOperations.cpp 6.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180
  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 = vm.call(method.as_function(), value);
  30. if (vm.exception())
  31. return {};
  32. if (!iterator.is_object()) {
  33. vm.throw_exception<TypeError>(global_object, ErrorType::NotIterable, value.to_string_without_side_effects());
  34. return nullptr;
  35. }
  36. return &iterator.as_object();
  37. }
  38. // 7.4.2 IteratorNext ( iteratorRecord [ , value ] ), https://tc39.es/ecma262/#sec-iteratornext
  39. Object* iterator_next(Object& iterator, Value value)
  40. {
  41. auto& vm = iterator.vm();
  42. auto& global_object = iterator.global_object();
  43. auto next_method = iterator.get(vm.names.next);
  44. if (vm.exception())
  45. return {};
  46. if (!next_method.is_function()) {
  47. vm.throw_exception<TypeError>(global_object, ErrorType::IterableNextNotAFunction);
  48. return nullptr;
  49. }
  50. Value result;
  51. if (value.is_empty())
  52. result = vm.call(next_method.as_function(), &iterator);
  53. else
  54. result = vm.call(next_method.as_function(), &iterator, value);
  55. if (vm.exception())
  56. return {};
  57. if (!result.is_object()) {
  58. vm.throw_exception<TypeError>(global_object, ErrorType::IterableNextBadReturn);
  59. return nullptr;
  60. }
  61. return &result.as_object();
  62. }
  63. // 7.4.3 IteratorComplete ( iterResult ), https://tc39.es/ecma262/#sec-iteratorcomplete
  64. bool iterator_complete(GlobalObject& global_object, Object& iterator_result)
  65. {
  66. return iterator_result.get(global_object.vm().names.done).value_or(Value(false)).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. return iterator_result.get(global_object.vm().names.value).value_or(js_undefined());
  72. }
  73. // 7.4.6 IteratorClose ( iteratorRecord, completion ), https://tc39.es/ecma262/#sec-iteratorclose
  74. void iterator_close(Object& iterator)
  75. {
  76. auto& vm = iterator.vm();
  77. auto& global_object = iterator.global_object();
  78. // Emulates `completion` behaviour
  79. auto* completion_exception = vm.exception();
  80. vm.clear_exception();
  81. auto unwind_until = vm.unwind_until();
  82. auto unwind_until_label = vm.unwind_until_label();
  83. vm.stop_unwind();
  84. auto restore_completion = [&]() {
  85. if (completion_exception)
  86. vm.set_exception(*completion_exception);
  87. if (unwind_until != ScopeType::None)
  88. vm.unwind(unwind_until, unwind_until_label);
  89. };
  90. auto return_method = Value(&iterator).get_method(global_object, vm.names.return_);
  91. if (!return_method)
  92. return restore_completion(); // If return is undefined, return Completion(completion).
  93. auto result = vm.call(*return_method, &iterator);
  94. if (completion_exception)
  95. return restore_completion(); // If completion.[[Type]] is throw, return Completion(completion).
  96. if (vm.exception())
  97. return; // If innerResult.[[Type]] is throw, return Completion(innerResult).
  98. if (!result.is_object()) {
  99. vm.throw_exception<TypeError>(global_object, ErrorType::IterableReturnBadReturn);
  100. return; // If Type(innerResult.[[Value]]) is not Object, throw a TypeError exception.
  101. }
  102. restore_completion(); // Return Completion(completion).
  103. }
  104. // 7.4.8 CreateIterResultObject ( value, done ), https://tc39.es/ecma262/#sec-createiterresultobject
  105. Value create_iterator_result_object(GlobalObject& global_object, Value value, bool done)
  106. {
  107. auto& vm = global_object.vm();
  108. auto* object = Object::create(global_object, global_object.object_prototype());
  109. object->define_property(vm.names.value, value);
  110. object->define_property(vm.names.done, Value(done));
  111. return object;
  112. }
  113. // 7.4.10 IterableToList ( items [ , method ] ), https://tc39.es/ecma262/#sec-iterabletolist
  114. MarkedValueList iterable_to_list(GlobalObject& global_object, Value iterable, Value method)
  115. {
  116. auto& vm = global_object.vm();
  117. MarkedValueList values(vm.heap());
  118. get_iterator_values(
  119. global_object, iterable, [&](auto value) {
  120. if (vm.exception())
  121. return IterationDecision::Break;
  122. values.append(value);
  123. return IterationDecision::Continue;
  124. },
  125. method, CloseOnAbrupt::No);
  126. return values;
  127. }
  128. void get_iterator_values(GlobalObject& global_object, Value value, AK::Function<IterationDecision(Value)> callback, Value method, CloseOnAbrupt close_on_abrupt)
  129. {
  130. auto& vm = global_object.vm();
  131. auto iterator = get_iterator(global_object, value, IteratorHint::Sync, method);
  132. if (!iterator)
  133. return;
  134. while (true) {
  135. auto next_object = iterator_next(*iterator);
  136. if (!next_object)
  137. return;
  138. auto done_property = next_object->get(vm.names.done);
  139. if (vm.exception())
  140. return;
  141. if (!done_property.is_empty() && done_property.to_boolean())
  142. return;
  143. auto next_value = next_object->get(vm.names.value);
  144. if (vm.exception())
  145. return;
  146. auto result = callback(next_value);
  147. if (result == IterationDecision::Break) {
  148. if (close_on_abrupt == CloseOnAbrupt::Yes)
  149. iterator_close(*iterator);
  150. return;
  151. }
  152. VERIFY(result == IterationDecision::Continue);
  153. }
  154. }
  155. }