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