Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class DB_STORE General cluster: interface create: make Ancestors DB_EXEC_USE DB_STATUS_USE REFACTORING_HELPER Queries 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 owns_repository: BOOLEAN to_implement_assertion (comment: READABLE_STRING_8): BOOLEAN trace_output: FILE utf_8_error_message: STRING_8 utf_8_warning_message: STRING_8 warning_message_32: STRING_32 Commands fixme (comment: READABLE_STRING_8) force (object: ANY) put (object: ANY) reset set_immediate set_repository (repository: DB_REPOSITORY) 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