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

class 
	TEST_NUMERIC_ITERABLE

inherit
	ES_TEST

create 
	make

feature 

	make
		do
			add_boolean_case (agent t1)
		end
	
feature --tests

	fcount (s: STRING_8): INTEGER_32
		do
			Result := s.count
		end

	t1: BOOLEAN
		local
			sigma: NUMERIC_ITERABLE [STRING_8]
		do
			comment ("t1: test sumf")
			Result := sigma.sumf (<<"abb", "bnmm">>, agent fcount) = 7
		end
	
end -- class TEST_NUMERIC_ITERABLE

Generated by ISE EiffelStudio