Automatic generation produced by ISE Eiffel
deferred class ES_TEST Ancestors ES_TESTABLE* Descendants TESTS Clients ES_HTML_GEN_SUITE ES_SUITE ES_TEST* Suppliers ANY ARRAYED_LIST [G] BOOLEAN CELL [G] CHARACTER_8 CHECK_VIOLATION ES_BOOLEAN_TEST_CASE ES_SUITE ES_TEST* ES_TEST_CASE* ES_VIOLATION_CASE IMMUTABLE_STRING_8 INTEGER_32 ITERATION_CURSOR* [G] LINKED_LIST [G] LINKED_LIST_ITERATION_CURSOR [G] LIST* [G] STRING_8 TYPE [G] -- Generated by ISE Eiffel --
For more details: www.eiffel.com