Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
class
	DB_CONTROL

General
	cluster: interface
	create: make

Ancestors
	DB_EXEC_USE
	DB_STATUS_USE
	NUMERIC_NULL_VALUE

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
	numeric_null_value: REAL_64
	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)
	raise_error
	reset
	rollback
	set_immediate
	set_numeric_null_value (a_value: REAL_64)
	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