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