note description: "Summary description for {MONEY_ARRAY}." author: "" date: "$Date$" revision: "$Revision$" class MONEY_ARRAY inherit ARRAY [MONEY] redefine is_equal end create make_empty, make_filled, from_array, make_from_array convert from_array ({ARRAY [MONEY]}) feature {NONE} from_array (a: ARRAY [MONEY]) do make_from_array (a) compare_objects end feature --is_equal is_equal (other: like Current): BOOLEAN -- Is array made of the same items as other? local i: INTEGER_32 do from Result := True i := lower until not Result or i > upper loop Result := item (i) ~ other.item (i) i := i + 1 end end feature -- sum and product sum_all (factor: FUNCTION [MONEY, INTEGER_32, MONEY]): MONEY -- summation quantifier that sums all factors of elements of the array local i: INTEGER_32 do from create Result.default_create Result := Result.zero i := 1 until i > count loop Result := Result + factor.item ([item (i), i]) i := i + 1 end end element (g: MONEY; i: INTEGER_32): MONEY do Result := g ensure Result = g end sum: MONEY local zero: MONEY i: INTEGER_32 do from create zero Result := zero i := lower until i > upper loop Result := Result + item (i) i := i + 1 end ensure Result = sum_all (agent element (?, ?)) end end -- class MONEY_ARRAY
Generated by ISE EiffelStudio