INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Alternative facilities for traversing the containers"
project: "Visual Eiffel"
revision: "$Revision: 1.2 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: containers
deferred class ITERATOR_
feature -- Operations

action
-- you can redefine this procedure to put all the operations
-- which should be done on every entry of the container being
-- traversed; the current entry is accessible through queries
-- 'item' and 'key' - the latter one is only for the tables
--
require
proper_target: target /= void

do_all
-- procedure 'action' will be performed on every entry of the
-- container being traversed unconditionally
require
proper_target: target /= void

do_if
-- procedure 'action' will be performed on every entry of the
-- container being traversed if it satisfies query 'test'
-- "testing" is performing on every entry automatically ...
require
proper_target: target /= void

do_until
-- procedure 'action' will be performed on every entry of the
-- container being traversed - one after another - until query
-- 'test' gives true; "testing" is performing on every entry
-- automatically ...
--
require
proper_target: target /= void

do_while
-- procedure 'action' will be performed on every entry of the
-- container being traversed - one after another - while query
-- 'test' is giving true; "testing" is performing on every entry
-- automatically ...
--
require
proper_target: target /= void
feature -- Queries

target: TRAVERSABLE_
-- the container is being traversed

test: BOOLEAN
-- you can redefine this query to put the conditions which should
-- be applied to every entry of the container - one after another
-- the current entry is accessible through queries 'item' and
-- 'key' - the latter one is only for the tables
--
require
proper_target: target /= void
end -- class ITERATOR_

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES