Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class HANDLE_SPEC [G -> DATABASE create default_create end] General cluster: dbms-support description: "Handle to actual database" Ancestors DATABASE_SESSION_MANAGER_ACCESS Queries db_spec: DATABASE Manager: DATABASE_SESSION_MANAGER
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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