--| 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