note
	description: "[
				Helper class to emulate C byte assigments like.
			
				 *(int*)(result + sz) = n;
				 
				  *(longlong*)result = intValue_;
				 
				 Where `result` is defined as Byte* result
				 and Byte as typedef unsigned char Byte; /* 1 byte */
		]"
	date: "$Date$"
	revision: "$Revision$"

class
	BYTE_SPECIAL_HELPER

feature -- Element Change

	put_special_natural_8 (a_arr: SPECIAL [NATURAL_8]; a_value: NATURAL_8; a_pos: INTEGER)
		require
			valid_pos: a_pos >= a_arr.lower and then a_pos <= a_arr.upper

		local
			l_arr: ARRAY [NATURAL_8]
			l_mp: MANAGED_POINTER
		do
			create l_arr.make_from_special (a_arr)
			create l_mp.make (l_arr.count + a_pos + {PLATFORM}.natural_8_bytes)
			l_mp.put_array (l_arr, 0)
			l_mp.put_natural_8_le (a_value, a_pos)
			l_arr := l_mp.read_array (a_arr.lower, a_arr.count)
			a_arr.copy_data (l_arr.to_special, a_pos, a_pos, a_arr.capacity - a_pos)
		ensure
			instance_free: class
		end

	put_special_natural_8_with_integer_32 (a_arr: SPECIAL [NATURAL_8]; a_value: INTEGER_32; a_pos: INTEGER)
		require
			valid_pos: a_pos >= a_arr.lower and then a_pos <= a_arr.upper
		local
			l_arr: ARRAY [NATURAL_8]
			l_mp: MANAGED_POINTER
		do
			create l_arr.make_from_special (a_arr)
			create l_mp.make (l_arr.count + a_pos + {PLATFORM}.integer_32_bytes)
			l_mp.put_array (l_arr, 0)
			l_mp.put_integer_32_le (a_value, a_pos)
			l_arr := l_mp.read_array (a_arr.lower, a_arr.count)
			a_arr.copy_data (l_arr.to_special, a_pos, a_pos, a_arr.capacity - a_pos)
		ensure
			instance_free: class
		end

	put_special_natural_8_with_integer_64 (a_arr: SPECIAL [NATURAL_8]; a_value: INTEGER_64; a_pos: INTEGER)
		require
			valid_pos: a_pos >= a_arr.lower and then a_pos <= a_arr.upper
		local
			l_arr: ARRAY [NATURAL_8]
			l_mp: MANAGED_POINTER
		do
			create l_arr.make_from_special (a_arr)
			create l_mp.make (l_arr.count + a_pos + {PLATFORM}.integer_64_bytes)
			l_mp.put_array (l_arr, 0)
			l_mp.put_integer_64_le (a_value, a_pos)
			l_arr := l_mp.read_array (a_arr.lower, a_arr.count)
			a_arr.copy_data (l_arr.to_special, a_pos, a_pos, a_arr.capacity - a_pos)
		ensure
			instance_free: class
		end

	put_special_natural_8_with_natural_64 (a_arr: SPECIAL [NATURAL_8]; a_value: NATURAL_64; a_pos: INTEGER)
		require
			valid_pos: a_pos >= a_arr.lower and then a_pos <= a_arr.upper
		local
			l_arr: ARRAY [NATURAL_8]
			l_mp: MANAGED_POINTER
		do
			create l_arr.make_from_special (a_arr)
			create l_mp.make (l_arr.count + a_pos + {PLATFORM}.natural_64_bytes)
			l_mp.put_array (l_arr, 0)
			l_mp.put_natural_64_le (a_value, a_pos)
			l_arr := l_mp.read_array (a_arr.lower, a_arr.count)
			a_arr.copy_data (l_arr.to_special, a_pos, a_pos, a_arr.capacity - a_pos)
		ensure
			instance_free: class
		end

	put_special_natural_16 (a_arr: SPECIAL [NATURAL_8]; a_value: NATURAL_16; a_pos: INTEGER)
		require
			valid_pos: a_pos >= a_arr.lower and then a_pos <= a_arr.upper

		local
			l_arr: ARRAY [NATURAL_8]
			l_mp: MANAGED_POINTER
		do
			create l_arr.make_from_special (a_arr)
			create l_mp.make (l_arr.count + a_pos + {PLATFORM}.natural_16_bytes)
			l_mp.put_array (l_arr, 0)
			l_mp.put_natural_16_le (a_value, a_pos)
			l_arr := l_mp.read_array (a_arr.lower, a_arr.count)
			a_arr.copy_data (l_arr.to_special, a_pos, a_pos, a_arr.capacity - a_pos)
		ensure
			instance_free: class
		end

	put_special_natural_16_with_natural_32 (a_arr: SPECIAL [NATURAL_8]; a_value: NATURAL_32; a_pos: INTEGER)
		require
			valid_pos: a_pos >= a_arr.lower and then a_pos <= a_arr.upper
		local
			l_arr: ARRAY [NATURAL_8]
			l_mp: MANAGED_POINTER
		do
			create l_arr.make_from_special (a_arr)
			create l_mp.make (l_arr.count + a_pos + {PLATFORM}.natural_32_bytes)
			l_mp.put_array (l_arr, 0)
			l_mp.put_natural_32_le (a_value, a_pos)
			l_arr := l_mp.read_array (a_arr.lower, a_arr.count)
			a_arr.copy_data (l_arr.to_special, a_pos, a_pos, a_arr.capacity - a_pos)
		ensure
			instance_free: class
		end

	put_special_natural_16_with_integer_32 (a_arr: SPECIAL [NATURAL_8]; a_value: INTEGER_32; a_pos: INTEGER)
		require
			valid_pos: a_pos >= a_arr.lower and then a_pos <= a_arr.upper
		local
			l_arr: ARRAY [NATURAL_8]
			l_mp: MANAGED_POINTER
		do
			create l_arr.make_from_special (a_arr)
			create l_mp.make (l_arr.count + a_pos + {PLATFORM}.integer_32_bytes)
			l_mp.put_array (l_arr, 0)
			l_mp.put_integer_32_le (a_value, a_pos)
			l_arr := l_mp.read_array (a_arr.lower, a_arr.count)
			a_arr.copy_data (l_arr.to_special, a_pos, a_pos, a_arr.capacity - a_pos)
		ensure
			instance_free: class
		end

	put_special_natural_16_with_natural_64 (a_arr: SPECIAL [NATURAL_8]; a_value: NATURAL_64; a_pos: INTEGER)
		require
			valid_pos: a_pos >= a_arr.lower and then a_pos <= a_arr.upper
		local
			l_arr: ARRAY [NATURAL_8]
			l_mp: MANAGED_POINTER
		do
			create l_arr.make_from_special (a_arr)
			create l_mp.make (l_arr.count + a_pos + {PLATFORM}.natural_64_bytes)
			l_mp.put_array (l_arr, 0)
			l_mp.put_natural_64_le (a_value, a_pos)
			l_arr := l_mp.read_array (a_arr.lower, a_arr.count)
			a_arr.copy_data (l_arr.to_special, a_pos, a_pos, a_arr.capacity - a_pos)
		ensure
			instance_free: class
		end

	put_special_natural_32 (a_arr: SPECIAL [NATURAL_8]; a_value: NATURAL_32; a_pos: INTEGER)
		require
			valid_pos: a_pos >= a_arr.lower and then a_pos <= a_arr.upper
		local
			l_arr: ARRAY [NATURAL_8]
			l_mp: MANAGED_POINTER
		do
			create l_arr.make_from_special (a_arr)
			create l_mp.make (l_arr.count + a_pos + {PLATFORM}.natural_32_bytes)
			l_mp.put_array (l_arr, 0)
			l_mp.put_natural_32_le (a_value, a_pos)
			l_arr := l_mp.read_array (a_arr.lower, a_arr.count)
			a_arr.copy_data (l_arr.to_special, a_pos, a_pos, a_arr.capacity - a_pos)
		ensure
			instance_free: class
		end

	put_special_natural_32_with_natural_64 (a_arr: SPECIAL [NATURAL_8]; a_value: NATURAL_64; a_pos: INTEGER)
		require
			valid_pos: a_pos >= a_arr.lower and then a_pos <= a_arr.upper
		local
			l_arr: ARRAY [NATURAL_8]
			l_mp: MANAGED_POINTER
		do
			create l_arr.make_from_special (a_arr)
			create l_mp.make (l_arr.count + a_pos + {PLATFORM}.natural_64_bytes)
			l_mp.put_array (l_arr, 0)
			l_mp.put_natural_64_le (a_value, a_pos)
			l_arr := l_mp.read_array (a_arr.lower, a_arr.count)
			a_arr.copy_data (l_arr.to_special, a_pos, a_pos, a_arr.capacity - a_pos)
		ensure
			instance_free: class
		end

	put_special_natural_32_with_integer_32 (a_arr: SPECIAL [NATURAL_8]; a_value: INTEGER_32; a_pos: INTEGER)
		require
			valid_pos: a_pos >= a_arr.lower and then a_pos <= a_arr.upper
		local
			l_arr: ARRAY [NATURAL_8]
			l_mp: MANAGED_POINTER
		do
			create l_arr.make_from_special (a_arr)
			create l_mp.make (l_arr.count + a_pos + {PLATFORM}.integer_32_bytes)
			l_mp.put_array (l_arr, 0)
			l_mp.put_integer_32_le (a_value, a_pos)
			l_arr := l_mp.read_array (a_arr.lower, a_arr.count)
			a_arr.copy_data (l_arr.to_special, a_pos, a_pos, a_arr.capacity - a_pos)
		ensure
			instance_free: class
		end

	put_special_natural_64 (a_arr: SPECIAL [NATURAL_8]; a_value: NATURAL_64; a_pos: INTEGER)
		require
			valid_pos: a_pos >= a_arr.lower and then a_pos <= a_arr.upper
		local
			l_arr: ARRAY [NATURAL_8]
			l_mp: MANAGED_POINTER
		do
			create l_arr.make_from_special (a_arr)
			create l_mp.make (l_arr.count + a_pos + {PLATFORM}.natural_64_bytes)
			l_mp.put_array (l_arr, 0)
			l_mp.put_natural_64_le (a_value, a_pos)
			l_arr := l_mp.read_array (a_arr.lower, a_arr.count)
			a_arr.copy_data (l_arr.to_special, a_pos, a_pos, a_arr.capacity - a_pos)
		ensure
			instance_free: class
		end

	put_special_integer_8 (a_arr: SPECIAL [NATURAL_8]; a_value: INTEGER_8; a_pos: INTEGER)
		require
			valid_pos: a_pos >= a_arr.lower and then a_pos <= a_arr.upper
		local
			l_arr: ARRAY [NATURAL_8]
			l_mp: MANAGED_POINTER
		do
			create l_arr.make_from_special (a_arr)
			create l_mp.make (l_arr.count + a_pos + {PLATFORM}.integer_8_bytes)
			l_mp.put_array (l_arr, 0)
			l_mp.put_integer_8_le (a_value, a_pos)
			l_arr := l_mp.read_array (a_arr.lower, a_arr.count)
			a_arr.copy_data (l_arr.to_special, a_pos, a_pos, a_arr.capacity - a_pos)
		ensure
			instance_free: class
		end

	put_special_integer_16 (a_arr: SPECIAL [NATURAL_8]; a_value: INTEGER_16; a_pos: INTEGER)
		require
			valid_pos: a_pos >= a_arr.lower and then a_pos <= a_arr.upper
		local
			l_arr: ARRAY [NATURAL_8]
			l_mp: MANAGED_POINTER
		do
			create l_arr.make_from_special (a_arr)
			create l_mp.make (l_arr.count + a_pos + {PLATFORM}.integer_16_bytes)
			l_mp.put_array (l_arr, 0)
			l_mp.put_integer_16_le (a_value, a_pos)
			l_arr := l_mp.read_array (a_arr.lower, a_arr.count)
			a_arr.copy_data (l_arr.to_special, a_pos, a_pos, a_arr.capacity - a_pos)
		ensure
			instance_free: class
		end

	put_special_integer_32 (a_arr: SPECIAL [NATURAL_8]; a_value: INTEGER_32; a_pos: INTEGER)
		require
			valid_pos: a_pos >= a_arr.lower and then a_pos <= a_arr.upper
		local
			l_arr: ARRAY [NATURAL_8]
			l_mp: MANAGED_POINTER
		do
			create l_arr.make_from_special (a_arr)
			create l_mp.make (l_arr.count + a_pos + {PLATFORM}.integer_32_bytes)
			l_mp.put_array (l_arr, 0)
			l_mp.put_integer_32_le (a_value, a_pos)
			l_arr := l_mp.read_array (a_arr.lower, a_arr.count)
			a_arr.copy_data (l_arr.to_special, a_pos, a_pos, a_arr.capacity - a_pos)
		ensure
			instance_free: class
		end

	put_special_integer_32_with_natural_64 (a_arr: SPECIAL [NATURAL_8]; a_value: NATURAL_64; a_pos: INTEGER)
		require
			valid_pos: a_pos >= a_arr.lower and then a_pos <= a_arr.upper
		local
			l_arr: ARRAY [NATURAL_8]
			l_mp: MANAGED_POINTER
		do
			create l_arr.make_from_special (a_arr)
			create l_mp.make (l_arr.count + a_pos + {PLATFORM}.natural_64_bytes)
			l_mp.put_array (l_arr, 0)
			l_mp.put_natural_64_le (a_value, a_pos)
			l_arr := l_mp.read_array (a_arr.lower, a_arr.count)
			a_arr.copy_data (l_arr.to_special, a_pos, a_pos, a_arr.capacity - a_pos)
		ensure
			instance_free: class
		end

	put_special_integer_32_with_integer_64 (a_arr: SPECIAL [NATURAL_8]; a_value: INTEGER_64; a_pos: INTEGER)
		require
			valid_pos: a_pos >= a_arr.lower and then a_pos <= a_arr.upper
		local
			l_arr: ARRAY [NATURAL_8]
			l_mp: MANAGED_POINTER
		do
			create l_arr.make_from_special (a_arr)
			create l_mp.make (l_arr.count + a_pos + {PLATFORM}.integer_64_bytes)
			l_mp.put_array (l_arr, 0)
			l_mp.put_integer_64_le (a_value, a_pos)
			l_arr := l_mp.read_array (a_arr.lower, a_arr.count)
			a_arr.copy_data (l_arr.to_special, a_pos, a_pos, a_arr.capacity - a_pos)
		ensure
			instance_free: class
		end

	put_special_integer_64 (a_arr: SPECIAL [NATURAL_8]; a_value: INTEGER_64; a_pos: INTEGER)
		require
			valid_pos: a_pos >= a_arr.lower and then a_pos <= a_arr.upper
		local
			l_arr: ARRAY [NATURAL_8]
			l_mp: MANAGED_POINTER
		do
			create l_arr.make_from_special (a_arr)
			create l_mp.make (l_arr.count + a_pos + {PLATFORM}.integer_64_bytes)
			l_mp.put_array (l_arr, 0)
			l_mp.put_integer_64_le (a_value, a_pos)
			l_arr := l_mp.read_array (a_arr.lower, a_arr.count)
			a_arr.copy_data (l_arr.to_special, a_pos, a_pos, a_arr.capacity - a_pos)
		ensure
			instance_free: class
		end

	put_special_float_with_double (a_arr: SPECIAL [NATURAL_8]; a_value: REAL_64; a_pos: INTEGER)
		require
			valid_pos: a_pos >= a_arr.lower and then a_pos <= a_arr.upper
		local
			l_arr: ARRAY [NATURAL_8]
			l_mp: MANAGED_POINTER
		do
			create l_arr.make_from_special (a_arr)
			create l_mp.make (l_arr.count + a_pos + {PLATFORM}.real_64_bytes)
			l_mp.put_array (l_arr, 0)
			l_mp.put_real_64_le (a_value, a_pos)
			l_arr := l_mp.read_array (a_arr.lower, a_arr.count)
			a_arr.copy_data (l_arr.to_special, a_pos, a_pos, a_arr.capacity - a_pos)
		ensure
			instance_free: class
		end

	put_special_double (a_arr: SPECIAL [NATURAL_8]; a_value: REAL_64; a_pos: INTEGER)
		require
			valid_pos: a_pos >= a_arr.lower and then a_pos <= a_arr.upper
		local
			l_arr: ARRAY [NATURAL_8]
			l_mp: MANAGED_POINTER
		do
			create l_arr.make_from_special (a_arr)
			create l_mp.make (l_arr.count + a_pos + {PLATFORM}.real_64_bytes)
			l_mp.put_array (l_arr, 0)
			l_mp.put_real_64_le (a_value, a_pos)
			l_arr := l_mp.read_array (a_arr.lower, a_arr.count)
			a_arr.copy_data (l_arr.to_special, a_pos, a_pos, a_arr.capacity - a_pos)
		ensure
			instance_free: class
		end

