Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Go to:
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]
Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Go to:

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