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

class interface
     DB_RESULT

create

     make
                 -- Create an interface object
                 -- to receive query result.

feature -- Initialization

     make
                 -- Create an interface object
                 -- to receive query result.
     
feature -- Status report

     data: DB_DATA
                 -- Loaded data

     map_table_to_create: BOOLEAN
                 -- Does map table need to be created?
     
feature -- Element change

     copy (other: DB_RESULT)
                 -- Assign Current attributes with other attributes.
           require
                 other /= void
           ensure
                 implementation /= void

     fill_in
                 -- Fill in data.
     
invariant

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

end -- class DB_RESULT