INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "The project-wide universal properties:", "the class is an ancestor to all the container classes"
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_CONTAINER_
feature -- Operations

make (is_unigue: BOOLEAN)
-- tells the container if its entries must be unigue
feature -- Queries

empty: BOOLEAN
-- is the container empty ?

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

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

no_miracle: count >= 0 and then count <= capacity
end -- class SIMPLE_CONTAINER_

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES