Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class LOGIN [G -> DATABASE create default_create end] Ancestors HANDLE_SPEC [G -> DATABASE create default_create end] Clients DATABASE_APPL [reference G -> DATABASE create default_create end] DATABASE_CONTROL [G -> DATABASE create default_create end] LOGIN [G -> DATABASE create default_create end] Suppliers DATABASE* LOGIN [G -> DATABASE create default_create end] STRING_8
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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