EiffelBase class
(HTML page generated by ISE Eiffel 4.2)
Eiffel Class
indexing
description: "Finite structures whose item count cannot be changed";
status: "See notice at end of class";
names: fixed, storage;
size: fixed;
date: "$Date: 2007-03-30 19:10:11 +0000 (Fri, 30 Mar 2007) $";
revision: "$Revision: 95354 $"
deferred class FIXED [G]
inherit
BOUNDED [G]
feature -- Status report
Resizable: BOOLEAN is false;
-- May capacity be changed? (Answer: no.)
invariant
not_resizable: notresizable;
end -- class FIXED
|
