Automatic generation produced by ISE Eiffel

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

General
	cluster: support
	description: "Manager to handle database sessions"

Ancestors
	ANY

Queries
	current_session: DATABASE_SESSION
	new_session: DATABASE_SESSION

Commands
	set_current_session (a_session: [like current_session] DATABASE_SESSION)



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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