Automatic generation produced by ISE Eiffel
class STRING_8 Ancestors INDEXABLE* [G, H -> INTEGER_32] MISMATCH_CORRECTOR READABLE_STRING_8* RESIZABLE* [G] STRING_GENERAL* TO_SPECIAL [T] Descendants PATH_NAME* SEQ_STRING Clients ABSTRACT_SPECIAL* ACTION_SEQUENCE [EVENT_DATA -> detachable TUPLE create default_create end] ANY ARGUMENTS CHARACTER_32_REF CHARACTER_8_REF CLASS_NAME_TRANSLATIONS CODE_VALIDITY_CHECKER COM_FAILURE CONSOLE C_STRING DATE_TIME_CODE DATE_TIME_CODE_STRING DATE_TIME_PARSER DIRECTORY ES_BOOLEAN_TEST_CASE ES_HTML_GEN* ES_TEST* ES_TESTABLE* ES_TEST_CASE* ES_VIOLATION_CASE EXCEPTION EXECUTION_ENVIRONMENT FILE* FILE_NAME FIND_SEPARATOR_FACILITY FORMAT_DOUBLE FORMAT_INTEGER HEXADECIMAL_STRING_TO_INTEGER_CONVERTER INTEGER_16_REF INTEGER_32_REF INTEGER_64_REF INTEGER_8_REF INTERVAL [G -> ABSOLUTE] ISE_EXCEPTION_MANAGER MISMATCH_CORRECTOR MISMATCH_INFORMATION NATIVE_STRING NATURAL_16_REF NATURAL_32_REF NATURAL_64_REF NATURAL_8_REF PAIR [G -> attached ANY, H -> attached ANY] PATH PATH_NAME* PLAIN_TEXT_FILE RAW_FILE READABLE_STRING_32* READABLE_STRING_8* READABLE_STRING_GENERAL* REFLECTED_OBJECT* REFLECTOR REFLECTOR_HELPER ROUTINE* [OPEN_ARGS -> detachable TUPLE create default_create end] RT_DBG_ATTRIBUTE_RECORD [G -> detachable ANY] RT_DBG_CALL_RECORD RT_DBG_EXECUTION_RECORDER RT_DBG_FIELD_RECORD [G -> detachable ANY] RT_DBG_INTERNAL* RT_DBG_LOCAL_RECORD [G -> detachable ANY] RT_DBG_VALUE_RECORD* RT_EXTENSION RT_EXTENSION_COMMON* RT_EXTENSION_GENERAL* SED_ERROR_FACTORY SED_READER_WRITER* SEQ [G -> attached ANY] SEQ_STRING SET [G -> attached ANY] SPECIAL [T] STORABLE STREAM STRING_8 STRING_TO_INTEGER_CONVERTOR STRING_TO_NUMERIC_CONVERTOR* STRING_TO_REAL_CONVERTOR TUPLE TYPE [G] UNIX_SIGNALS UTF_CONVERTER Suppliers ARRAYED_LIST [G] BOOLEAN CHARACTER_8 C_STRING INTEGER_16 INTEGER_32 INTEGER_64 INTEGER_8 NATURAL_16 NATURAL_32 NATURAL_64 NATURAL_8 PLATFORM POINTER READABLE_STRING_8* READABLE_STRING_GENERAL* REAL_32 REAL_64 SPECIAL [T] STRING_8 STRING_8_SEARCHER STRING_GENERAL* SYSTEM_STRING SYSTEM_STRING_FACTORY -- Generated by ISE Eiffel --
For more details: www.eiffel.com