class
     DB_SELECTION

General
     cluster: eiffelstore.interface
     create: make

Ancestors
     DB_CONSTANT
     DB_EXEC_USE
     DB_EXPRESSION
     DB_STATUS_USE
     EXT_INTERNAL

Queries
     after: BOOLEAN
     container: LIST [DB_RESULT]
     cursor: DB_RESULT
     immediate_execution: BOOLEAN
     is_allocatable: BOOLEAN
     is_connected: BOOLEAN
     is_exiting: BOOLEAN
     is_mapped (key: STRING): BOOLEAN
     is_ok: BOOLEAN
     is_tracing: BOOLEAN
     last_parsed_query: STRING
     last_query: STRING
     mapped_value (key: STRING): ANY
     object: ANY
     stop_condition: ACTION
     trace_output: FILE

Commands
     clear_all
     cursor_to_object
     execute_query
     forth
     load_result
     make
     next
     no_object_convert
     object_convert (reference: ANY)
     query (s: STRING)
     reset_cursor (c: DB_RESULT)
     set_action (action: ACTION)
     set_container (one_container: [like container] LIST [DB_RESULT])
     set_immediate
     set_map_name (n: ANY; key: STRING)
     set_query (query: STRING)
     set_trace
     start
     terminate
     unset_action
     unset_container
     unset_immediate
     unset_map_name (key: STRING)
     unset_trace
     wipe_out

Constraints
     last cursor in container