Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Flat
Contracts
Flat contracts
Go to: 
class 
	ARRAY_TEST

inherit
	UNIT_TEST

create 
	make

feature -- creation

	make is
			-- Run tests
		do
			make_test
			add_boolean_case (agent test_array_count)
			add_violation_case (agent test_item_precondition_violation)
			to_html ("tests.htm")
		end
	
feature -- test cases

	test_array_count: BOOLEAN is
		local
			a: ARRAY [INTEGER]
		do
			comment ("test_array_count")
			a := <<1, 2, 3>>
			Result := a.count = 3
		end

	test_item_precondition_violation is
		local
			a: ARRAY [INTEGER]
			item4: INTEGER
		do
			comment ("test_item_precondition_violation")
			a := <<1, 2, 3>>
			item4 := a.item (4)
		end
	
end -- class ARRAY_TEST


Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Flat
Contracts
Flat contracts
Go to: 

-- Generated by ISE Eiffel --
For more details: www.eiffel.com