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