90 lines
2.9 KiB
Plaintext
90 lines
2.9 KiB
Plaintext
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
|