    class
    	DB_PROC

    General
    	cluster: interface
    	create: make

    Ancestors
    	DB_EXEC_USE
    	DB_STATUS_USE

    Queries
    	arguments_name: ARRAY [STRING_8]
    	arguments_set: BOOLEAN
    	arguments_type: ARRAY [ANY]
    	exists: BOOLEAN
    	immediate_execution: BOOLEAN
    	is_connected: BOOLEAN
    	is_ok: BOOLEAN
    	is_tracing: BOOLEAN
    	loaded: BOOLEAN
    	name: STRING_8
    	text: STRING_8
    	trace_output: FILE

    Commands
    	change_name (new_name: STRING_8)
    	drop
    	execute (destination: DB_EXPRESSION)
    	execute_string (destination: DB_EXPRESSION; sql: STRING_8)
    	load
    	make (a_name: STRING_8)
    	set_arguments (args_name: [like arguments_name] ARRAY [STRING_8]; args_type: [like arguments_type] ARRAY [ANY])
    	set_immediate
    	set_no_arguments
    	set_trace
    	store (sql: STRING_8)
    	unset_immediate
    	unset_trace

    Constraints
    	implementation not void
    	load and exists