INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Facilities for dispensers with one 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 DISPENSER_ [G]
inherit

CONTAINER_ [G]
export
{NONE}
make
end

SIMPLE_DISPENSER_ [G]
end
feature -- Queries

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

list_of_elements: LIST_ [G]
-- delivers all the entries of the dispenser in the order in
-- which they would be repeatedly removed if it really happened
ensure
well_done: not empty implies Result /= void
end -- class DISPENSER_

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES