INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Facilities for the dispensers with two element entries"
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 KEYED_DISPENSER_ [G, H]
inherit

KEYED_CONTAINER_ [G, H]
export
{NONE}
make
end

SIMPLE_DISPENSER_ [G]
end
feature -- Queries

key: H

capacity: INTEGER
-- gives the number of all the slots allocated in the dispenser
-- (all the dispensers may have not only slots occupied by the
-- entries already put into but unused ones also)

count: INTEGER
-- gives the number of entries in the dispenser or equally
-- the number of the slots used for storing the entries

table_of_elements: TABLE_ [G, H]
-- delivers all the entries of the dispenser in the order in
-- which they would be repeatedly removing if it really happened
ensure
well_done: not empty implies Result /= void
end -- class KEYED_DISPENSER_

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES