# A basic helper class to specialize specific Iterator decorators
abstract class IteratorDecorator[E]
	super Iterator[E]

	# The underling iterator
	protected var real: Iterator[E]

	redef fun is_ok do return real.is_ok
	redef fun item do return real.item
	redef fun finish do real.finish
	redef fun next do real.next
	redef fun next_by(step) do real.next_by(step)
end