expanded class INTEGER_64 Ancestors INTEGER_64_REF Clients AUDIO_SOUND* AUDIO_SOUND_CUSTOM AUDIO_SOUND_FILE_IMP* AUDIO_SOUND_WAV_FILE CHARACTER_32_REF DATE_TIME_DURATION ENCODING_IMP EXECUTION_ENVIRONMENT GAME_FILE GAME_LIBRARY_CONTROLLER HEXADECIMAL_STRING_TO_INTEGER_CONVERTER INTEGER_64 INTEGER_64_REF INTEGER_OVERFLOW_CHECKER MANAGED_POINTER MPG_SOUND_FILE NATURAL_64_REF PLAIN_TEXT_FILE SED_BINARY_READER_WRITER* SED_SESSION_DESERIALIZER STRING_32 STRING_8 STRING_TO_INTEGER_CONVERTOR THREAD* TUPLE Suppliers INTEGER_64
Generated by ISE EiffelStudio