note
	description: "Base class for database queries."
	author: "Patrick Ruckstuhl <patrick@tario.org>"
	date: "$Date$"
	revision: "$Revision$"

deferred class
	DATABASE_QUERY

feature {NONE} -- Initialization

	make (a_access: like database_access)
			-- Create.
		require
			a_access_not_void: a_access /= Void
		do
			database_access := a_access
		ensure
			database_access_set: database_access = a_access
		end

feature {NONE} -- Implementation

	database_access: DATABASE_ACCESS
			-- Access to the database.

invariant
	database_access_not_void: database_access /= Void

end