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.

Property definitions

core $ Iterator :: finish
	# 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

core $ IteratorDecorator :: finish
	redef fun finish do real.finish
lib/core/collection/abstract_collection.nit:296,2--32

functional $ FunIter :: finish
        redef fun finish
        do
                my_iter.finish
        end
lib/functional/iter_extras.nit:245,9--248,11

pipeline $ Iterator2 :: finish
	redef fun finish
	do
		var i = current_iterator
		if i != null then i.finish
	end
lib/pipeline/pipeline.nit:195,2--199,4

pipeline $ NullSkipper :: finish
	redef fun finish do inner.finish
lib/pipeline/pipeline.nit:270,2--33

sqlite3 $ StatementIterator :: finish
	redef fun finish do if statement.close_with_iterator then statement.close
lib/sqlite3/sqlite3.nit:311,2--74

core $ ArrayIterator :: finish
	redef fun finish do _array._free_iterator = self
lib/core/collection/array.nit:572,2--49

core $ LineIterator :: finish
	redef fun finish
	do
		if close_on_finish then stream.close
	end
lib/core/stream.nit:506,2--509,4

functional $ OrderedIter :: finish
        redef fun finish
        do
                sorted_iter.finish
        end
lib/functional/iter_extras.nit:382,9--385,11

core $ ArrayReverseIterator :: finish
	# Do not cache `self`
	redef fun finish do end
lib/core/collection/array.nit:587,2--588,24