note description: "Summary description for {DOWNLOAD_MIRROR}." date: "$Date$" revision: "$Revision$" class DOWNLOAD_MIRROR feature -- Access id: detachable READABLE_STRING_32 -- artifact id. mirrors: detachable LIST[DOWNLOAD_MIRROR_MIRRORS] -- Possibly list of mirrors. feature -- Element change set_id (a_id: like id) -- Assign `id' with `a_id'. do id := a_id ensure id_assigned: id = a_id end set_mirrors (a_mirrors: like mirrors) do mirrors := a_mirrors end end