note description: "config_file message. GENERATED DO NOT MODIFY" author: "Origo Team " date: "$Date$" revision: "$Revision$" class A_CONFIG_CONFIG_FILE_MESSAGE inherit A_PARSABLE A_CONFIG_CONSTANTS undefine is_equal, out end create make, make_from_tokenizer feature {NONE} -- Initialization make (a_name: like name; a_content: like content) -- Create require a_name_not_empty: a_name /= Void and then not a_name.is_empty a_content_not_void: a_content /= Void do name := a_name content := a_content ensure name_set: name = a_name content_set: content = a_content end feature -- Message handling handle (a_handler: A_CONFIG_CONFIG_FILE_MESSAGE_HANDLER) -- do a_handler.handle_config_file (Current) end feature -- Access namespace: STRING -- Namespace of the message type. once Result := config_namespace end type: STRING -- Type of the message. once Result := config_config_file_type end name: A_STRING_VALUE -- The filename to write `content' to. content: A_STRING_VALUE -- The file's content feature {NONE} -- Implementation serialization_list: attached STRING -- Lists the fields to serialize, and under which name do create Result.make_empty Result.append ("%"" + name_argument + "%":") Result.append (name.serialize) Result.append (",") Result.append ("%"" + content_argument + "%":") Result.append (content.serialize) end parse_tag (a_tag: STRING; a_tokenizer: A_JSON_TOKENIZER) do if a_tag.is_equal (name_argument) then create name.make_from_tokenizer (a_tokenizer) elseif a_tag.is_equal (content_argument) then create content.make_from_tokenizer (a_tokenizer) end end name_argument: STRING = "name" content_argument: STRING = "content" invariant name_not_empty: name /= Void and then not name.is_empty content_not_void: content /= Void end