Automatic generation produced by ISE Eiffel
class IMMUTABLE_STRING_8 Ancestors IMMUTABLE_STRING_GENERAL* READABLE_STRING_8* Clients DYNAMIC_API_UNAVAILABLE_EXCEPTION EQA_ENVIRONMENT EQA_PARTIAL_RESULT EQA_RESULT EXT_INTERNAL FIND_SEPARATOR_FACILITY IMMUTABLE_STRING_8 MISMATCH_INFORMATION REFLECTOR SED_INDEPENDENT_SERIALIZER SED_READER_WRITER* SED_RECOVERABLE_SERIALIZER TYPE [G] Suppliers ARRAYED_LIST [G] BOOLEAN CHARACTER_32 CHARACTER_8 IMMUTABLE_STRING_8 INTEGER_32 READABLE_STRING_32* READABLE_STRING_8* READABLE_STRING_GENERAL* SPECIAL [T] SYSTEM_STRING SYSTEM_STRING_FACTORY -- Generated by Eiffel Studio --
For more details: eiffel.org