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

class interface
     DB_TUPLE

create

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

     make
                 -- Create an interface object
                 -- to receive query result.
                 -- (from DB_RESULT)

feature -- Initialization

     make
                 -- Create an interface object
                 -- to receive query result.
                 -- (from DB_RESULT)
     
feature -- Status report

     column_name (index: INTEGER): STRING
                 -- Name of index-th item in Current tuple.

     count: INTEGER
                 -- Number of columns in Current tuple

     data: DB_DATA_SQL
                 -- Loaded data returned from last SQL query result

     is_empty: BOOLEAN
                 -- Is Curren tuple empty?

     item (index: INTEGER): ANY
                 -- Retrieved value at index position in data.

     map_table_to_create: BOOLEAN
                 -- Does map table need to be created?
                 -- (from DB_RESULT)
     
feature -- Element change

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

     fill_in
                 -- Fill in data.
                 -- (from DB_RESULT)
     
invariant

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

end -- class DB_TUPLE