Automatic generation produced by ISE Eiffel
class DATABASE_REPOSITORY [reference G -> DATABASE create default_create end] Ancestors ACTION BASIC_ROUTINES DB_STATUS_USE EXCEPTIONS EXT_INTERNAL GLOBAL_SETTINGS HANDLE_SPEC [G -> DATABASE create default_create end] Clients DATABASE* DATABASE_REPOSITORY [reference G -> DATABASE create default_create end] DATABASE_STORE [reference G -> DATABASE create default_create end] DB [reference G -> DATABASE create default_create end] DB_REPOSITORY Suppliers ANY ARRAYED_LIST [G] BOOLEAN CHARACTER_8 COLUMNS [G -> DATABASE create default_create end] DATABASE* DATABASE_REPOSITORY [reference G -> DATABASE create default_create end] DB_CHANGE DB_SELECTION DB_TYPES DEVELOPER_EXCEPTION FILE* FUNCTION [OPEN_ARGS -> detachable TUPLE create default_create end, RESULT_TYPE] INTEGER_32 READABLE_STRING_GENERAL* STRING_32 STRING_8 TYPE [G] -- Generated by Eiffel Studio --
For more details: eiffel.org