EiffelBase class
(HTML page generated by ISE Eiffel 4.2)
Eiffel Class
indexing
description: "Infinite containers.";
status: "See notice at end of class";
names: infinite, storage;
date: "$Date: 2007-03-30 11:10:11 -0800 (Fri, 30 Mar 2007) $";
revision: "$Revision: 95354 $"
deferred class INFINITE [G]
inherit
BOX [G]
redefine
empty
end
feature -- Status report
Empty: BOOLEAN is false;
-- Is structure empty? (Answer: no.)
Full: BOOLEAN is true;
-- The structure is complete
invariant
never_empty: notempty;
always_full: full;
end -- class INFINITE
|
