EiffelBase class
(HTML page generated by ISE Eiffel 4.2)
Eiffel Class
indexing
description: "References to special objects, for direct access to arrays and strings";
status: "See notice at end of class";
date: "$Date: 2007-03-30 19:10:11 +0000 (Fri, 30 Mar 2007) $";
revision: "$Revision: 95354 $"
class TO_SPECIAL [T]
creation
make_area
feature -- Access
area: SPECIAL [T];
-- Special data zone
feature {NONE} -- Initialization
make_area (n: INTEGER) is
-- Creates a special object for n entries.
require
non_negative_argument: n >= 0
do
ensure
area_allocated: area /= void and then area.count = n
end;
feature {NONE} -- Element change
set_area (other: like area) is
-- Make other the new area
do
area := other
end;
end -- class TO_SPECIAL
|
