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