Automatic generation produced by ISE Eiffel

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

General
	cluster: interface
	create: make

Ancestors
	DB_EXEC_USE
	DB_STATUS_USE
	REFACTORING_HELPER

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
	owns_repository: BOOLEAN
	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
	fixme (comment: READABLE_STRING_8)
	force (object: ANY)
	put (object: ANY)
	reset
	set_immediate
	set_repository (repository: DB_REPOSITORY)
	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