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

class
	EIFFEL_DOWNLOAD_RESOURCE

create
	make

feature {NONE} -- Initialization

	make (a_filename: READABLE_STRING_32; a_href: READABLE_STRING_8; a_size: INTEGER_64; a_platform: READABLE_STRING_32)
			-- Create an instance.
			-- Set filename with 'a_filename'.
			-- Set href with 'a_href'.
		do
			filename := a_filename
			href := a_href
			size := a_size
			platform := a_platform
		ensure
			filename_set: filename = a_filename
			href_set: href = a_href
			size_set: size = a_size
			platform_set: platform = a_platform
		end

feature -- Access

	filename: READABLE_STRING_32
			-- Product filename.

	href: READABLE_STRING_8
			-- Download link.

	size: INTEGER_64
			-- file size

	platform: READABLE_STRING_32
			-- target platform.

end