INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

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

ITERATOR_
end
feature -- Operations

attach (x: TABLE_ [G, H])
-- selects the target for traversal
require
proper_table: x /= void
ensure
well_done: target /= void
feature -- Queries

extract_list: LIST_ [G]
-- delivers all the elements or items of the table attached the
-- entries of which including the keys are satisfied the
-- conditions put by 'test'
require
proper_target: target /= void

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

target: TABLE_ [G, H]
end -- class TABLE_ITERATOR_

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES