Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class DB_SELECTION Ancestors DB_CONSTANT DB_EXEC_USE DB_EXPRESSION* DB_STATUS_USE EXT_INTERNAL Descendants DB_DYN_SELECTION Clients DATABASE_MANAGER [reference G -> DATABASE create default_create end] DATABASE_PROC [G -> DATABASE create default_create end] DATABASE_REPOSITORY [reference G -> DATABASE create default_create end] DB_ACTION [G -> ANY create default_create end] DB_SELECTION Suppliers ACTION ARRAYED_LIST [G] BOOLEAN DATABASE_SELECTION [G -> DATABASE create default_create end] DB [reference G -> DATABASE create default_create end] DB_RESULT DB_SELECTION DB_STATUS DB_STRING_HASH_TABLE [G] HANDLE INTEGER_32 LIST* [G] READABLE_STRING_GENERAL* STRING_32
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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