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

class
	A_CONFIG_COMMAND_LIST_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_commands: like commands)	
			-- Create
		require
			a_commands_not_void: a_commands /= Void
		do
			make_aranea_message
			commands := a_commands
		ensure
			commands_set: commands = a_commands
		end


feature -- Message handling

	handle (a_handler: A_CONFIG_COMMAND_LIST_MESSAGE_HANDLER)
			-- <Precursor>
		do
			a_handler.handle_command_list (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_list_type
		end

	
	commands: A_SEQUENCE_VALUE [A_STRING_VALUE]
			-- List of commands 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 ("%"" + commands_argument + "%":")
			Result.append (commands.serialize)
				
		end
		
	parse_tag (a_tag: STRING; a_tokenizer: A_JSON_TOKENIZER)
		do
		
		
			if a_tag.is_equal (commands_argument) then
				create commands.make_from_tokenizer (a_tokenizer)
			end
		end

	commands_argument: STRING = "commands"

invariant
	commands_not_void: commands /= Void 
end