EiffelBase class
(HTML page generated by ISE Eiffel 4.2)
Eiffel Class
indexing
description: "Structures with a finite item count";
status: "See notice at end of class";
names: finite, storage;
date: "$Date: 2007-03-30 19:10:11 +0000 (Fri, 30 Mar 2007) $";
revision: "$Revision: 95354 $"
deferred class FINITE [G]
inherit
BOX [G]
feature -- Measurement
count: INTEGER is
-- Number of items
deferred
end;
feature -- Status report
empty: BOOLEAN is
-- Is structure empty?
do
Result := (count = 0)
end;
invariant
empty_definition: empty = (count = 0);
non_negative_count: count >= 0;
end -- class FINITE
|
