Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
expanded class INTEGER_64 Ancestors INTEGER_64_REF Clients ARGUMENT_INTEGER_RANGE_VALIDATOR ARGUMENT_INTEGER_SWITCH CHARACTER_32_REF DATABASE_DATA [G -> DATABASE create default_create end] DATABASE_PROC [G -> DATABASE create default_create end] DATE_TIME_DURATION EQA_GENERATED_TEST_SET EXECUTION_ENVIRONMENT EXT_INTERNAL HEXADECIMAL_STRING_TO_INTEGER_CONVERTER I18N_VALUE_FORMATTER INTEGER_64 INTEGER_64_REF INTEGER_OVERFLOW_CHECKER KI_CHARACTER_OUTPUT_STREAM* KI_PLATFORM* KL_EXECUTION_ENVIRONMENT MANAGED_POINTER NATURAL_64_REF PLAIN_TEXT_FILE PROCESS_ERROR_LISTENER_THREAD PROCESS_INPUT_LISTENER_THREAD PROCESS_OUTPUT_LISTENER_THREAD PROCESS_THREAD_TIMER SED_BINARY_READER_WRITER* SED_SESSION_DESERIALIZER SQL_SCAN [G -> DATABASE create default_create end] STRING_32 STRING_8 STRING_TO_INTEGER_CONVERTOR THREAD* TUPLE WEL_UNIT_CONVERSION XML_OUTPUT_STREAM* Suppliers INTEGER_64
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org