Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class DB_EXEC_USE Ancestors HANDLE_USE Descendants DATABASE_CHANGE [G -> DATABASE create default_create end] DATABASE_CONTROL [G -> DATABASE create default_create end] DATABASE_SELECTION [G -> DATABASE create default_create end] DATABASE_STORE [reference G -> DATABASE create default_create end] DB_CHANGE DB_CONTROL DB_PROC DB_REPOSITORY DB_SELECTION DB_STORE Clients DB_EXEC_USE Suppliers BOOLEAN DB_EXEC DB_EXEC_USE FILE* HANDLE UTF_CONVERTER
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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