Used to inform self
that the iteration is over.
Specific iterators can use this to free some resources.
Is automatically invoked at the end of for
structures.
Do nothing by default.
# Post-iteration hook.
#
# Used to inform `self` that the iteration is over.
# Specific iterators can use this to free some resources.
#
# Is automatically invoked at the end of `for` structures.
#
# Do nothing by default.
fun finish do end
lib/core/collection/abstract_collection.nit:262,2--270,18
redef fun finish do _array._free_iterator = self
lib/core/collection/array.nit:572,2--49
redef fun finish
do
if close_on_finish then stream.close
end
lib/core/stream.nit:506,2--509,4
redef fun finish
do
sorted_iter.finish
end
lib/functional/iter_extras.nit:382,9--385,11
# Do not cache `self`
redef fun finish do end
lib/core/collection/array.nit:587,2--588,24