note description: "Summary description for {DOWNLOAD_PLATFORM}." date: "$Date$" revision: "$Revision$" class DOWNLOAD_PLATFORM feature -- Access id: detachable READABLE_STRING_32 -- Platform ID, for example linux-x86. icon: detachable READABLE_STRING_32 -- Name of the associated icon. text: detachable READABLE_STRING_32 -- Platform description. feature -- Change Element set_id (a_id: like id) -- Set `id' to `a_id'. do id := a_id ensure id_set: id = a_id end set_icon (a_icon: like icon) -- Set `icon' to `a_icon'. do icon := a_icon ensure icon_set: icon = a_icon end set_text (a_text: like text) -- Set `text' to `a_text'. do text := a_text ensure text_set: text = a_text end end