Automatic generation produced by ISE Eiffel
class DB_PROC Ancestors DB_EXEC_USE DB_STATUS_USE Clients DB_PROC Suppliers ARRAY [G] BOOLEAN DATABASE_PROC [G -> DATABASE create default_create end] DB [reference G -> DATABASE create default_create end] DB_PROC HANDLE STRING_8 -- Generated by Eiffel Studio --
For more details: eiffel.org