Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class DATABASE_CONTROL [G -> DATABASE create default_create end] General cluster: dbms-support description: "Implementation of DB_CONTROL" Ancestors DB_EXEC_USE DB_STATUS_USE HANDLE_SPEC [G -> DATABASE create default_create end] Queries db_spec: DATABASE error_code: INTEGER_32 error_message_32: STRING_32 exhausted: BOOLEAN immediate_execution: BOOLEAN is_connected: BOOLEAN is_database_set: BOOLEAN is_ok: BOOLEAN is_tracing: BOOLEAN Manager: DATABASE_SESSION_MANAGER to_implement_assertion (comment: READABLE_STRING_8): BOOLEAN trace_output: FILE transaction_count: INTEGER_32 utf_8_error_message: STRING_8 utf_8_warning_message: STRING_8 warning_message_32: STRING_32 Commands begin commit connect disconnect fixme (comment: READABLE_STRING_8) reset rollback set_immediate set_trace to_implement (comment: READABLE_STRING_8) trace_message (m: READABLE_STRING_GENERAL) unset_immediate unset_trace
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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