Automatic generation produced by ISE Eiffel
class STD_FILES Ancestors ANY Clients ANY ES_TESTABLE* REFACTORING_HELPER RT_DBG_EXECUTION_RECORDER RT_EXTENSION_COMMON* STD_FILES Suppliers CONSOLE PLAIN_TEXT_FILE STD_FILES -- Generated by ISE Eiffel --
For more details: www.eiffel.com