Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
class
	DATABASE_STATUS [G -> DATABASE create default_create end]

General
	cluster: dbms-support
	description: "Implementation of DB_STATUS"

Ancestors
	HANDLE_SPEC [G -> DATABASE create default_create end]

Queries
	db_spec: DATABASE
	error_code: INTEGER_32
	error_message_32: STRING_32
	found: BOOLEAN
	is_error_updated: BOOLEAN
	is_warning_updated: BOOLEAN
	Manager: DATABASE_SESSION_MANAGER
	no_error_code: INTEGER_32
	warning_message_32: STRING_32

Commands
	reset



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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