Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
class
	HANDLE

General
	cluster: support

Ancestors
	DATABASE_SESSION_MANAGER_ACCESS

Queries
	all_types: DB_ALL_TYPES
	database: DB [DATABASE]
	execution_type: DB_EXEC
	is_database_set: BOOLEAN
	is_execution_type_set: BOOLEAN
	is_login_set: BOOLEAN
	is_process_set: BOOLEAN
	is_status_set: BOOLEAN
	login: LOGIN [DATABASE]
	Manager: DATABASE_SESSION_MANAGER
	process: POINTER_REF
	status: DB_STATUS



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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