note
	description: "Summary description for {TEST_INTEGER_X_IO}."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

class
	TEST_INTEGER_X_IO

inherit
	EQA_TEST_SET
	INTEGER_X_IO
		undefine
			default_create
		end

feature
	test_export_1
		local
			one: INTEGER_X
			two: SPECIAL [NATURAL_8]
			junk: TUPLE [junk: INTEGER]
		do
			create junk
			create one.make_limbs (6)
			one.item [0] := 0x7393172a
			one.item [1] := 0xe93d7e11
			one.item [2] := 0x2e409f96
			one.item [3] := 0x6bc1bee2
			one.count := 4
			create two.make_filled (0, 16)
			output (two, 0, junk, 1, 1, -1, one)
			assert ("test output 1 1", two [0] = 0x6b and two [1] = 0xc1 and two [2] = 0xbe and two [3] = 0xe2)
			assert ("test output 1 2", two [4] = 0x2e and two [5] = 0x40 and two [6] = 0x9f and two [7] = 0x96)
			assert ("test output 1 3", two [8] = 0xe9 and two [9] = 0x3d and two [10] = 0x7e and two [11] = 0x11)
			assert ("test output 1 4", two [12] = 0x73 and two [13] = 0x93 and two [14] = 0x17 and two [15] = 0x2a)
		end

	test_import_1
		local
			one: INTEGER_X
			two: SPECIAL [NATURAL_8]
		do
			create two.make_filled (0, 16)
			two [0] := 0x6b two [1] := 0xc1 two [2] := 0xbe two [3] := 0xe2
			two [4] := 0x2e two [5] := 0x40 two [6] := 0x9f two [7] := 0x96
			two [8] := 0xe9 two [9] := 0x3d two [10] := 0x7e two [11] := 0x11
			two [12] := 0x73 two [13] := 0x93 two [14] := 0x17 two [15] := 0x2a
			create one
			input (one, 16, 1, 1, -1, two, 0)
			assert ("test input 1", one.item [0] = 0x7393172a and one.item [1] = 0xe93d7e11 and one.item [2] = 0x2e409f96 and one.item [3] = 0x6bc1bee2)
		end

	test_export_2
		local
			one: INTEGER_X
			two: SPECIAL [NATURAL_8]
			junk: TUPLE [junk: INTEGER]
		do
			create junk
			create one.make_limbs (6)
			one.item [0] := 0x0c0d0e0f
			one.item [1] := 0x08090a0b
			one.item [2] := 0x04050607
			one.item [3] := 0x00010203
			one.count := 4
			create two.make_filled (0, 16)
			output (two, 0, junk, 1, 1, -1, one)
			assert ("test export 1 1", two [0] = 0x01 and two [1] = 0x02 and two [2] = 0x03 and two [3] = 0x04)
			assert ("test export 1 2", two [4] = 0x05 and two [5] = 0x06 and two [6] = 0x07 and two [7] = 0x08)
			assert ("test export 1 3", two [8] = 0x09 and two [9] = 0x0a and two [10] = 0x0b and two [11] = 0x0c)
			assert ("test export 1 4", two [12] = 0x0d and two [13] = 0x0e and two [14] = 0x0f and two [15] = 0x00)
		end

	test_import_2
		local
			one: INTEGER_X
			two: SPECIAL [NATURAL_8]
		do
			create two.make_filled (0, 16)
			two [0] := 0x01 two [1] := 0x02 two [2] := 0x03 two [3] := 0x04
			two [4] := 0x05 two [5] := 0x06 two [6] := 0x07 two [7] := 0x08
			two [8] := 0x09 two [9] := 0x0a two [10] := 0x0b two [11] := 0x0c
			two [12] := 0x0d two [13] := 0x0e two [14] := 0x0f two [15] := 0x0
			create one
			input (one, 16, 1, 1, -1, two, 0)
			assert ("test import 2", one.item [0] = 0x0d0e0f00 and one.item [1] = 0x090a0b0c and one.item [2] = 0x05060708 and one.item [3] = 0x01020304)
		end
end