private fun do_skip

pipeline :: PipeSkip :: do_skip

Property definitions

pipeline $ PipeSkip :: do_skip 
	fun do_skip
	do
		while source.is_ok and source.item == skip_item do source.next
	end
lib/pipeline/pipeline.nit:430,2--433,4
Nit tools. Version v0.8-3595-g3f58b4f.