indexing
     description: "Contains all the handles"
     date: "$Date$"
     revision: "$Revision$"

class interface
     DB [G -> DATABASE create default_create end]

feature -- Status report

     db_all_types: DATABASE_ALL_TYPES [G]
                 -- DATABASE_ALL_TYPES handle

     db_change: DATABASE_CHANGE [G]
                 -- DATABASE_CHANGE handle

     db_control: DATABASE_CONTROL [G]
                 -- DATABASE_CONTROL handle

     db_dyn_change: DATABASE_DYN_CHANGE [G]
                 -- DATABASE_DYN_CHANGE handle

     db_dyn_selection: DATABASE_DYN_SELECTION [G]
                 -- DATABASE_DYN_SELECTION handle

     db_format: DATABASE_FORMAT [G]
                 -- DATABASE_FORMAT handle

     db_proc: DATABASE_PROC [G]
                 -- DATABASE_PROC handle

     db_repository: DATABASE_REPOSITORY [G]
                 -- DATABASE_REPOSITORY handle

     db_result: DATABASE_TUPLE [G]
                 -- DATABASE_TUPLE handle

     db_selection: DATABASE_SELECTION [G]
                 -- DATABASE_SELECTION handle

     db_status: DATABASE_STATUS [G]
                 -- DATABASE_STATUS handle

     db_store: DATABASE_STORE [G]
                 -- DATABASE_STORE handle

     name: STRING
                 -- Database name
     
invariant

           -- from ANY
     reflexive_equality: standard_is_equal (Current)
     reflexive_conformance: conforms_to (Current)

end -- class DB