Automatic generation produced by ISE Eiffel
deferred class ES_TESTABLE Ancestors ANY Descendants ES_SUITE ES_TEST* Clients ES_TESTABLE* Suppliers BOOLEAN ES_TESTABLE* EXECUTION_ENVIRONMENT IMMUTABLE_STRING_8 INDEXABLE_ITERATION_CURSOR* [G] INTEGER_32 ITERATION_CURSOR* [G] LIST* [G] OPERATING_ENVIRONMENT PLATFORM STD_FILES STRING_8 TYPE [G] -- Generated by ISE Eiffel --
For more details: www.eiffel.com