indexing description: "profile visibility message" author: "Ueli Weiss" date: "$Date: $" revision: "$Revision: $" class O_USER_PROFILE_VISIBLE_MESSAGE inherit O_MESSAGE rename make as make_message redefine make_from_generic end O_USER_CONSTANTS undefine out end create make create {O_MESSAGE_FACTORY} make_from_generic feature {NONE} -- Initialization make (a_name: like name) is -- Create with a name and password. require a_name_ok: a_name /= Void and then not a_name.is_empty do make_message name := a_name ensure name_set: name = a_name end make_from_generic (a_msg: O_GENERIC_MESSAGE) is -- Create from a generic message. local l_args: HASH_TABLE [STRING, STRING] do Precursor (a_msg) l_args := a_msg.arguments name := l_args.item (name_argument) end feature -- Access arguments: HASH_TABLE [STRING, STRING] is -- Named arguments. do create Result.make (1) Result.force (name, name_argument) end namespace: STRING is -- Namespace of the message type. once Result := user_namespace end name: STRING -- Name of the user value: INTEGER_REF -- Integer value type: STRING is -- Type of the message. once Result := user_profile_visible_type end feature {NONE} -- Implementation name_argument: STRING is "name" -- name argument key invariant name_ok: name /= Void and then not name.is_empty end