Automatic generation produced by ISE Eiffel

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

General
	cluster: interface
	create: make

Ancestors
	DB_EXEC_USE
	DB_STATUS_USE

Queries
	arguments_name_32: detachable ARRAY [STRING_32]
	arguments_set: BOOLEAN
	arguments_type: detachable ARRAY [detachable ANY]
	error_code: INTEGER_32
	error_message_32: STRING_32
	exhausted: BOOLEAN
	exists: BOOLEAN
	immediate_execution: BOOLEAN
	is_connected: BOOLEAN
	is_database_set: BOOLEAN
	is_ok: BOOLEAN
	is_tracing: BOOLEAN
	loaded: BOOLEAN
	Manager: DATABASE_SESSION_MANAGER
	name: STRING_8
	text_32: STRING_32
	to_implement_assertion (comment: READABLE_STRING_8): BOOLEAN
	trace_output: FILE
	utf_8_error_message: STRING_8
	utf_8_warning_message: STRING_8
	warning_message_32: STRING_32

Commands
	change_name (new_name: [like name] STRING_8)
	drop
	execute (destination: DB_EXPRESSION)
	execute_string (destination: DB_EXPRESSION; sql: READABLE_STRING_GENERAL)
	fixme (comment: READABLE_STRING_8)
	load
	reset
	set_arguments_32 (args_name: [attached like arguments_name_32] attached ARRAY [STRING_32]; args_type: [attached like arguments_type] attached ARRAY [detachable ANY])
	set_immediate
	set_no_arguments
	set_trace
	store (sql: READABLE_STRING_GENERAL)
	to_implement (comment: READABLE_STRING_8)
	trace_message (m: READABLE_STRING_GENERAL)
	unset_immediate
	unset_trace

Constraints
	implementation not void
	load and exists



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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