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

class
	A_EXAMPLE_SIMPLE_EXTENDED_MESSAGE

inherit
	A_EXAMPLE_SIMPLE_MESSAGE
		rename
			make as make_simple_message
		redefine
			handle,
			namespace,
			parse_tag,
			serialization_list,
			type
		end
	
	A_EXAMPLE_CONSTANTS
		undefine
			is_equal,
			out
		end


create
	make,
	make_from_tokenizer

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


	make (a_field_string: like field_string; a_field_integer: like field_integer; a_field_boolean: like field_boolean; a_field_double: like field_double; a_field_binary: like field_binary)
			-- Create
		require
			a_field_binary_not_void: a_field_binary /= Void 
		do
			make_simple_message(a_field_string, a_field_integer, a_field_boolean, a_field_double)
			
			field_binary := a_field_binary
		ensure
			field_binary_set: field_binary = a_field_binary
		end


feature -- Message handling

	handle (a_handler: A_EXAMPLE_SIMPLE_EXTENDED_MESSAGE_HANDLER)
			-- <Precursor>
		do
			a_handler.handle_simple_extended (Current)
		end

feature -- Access

	namespace: STRING
			-- Namespace of the message type.
		once
			Result := example_namespace
		end
		
	type: STRING
			-- Type of the message.
		once
			Result := example_simple_extended_type
		end

	
	field_binary: A_BINARY_MESSAGE
			-- a binary field, something that's not in the simple-message
	

feature {NONE} -- Implementation

	serialization_list: attached STRING
			-- Lists the fields to serialize, and under which name
		do
			Result := precursor

			if not Result.is_empty then
				Result.append (",")
			else
				create Result.make_empty
			end
			check Result /= Void end

			Result.append ("%"" + field_binary_argument + "%":")
			Result.append (field_binary.serialize)
		end
		
	parse_tag (a_tag: STRING; a_tokenizer: A_JSON_TOKENIZER)
		do
			precursor(a_tag, a_tokenizer)
			
			if a_tag.is_equal (field_binary_argument) then
				create field_binary.make_from_tokenizer (a_tokenizer)
			end			
		end

	field_binary_argument: STRING = "field_binary"

invariant
	field_binary_not_void: field_binary /= Void 
end