Automatic generation produced by ISE Eiffel

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

General
	cluster: support

Ancestors
	HANDLE_USE

Queries
	immediate_execution: BOOLEAN
	is_database_set: BOOLEAN
	is_tracing: BOOLEAN
	Manager: DATABASE_SESSION_MANAGER
	trace_output: FILE

Commands
	set_immediate
	set_trace
	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