INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "List iterators: tools for traversing the lists", "(except the lists of class SIMPLE_LIST_)"
project: "Visual Eiffel"
revision: "$Revision: 1.2 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: containers
class LIST_ITERATOR_ [G]
inherit

ITERATOR_
end
feature -- Operations

attach (x: LIST_ [G])
-- selects the target for traversal
require
proper_list: x /= void
ensure
well_done: target /= void
feature -- Queries

extract_list: like target
-- delivers all the entries of the list attached which are
-- satisfied the conditions put by 'test'
require
proper_target: target /= void

target: LIST_ [G]
end -- class LIST_ITERATOR_

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES