Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class DB_STORE Ancestors DB_EXEC_USE DB_STATUS_USE REFACTORING_HELPER Clients DATABASE_MANAGER [reference G -> DATABASE create default_create end] DB_STORE FILE2DBMS Suppliers BOOLEAN DATABASE_STORE [reference G -> DATABASE create default_create end] DB [reference G -> DATABASE create default_create end] DB_REPOSITORY DB_STORE HANDLE
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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