Automatic generation produced by ISE Eiffel

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

General
	cluster: support
	create: make

Ancestors
	ANY

Queries
	immediate_execution: BOOLEAN
	is_tracing: BOOLEAN
	Trace_output: FILE

Commands
	set_immediate
	set_trace
	unset_immediate
	unset_trace



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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