EiffelBase class
(HTML page generated by ISE Eiffel 4.2)
Eiffel Class
indexing
description: "Bounded data structures, with a notion of capacity.";
status: "See notice at end of class";
names: bounded, storage;
date: "$Date: 2007-03-30 11:10:11 -0800 (Fri, 30 Mar 2007) $";
revision: "$Revision: 95354 $"
deferred class BOUNDED [G]
inherit
FINITE [G]
feature -- Measurement
capacity: INTEGER is
-- Number of items that may be stored
deferred
end;
feature -- Status report
full: BOOLEAN is
-- Is structure full?
do
Result := (count = capacity)
end;
resizable: BOOLEAN is
-- May capacity be changed?
deferred
end;
invariant
valid_count: count <= capacity;
full_definition: full = (count = capacity);
end -- class BOUNDED
|
