Automatic generation produced by ISE Eiffel
class PLATFORM Ancestors ANY Descendants MANAGED_POINTER SED_MEDIUM_READER_WRITER SED_MEDIUM_READER_WRITER_1 Clients ARRAY [G] ES_TESTABLE* EXECUTION_ENVIRONMENT FILE* FILE_INFO INTEGER_16_REF INTEGER_32_REF INTEGER_64_REF NATIVE_ARRAY [G] NATIVE_STRING NATURAL_16_REF NATURAL_32_REF NATURAL_64_REF PATH PLAIN_TEXT_FILE PLATFORM READABLE_STRING_32* READABLE_STRING_8* READABLE_STRING_GENERAL* REFLECTED_COPY_SEMANTICS_OBJECT REFLECTED_REFERENCE_OBJECT SED_BINARY_READER_WRITER* SED_MEDIUM_READER_WRITER SED_MEDIUM_READER_WRITER_1 SED_OBJECTS_TABLE SED_SESSION_SERIALIZER SPECIAL [T] STRING_32 STRING_8 SYSTEM_STRING SYSTEM_STRING_FACTORY TRACING_HANDLER* TRACING_SETTING Suppliers CHARACTER_8 INTEGER_32 PLATFORM TYPED_POINTER [G] -- Generated by ISE Eiffel --
For more details: www.eiffel.com