note description: "Summary description for {DOWNLOAD_PRODUCT}." date: "$Date$" revision: "$Revision$" class DOWNLOAD_PRODUCT feature -- Access blerb: detachable READABLE_STRING_32 -- blerb license: detachable TUPLE [name: READABLE_STRING_32; url: READABLE_STRING_32] -- Product License mirrors: detachable READABLE_STRING_32 -- Product mirrors evaluation: BOOLEAN -- Is for evaluation? public: BOOLEAN -- is public? icon: detachable READABLE_STRING_32 -- Product icon sub_directory: detachable READABLE_STRING_32 -- Product subdirectory. date: detachable READABLE_STRING_32 -- Product date. release: detachable READABLE_STRING_32 -- Product release. version: detachable READABLE_STRING_32 -- Product version name: detachable READABLE_STRING_32 -- Product name. id: detachable READABLE_STRING_32 -- Product id. number: detachable READABLE_STRING_32 -- Number of the version example: 13.11 build: detachable READABLE_STRING_32 -- Build description downloads: detachable LIST [DOWNLOAD_PRODUCT_OPTIONS] -- Possible list of download options. feature -- Element change set_blerb (a_blerb: like blerb) -- Assign `blerb' with `a_blerb'. do blerb := a_blerb ensure blerb_assigned: blerb = a_blerb end set_license (a_license: like license) -- Assign `license' with `a_license'. do license := a_license ensure license_assigned: license = a_license end set_mirrors (a_mirrors: like mirrors) -- Assign `mirrors' with `a_mirrors'. do mirrors := a_mirrors ensure mirrors_assigned: mirrors = a_mirrors end set_evaluation (an_evaluation: like evaluation) -- Assign `evaluation' with `an_evaluation'. do evaluation := an_evaluation ensure evaluation_assigned: evaluation = an_evaluation end set_public (a_public: like public) -- Assign `public' with `a_public'. do public := a_public ensure public_assigned: public = a_public end set_icon (an_icon: like icon) -- Assign `icon' with `an_icon'. do icon := an_icon ensure icon_assigned: icon = an_icon end set_sub_directory (a_sub_directory: like sub_directory) -- Assign `sub_directory' with `a_sub_directory'. do sub_directory := a_sub_directory ensure sub_directory_assigned: sub_directory = a_sub_directory end set_date (a_date: like date) -- Assign `date' with `a_date'. do date := a_date ensure date_assigned: date = a_date end set_release (a_release: like release) -- Assign `release' with `a_release'. do release := a_release ensure release_assigned: release = a_release end set_version (a_version: like version) -- Assign `version' with `a_version'. do version := a_version ensure version_assigned: version = a_version end set_name (a_name: like name) -- Assign `name' with `a_name'. do name := a_name ensure name_assigned: name = a_name end set_id (an_id: like id) -- Assign `id' with `an_id'. do id := an_id ensure id_assigned: id = an_id end set_number (a_number: like number) -- Assign `number' with `a_number'. do number := a_number ensure number_assigned: number = a_number end set_build (a_build: like build) -- Assign `build' with `a_build'. do build := a_build ensure build_assigned: build = a_build end set_downloads (a_downloads: like downloads) do downloads := a_downloads end end