note
	description: "Command message. GENERATED DO NOT MODIFY"
	author: "Origo Team <support@origo.ethz.ch>"
	date: "$Date$"
	revision: "$Revision$"

class
	A_CONFIG_COMMAND_MESSAGE

inherit
	A_MESSAGE
		rename
			make as make_aranea_message
		end
	
	A_CONFIG_CONSTANTS
		undefine
			is_equal,
			out
		end


create
	make,
	make_from_tokenizer

create {A_MESSAGE_FACTORY}
	make_from_ems_message
	
feature {NONE} -- Initialization

	make (a_command: like command)	
			-- Create
		require
			a_command_not_empty: a_command /= Void and then not a_command.is_empty
		do
			make_aranea_message
			command := a_command
		ensure
			command_set: command = a_command
		end


feature -- Message handling

	handle (a_handler: A_CONFIG_COMMAND_MESSAGE_HANDLER)
			-- <Precursor>
		do
			a_handler.handle_command (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_command_type
		end

	
	command: A_STRING_VALUE
			-- Command to execute
	

feature {NONE} -- Implementation

	serialization_list: attached STRING
			-- Lists the fields to serialize, and under which name
		do
			create Result.make_empty

			Result.append ("%"" + command_argument + "%":")
			Result.append (command.serialize)
				
		end
		
	parse_tag (a_tag: STRING; a_tokenizer: A_JSON_TOKENIZER)
		do
		
		
			if a_tag.is_equal (command_argument) then
				create command.make_from_tokenizer (a_tokenizer)
			end
		end

	command_argument: STRING = "command"

invariant
	command_not_empty: command /= Void and then not command.is_empty 
end