deferred class
	ITERATOR [G]

General
	cluster: elks
	description: 
		"Objects that are able to iterate over traversable structures,
		on which they can perform repeated actions and tests according
		to a number of predefined control structures such as if,
		until and others."

Ancestors
	ANY

Queries
	for_all (test: FUNCTION [G, BOOLEAN]): BOOLEAN
	invariant_value: BOOLEAN
	target: TRAVERSABLE [G]
	there_exists (test: FUNCTION [G, BOOLEAN]): BOOLEAN

Commands
	do_all (action: PROCEDURE [G])
	do_if (action: PROCEDURE [G]; test: FUNCTION [G, BOOLEAN])
	do_until (action: PROCEDURE [G]; test: FUNCTION [G, BOOLEAN])
	do_while (action: PROCEDURE [G]; test: FUNCTION [G, BOOLEAN])
	set (s: [like target] TRAVERSABLE [G])
	until_do (action: PROCEDURE [G]; test: FUNCTION [G, BOOLEAN])
	while_do (action: PROCEDURE [G]; test: FUNCTION [G, BOOLEAN])

Constraints
	traversable exists

Generated by ISE EiffelStudio