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

class interface
     ACTION

feature -- Basic operations

     execute
                 -- Execute something whenever
                 -- routine load_result of DB_SELECTION is
                 -- called with Current set as stop_condition,
                 -- before iterating on query result.
                 -- (Default: do nothing)

     found: BOOLEAN
                 -- Is there any exit condition found
                 -- while iterating on selection results in
                 -- load_result of DB_SELECTION?
                 -- (Default: do nothing)

     start
                 -- Execute something whenever
                 -- routine load_result of DB_SELECTION is
                 -- called with Current set as stop_condition,
                 -- before iterating on query result.
                 -- (Default: do nothing)
     
invariant

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

end -- class ACTION