indexing
     status: "See notice at end of class"
     date: "$Date$"
     revision: "$Revision$"
     product: eiffelstore
     database: all_bases

class interface
     HANDLE

feature -- Status report

     all_types: DB_ALL_TYPES
                 -- All data types available in active database
           ensure
                 result_not_void: Result /= void

     database: DB [DATABASE]
                 -- Active database accessed through the handle

     execution_type: DB_EXEC
                 -- Immediate or non-immediate execution

     login: LOGIN [DATABASE]
                 -- Session login

     process: POINTER_REF
                 -- Communication channel with database server
                 -- (single or multiple depending on RDBMS)

     status: DB_STATUS
                 -- Status of active database
     
invariant

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

end -- class HANDLE