INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "The project-wide universal properties:", "the class is an ancestor to all the dispensers"
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 SIMPLE_DISPENSER_ [G]
feature -- Operations

remove
-- deletes the "active entry" and sets 'item' and possibly 'key'
-- to another one (algorithms of selecting a new "active entry"
-- differ in all dispensers) or - Void if there're no more entries
require
not_empty: not empty
feature -- Queries

empty: BOOLEAN
-- is the dispenser empty ?

item: G
end -- class SIMPLE_DISPENSER_

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES