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