class
     DB_CONTROL

General
     cluster: eiffelstore.interface
     create: make

Ancestors
     DB_EXEC_USE
     DB_STATUS_USE
     NUMERIC_NULL_VALUE

Queries
     error_code: INTEGER
     error_message: STRING
     exhausted: BOOLEAN
     immediate_execution: BOOLEAN
     is_connected: BOOLEAN
     is_ok: BOOLEAN
     is_tracing: BOOLEAN
     numeric_null_value: DOUBLE
     trace_output: FILE
     transaction_count: INTEGER
     warning_message: STRING

Commands
     begin
     commit
     connect
     disconnect
     raise_error
     reset
     rollback
     set_immediate
     set_numeric_null_value (a_value: DOUBLE)
     set_trace
     unset_immediate
     unset_trace