feature -- Access

	byte_special_to_natural_64 (a_arr: SPECIAL [NATURAL_8]; a_pos: INTEGER): NATURAL_64
		local
			l_mp: MANAGED_POINTER
		do
			create l_mp.make_from_array (a_arr.to_array)
			Result := l_mp.read_natural_64 (a_pos)
		ensure
			instance_free: class
		end

	byte_special_to_natural_32 (a_arr: SPECIAL [NATURAL_8]; a_pos: INTEGER): NATURAL_32
		local
			l_mp: MANAGED_POINTER
		do
			create l_mp.make_from_array (a_arr.to_array)
			Result := l_mp.read_natural_32 (a_pos)
		ensure
			instance_free: class
		end

	byte_special_to_natural_16 (a_arr: SPECIAL [NATURAL_8]; a_pos: INTEGER): NATURAL_16
		local
			l_mp: MANAGED_POINTER
		do
			create l_mp.make_from_array (a_arr.to_array)
			Result := l_mp.read_natural_16 (a_pos)
		ensure
			instance_free: class
		end

	byte_special_to_natural_8 (a_arr: SPECIAL [NATURAL_8]; a_pos: INTEGER): NATURAL_8
		local
			l_mp: MANAGED_POINTER
		do
			create l_mp.make_from_array (a_arr.to_array)
			Result := l_mp.read_natural_8 (a_pos)
		ensure
			instance_free: class
		end

	byte_special_to_integer_32 (a_arr: SPECIAL [NATURAL_8]; a_pos: INTEGER): INTEGER_32
		local
			l_mp: MANAGED_POINTER
		do
			create l_mp.make_from_array (a_arr.to_array)
			Result := l_mp.read_integer_32 (a_pos)
		ensure
			instance_free: class
		end

	byte_special_to_integer_16 (a_arr: SPECIAL [NATURAL_8]; a_pos: INTEGER): INTEGER_16
		local
			l_mp: MANAGED_POINTER
		do
			create l_mp.make_from_array (a_arr.to_array)
			Result := l_mp.read_integer_16 (a_pos)
		ensure
			instance_free: class
		end

end