Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
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
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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