class
     DB_PROC

General
     cluster: eiffelstore.interface
     create: make

Ancestors
     DB_EXEC_USE
     DB_STATUS_USE

Queries
     arguments_name: ARRAY [STRING]
     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
     text: STRING
     trace_output: FILE

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

Constraints
     implementation not void
     load and exists