note
	description: "Summary description for {MONEY_ARRAY}."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

class interface
	MONEY_ARRAY

create 
	make_empty,
	make_filled,
	from_array,
	make_from_array

convert
	from_array ({ARRAY [MONEY]})

feature --is_equal

	is_equal (other: like Current): BOOLEAN
			-- Is array made of the same items as other?
	
feature -- sum and product

	sum_all (factor: FUNCTION [MONEY, INTEGER_32, MONEY]): MONEY
			-- summation quantifier that sums all factors of elements of the array

	element (g: MONEY; i: INTEGER_32): MONEY
		ensure
				Result = g

	sum: MONEY
		ensure
				Result = sum_all (agent element (?, ?))
	
end -- class MONEY_ARRAY

Generated by ISE EiffelStudio