Automatic generation produced by ISE Eiffel
class DB_EXEC Ancestors ANY Clients DATABASE_APPL [reference G -> DATABASE create default_create end] DATABASE_CHANGE [G -> DATABASE create default_create end] DATABASE_PROC [G -> DATABASE create default_create end] DB_EXEC DB_EXEC_USE SQL_SCAN [G -> DATABASE create default_create end] Suppliers BOOLEAN DB_EXEC STD_FILES -- Generated by Eiffel Studio --
For more details: eiffel.org