| 
									
										
										
										
											2020-07-09 14:58:20 -07:00
										 |  |  | /*
 | 
					
						
							| 
									
										
										
										
											2021-04-22 16:53:07 -07:00
										 |  |  |  * Copyright (c) 2020, Matthew Olsson <mattco@serenityos.org> | 
					
						
							| 
									
										
										
										
											2020-07-09 14:58:20 -07:00
										 |  |  |  * | 
					
						
							| 
									
										
										
										
											2021-04-22 01:24:48 -07:00
										 |  |  |  * SPDX-License-Identifier: BSD-2-Clause | 
					
						
							| 
									
										
										
										
											2020-07-09 14:58:20 -07:00
										 |  |  |  */ | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2021-06-19 21:45:00 +01:00
										 |  |  | #include <LibJS/Runtime/AbstractOperations.h>
 | 
					
						
							| 
									
										
										
										
											2020-07-13 08:27:20 -07:00
										 |  |  | #include <LibJS/Runtime/Error.h>
 | 
					
						
							|  |  |  | #include <LibJS/Runtime/GlobalObject.h>
 | 
					
						
							| 
									
										
										
										
											2020-07-09 14:58:20 -07:00
										 |  |  | #include <LibJS/Runtime/IteratorOperations.h>
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | namespace JS { | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2021-06-13 00:22:35 +01:00
										 |  |  | // 7.4.1 GetIterator ( obj [ , hint [ , method ] ] ), https://tc39.es/ecma262/#sec-getiterator
 | 
					
						
							| 
									
										
										
										
											2021-06-02 20:52:46 +01:00
										 |  |  | Object* get_iterator(GlobalObject& global_object, Value value, IteratorHint hint, Value method) | 
					
						
							| 
									
										
										
										
											2020-07-09 14:58:20 -07:00
										 |  |  | { | 
					
						
							| 
									
										
										
										
											2020-09-27 20:19:53 +02:00
										 |  |  |     auto& vm = global_object.vm(); | 
					
						
							| 
									
										
										
										
											2020-07-09 14:58:20 -07:00
										 |  |  |     if (method.is_empty()) { | 
					
						
							| 
									
										
										
										
											2021-06-02 20:52:46 +01:00
										 |  |  |         if (hint == IteratorHint::Async) | 
					
						
							| 
									
										
										
										
											2020-07-09 14:58:20 -07:00
										 |  |  |             TODO(); | 
					
						
							| 
									
										
										
										
											2021-10-12 19:24:57 +01:00
										 |  |  |         auto object = TRY_OR_DISCARD(value.to_object(global_object)); | 
					
						
							| 
									
										
										
										
											2021-10-02 23:52:27 +01:00
										 |  |  |         method = TRY_OR_DISCARD(object->get(*vm.well_known_symbol_iterator())); | 
					
						
							| 
									
										
										
										
											2020-07-09 14:58:20 -07:00
										 |  |  |     } | 
					
						
							| 
									
										
										
										
											2020-07-13 08:27:20 -07:00
										 |  |  |     if (!method.is_function()) { | 
					
						
							| 
									
										
										
										
											2020-10-04 13:55:20 +01:00
										 |  |  |         vm.throw_exception<TypeError>(global_object, ErrorType::NotIterable, value.to_string_without_side_effects()); | 
					
						
							| 
									
										
										
										
											2020-07-13 08:27:20 -07:00
										 |  |  |         return nullptr; | 
					
						
							|  |  |  |     } | 
					
						
							| 
									
										
										
										
											2021-09-23 20:56:28 +03:00
										 |  |  |     auto iterator = TRY_OR_DISCARD(vm.call(method.as_function(), value)); | 
					
						
							| 
									
										
										
										
											2020-07-13 08:27:20 -07:00
										 |  |  |     if (!iterator.is_object()) { | 
					
						
							| 
									
										
										
										
											2020-10-04 13:55:20 +01:00
										 |  |  |         vm.throw_exception<TypeError>(global_object, ErrorType::NotIterable, value.to_string_without_side_effects()); | 
					
						
							| 
									
										
										
										
											2020-07-13 08:27:20 -07:00
										 |  |  |         return nullptr; | 
					
						
							|  |  |  |     } | 
					
						
							| 
									
										
										
										
											2020-07-09 14:58:20 -07:00
										 |  |  |     return &iterator.as_object(); | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2021-06-13 00:22:35 +01:00
										 |  |  | // 7.4.2 IteratorNext ( iteratorRecord [ , value ] ), https://tc39.es/ecma262/#sec-iteratornext
 | 
					
						
							| 
									
										
										
										
											2020-07-13 08:27:20 -07:00
										 |  |  | Object* iterator_next(Object& iterator, Value value) | 
					
						
							| 
									
										
										
										
											2020-07-09 14:58:20 -07:00
										 |  |  | { | 
					
						
							| 
									
										
										
										
											2021-10-02 23:52:27 +01:00
										 |  |  |     // FIXME: Implement using iterator records, not ordinary objects
 | 
					
						
							| 
									
										
										
										
											2020-09-27 20:19:53 +02:00
										 |  |  |     auto& vm = iterator.vm(); | 
					
						
							| 
									
										
										
										
											2020-09-27 15:18:55 +02:00
										 |  |  |     auto& global_object = iterator.global_object(); | 
					
						
							| 
									
										
										
										
											2021-06-14 13:46:02 +03:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2021-10-02 23:52:27 +01:00
										 |  |  |     auto next_method = TRY_OR_DISCARD(iterator.get(vm.names.next)); | 
					
						
							| 
									
										
										
										
											2020-07-09 14:58:20 -07:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-07-13 08:27:20 -07:00
										 |  |  |     if (!next_method.is_function()) { | 
					
						
							| 
									
										
										
										
											2020-09-27 20:19:53 +02:00
										 |  |  |         vm.throw_exception<TypeError>(global_object, ErrorType::IterableNextNotAFunction); | 
					
						
							| 
									
										
										
										
											2020-07-13 08:27:20 -07:00
										 |  |  |         return nullptr; | 
					
						
							|  |  |  |     } | 
					
						
							| 
									
										
										
										
											2020-07-09 14:58:20 -07:00
										 |  |  | 
 | 
					
						
							|  |  |  |     Value result; | 
					
						
							| 
									
										
										
										
											2020-08-25 22:18:32 +04:30
										 |  |  |     if (value.is_empty()) | 
					
						
							| 
									
										
										
										
											2021-09-23 20:56:28 +03:00
										 |  |  |         result = TRY_OR_DISCARD(vm.call(next_method.as_function(), &iterator)); | 
					
						
							| 
									
										
										
										
											2020-08-25 22:18:32 +04:30
										 |  |  |     else | 
					
						
							| 
									
										
										
										
											2021-09-23 20:56:28 +03:00
										 |  |  |         result = TRY_OR_DISCARD(vm.call(next_method.as_function(), &iterator, value)); | 
					
						
							| 
									
										
										
										
											2020-07-09 14:58:20 -07:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-07-13 08:27:20 -07:00
										 |  |  |     if (!result.is_object()) { | 
					
						
							| 
									
										
										
										
											2020-09-27 20:19:53 +02:00
										 |  |  |         vm.throw_exception<TypeError>(global_object, ErrorType::IterableNextBadReturn); | 
					
						
							| 
									
										
										
										
											2020-07-13 08:27:20 -07:00
										 |  |  |         return nullptr; | 
					
						
							|  |  |  |     } | 
					
						
							| 
									
										
										
										
											2020-07-09 14:58:20 -07:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-07-13 08:27:20 -07:00
										 |  |  |     return &result.as_object(); | 
					
						
							| 
									
										
										
										
											2020-07-09 14:58:20 -07:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2021-06-13 13:39:46 -07:00
										 |  |  | // 7.4.3 IteratorComplete ( iterResult ), https://tc39.es/ecma262/#sec-iteratorcomplete
 | 
					
						
							|  |  |  | bool iterator_complete(GlobalObject& global_object, Object& iterator_result) | 
					
						
							|  |  |  | { | 
					
						
							| 
									
										
										
										
											2021-07-04 01:33:37 +03:00
										 |  |  |     auto& vm = global_object.vm(); | 
					
						
							| 
									
										
										
										
											2021-10-02 23:52:27 +01:00
										 |  |  | 
 | 
					
						
							|  |  |  |     // 1. Return ! ToBoolean(? Get(iterResult, "done")).
 | 
					
						
							|  |  |  |     return TRY_OR_DISCARD(iterator_result.get(vm.names.done)).to_boolean(); | 
					
						
							| 
									
										
										
										
											2021-06-13 13:39:46 -07:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | // 7.4.4 IteratorValue ( iterResult ), https://tc39.es/ecma262/#sec-iteratorvalue
 | 
					
						
							|  |  |  | Value iterator_value(GlobalObject& global_object, Object& iterator_result) | 
					
						
							|  |  |  | { | 
					
						
							| 
									
										
										
										
											2021-07-04 01:33:37 +03:00
										 |  |  |     auto& vm = global_object.vm(); | 
					
						
							| 
									
										
										
										
											2021-10-02 23:52:27 +01:00
										 |  |  | 
 | 
					
						
							|  |  |  |     // 1. Return ? Get(iterResult, "value").
 | 
					
						
							|  |  |  |     return TRY_OR_DISCARD(iterator_result.get(vm.names.value)); | 
					
						
							| 
									
										
										
										
											2021-07-04 01:33:37 +03:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | // 7.4.5 IteratorStep ( iteratorRecord ), https://tc39.es/ecma262/#sec-iteratorstep
 | 
					
						
							|  |  |  | Object* iterator_step(GlobalObject& global_object, Object& iterator) | 
					
						
							|  |  |  | { | 
					
						
							|  |  |  |     auto& vm = global_object.vm(); | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     auto result = iterator_next(iterator); | 
					
						
							|  |  |  |     if (vm.exception()) | 
					
						
							|  |  |  |         return {}; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     auto done = iterator_complete(global_object, *result); | 
					
						
							|  |  |  |     if (vm.exception()) | 
					
						
							|  |  |  |         return {}; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     if (done) | 
					
						
							|  |  |  |         return nullptr; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     return result; | 
					
						
							| 
									
										
										
										
											2021-06-13 13:39:46 -07:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2021-06-13 00:22:35 +01:00
										 |  |  | // 7.4.6 IteratorClose ( iteratorRecord, completion ), https://tc39.es/ecma262/#sec-iteratorclose
 | 
					
						
							| 
									
										
										
										
											2021-06-14 13:46:02 +03:00
										 |  |  | void iterator_close(Object& iterator) | 
					
						
							| 
									
										
										
										
											2020-07-09 14:58:20 -07:00
										 |  |  | { | 
					
						
							| 
									
										
										
										
											2021-06-14 13:46:02 +03:00
										 |  |  |     auto& vm = iterator.vm(); | 
					
						
							|  |  |  |     auto& global_object = iterator.global_object(); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2021-09-07 12:56:50 +02:00
										 |  |  |     // Emulates `completion` behavior
 | 
					
						
							| 
									
										
										
										
											2021-06-14 13:46:02 +03:00
										 |  |  |     auto* completion_exception = vm.exception(); | 
					
						
							|  |  |  |     vm.clear_exception(); | 
					
						
							|  |  |  |     auto unwind_until = vm.unwind_until(); | 
					
						
							|  |  |  |     auto unwind_until_label = vm.unwind_until_label(); | 
					
						
							|  |  |  |     vm.stop_unwind(); | 
					
						
							|  |  |  |     auto restore_completion = [&]() { | 
					
						
							|  |  |  |         if (completion_exception) | 
					
						
							|  |  |  |             vm.set_exception(*completion_exception); | 
					
						
							|  |  |  |         if (unwind_until != ScopeType::None) | 
					
						
							|  |  |  |             vm.unwind(unwind_until, unwind_until_label); | 
					
						
							|  |  |  |     }; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2021-09-23 21:24:51 +03:00
										 |  |  |     auto return_method_or_error = Value(&iterator).get_method(global_object, vm.names.return_); | 
					
						
							|  |  |  |     Value result; | 
					
						
							|  |  |  |     if (!return_method_or_error.is_error()) { // If innerResult.[[Type]] is normal, then
 | 
					
						
							|  |  |  |         auto return_method = return_method_or_error.release_value(); | 
					
						
							|  |  |  |         if (!return_method) | 
					
						
							|  |  |  |             return restore_completion(); // If return is undefined, return Completion(completion).
 | 
					
						
							|  |  |  |         auto result_or_error = vm.call(*return_method, &iterator); | 
					
						
							|  |  |  |         if (result_or_error.is_error()) | 
					
						
							|  |  |  |             return_method_or_error = result_or_error.release_error(); | 
					
						
							|  |  |  |         else | 
					
						
							|  |  |  |             result = result_or_error.release_value(); | 
					
						
							|  |  |  |     } | 
					
						
							| 
									
										
										
										
											2021-06-14 13:46:02 +03:00
										 |  |  |     if (completion_exception) | 
					
						
							|  |  |  |         return restore_completion(); // If completion.[[Type]] is throw, return Completion(completion).
 | 
					
						
							| 
									
										
										
										
											2021-09-23 21:24:51 +03:00
										 |  |  |     if (return_method_or_error.is_error()) | 
					
						
							| 
									
										
										
										
											2021-06-14 13:46:02 +03:00
										 |  |  |         return; // If innerResult.[[Type]] is throw, return Completion(innerResult).
 | 
					
						
							|  |  |  |     if (!result.is_object()) { | 
					
						
							|  |  |  |         vm.throw_exception<TypeError>(global_object, ErrorType::IterableReturnBadReturn); | 
					
						
							|  |  |  |         return; // If Type(innerResult.[[Value]]) is not Object, throw a TypeError exception.
 | 
					
						
							|  |  |  |     } | 
					
						
							|  |  |  |     restore_completion(); // Return Completion(completion).
 | 
					
						
							| 
									
										
										
										
											2020-07-09 14:58:20 -07:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2021-06-13 13:39:46 -07:00
										 |  |  | // 7.4.8 CreateIterResultObject ( value, done ), https://tc39.es/ecma262/#sec-createiterresultobject
 | 
					
						
							| 
									
										
										
										
											2021-09-28 02:03:42 +03:00
										 |  |  | Object* create_iterator_result_object(GlobalObject& global_object, Value value, bool done) | 
					
						
							| 
									
										
										
										
											2021-06-13 13:39:46 -07:00
										 |  |  | { | 
					
						
							|  |  |  |     auto& vm = global_object.vm(); | 
					
						
							|  |  |  |     auto* object = Object::create(global_object, global_object.object_prototype()); | 
					
						
							| 
									
										
										
										
											2021-10-03 01:18:46 +01:00
										 |  |  |     MUST(object->create_data_property_or_throw(vm.names.value, value)); | 
					
						
							|  |  |  |     MUST(object->create_data_property_or_throw(vm.names.done, Value(done))); | 
					
						
							| 
									
										
										
										
											2021-06-13 13:39:46 -07:00
										 |  |  |     return object; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2021-06-13 00:22:35 +01:00
										 |  |  | // 7.4.10 IterableToList ( items [ , method ] ), https://tc39.es/ecma262/#sec-iterabletolist
 | 
					
						
							| 
									
										
										
										
											2021-04-16 23:54:41 +03:00
										 |  |  | MarkedValueList iterable_to_list(GlobalObject& global_object, Value iterable, Value method) | 
					
						
							|  |  |  | { | 
					
						
							|  |  |  |     auto& vm = global_object.vm(); | 
					
						
							|  |  |  |     MarkedValueList values(vm.heap()); | 
					
						
							|  |  |  |     get_iterator_values( | 
					
						
							|  |  |  |         global_object, iterable, [&](auto value) { | 
					
						
							|  |  |  |             if (vm.exception()) | 
					
						
							|  |  |  |                 return IterationDecision::Break; | 
					
						
							|  |  |  |             values.append(value); | 
					
						
							|  |  |  |             return IterationDecision::Continue; | 
					
						
							|  |  |  |         }, | 
					
						
							| 
									
										
										
										
											2021-06-14 13:46:02 +03:00
										 |  |  |         method, CloseOnAbrupt::No); | 
					
						
							| 
									
										
										
										
											2021-04-16 23:54:41 +03:00
										 |  |  |     return values; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2021-06-27 22:38:42 +02:00
										 |  |  | void get_iterator_values(GlobalObject& global_object, Value value, Function<IterationDecision(Value)> callback, Value method, CloseOnAbrupt close_on_abrupt) | 
					
						
							| 
									
										
										
										
											2020-07-13 08:27:20 -07:00
										 |  |  | { | 
					
						
							| 
									
										
										
										
											2020-09-27 20:19:53 +02:00
										 |  |  |     auto& vm = global_object.vm(); | 
					
						
							| 
									
										
										
										
											2020-07-13 08:27:20 -07:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2021-06-02 20:52:46 +01:00
										 |  |  |     auto iterator = get_iterator(global_object, value, IteratorHint::Sync, method); | 
					
						
							| 
									
										
										
										
											2020-07-13 08:27:20 -07:00
										 |  |  |     if (!iterator) | 
					
						
							|  |  |  |         return; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     while (true) { | 
					
						
							|  |  |  |         auto next_object = iterator_next(*iterator); | 
					
						
							|  |  |  |         if (!next_object) | 
					
						
							|  |  |  |             return; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2021-10-02 23:52:27 +01:00
										 |  |  |         auto done_property_or_error = next_object->get(vm.names.done); | 
					
						
							|  |  |  |         if (done_property_or_error.is_error()) | 
					
						
							| 
									
										
										
										
											2020-07-13 08:27:20 -07:00
										 |  |  |             return; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2021-10-02 23:52:27 +01:00
										 |  |  |         if (done_property_or_error.release_value().to_boolean()) | 
					
						
							| 
									
										
										
										
											2020-07-13 08:27:20 -07:00
										 |  |  |             return; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2021-10-02 23:52:27 +01:00
										 |  |  |         auto next_value_or_error = next_object->get(vm.names.value); | 
					
						
							|  |  |  |         if (next_value_or_error.is_error()) | 
					
						
							| 
									
										
										
										
											2020-07-13 08:27:20 -07:00
										 |  |  |             return; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2021-10-02 23:52:27 +01:00
										 |  |  |         auto result = callback(next_value_or_error.release_value()); | 
					
						
							| 
									
										
										
										
											2021-06-14 13:46:02 +03:00
										 |  |  |         if (result == IterationDecision::Break) { | 
					
						
							|  |  |  |             if (close_on_abrupt == CloseOnAbrupt::Yes) | 
					
						
							|  |  |  |                 iterator_close(*iterator); | 
					
						
							| 
									
										
										
										
											2020-07-13 08:27:20 -07:00
										 |  |  |             return; | 
					
						
							| 
									
										
										
										
											2021-06-14 13:46:02 +03:00
										 |  |  |         } | 
					
						
							| 
									
										
										
										
											2021-02-23 20:42:32 +01:00
										 |  |  |         VERIFY(result == IterationDecision::Continue); | 
					
						
							| 
									
										
										
										
											2020-07-13 08:27:20 -07:00
										 |  |  |     } | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-07-09 14:58:20 -07:00
										 |  |  | } |