--| Copyright (c) 1993-2006 University of Southern California and contributors.
--| All rights reserved.
--| Your use of this work is governed under the terms of the GNU General
--| Public License version 2.

class TEST

creation
	make
feature 

	make is
		require else
		do
			create a.make_filled (47, 1, 1);
			a.put (47, 1);
		rescue
		ensure then
			valid_array: a.item (1) = (old +47.0).rounded;
			valid_array2: a.item (1) = (old (+47.0)).truncated_to_integer;
		end
			
	a: ARRAY [INTEGER];
	
end