Automatic generation produced by ISE Eiffel
expanded class INTEGER_64 Ancestors INTEGER_64_REF Clients CHARACTER_32_REF DATE_TIME_DURATION EXECUTION_ENVIRONMENT HEXADECIMAL_STRING_TO_INTEGER_CONVERTER INTEGER_64 INTEGER_64_REF INTEGER_OVERFLOW_CHECKER MANAGED_POINTER NATURAL_64_REF PLAIN_TEXT_FILE SED_BINARY_READER_WRITER* SED_SESSION_DESERIALIZER STRING_32 STRING_8 STRING_TO_INTEGER_CONVERTOR TUPLE Suppliers INTEGER_64 INTEGER_64_REF -- Generated by ISE Eiffel --
For more details: www.eiffel.com