note description: "Summary description for {TEST_RANDSTRUCT_LC}." author: "" date: "$Date$" revision: "$Revision$" class TEST_RANDSTRUCT_LC inherit EQA_TEST_SET INTEGER_X_FACILITIES undefine default_create end feature test_randget_1 local struct: LINEAR_CONGRUENTIAL_RNG target: SPECIAL [NATURAL_32] do create struct.make (16) create target.make_filled (0, 16) struct.randget (target, 0, 16 * 32) assert ("test randget 1 1", target [0] = 0x9a13029c and target [1] = 0xa57f74f1 and target [2] = 0x4978d92b and target [3] = 0xfcd3c783) assert ("test randget 1 2", target [4] = 0xc6815ba3 and target [5] = 0xd1c1fccc and target [6] = 0xdce6db9b and target [7] = 0xab842185) assert ("test randget 1 3", target [8] = 0x7561a561 and target [9] = 0xd97b558c and target [10] = 0x38fe3b9c and target [11] = 0x18105699) assert ("test randget 1 4", target [12] = 0x4aa55829 and target [13] = 0xd9eae640 and target [14] = 0xc2e62e2f and target [15] = 0x8157a727) end test_randget_2 local struct: LINEAR_CONGRUENTIAL_RNG target: SPECIAL [NATURAL_32] do create struct.make (128) create target.make_filled (0, 16) struct.randget (target, 0, 16 * 32) assert ("test randget 2 1", target [0] = 0x42a99a0c and target [1] = 0x71fd8f07 and target [2] = 0x2aaf58a0 and target [3] = 0xaf66ba93) assert ("test randget 2 2", target [4] = 0xec6b8425 and target [5] = 0x3507ca60 and target [6] = 0x64c9c175 and target [7] = 0x73cfa3c6) assert ("test randget 2 3", target [8] = 0xa8e20278 and target [9] = 0x2cd68b8a and target [10] = 0xa131dec1 and target [11] = 0x53ea074c) assert ("test randget 2 4", target [12] = 0x47581f73 and target [13] = 0xa53cc0eb and target [14] = 0x343532f8 and target [15] = 0x3cf5ac8c) end test_randget_3 local struct: LINEAR_CONGRUENTIAL_RNG target: SPECIAL [NATURAL_32] i: INTEGER do create struct.make (128) create target.make_filled (0, 4) from i := 0 until i = 1_000 loop struct.randget (target, 0, 4 * 32) i := i + 1 end assert ("test randget 3", target [0] = 0x6cb70ec0 and target [1] = 0x7e6c8a80 and target [2] = 0x314b0a1c and target [3] = 0xf4f389af) end test_randget_4 local one: SPECIAL [NATURAL_32] struct: LINEAR_CONGRUENTIAL_RNG do create one.make_filled (0, 6) create struct.make (32) struct.randget (one, 0, 0xa1) assert ("test randget 4 1", one [0] = 0xbaecd515 and one [1] = 0x13ae8ec6 and one [2] = 0x518c8090 and one [3] = 0x881ca077 and one [4] = 0x870b7134 and one [5] = 0x00000001) struct.randget (one, 0, 0xa1) assert ("test randget 4 2", one [0] = 0x323a7636 and one [1] = 0xa122cb1a and one [2] = 0x99811941 and one [3] = 0x841fd605 and one [4] = 0xd960a1bf and one [5] = 0x0) end test_make_1 local struct: LINEAR_CONGRUENTIAL_RNG do create struct.make (32) assert ("test make 1", struct.seed.seed.capacity = 2) end end