Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class DB_STATUS_USE General cluster: support Ancestors HANDLE_USE REFACTORING_HELPER Queries error_code: INTEGER_32 error_message_32: STRING_32 exhausted: BOOLEAN is_connected: BOOLEAN is_database_set: BOOLEAN is_ok: BOOLEAN Manager: DATABASE_SESSION_MANAGER to_implement_assertion (comment: READABLE_STRING_8): BOOLEAN utf_8_error_message: STRING_8 utf_8_warning_message: STRING_8 warning_message_32: STRING_32 Commands fixme (comment: READABLE_STRING_8) reset to_implement (comment: READABLE_STRING_8)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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