note
	description: "Summary description for {DOWNLOAD_CONFIGURATION}."
	date: "$Date$"
	revision: "$Revision$"

class
	DOWNLOAD_CONFIGURATION


feature -- Access

	mirror: detachable READABLE_STRING_8
		-- url mirror.

	products: detachable LIST [DOWNLOAD_PRODUCT]
		-- Possible list of product downloads.

feature -- Element Change

	set_mirror (a_mirror: like mirror)
			-- Set `mirror' with `a_mirror'.
		do
			mirror := a_mirror
		ensure
			mirror_set: mirror = a_mirror
		end

	set_products (a_products: like products)
			-- Possible list of product downloads.			
		do
			products := a_products
		end
end