class TEST
create
make
feature {NONE} -- Creation
make is
-- Execute test.
do
io.put_string ("INTEGER_8:")
-- Leading zeroes
test_integer_8 ( "0" , i8_u_00 , i8_ux00 , 0000000000000000000000000000000000 , 0x00000000000000000000000000000000 )
test_integer_8 ( "0" , i8_p_00 , i8_px00 , +0000000000000000000000000000000000 , +0x00000000000000000000000000000000 )
test_integer_8 ( "0" , i8_m_00 , i8_mx00 , -0000000000000000000000000000000000 , -0x00000000000000000000000000000000 )
test_integer_8 ( "123" , i8_u_0123 , i8_ux07B , 0000000000000000000000000000000123 , 0x0000000000000000000000000000007B )
test_integer_8 ( "123" , i8_p_0123 , i8_px07B , +0000000000000000000000000000000123 , +0x0000000000000000000000000000007B )
test_integer_8 ( "-123" , i8_m_0123 , i8_mx07B , -0000000000000000000000000000000123 , -0x0000000000000000000000000000007B )
test_integer_8 ( "127" , i8_u_0127 , i8_ux07F , 0000000000000000000000000000000127 , 0x0000000000000000000000000000007F )
test_integer_8 ( "127" , i8_p_0127 , i8_px07F , +0000000000000000000000000000000127 , +0x0000000000000000000000000000007F )
test_integer_8 ( "-127" , i8_m_0127 , i8_mx07F , -0000000000000000000000000000000127 , -0x0000000000000000000000000000007F )
test_integer_8 ( "-128" , i8_m_0128 , i8_mx080 , -0000000000000000000000000000000128 , -0x00000000000000000000000000000080 )
-- Byte boundaries
test_integer_8 ( "0" , i8_u_0 , i8_ux0 , 0 , 0x0 )
test_integer_8 ( "0" , i8_p_0 , i8_px0 , +0 , +0x0 )
test_integer_8 ( "0" , i8_m_0 , i8_mx0 , -0 , -0x0 )
test_integer_8 ( "1" , i8_u_1 , i8_ux1 , 1 , 0x1 )
test_integer_8 ( "1" , i8_p_1 , i8_px1 , +1 , +0x1 )
test_integer_8 ( "-1" , i8_m_1 , i8_mx1 , -1 , -0x1 )
test_integer_8 ( "127" , i8_u_127 , i8_ux7F , 127 , 0x7F )
test_integer_8 ( "127" , i8_p_127 , i8_px7F , +127 , +0x7F )
test_integer_8 ( "-127" , i8_m_127 , i8_mx7F , -127 , -0x7F )
test_integer_8 ( "-128" , i8_m_128 , i8_mx80 , -128 , -0x80 )
-- Implicitly negative hexadecimals
test_integer_8 ( "-128" , i8_m_128 , i8_ux80 , -128 , 0x80 )
test_integer_8 ( "-127" , i8_m_127 , i8_ux81 , -127 , 0x81 )
test_integer_8 ( "-2" , i8_m_2 , i8_uxFE , -2 , 0xFE )
test_integer_8 ( "-1" , i8_m_1 , i8_uxFF , -1 , 0xFF )
if not has_error then
io.put_string (" OK")
end
io.put_new_line
has_error := false
io.put_string ("INTEGER_16:")
-- Leading zeroes
test_integer_16 ( "0" , i16_u_00 , i16_ux00 , 00000000000000000000000000000000000 , 0x000000000000000000000000000000000 )
test_integer_16 ( "0" , i16_p_00 , i16_px00 , +00000000000000000000000000000000000 , +0x000000000000000000000000000000000 )
test_integer_16 ( "0" , i16_m_00 , i16_mx00 , -00000000000000000000000000000000000 , -0x000000000000000000000000000000000 )
test_integer_16 ( "12345" , i16_u_012345 , i16_ux03039 , 00000000000000000000000000000012345 , 0x000000000000000000000000000003039 )
test_integer_16 ( "12345" , i16_p_012345 , i16_px03039 , +00000000000000000000000000000012345 , +0x000000000000000000000000000003039 )
test_integer_16 ( "-12345" , i16_m_012345 , i16_mx03039 , -00000000000000000000000000000012345 , -0x000000000000000000000000000003039 )
test_integer_16 ( "32767" , i16_u_032767 , i16_ux07FFF , 00000000000000000000000000000032767 , 0x000000000000000000000000000007FFF )
test_integer_16 ( "32767" , i16_p_032767 , i16_px07FFF , +00000000000000000000000000000032767 , +0x000000000000000000000000000007FFF )
test_integer_16 ( "-32767" , i16_m_032767 , i16_mx07FFF , -00000000000000000000000000000032767 , -0x000000000000000000000000000007FFF )
test_integer_16 ( "-32768" , i16_m_032768 , i16_mx08000 , -00000000000000000000000000000032768 , -0x000000000000000000000000000008000 )
-- Byte boundaries
test_integer_16 ( "0" , i16_u_0 , i16_ux0 , 0 , 0x0 )
test_integer_16 ( "0" , i16_p_0 , i16_px0 , +0 , +0x0 )
test_integer_16 ( "0" , i16_m_0 , i16_mx0 , -0 , -0x0 )
test_integer_16 ( "1" , i16_u_1 , i16_ux1 , 1 , 0x1 )
test_integer_16 ( "1" , i16_p_1 , i16_px1 , +1 , +0x1 )
test_integer_16 ( "-1" , i16_m_1 , i16_mx1 , -1 , -0x1 )
test_integer_16 ( "127" , i16_u_127 , i16_ux7F , 127 , 0x7F )
test_integer_16 ( "127" , i16_p_127 , i16_px7F , +127 , +0x7F )
test_integer_16 ( "-127" , i16_m_127 , i16_mx7F , -127 , -0x7F )
test_integer_16 ( "128" , i16_u_128 , i16_ux80 , 128 , 0x80 )
test_integer_16 ( "128" , i16_p_128 , i16_px80 , +128 , +0x80 )
test_integer_16 ( "-128" , i16_m_128 , i16_mx80 , -128 , -0x80 )
test_integer_16 ( "129" , i16_u_129 , i16_ux81 , 129 , 0x81 )
test_integer_16 ( "129" , i16_p_129 , i16_px81 , +129 , +0x81 )
test_integer_16 ( "-129" , i16_m_129 , i16_mx81 , -129 , -0x81 )
test_integer_16 ( "255" , i16_u_255 , i16_uxFF , 255 , 0xFF )
test_integer_16 ( "255" , i16_p_255 , i16_pxFF , +255 , +0xFF )
test_integer_16 ( "-255" , i16_m_255 , i16_mxFF , -255 , -0xFF )
test_integer_16 ( "256" , i16_u_256 , i16_ux100 , 256 , 0x100 )
test_integer_16 ( "256" , i16_p_256 , i16_up100 , +256 , +0x100 )
test_integer_16 ( "-256" , i16_m_256 , i16_um100 , -256 , -0x100 )
test_integer_16 ( "257" , i16_u_257 , i16_ux101 , 257 , 0x101 )
test_integer_16 ( "257" , i16_p_257 , i16_up101 , +257 , +0x101 )
test_integer_16 ( "-257" , i16_m_257 , i16_um101 , -257 , -0x101 )
test_integer_16 ( "32767" , i16_u_32767 , i16_ux7FFF , 32767 , 0x7FFF )
test_integer_16 ( "32767" , i16_p_32767 , i16_px7FFF , +32767 , +0x7FFF )
test_integer_16 ( "-32767" , i16_m_32767 , i16_mx7FFF , -32767 , -0x7FFF )
test_integer_16 ( "-32768" , i16_m_32768 , i16_mx8000 , -32768 , -0x8000 )
-- Implicitly negative hexadecimals
test_integer_16 ( "-32768" , i16_m_32768 , i16_ux8000 , -32768 , 0x8000 )
test_integer_16 ( "-32767" , i16_m_32767 , i16_ux8001 , -32767 , 0x8001 )
test_integer_16 ( "-2" , i16_m_2 , i16_uxFFFE , -2 , 0xFFFE )
test_integer_16 ( "-1" , i16_m_1 , i16_uxFFFF , -1 , 0xFFFF )
if not has_error then
io.put_string (" OK")
end
io.put_new_line
has_error := false
io.put_string ("INTEGER:")
-- Leading zeroes
test_integer_32 ( "0" , i32_u_00 , i32_ux00 , 0000000000000000000000000000000000 , 0x00000000000000000000000000000000 )
test_integer_32 ( "0" , i32_p_00 , i32_px00 , +0000000000000000000000000000000000 , +0x00000000000000000000000000000000 )
test_integer_32 ( "0" , i32_m_00 , i32_mx00 , -0000000000000000000000000000000000 , -0x00000000000000000000000000000000 )
test_integer_32 ( "1234567890" , i32_u_01234567890 , i32_ux0499602D2 , 0000000000000000000000001234567890 , 0x000000000000000000000000499602D2 )
test_integer_32 ( "1234567890" , i32_p_01234567890 , i32_px0499602D2 , +0000000000000000000000001234567890 , +0x000000000000000000000000499602D2 )
test_integer_32 ( "-1234567890" , i32_m_01234567890 , i32_mx0499602D2 , -0000000000000000000000001234567890 , -0x000000000000000000000000499602D2 )
test_integer_32 ( "2147483647" , i32_u_02147483647 , i32_ux07FFFFFFF , 0000000000000000000000002147483647 , 0x0000000000000000000000007FFFFFFF )
test_integer_32 ( "2147483647" , i32_p_02147483647 , i32_px07FFFFFFF , +0000000000000000000000002147483647 , +0x0000000000000000000000007FFFFFFF )
test_integer_32 ( "-2147483647" , i32_m_02147483647 , i32_mx07FFFFFFF , -0000000000000000000000002147483647 , -0x0000000000000000000000007FFFFFFF )
test_integer_32 ( "-2147483648" , i32_m_02147483648 , i32_mx080000000 , -0000000000000000000000002147483648 , -0x00000000000000000000000080000000 )
-- Byte boundaries
test_integer_32 ( "0" , i32_u_0 , i32_ux0 , 0 , 0x0 )
test_integer_32 ( "0" , i32_p_0 , i32_px0 , +0 , +0x0 )
test_integer_32 ( "0" , i32_m_0 , i32_mx0 , -0 , -0x0 )
test_integer_32 ( "1" , i32_u_1 , i32_ux1 , 1 , 0x1 )
test_integer_32 ( "1" , i32_p_1 , i32_px1 , +1 , +0x1 )
test_integer_32 ( "-1" , i32_m_1 , i32_mx1 , -1 , -0x1 )
test_integer_32 ( "127" , i32_u_127 , i32_ux7F , 127 , 0x7F )
test_integer_32 ( "127" , i32_p_127 , i32_px7F , +127 , +0x7F )
test_integer_32 ( "-127" , i32_m_127 , i32_mx7F , -127 , -0x7F )
test_integer_32 ( "128" , i32_u_128 , i32_ux80 , 128 , 0x80 )
test_integer_32 ( "128" , i32_p_128 , i32_px80 , +128 , +0x80 )
test_integer_32 ( "-128" , i32_m_128 , i32_mx80 , -128 , -0x80 )
test_integer_32 ( "129" , i32_u_129 , i32_ux81 , 129 , 0x81 )
test_integer_32 ( "129" , i32_p_129 , i32_px81 , +129 , +0x81 )
test_integer_32 ( "-129" , i32_m_129 , i32_mx81 , -129 , -0x81 )
test_integer_32 ( "255" , i32_u_255 , i32_uxFF , 255 , 0xFF )
test_integer_32 ( "255" , i32_p_255 , i32_pxFF , +255 , +0xFF )
test_integer_32 ( "-255" , i32_m_255 , i32_mxFF , -255 , -0xFF )
test_integer_32 ( "256" , i32_u_256 , i32_ux100 , 256 , 0x100 )
test_integer_32 ( "256" , i32_p_256 , i32_up100 , +256 , +0x100 )
test_integer_32 ( "-256" , i32_m_256 , i32_um100 , -256 , -0x100 )
test_integer_32 ( "257" , i32_u_257 , i32_ux101 , 257 , 0x101 )
test_integer_32 ( "257" , i32_p_257 , i32_up101 , +257 , +0x101 )
test_integer_32 ( "-257" , i32_m_257 , i32_um101 , -257 , -0x101 )
test_integer_32 ( "32767" , i32_u_32767 , i32_ux7FFF , 32767 , 0x7FFF )
test_integer_32 ( "32767" , i32_p_32767 , i32_px7FFF , +32767 , +0x7FFF )
test_integer_32 ( "-32767" , i32_m_32767 , i32_mx7FFF , -32767 , -0x7FFF )
test_integer_32 ( "32768" , i32_u_32768 , i32_ux8000 , 32768 , 0x8000 )
test_integer_32 ( "32768" , i32_p_32768 , i32_px8000 , +32768 , +0x8000 )
test_integer_32 ( "-32768" , i32_m_32768 , i32_mx8000 , -32768 , -0x8000 )
test_integer_32 ( "32769" , i32_u_32769 , i32_ux8001 , 32769 , 0x8001 )
test_integer_32 ( "32769" , i32_p_32769 , i32_px8001 , +32769 , +0x8001 )
test_integer_32 ( "-32769" , i32_m_32769 , i32_mx8001 , -32769 , -0x8001 )
test_integer_32 ( "65535" , i32_u_65535 , i32_uxFFFF , 65535 , 0xFFFF )
test_integer_32 ( "65535" , i32_p_65535 , i32_pxFFFF , +65535 , +0xFFFF )
test_integer_32 ( "-65535" , i32_m_65535 , i32_mxFFFF , -65535 , -0xFFFF )
test_integer_32 ( "65536" , i32_u_65536 , i32_ux10000 , 65536 , 0x10000 )
test_integer_32 ( "65536" , i32_p_65536 , i32_px10000 , +65536 , +0x10000 )
test_integer_32 ( "-65536" , i32_m_65536 , i32_mx10000 , -65536 , -0x10000 )
test_integer_32 ( "65537" , i32_u_65537 , i32_ux10001 , 65537 , 0x10001 )
test_integer_32 ( "65537" , i32_p_65537 , i32_px10001 , +65537 , +0x10001 )
test_integer_32 ( "-65537" , i32_m_65537 , i32_mx10001 , -65537 , -0x10001 )
test_integer_32 ( "8388607" , i32_u_8388607 , i32_ux7FFFFF , 8388607 , 0x7FFFFF )
test_integer_32 ( "8388607" , i32_p_8388607 , i32_px7FFFFF , +8388607 , +0x7FFFFF )
test_integer_32 ( "-8388607" , i32_m_8388607 , i32_mx7FFFFF , -8388607 , -0x7FFFFF )
test_integer_32 ( "8388608" , i32_u_8388608 , i32_ux800000 , 8388608 , 0x800000 )
test_integer_32 ( "8388608" , i32_p_8388608 , i32_px800000 , +8388608 , +0x800000 )
test_integer_32 ( "-8388608" , i32_m_8388608 , i32_mx800000 , -8388608 , -0x800000 )
test_integer_32 ( "8388609" , i32_u_8388609 , i32_ux800001 , 8388609 , 0x800001 )
test_integer_32 ( "8388609" , i32_p_8388609 , i32_px800001 , +8388609 , +0x800001 )
test_integer_32 ( "-8388609" , i32_m_8388609 , i32_mx800001 , -8388609 , -0x800001 )
test_integer_32 ( "16777215" , i32_u_16777215 , i32_uxFFFFFF , 16777215 , 0xFFFFFF )
test_integer_32 ( "16777215" , i32_p_16777215 , i32_pxFFFFFF , +16777215 , +0xFFFFFF )
test_integer_32 ( "-16777215" , i32_m_16777215 , i32_mxFFFFFF , -16777215 , -0xFFFFFF )
test_integer_32 ( "16777216" , i32_u_16777216 , i32_ux1000000 , 16777216 , 0x1000000 )
test_integer_32 ( "16777216" , i32_p_16777216 , i32_px1000000 , +16777216 , +0x1000000 )
test_integer_32 ( "-16777216" , i32_m_16777216 , i32_mx1000000 , -16777216 , -0x1000000 )
test_integer_32 ( "16777217" , i32_u_16777217 , i32_ux1000001 , 16777217 , 0x1000001 )
test_integer_32 ( "16777217" , i32_p_16777217 , i32_px1000001 , +16777217 , +0x1000001 )
test_integer_32 ( "-16777217" , i32_m_16777217 , i32_mx1000001 , -16777217 , -0x1000001 )
test_integer_32 ( "2147483647" , i32_u_2147483647 , i32_ux7FFFFFFF , 2147483647 , 0x7FFFFFFF )
test_integer_32 ( "2147483647" , i32_p_2147483647 , i32_px7FFFFFFF , +2147483647 , +0x7FFFFFFF )
test_integer_32 ( "-2147483647" , i32_m_2147483647 , i32_mx7FFFFFFF , -2147483647 , -0x7FFFFFFF )
test_integer_32 ( "-2147483648" , i32_m_2147483648 , i32_mx80000000 , -2147483648 , -0x80000000 )
-- Implicitly negative hexadecimals
test_integer_32 ( "-2147483648" , i32_m_2147483648 , i32_ux80000000 , -2147483648 , 0x80000000 )
test_integer_32 ( "-2147483647" , i32_m_2147483647 , i32_ux80000001 , -2147483647 , 0x80000001 )
test_integer_32 ( "-2" , i32_m_2 , i32_uxFFFFFFFE , -2 , 0xFFFFFFFE )
test_integer_32 ( "-1" , i32_m_1 , i32_uxFFFFFFFF , -1 , 0xFFFFFFFF )
if not has_error then
io.put_string (" OK")
end
io.put_new_line
has_error := false
io.put_string ("INTEGER_64:")
-- Leading zeroes
test_integer_64 ( "0" , i64_u_00 , i64_ux00 , 0000000000000000000000000000000000000000000 , 0x00000000000000000000000000000000000000000 )
test_integer_64 ( "0" , i64_p_00 , i64_px00 , +0000000000000000000000000000000000000000000 , +0x00000000000000000000000000000000000000000 )
test_integer_64 ( "0" , i64_m_00 , i64_mx00 , -0000000000000000000000000000000000000000000 , -0x00000000000000000000000000000000000000000 )
test_integer_64 ( "1234567890123456789" , i64_u_01234567890123456789 , i64_ux0112210F47DE98115 , 0000000000000000000000001234567890123456789 , 0x0000000000000000000000000112210F47DE98115 )
test_integer_64 ( "1234567890123456789" , i64_p_01234567890123456789 , i64_px0112210F47DE98115 , +0000000000000000000000001234567890123456789 , +0x0000000000000000000000000112210F47DE98115 )
test_integer_64 ( "-1234567890123456789" , i64_m_01234567890123456789 , i64_mx0112210F47DE98115 , -0000000000000000000000001234567890123456789 , -0x0000000000000000000000000112210F47DE98115 )
test_integer_64 ( "9223372036854775807" , i64_u_09223372036854775807 , i64_ux07FFFFFFFFFFFFFFF , 0000000000000000000000009223372036854775807 , 0x00000000000000000000000007FFFFFFFFFFFFFFF )
test_integer_64 ( "9223372036854775807" , i64_p_09223372036854775807 , i64_px07FFFFFFFFFFFFFFF , +0000000000000000000000009223372036854775807 , +0x00000000000000000000000007FFFFFFFFFFFFFFF )
test_integer_64 ( "-9223372036854775807" , i64_m_09223372036854775807 , i64_mx07FFFFFFFFFFFFFFF , -0000000000000000000000009223372036854775807 , -0x00000000000000000000000007FFFFFFFFFFFFFFF )
test_integer_64 ( "-9223372036854775808" , i64_m_09223372036854775808 , i64_mx08000000000000000 , -0000000000000000000000009223372036854775808 , -0x00000000000000000000000008000000000000000 )
-- Byte boundaries
test_integer_64 ( "0" , i64_u_0 , i64_ux0 , 0 , 0x0 )
test_integer_64 ( "0" , i64_p_0 , i64_px0 , +0 , +0x0 )
test_integer_64 ( "0" , i64_m_0 , i64_mx0 , -0 , -0x0 )
test_integer_64 ( "1" , i64_u_1 , i64_ux1 , 1 , 0x1 )
test_integer_64 ( "1" , i64_p_1 , i64_px1 , +1 , +0x1 )
test_integer_64 ( "-1" , i64_m_1 , i64_mx1 , -1 , -0x1 )
test_integer_64 ( "127" , i64_u_127 , i64_ux7F , 127 , 0x7F )
test_integer_64 ( "127" , i64_p_127 , i64_px7F , +127 , +0x7F )
test_integer_64 ( "-127" , i64_m_127 , i64_mx7F , -127 , -0x7F )
test_integer_64 ( "128" , i64_u_128 , i64_ux80 , 128 , 0x80 )
test_integer_64 ( "128" , i64_p_128 , i64_px80 , +128 , +0x80 )
test_integer_64 ( "-128" , i64_m_128 , i64_mx80 , -128 , -0x80 )
test_integer_64 ( "129" , i64_u_129 , i64_ux81 , 129 , 0x81 )
test_integer_64 ( "129" , i64_p_129 , i64_px81 , +129 , +0x81 )
test_integer_64 ( "-129" , i64_m_129 , i64_mx81 , -129 , -0x81 )
test_integer_64 ( "255" , i64_u_255 , i64_uxFF , 255 , 0xFF )
test_integer_64 ( "255" , i64_p_255 , i64_pxFF , +255 , +0xFF )
test_integer_64 ( "-255" , i64_m_255 , i64_mxFF , -255 , -0xFF )
test_integer_64 ( "256" , i64_u_256 , i64_ux100 , 256 , 0x100 )
test_integer_64 ( "256" , i64_p_256 , i64_up100 , +256 , +0x100 )
test_integer_64 ( "-256" , i64_m_256 , i64_um100 , -256 , -0x100 )
test_integer_64 ( "257" , i64_u_257 , i64_ux101 , 257 , 0x101 )
test_integer_64 ( "257" , i64_p_257 , i64_up101 , +257 , +0x101 )
test_integer_64 ( "-257" , i64_m_257 , i64_um101 , -257 , -0x101 )
test_integer_64 ( "32767" , i64_u_32767 , i64_ux7FFF , 32767 , 0x7FFF )
test_integer_64 ( "32767" , i64_p_32767 , i64_px7FFF , +32767 , +0x7FFF )
test_integer_64 ( "-32767" , i64_m_32767 , i64_mx7FFF , -32767 , -0x7FFF )
test_integer_64 ( "32768" , i64_u_32768 , i64_ux8000 , 32768 , 0x8000 )
test_integer_64 ( "32768" , i64_p_32768 , i64_px8000 , +32768 , +0x8000 )
test_integer_64 ( "-32768" , i64_m_32768 , i64_mx8000 , -32768 , -0x8000 )
test_integer_64 ( "32769" , i64_u_32769 , i64_ux8001 , 32769 , 0x8001 )
test_integer_64 ( "32769" , i64_p_32769 , i64_px8001 , +32769 , +0x8001 )
test_integer_64 ( "-32769" , i64_m_32769 , i64_mx8001 , -32769 , -0x8001 )
test_integer_64 ( "65535" , i64_u_65535 , i64_uxFFFF , 65535 , 0xFFFF )
test_integer_64 ( "65535" , i64_p_65535 , i64_pxFFFF , +65535 , +0xFFFF )
test_integer_64 ( "-65535" , i64_m_65535 , i64_mxFFFF , -65535 , -0xFFFF )
test_integer_64 ( "65536" , i64_u_65536 , i64_ux10000 , 65536 , 0x10000 )
test_integer_64 ( "65536" , i64_p_65536 , i64_px10000 , +65536 , +0x10000 )
test_integer_64 ( "-65536" , i64_m_65536 , i64_mx10000 , -65536 , -0x10000 )
test_integer_64 ( "65537" , i64_u_65537 , i64_ux10001 , 65537 , 0x10001 )
test_integer_64 ( "65537" , i64_p_65537 , i64_px10001 , +65537 , +0x10001 )
test_integer_64 ( "-65537" , i64_m_65537 , i64_mx10001 , -65537 , -0x10001 )
test_integer_64 ( "8388607" , i64_u_8388607 , i64_ux7FFFFF , 8388607 , 0x7FFFFF )
test_integer_64 ( "8388607" , i64_p_8388607 , i64_px7FFFFF , +8388607 , +0x7FFFFF )
test_integer_64 ( "-8388607" , i64_m_8388607 , i64_mx7FFFFF , -8388607 , -0x7FFFFF )
test_integer_64 ( "8388608" , i64_u_8388608 , i64_ux800000 , 8388608 , 0x800000 )
test_integer_64 ( "8388608" , i64_p_8388608 , i64_px800000 , +8388608 , +0x800000 )
test_integer_64 ( "-8388608" , i64_m_8388608 , i64_mx800000 , -8388608 , -0x800000 )
test_integer_64 ( "8388609" , i64_u_8388609 , i64_ux800001 , 8388609 , 0x800001 )
test_integer_64 ( "8388609" , i64_p_8388609 , i64_px800001 , +8388609 , +0x800001 )
test_integer_64 ( "-8388609" , i64_m_8388609 , i64_mx800001 , -8388609 , -0x800001 )
test_integer_64 ( "16777215" , i64_u_16777215 , i64_uxFFFFFF , 16777215 , 0xFFFFFF )
test_integer_64 ( "16777215" , i64_p_16777215 , i64_pxFFFFFF , +16777215 , +0xFFFFFF )
test_integer_64 ( "-16777215" , i64_m_16777215 , i64_mxFFFFFF , -16777215 , -0xFFFFFF )
test_integer_64 ( "16777216" , i64_u_16777216 , i64_ux1000000 , 16777216 , 0x1000000 )
test_integer_64 ( "16777216" , i64_p_16777216 , i64_px1000000 , +16777216 , +0x1000000 )
test_integer_64 ( "-16777216" , i64_m_16777216 , i64_mx1000000 , -16777216 , -0x1000000 )
test_integer_64 ( "16777217" , i64_u_16777217 , i64_ux1000001 , 16777217 , 0x1000001 )
test_integer_64 ( "16777217" , i64_p_16777217 , i64_px1000001 , +16777217 , +0x1000001 )
test_integer_64 ( "-16777217" , i64_m_16777217 , i64_mx1000001 , -16777217 , -0x1000001 )
test_integer_64 ( "2147483647" , i64_u_2147483647 , i64_ux7FFFFFFF , 2147483647 , 0x7FFFFFFF )
test_integer_64 ( "2147483647" , i64_p_2147483647 , i64_px7FFFFFFF , +2147483647 , +0x7FFFFFFF )
test_integer_64 ( "-2147483647" , i64_m_2147483647 , i64_mx7FFFFFFF , -2147483647 , -0x7FFFFFFF )
test_integer_64 ( "2147483648" , i64_u_2147483648 , i64_ux80000000 , 2147483648 , 0x80000000 )
test_integer_64 ( "2147483648" , i64_p_2147483648 , i64_px80000000 , +2147483648 , +0x80000000 )
test_integer_64 ( "-2147483648" , i64_m_2147483648 , i64_mx80000000 , -2147483648 , -0x80000000 )
test_integer_64 ( "2147483649" , i64_u_2147483649 , i64_ux80000001 , 2147483649 , 0x80000001 )
test_integer_64 ( "2147483649" , i64_p_2147483649 , i64_px80000001 , +2147483649 , +0x80000001 )
test_integer_64 ( "-2147483649" , i64_m_2147483649 , i64_mx80000001 , -2147483649 , -0x80000001 )
test_integer_64 ( "4294967295" , i64_u_4294967295 , i64_uxFFFFFFFF , 4294967295 , 0xFFFFFFFF )
test_integer_64 ( "4294967295" , i64_p_4294967295 , i64_pxFFFFFFFF , +4294967295 , +0xFFFFFFFF )
test_integer_64 ( "-4294967295" , i64_m_4294967295 , i64_mxFFFFFFFF , -4294967295 , -0xFFFFFFFF )
test_integer_64 ( "4294967296" , i64_u_4294967296 , i64_ux100000000 , 4294967296 , 0x100000000 )
test_integer_64 ( "4294967296" , i64_p_4294967296 , i64_px100000000 , +4294967296 , +0x100000000 )
test_integer_64 ( "-4294967296" , i64_m_4294967296 , i64_mx100000000 , -4294967296 , -0x100000000 )
test_integer_64 ( "4294967297" , i64_u_4294967297 , i64_ux100000001 , 4294967297 , 0x100000001 )
test_integer_64 ( "4294967297" , i64_p_4294967297 , i64_px100000001 , +4294967297 , +0x100000001 )
test_integer_64 ( "-4294967297" , i64_m_4294967297 , i64_mx100000001 , -4294967297 , -0x100000001 )
test_integer_64 ( "549755813887" , i64_u_549755813887 , i64_ux7FFFFFFFFF , 549755813887 , 0x7FFFFFFFFF )
test_integer_64 ( "549755813887" , i64_p_549755813887 , i64_px7FFFFFFFFF , +549755813887 , +0x7FFFFFFFFF )
test_integer_64 ( "-549755813887" , i64_m_549755813887 , i64_mx7FFFFFFFFF , -549755813887 , -0x7FFFFFFFFF )
test_integer_64 ( "549755813888" , i64_u_549755813888 , i64_ux8000000000 , 549755813888 , 0x8000000000 )
test_integer_64 ( "549755813888" , i64_p_549755813888 , i64_px8000000000 , +549755813888 , +0x8000000000 )
test_integer_64 ( "-549755813888" , i64_m_549755813888 , i64_mx8000000000 , -549755813888 , -0x8000000000 )
test_integer_64 ( "549755813889" , i64_u_549755813889 , i64_ux8000000001 , 549755813889 , 0x8000000001 )
test_integer_64 ( "549755813889" , i64_p_549755813889 , i64_px8000000001 , +549755813889 , +0x8000000001 )
test_integer_64 ( "-549755813889" , i64_m_549755813889 , i64_mx8000000001 , -549755813889 , -0x8000000001 )
test_integer_64 ( "1099511627775" , i64_u_1099511627775 , i64_uxFFFFFFFFFF , 1099511627775 , 0xFFFFFFFFFF )
test_integer_64 ( "1099511627775" , i64_p_1099511627775 , i64_pxFFFFFFFFFF , +1099511627775 , +0xFFFFFFFFFF )
test_integer_64 ( "-1099511627775" , i64_m_1099511627775 , i64_mxFFFFFFFFFF , -1099511627775 , -0xFFFFFFFFFF )
test_integer_64 ( "1099511627776" , i64_u_1099511627776 , i64_ux10000000000 , 1099511627776 , 0x10000000000 )
test_integer_64 ( "1099511627776" , i64_p_1099511627776 , i64_px10000000000 , +1099511627776 , +0x10000000000 )
test_integer_64 ( "-1099511627776" , i64_m_1099511627776 , i64_mx10000000000 , -1099511627776 , -0x10000000000 )
test_integer_64 ( "1099511627777" , i64_u_1099511627777 , i64_ux10000000001 , 1099511627777 , 0x10000000001 )
test_integer_64 ( "1099511627777" , i64_p_1099511627777 , i64_px10000000001 , +1099511627777 , +0x10000000001 )
test_integer_64 ( "-1099511627777" , i64_m_1099511627777 , i64_mx10000000001 , -1099511627777 , -0x10000000001 )
test_integer_64 ( "140737488355327" , i64_u_140737488355327 , i64_ux7FFFFFFFFFFF , 140737488355327 , 0x7FFFFFFFFFFF )
test_integer_64 ( "140737488355327" , i64_p_140737488355327 , i64_px7FFFFFFFFFFF , +140737488355327 , +0x7FFFFFFFFFFF )
test_integer_64 ( "-140737488355327" , i64_m_140737488355327 , i64_mx7FFFFFFFFFFF , -140737488355327 , -0x7FFFFFFFFFFF )
test_integer_64 ( "140737488355328" , i64_u_140737488355328 , i64_ux800000000000 , 140737488355328 , 0x800000000000 )
test_integer_64 ( "140737488355328" , i64_p_140737488355328 , i64_px800000000000 , +140737488355328 , +0x800000000000 )
test_integer_64 ( "-140737488355328" , i64_m_140737488355328 , i64_mx800000000000 , -140737488355328 , -0x800000000000 )
test_integer_64 ( "140737488355329" , i64_u_140737488355329 , i64_ux800000000001 , 140737488355329 , 0x800000000001 )
test_integer_64 ( "140737488355329" , i64_p_140737488355329 , i64_px800000000001 , +140737488355329 , +0x800000000001 )
test_integer_64 ( "-140737488355329" , i64_m_140737488355329 , i64_mx800000000001 , -140737488355329 , -0x800000000001 )
test_integer_64 ( "281474976710655" , i64_u_281474976710655 , i64_uxFFFFFFFFFFFF , 281474976710655 , 0xFFFFFFFFFFFF )
test_integer_64 ( "281474976710655" , i64_p_281474976710655 , i64_pxFFFFFFFFFFFF , +281474976710655 , +0xFFFFFFFFFFFF )
test_integer_64 ( "-281474976710655" , i64_m_281474976710655 , i64_mxFFFFFFFFFFFF , -281474976710655 , -0xFFFFFFFFFFFF )
test_integer_64 ( "281474976710656" , i64_u_281474976710656 , i64_ux1000000000000 , 281474976710656 , 0x1000000000000 )
test_integer_64 ( "281474976710656" , i64_p_281474976710656 , i64_px1000000000000 , +281474976710656 , +0x1000000000000 )
test_integer_64 ( "-281474976710656" , i64_m_281474976710656 , i64_mx1000000000000 , -281474976710656 , -0x1000000000000 )
test_integer_64 ( "281474976710657" , i64_u_281474976710657 , i64_ux1000000000001 , 281474976710657 , 0x1000000000001 )
test_integer_64 ( "281474976710657" , i64_p_281474976710657 , i64_px1000000000001 , +281474976710657 , +0x1000000000001 )
test_integer_64 ( "-281474976710657" , i64_m_281474976710657 , i64_mx1000000000001 , -281474976710657 , -0x1000000000001 )
test_integer_64 ( "36028797018963967" , i64_u_36028797018963967 , i64_ux7FFFFFFFFFFFFF , 36028797018963967 , 0x7FFFFFFFFFFFFF )
test_integer_64 ( "36028797018963967" , i64_p_36028797018963967 , i64_px7FFFFFFFFFFFFF , +36028797018963967 , +0x7FFFFFFFFFFFFF )
test_integer_64 ( "-36028797018963967" , i64_m_36028797018963967 , i64_mx7FFFFFFFFFFFFF , -36028797018963967 , -0x7FFFFFFFFFFFFF )
test_integer_64 ( "36028797018963968" , i64_u_36028797018963968 , i64_ux80000000000000 , 36028797018963968 , 0x80000000000000 )
test_integer_64 ( "36028797018963968" , i64_p_36028797018963968 , i64_px80000000000000 , +36028797018963968 , +0x80000000000000 )
test_integer_64 ( "-36028797018963968" , i64_m_36028797018963968 , i64_mx80000000000000 , -36028797018963968 , -0x80000000000000 )
test_integer_64 ( "36028797018963969" , i64_u_36028797018963969 , i64_ux80000000000001 , 36028797018963969 , 0x80000000000001 )
test_integer_64 ( "36028797018963969" , i64_p_36028797018963969 , i64_px80000000000001 , +36028797018963969 , +0x80000000000001 )
test_integer_64 ( "-36028797018963969" , i64_m_36028797018963969 , i64_mx80000000000001 , -36028797018963969 , -0x80000000000001 )
test_integer_64 ( "72057594037927935" , i64_u_72057594037927935 , i64_uxFFFFFFFFFFFFFF , 72057594037927935 , 0xFFFFFFFFFFFFFF )
test_integer_64 ( "72057594037927935" , i64_p_72057594037927935 , i64_pxFFFFFFFFFFFFFF , +72057594037927935 , +0xFFFFFFFFFFFFFF )
test_integer_64 ( "-72057594037927935" , i64_m_72057594037927935 , i64_mxFFFFFFFFFFFFFF , -72057594037927935 , -0xFFFFFFFFFFFFFF )
test_integer_64 ( "72057594037927936" , i64_u_72057594037927936 , i64_ux100000000000000 , 72057594037927936 , 0x100000000000000 )
test_integer_64 ( "72057594037927936" , i64_p_72057594037927936 , i64_px100000000000000 , +72057594037927936 , +0x100000000000000 )
test_integer_64 ( "-72057594037927936" , i64_m_72057594037927936 , i64_mx100000000000000 , -72057594037927936 , -0x100000000000000 )
test_integer_64 ( "72057594037927937" , i64_u_72057594037927937 , i64_ux100000000000001 , 72057594037927937 , 0x100000000000001 )
test_integer_64 ( "72057594037927937" , i64_p_72057594037927937 , i64_px100000000000001 , +72057594037927937 , +0x100000000000001 )
test_integer_64 ( "-72057594037927937" , i64_m_72057594037927937 , i64_mx100000000000001 , -72057594037927937 , -0x100000000000001 )
test_integer_64 ( "9223372036854775807" , i64_u_9223372036854775807 , i64_ux7FFFFFFFFFFFFFFF , 9223372036854775807 , 0x7FFFFFFFFFFFFFFF )
test_integer_64 ( "9223372036854775807" , i64_p_9223372036854775807 , i64_px7FFFFFFFFFFFFFFF , +9223372036854775807 , +0x7FFFFFFFFFFFFFFF )
test_integer_64 ( "-9223372036854775807" , i64_m_9223372036854775807 , i64_mx7FFFFFFFFFFFFFFF , -9223372036854775807 , -0x7FFFFFFFFFFFFFFF )
test_integer_64 ( "-9223372036854775808" , i64_m_9223372036854775808 , i64_mx8000000000000000 , -9223372036854775808 , -0x8000000000000000 )
-- Implicitly negative hexadecimals
test_integer_64 ( "-9223372036854775808" , i64_m_9223372036854775808 , i64_ux8000000000000000 , -9223372036854775808 , 0x8000000000000000 )
test_integer_64 ( "-9223372036854775807" , i64_m_9223372036854775807 , i64_ux8000000000000001 , -9223372036854775807 , 0x8000000000000001 )
test_integer_64 ( "-2" , i64_m_2 , i64_uxFFFFFFFFFFFFFFFE , -2 , 0xFFFFFFFFFFFFFFFE )
test_integer_64 ( "-1" , i64_m_1 , i64_uxFFFFFFFFFFFFFFFF , -1 , 0xFFFFFFFFFFFFFFFF )
if not has_error then
io.put_string (" OK")
end
io.put_new_line
end
feature {NONE} -- INTEGER_8 constants: leading zeroes
i8_u_00: INTEGER_8 is 0000000000000000000000000000000000
i8_p_00: INTEGER_8 is +0000000000000000000000000000000000
i8_m_00: INTEGER_8 is -0000000000000000000000000000000000
i8_u_0123: INTEGER_8 is 0000000000000000000000000000000123
i8_p_0123: INTEGER_8 is +0000000000000000000000000000000123
i8_m_0123: INTEGER_8 is -0000000000000000000000000000000123
i8_u_0127: INTEGER_8 is 0000000000000000000000000000000127
i8_p_0127: INTEGER_8 is +0000000000000000000000000000000127
i8_m_0127: INTEGER_8 is -0000000000000000000000000000000127
i8_m_0128: INTEGER_8 is -0000000000000000000000000000000128
i8_ux00: INTEGER_8 is 0x00000000000000000000000000000000
i8_px00: INTEGER_8 is +0x00000000000000000000000000000000
i8_mx00: INTEGER_8 is -0x00000000000000000000000000000000
i8_ux07B: INTEGER_8 is 0x0000000000000000000000000000007B
i8_px07B: INTEGER_8 is +0x0000000000000000000000000000007B
i8_mx07B: INTEGER_8 is -0x0000000000000000000000000000007B
i8_ux07F: INTEGER_8 is 0x0000000000000000000000000000007F
i8_px07F: INTEGER_8 is +0x0000000000000000000000000000007F
i8_mx07F: INTEGER_8 is -0x0000000000000000000000000000007F
i8_mx080: INTEGER_8 is -0x00000000000000000000000000000080
feature {NONE} -- INTEGER_8 constants: decimal byte boundaries
i8_u_0: INTEGER_8 is 0
i8_p_0: INTEGER_8 is +0
i8_m_0: INTEGER_8 is -0
i8_u_1: INTEGER_8 is 1
i8_p_1: INTEGER_8 is +1
i8_m_1: INTEGER_8 is -1
i8_u_127: INTEGER_8 is 127
i8_p_127: INTEGER_8 is +127
i8_m_127: INTEGER_8 is -127
i8_m_128: INTEGER_8 is -128
feature {NONE} -- INTEGER_8 constants: hexadecimal byte boundaries
i8_ux0: INTEGER_8 is 0x0
i8_px0: INTEGER_8 is +0x0
i8_mx0: INTEGER_8 is -0x0
i8_ux1: INTEGER_8 is 0x1
i8_px1: INTEGER_8 is +0x1
i8_mx1: INTEGER_8 is -0x1
i8_ux7F: INTEGER_8 is 0x7F
i8_px7F: INTEGER_8 is +0x7F
i8_mx7F: INTEGER_8 is -0x7F
i8_mx80: INTEGER_8 is -0x80
feature {NONE} -- INTEGER_8 constants: implicitly negative hexadecimals
i8_m_2: INTEGER_8 is -2
i8_ux80: INTEGER_8 is 0x80
i8_ux81: INTEGER_8 is 0x81
i8_uxFE: INTEGER_8 is 0xFE
i8_uxFF: INTEGER_8 is 0xFF
feature {NONE} -- INTEGER_16 constants: leading zeroes
i16_u_00: INTEGER_16 is 00000000000000000000000000000000000
i16_p_00: INTEGER_16 is +00000000000000000000000000000000000
i16_m_00: INTEGER_16 is -00000000000000000000000000000000000
i16_u_012345: INTEGER_16 is 00000000000000000000000000000012345
i16_p_012345: INTEGER_16 is +00000000000000000000000000000012345
i16_m_012345: INTEGER_16 is -00000000000000000000000000000012345
i16_u_032767: INTEGER_16 is 00000000000000000000000000000032767
i16_p_032767: INTEGER_16 is +00000000000000000000000000000032767
i16_m_032767: INTEGER_16 is -00000000000000000000000000000032767
i16_m_032768: INTEGER_16 is -00000000000000000000000000000032768
i16_ux00: INTEGER_16 is 0x000000000000000000000000000000000
i16_px00: INTEGER_16 is +0x000000000000000000000000000000000
i16_mx00: INTEGER_16 is -0x000000000000000000000000000000000
i16_ux03039: INTEGER_16 is 0x000000000000000000000000000003039
i16_px03039: INTEGER_16 is +0x000000000000000000000000000003039
i16_mx03039: INTEGER_16 is -0x000000000000000000000000000003039
i16_ux07FFF: INTEGER_16 is 0x000000000000000000000000000007FFF
i16_px07FFF: INTEGER_16 is +0x000000000000000000000000000007FFF
i16_mx07FFF: INTEGER_16 is -0x000000000000000000000000000007FFF
i16_mx08000: INTEGER_16 is -0x000000000000000000000000000008000
feature {NONE} -- INTEGER_16 constants: decimal byte boundaries
i16_u_0: INTEGER_16 is 0
i16_p_0: INTEGER_16 is +0
i16_m_0: INTEGER_16 is -0
i16_u_1: INTEGER_16 is 1
i16_p_1: INTEGER_16 is +1
i16_m_1: INTEGER_16 is -1
i16_u_127: INTEGER_16 is 127
i16_p_127: INTEGER_16 is +127
i16_m_127: INTEGER_16 is -127
i16_u_128: INTEGER_16 is 128
i16_p_128: INTEGER_16 is +128
i16_m_128: INTEGER_16 is -128
i16_u_129: INTEGER_16 is 129
i16_p_129: INTEGER_16 is +129
i16_m_129: INTEGER_16 is -129
i16_u_255: INTEGER_16 is 255
i16_p_255: INTEGER_16 is +255
i16_m_255: INTEGER_16 is -255
i16_u_256: INTEGER_16 is 256
i16_p_256: INTEGER_16 is +256
i16_m_256: INTEGER_16 is -256
i16_u_257: INTEGER_16 is 257
i16_p_257: INTEGER_16 is +257
i16_m_257: INTEGER_16 is -257
i16_u_32767: INTEGER_16 is 32767
i16_p_32767: INTEGER_16 is +32767
i16_m_32767: INTEGER_16 is -32767
i16_m_32768: INTEGER_16 is -32768
feature {NONE} -- INTEGER_16 constants: hexadecimal byte boundaries
i16_ux0: INTEGER_16 is 0x0
i16_px0: INTEGER_16 is +0x0
i16_mx0: INTEGER_16 is -0x0
i16_ux1: INTEGER_16 is 0x1
i16_px1: INTEGER_16 is +0x1
i16_mx1: INTEGER_16 is -0x1
i16_ux7F: INTEGER_16 is 0x7F
i16_px7F: INTEGER_16 is +0x7F
i16_mx7F: INTEGER_16 is -0x7F
i16_ux80: INTEGER_16 is 0x80
i16_px80: INTEGER_16 is +0x80
i16_mx80: INTEGER_16 is -0x80
i16_ux81: INTEGER_16 is 0x81
i16_px81: INTEGER_16 is +0x81
i16_mx81: INTEGER_16 is -0x81
i16_uxFF: INTEGER_16 is 0xFF
i16_pxFF: INTEGER_16 is +0xFF
i16_mxFF: INTEGER_16 is -0xFF
i16_ux100: INTEGER_16 is 0x100
i16_up100: INTEGER_16 is +0x100
i16_um100: INTEGER_16 is -0x100
i16_ux101: INTEGER_16 is 0x101
i16_up101: INTEGER_16 is +0x101
i16_um101: INTEGER_16 is -0x101
i16_ux7FFF: INTEGER_16 is 0x7FFF
i16_px7FFF: INTEGER_16 is +0x7FFF
i16_mx7FFF: INTEGER_16 is -0x7FFF
i16_mx8000: INTEGER_16 is -0x8000
feature {NONE} -- INTEGER_16 constants: implicitly negative hexadecimals
i16_m_2: INTEGER_16 is -2
i16_ux8000: INTEGER_16 is 0x8000
i16_ux8001: INTEGER_16 is 0x8001
i16_uxFFFE: INTEGER_16 is 0xFFFE
i16_uxFFFF: INTEGER_16 is 0xFFFF
feature {NONE} -- INTEGER constants: leading zeroes
i32_u_00: INTEGER is 0000000000000000000000000000000000
i32_p_00: INTEGER is +0000000000000000000000000000000000
i32_m_00: INTEGER is -0000000000000000000000000000000000
i32_u_01234567890: INTEGER is 0000000000000000000000001234567890
i32_p_01234567890: INTEGER is +0000000000000000000000001234567890
i32_m_01234567890: INTEGER is -0000000000000000000000001234567890
i32_u_02147483647: INTEGER is 0000000000000000000000002147483647
i32_p_02147483647: INTEGER is +0000000000000000000000002147483647
i32_m_02147483647: INTEGER is -0000000000000000000000002147483647
i32_m_02147483648: INTEGER is -0000000000000000000000002147483648
i32_ux00: INTEGER is 0x00000000000000000000000000000000
i32_px00: INTEGER is +0x00000000000000000000000000000000
i32_mx00: INTEGER is -0x00000000000000000000000000000000
i32_ux0499602D2: INTEGER is 0x000000000000000000000000499602D2
i32_px0499602D2: INTEGER is +0x000000000000000000000000499602D2
i32_mx0499602D2: INTEGER is -0x000000000000000000000000499602D2
i32_ux07FFFFFFF: INTEGER is 0x0000000000000000000000007FFFFFFF
i32_px07FFFFFFF: INTEGER is +0x0000000000000000000000007FFFFFFF
i32_mx07FFFFFFF: INTEGER is -0x0000000000000000000000007FFFFFFF
i32_mx080000000: INTEGER is -0x00000000000000000000000080000000
feature {NONE} -- INTEGER constants: decimal byte boundaries
i32_u_0: INTEGER is 0
i32_p_0: INTEGER is +0
i32_m_0: INTEGER is -0
i32_u_1: INTEGER is 1
i32_p_1: INTEGER is +1
i32_m_1: INTEGER is -1
i32_u_127: INTEGER is 127
i32_p_127: INTEGER is +127
i32_m_127: INTEGER is -127
i32_u_128: INTEGER is 128
i32_p_128: INTEGER is +128
i32_m_128: INTEGER is -128
i32_u_129: INTEGER is 129
i32_p_129: INTEGER is +129
i32_m_129: INTEGER is -129
i32_u_255: INTEGER is 255
i32_p_255: INTEGER is +255
i32_m_255: INTEGER is -255
i32_u_256: INTEGER is 256
i32_p_256: INTEGER is +256
i32_m_256: INTEGER is -256
i32_u_257: INTEGER is 257
i32_p_257: INTEGER is +257
i32_m_257: INTEGER is -257
i32_u_32767: INTEGER is 32767
i32_p_32767: INTEGER is +32767
i32_m_32767: INTEGER is -32767
i32_u_32768: INTEGER is 32768
i32_p_32768: INTEGER is +32768
i32_m_32768: INTEGER is -32768
i32_u_32769: INTEGER is 32769
i32_p_32769: INTEGER is +32769
i32_m_32769: INTEGER is -32769
i32_u_65535: INTEGER is 65535
i32_p_65535: INTEGER is +65535
i32_m_65535: INTEGER is -65535
i32_u_65536: INTEGER is 65536
i32_p_65536: INTEGER is +65536
i32_m_65536: INTEGER is -65536
i32_u_65537: INTEGER is 65537
i32_p_65537: INTEGER is +65537
i32_m_65537: INTEGER is -65537
i32_u_8388607: INTEGER is 8388607
i32_p_8388607: INTEGER is +8388607
i32_m_8388607: INTEGER is -8388607
i32_u_8388608: INTEGER is 8388608
i32_p_8388608: INTEGER is +8388608
i32_m_8388608: INTEGER is -8388608
i32_u_8388609: INTEGER is 8388609
i32_p_8388609: INTEGER is +8388609
i32_m_8388609: INTEGER is -8388609
i32_u_16777215: INTEGER is 16777215
i32_p_16777215: INTEGER is +16777215
i32_m_16777215: INTEGER is -16777215
i32_u_16777216: INTEGER is 16777216
i32_p_16777216: INTEGER is +16777216
i32_m_16777216: INTEGER is -16777216
i32_u_16777217: INTEGER is 16777217
i32_p_16777217: INTEGER is +16777217
i32_m_16777217: INTEGER is -16777217
i32_u_2147483647: INTEGER is 2147483647
i32_p_2147483647: INTEGER is +2147483647
i32_m_2147483647: INTEGER is -2147483647
i32_m_2147483648: INTEGER is -2147483648
feature {NONE} -- INTEGER constants: hexadecimal byte boundaries
i32_ux0: INTEGER is 0x0
i32_px0: INTEGER is +0x0
i32_mx0: INTEGER is -0x0
i32_ux1: INTEGER is 0x1
i32_px1: INTEGER is +0x1
i32_mx1: INTEGER is -0x1
i32_ux7F: INTEGER is 0x7F
i32_px7F: INTEGER is +0x7F
i32_mx7F: INTEGER is -0x7F
i32_ux80: INTEGER is 0x80
i32_px80: INTEGER is +0x80
i32_mx80: INTEGER is -0x80
i32_ux81: INTEGER is 0x81
i32_px81: INTEGER is +0x81
i32_mx81: INTEGER is -0x81
i32_uxFF: INTEGER is 0xFF
i32_pxFF: INTEGER is +0xFF
i32_mxFF: INTEGER is -0xFF
i32_ux100: INTEGER is 0x100
i32_up100: INTEGER is +0x100
i32_um100: INTEGER is -0x100
i32_ux101: INTEGER is 0x101
i32_up101: INTEGER is +0x101
i32_um101: INTEGER is -0x101
i32_ux7FFF: INTEGER is 0x7FFF
i32_px7FFF: INTEGER is +0x7FFF
i32_mx7FFF: INTEGER is -0x7FFF
i32_ux8000: INTEGER is 0x8000
i32_px8000: INTEGER is +0x8000
i32_mx8000: INTEGER is -0x8000
i32_ux8001: INTEGER is 0x8001
i32_px8001: INTEGER is +0x8001
i32_mx8001: INTEGER is -0x8001
i32_uxFFFF: INTEGER is 0xFFFF
i32_pxFFFF: INTEGER is +0xFFFF
i32_mxFFFF: INTEGER is -0xFFFF
i32_ux10000: INTEGER is 0x10000
i32_px10000: INTEGER is +0x10000
i32_mx10000: INTEGER is -0x10000
i32_ux10001: INTEGER is 0x10001
i32_px10001: INTEGER is +0x10001
i32_mx10001: INTEGER is -0x10001
i32_ux7FFFFF: INTEGER is 0x7FFFFF
i32_px7FFFFF: INTEGER is +0x7FFFFF
i32_mx7FFFFF: INTEGER is -0x7FFFFF
i32_ux800000: INTEGER is 0x800000
i32_px800000: INTEGER is +0x800000
i32_mx800000: INTEGER is -0x800000
i32_ux800001: INTEGER is 0x800001
i32_px800001: INTEGER is +0x800001
i32_mx800001: INTEGER is -0x800001
i32_uxFFFFFF: INTEGER is 0xFFFFFF
i32_pxFFFFFF: INTEGER is +0xFFFFFF
i32_mxFFFFFF: INTEGER is -0xFFFFFF
i32_ux1000000: INTEGER is 0x1000000
i32_px1000000: INTEGER is +0x1000000
i32_mx1000000: INTEGER is -0x1000000
i32_ux1000001: INTEGER is 0x1000001
i32_px1000001: INTEGER is +0x1000001
i32_mx1000001: INTEGER is -0x1000001
i32_ux7FFFFFFF: INTEGER is 0x7FFFFFFF
i32_px7FFFFFFF: INTEGER is +0x7FFFFFFF
i32_mx7FFFFFFF: INTEGER is -0x7FFFFFFF
i32_mx80000000: INTEGER is -0x80000000
feature {NONE} -- INTEGER constants: implicitly negative hexadecimals
i32_m_2: INTEGER is -2
i32_ux80000000: INTEGER is 0x80000000
i32_ux80000001: INTEGER is 0x80000001
i32_uxFFFFFFFE: INTEGER is 0xFFFFFFFE
i32_uxFFFFFFFF: INTEGER is 0xFFFFFFFF
feature {NONE} -- INTEGER_64 constants: leading zeroes
i64_u_00: INTEGER_64 is 0000000000000000000000000000000000000000000
i64_p_00: INTEGER_64 is +0000000000000000000000000000000000000000000
i64_m_00: INTEGER_64 is -0000000000000000000000000000000000000000000
i64_u_01234567890123456789: INTEGER_64 is 0000000000000000000000001234567890123456789
i64_p_01234567890123456789: INTEGER_64 is +0000000000000000000000001234567890123456789
i64_m_01234567890123456789: INTEGER_64 is -0000000000000000000000001234567890123456789
i64_u_09223372036854775807: INTEGER_64 is 0000000000000000000000009223372036854775807
i64_p_09223372036854775807: INTEGER_64 is +0000000000000000000000009223372036854775807
i64_m_09223372036854775807: INTEGER_64 is -0000000000000000000000009223372036854775807
i64_m_09223372036854775808: INTEGER_64 is -0000000000000000000000009223372036854775808
i64_ux00: INTEGER_64 is 0x00000000000000000000000000000000000000000
i64_px00: INTEGER_64 is +0x00000000000000000000000000000000000000000
i64_mx00: INTEGER_64 is -0x00000000000000000000000000000000000000000
i64_ux0112210F47DE98115: INTEGER_64 is 0x0000000000000000000000000112210F47DE98115
i64_px0112210F47DE98115: INTEGER_64 is +0x0000000000000000000000000112210F47DE98115
i64_mx0112210F47DE98115: INTEGER_64 is -0x0000000000000000000000000112210F47DE98115
i64_ux07FFFFFFFFFFFFFFF: INTEGER_64 is 0x00000000000000000000000007FFFFFFFFFFFFFFF
i64_px07FFFFFFFFFFFFFFF: INTEGER_64 is +0x00000000000000000000000007FFFFFFFFFFFFFFF
i64_mx07FFFFFFFFFFFFFFF: INTEGER_64 is -0x00000000000000000000000007FFFFFFFFFFFFFFF
i64_mx08000000000000000: INTEGER_64 is -0x00000000000000000000000008000000000000000
feature {NONE} -- INTEGER_64 constants: decimal byte boundaries
i64_u_0: INTEGER_64 is 0
i64_p_0: INTEGER_64 is +0
i64_m_0: INTEGER_64 is -0
i64_u_1: INTEGER_64 is 1
i64_p_1: INTEGER_64 is +1
i64_m_1: INTEGER_64 is -1
i64_u_127: INTEGER_64 is 127
i64_p_127: INTEGER_64 is +127
i64_m_127: INTEGER_64 is -127
i64_u_128: INTEGER_64 is 128
i64_p_128: INTEGER_64 is +128
i64_m_128: INTEGER_64 is -128
i64_u_129: INTEGER_64 is 129
i64_p_129: INTEGER_64 is +129
i64_m_129: INTEGER_64 is -129
i64_u_255: INTEGER_64 is 255
i64_p_255: INTEGER_64 is +255
i64_m_255: INTEGER_64 is -255
i64_u_256: INTEGER_64 is 256
i64_p_256: INTEGER_64 is +256
i64_m_256: INTEGER_64 is -256
i64_u_257: INTEGER_64 is 257
i64_p_257: INTEGER_64 is +257
i64_m_257: INTEGER_64 is -257
i64_u_32767: INTEGER_64 is 32767
i64_p_32767: INTEGER_64 is +32767
i64_m_32767: INTEGER_64 is -32767
i64_u_32768: INTEGER_64 is 32768
i64_p_32768: INTEGER_64 is +32768
i64_m_32768: INTEGER_64 is -32768
i64_u_32769: INTEGER_64 is 32769
i64_p_32769: INTEGER_64 is +32769
i64_m_32769: INTEGER_64 is -32769
i64_u_65535: INTEGER_64 is 65535
i64_p_65535: INTEGER_64 is +65535
i64_m_65535: INTEGER_64 is -65535
i64_u_65536: INTEGER_64 is 65536
i64_p_65536: INTEGER_64 is +65536
i64_m_65536: INTEGER_64 is -65536
i64_u_65537: INTEGER_64 is 65537
i64_p_65537: INTEGER_64 is +65537
i64_m_65537: INTEGER_64 is -65537
i64_u_8388607: INTEGER_64 is 8388607
i64_p_8388607: INTEGER_64 is +8388607
i64_m_8388607: INTEGER_64 is -8388607
i64_u_8388608: INTEGER_64 is 8388608
i64_p_8388608: INTEGER_64 is +8388608
i64_m_8388608: INTEGER_64 is -8388608
i64_u_8388609: INTEGER_64 is 8388609
i64_p_8388609: INTEGER_64 is +8388609
i64_m_8388609: INTEGER_64 is -8388609
i64_u_16777215: INTEGER_64 is 16777215
i64_p_16777215: INTEGER_64 is +16777215
i64_m_16777215: INTEGER_64 is -16777215
i64_u_16777216: INTEGER_64 is 16777216
i64_p_16777216: INTEGER_64 is +16777216
i64_m_16777216: INTEGER_64 is -16777216
i64_u_16777217: INTEGER_64 is 16777217
i64_p_16777217: INTEGER_64 is +16777217
i64_m_16777217: INTEGER_64 is -16777217
i64_u_2147483647: INTEGER_64 is 2147483647
i64_p_2147483647: INTEGER_64 is +2147483647
i64_m_2147483647: INTEGER_64 is -2147483647
i64_u_2147483648: INTEGER_64 is 2147483648
i64_p_2147483648: INTEGER_64 is +2147483648
i64_m_2147483648: INTEGER_64 is -2147483648
i64_u_2147483649: INTEGER_64 is 2147483649
i64_p_2147483649: INTEGER_64 is +2147483649
i64_m_2147483649: INTEGER_64 is -2147483649
i64_u_4294967295: INTEGER_64 is 4294967295
i64_p_4294967295: INTEGER_64 is +4294967295
i64_m_4294967295: INTEGER_64 is -4294967295
i64_u_4294967296: INTEGER_64 is 4294967296
i64_p_4294967296: INTEGER_64 is +4294967296
i64_m_4294967296: INTEGER_64 is -4294967296
i64_u_4294967297: INTEGER_64 is 4294967297
i64_p_4294967297: INTEGER_64 is +4294967297
i64_m_4294967297: INTEGER_64 is -4294967297
i64_u_549755813887: INTEGER_64 is 549755813887
i64_p_549755813887: INTEGER_64 is +549755813887
i64_m_549755813887: INTEGER_64 is -549755813887
i64_u_549755813888: INTEGER_64 is 549755813888
i64_p_549755813888: INTEGER_64 is +549755813888
i64_m_549755813888: INTEGER_64 is -549755813888
i64_u_549755813889: INTEGER_64 is 549755813889
i64_p_549755813889: INTEGER_64 is +549755813889
i64_m_549755813889: INTEGER_64 is -549755813889
i64_u_1099511627775: INTEGER_64 is 1099511627775
i64_p_1099511627775: INTEGER_64 is +1099511627775
i64_m_1099511627775: INTEGER_64 is -1099511627775
i64_u_1099511627776: INTEGER_64 is 1099511627776
i64_p_1099511627776: INTEGER_64 is +1099511627776
i64_m_1099511627776: INTEGER_64 is -1099511627776
i64_u_1099511627777: INTEGER_64 is 1099511627777
i64_p_1099511627777: INTEGER_64 is +1099511627777
i64_m_1099511627777: INTEGER_64 is -1099511627777
i64_u_140737488355327: INTEGER_64 is 140737488355327
i64_p_140737488355327: INTEGER_64 is +140737488355327
i64_m_140737488355327: INTEGER_64 is -140737488355327
i64_u_140737488355328: INTEGER_64 is 140737488355328
i64_p_140737488355328: INTEGER_64 is +140737488355328
i64_m_140737488355328: INTEGER_64 is -140737488355328
i64_u_140737488355329: INTEGER_64 is 140737488355329
i64_p_140737488355329: INTEGER_64 is +140737488355329
i64_m_140737488355329: INTEGER_64 is -140737488355329
i64_u_281474976710655: INTEGER_64 is 281474976710655
i64_p_281474976710655: INTEGER_64 is +281474976710655
i64_m_281474976710655: INTEGER_64 is -281474976710655
i64_u_281474976710656: INTEGER_64 is 281474976710656
i64_p_281474976710656: INTEGER_64 is +281474976710656
i64_m_281474976710656: INTEGER_64 is -281474976710656
i64_u_281474976710657: INTEGER_64 is 281474976710657
i64_p_281474976710657: INTEGER_64 is +281474976710657
i64_m_281474976710657: INTEGER_64 is -281474976710657
i64_u_36028797018963967: INTEGER_64 is 36028797018963967
i64_p_36028797018963967: INTEGER_64 is +36028797018963967
i64_m_36028797018963967: INTEGER_64 is -36028797018963967
i64_u_36028797018963968: INTEGER_64 is 36028797018963968
i64_p_36028797018963968: INTEGER_64 is +36028797018963968
i64_m_36028797018963968: INTEGER_64 is -36028797018963968
i64_u_36028797018963969: INTEGER_64 is 36028797018963969
i64_p_36028797018963969: INTEGER_64 is +36028797018963969
i64_m_36028797018963969: INTEGER_64 is -36028797018963969
i64_u_72057594037927935: INTEGER_64 is 72057594037927935
i64_p_72057594037927935: INTEGER_64 is +72057594037927935
i64_m_72057594037927935: INTEGER_64 is -72057594037927935
i64_u_72057594037927936: INTEGER_64 is 72057594037927936
i64_p_72057594037927936: INTEGER_64 is +72057594037927936
i64_m_72057594037927936: INTEGER_64 is -72057594037927936
i64_u_72057594037927937: INTEGER_64 is 72057594037927937
i64_p_72057594037927937: INTEGER_64 is +72057594037927937
i64_m_72057594037927937: INTEGER_64 is -72057594037927937
i64_u_9223372036854775807: INTEGER_64 is 9223372036854775807
i64_p_9223372036854775807: INTEGER_64 is +9223372036854775807
i64_m_9223372036854775807: INTEGER_64 is -9223372036854775807
i64_m_9223372036854775808: INTEGER_64 is -9223372036854775808
feature {NONE} -- INTEGER_64 constants: hexadecimal byte boundaries
i64_ux0: INTEGER_64 is 0x0
i64_px0: INTEGER_64 is +0x0
i64_mx0: INTEGER_64 is -0x0
i64_ux1: INTEGER_64 is 0x1
i64_px1: INTEGER_64 is +0x1
i64_mx1: INTEGER_64 is -0x1
i64_ux7F: INTEGER_64 is 0x7F
i64_px7F: INTEGER_64 is +0x7F
i64_mx7F: INTEGER_64 is -0x7F
i64_ux80: INTEGER_64 is 0x80
i64_px80: INTEGER_64 is +0x80
i64_mx80: INTEGER_64 is -0x80
i64_ux81: INTEGER_64 is 0x81
i64_px81: INTEGER_64 is +0x81
i64_mx81: INTEGER_64 is -0x81
i64_uxFF: INTEGER_64 is 0xFF
i64_pxFF: INTEGER_64 is +0xFF
i64_mxFF: INTEGER_64 is -0xFF
i64_ux100: INTEGER_64 is 0x100
i64_up100: INTEGER_64 is +0x100
i64_um100: INTEGER_64 is -0x100
i64_ux101: INTEGER_64 is 0x101
i64_up101: INTEGER_64 is +0x101
i64_um101: INTEGER_64 is -0x101
i64_ux7FFF: INTEGER_64 is 0x7FFF
i64_px7FFF: INTEGER_64 is +0x7FFF
i64_mx7FFF: INTEGER_64 is -0x7FFF
i64_ux8000: INTEGER_64 is 0x8000
i64_px8000: INTEGER_64 is +0x8000
i64_mx8000: INTEGER_64 is -0x8000
i64_ux8001: INTEGER_64 is 0x8001
i64_px8001: INTEGER_64 is +0x8001
i64_mx8001: INTEGER_64 is -0x8001
i64_uxFFFF: INTEGER_64 is 0xFFFF
i64_pxFFFF: INTEGER_64 is +0xFFFF
i64_mxFFFF: INTEGER_64 is -0xFFFF
i64_ux10000: INTEGER_64 is 0x10000
i64_px10000: INTEGER_64 is +0x10000
i64_mx10000: INTEGER_64 is -0x10000
i64_ux10001: INTEGER_64 is 0x10001
i64_px10001: INTEGER_64 is +0x10001
i64_mx10001: INTEGER_64 is -0x10001
i64_ux7FFFFF: INTEGER_64 is 0x7FFFFF
i64_px7FFFFF: INTEGER_64 is +0x7FFFFF
i64_mx7FFFFF: INTEGER_64 is -0x7FFFFF
i64_ux800000: INTEGER_64 is 0x800000
i64_px800000: INTEGER_64 is +0x800000
i64_mx800000: INTEGER_64 is -0x800000
i64_ux800001: INTEGER_64 is 0x800001
i64_px800001: INTEGER_64 is +0x800001
i64_mx800001: INTEGER_64 is -0x800001
i64_uxFFFFFF: INTEGER_64 is 0xFFFFFF
i64_pxFFFFFF: INTEGER_64 is +0xFFFFFF
i64_mxFFFFFF: INTEGER_64 is -0xFFFFFF
i64_ux1000000: INTEGER_64 is 0x1000000
i64_px1000000: INTEGER_64 is +0x1000000
i64_mx1000000: INTEGER_64 is -0x1000000
i64_ux1000001: INTEGER_64 is 0x1000001
i64_px1000001: INTEGER_64 is +0x1000001
i64_mx1000001: INTEGER_64 is -0x1000001
i64_ux7FFFFFFF: INTEGER_64 is 0x7FFFFFFF
i64_px7FFFFFFF: INTEGER_64 is +0x7FFFFFFF
i64_mx7FFFFFFF: INTEGER_64 is -0x7FFFFFFF
i64_ux80000000: INTEGER_64 is 0x80000000
i64_px80000000: INTEGER_64 is +0x80000000
i64_mx80000000: INTEGER_64 is -0x80000000
i64_ux80000001: INTEGER_64 is 0x80000001
i64_px80000001: INTEGER_64 is +0x80000001
i64_mx80000001: INTEGER_64 is -0x80000001
i64_uxFFFFFFFF: INTEGER_64 is 0xFFFFFFFF
i64_pxFFFFFFFF: INTEGER_64 is +0xFFFFFFFF
i64_mxFFFFFFFF: INTEGER_64 is -0xFFFFFFFF
i64_ux100000000: INTEGER_64 is 0x100000000
i64_px100000000: INTEGER_64 is +0x100000000
i64_mx100000000: INTEGER_64 is -0x100000000
i64_ux100000001: INTEGER_64 is 0x100000001
i64_px100000001: INTEGER_64 is +0x100000001
i64_mx100000001: INTEGER_64 is -0x100000001
i64_ux7FFFFFFFFF: INTEGER_64 is 0x7FFFFFFFFF
i64_px7FFFFFFFFF: INTEGER_64 is +0x7FFFFFFFFF
i64_mx7FFFFFFFFF: INTEGER_64 is -0x7FFFFFFFFF
i64_ux8000000000: INTEGER_64 is 0x8000000000
i64_px8000000000: INTEGER_64 is +0x8000000000
i64_mx8000000000: INTEGER_64 is -0x8000000000
i64_ux8000000001: INTEGER_64 is 0x8000000001
i64_px8000000001: INTEGER_64 is +0x8000000001
i64_mx8000000001: INTEGER_64 is -0x8000000001
i64_uxFFFFFFFFFF: INTEGER_64 is 0xFFFFFFFFFF
i64_pxFFFFFFFFFF: INTEGER_64 is +0xFFFFFFFFFF
i64_mxFFFFFFFFFF: INTEGER_64 is -0xFFFFFFFFFF
i64_ux10000000000: INTEGER_64 is 0x10000000000
i64_px10000000000: INTEGER_64 is +0x10000000000
i64_mx10000000000: INTEGER_64 is -0x10000000000
i64_ux10000000001: INTEGER_64 is 0x10000000001
i64_px10000000001: INTEGER_64 is +0x10000000001
i64_mx10000000001: INTEGER_64 is -0x10000000001
i64_ux7FFFFFFFFFFF: INTEGER_64 is 0x7FFFFFFFFFFF
i64_px7FFFFFFFFFFF: INTEGER_64 is +0x7FFFFFFFFFFF
i64_mx7FFFFFFFFFFF: INTEGER_64 is -0x7FFFFFFFFFFF
i64_ux800000000000: INTEGER_64 is 0x800000000000
i64_px800000000000: INTEGER_64 is +0x800000000000
i64_mx800000000000: INTEGER_64 is -0x800000000000
i64_ux800000000001: INTEGER_64 is 0x800000000001
i64_px800000000001: INTEGER_64 is +0x800000000001
i64_mx800000000001: INTEGER_64 is -0x800000000001
i64_uxFFFFFFFFFFFF: INTEGER_64 is 0xFFFFFFFFFFFF
i64_pxFFFFFFFFFFFF: INTEGER_64 is +0xFFFFFFFFFFFF
i64_mxFFFFFFFFFFFF: INTEGER_64 is -0xFFFFFFFFFFFF
i64_ux1000000000000: INTEGER_64 is 0x1000000000000
i64_px1000000000000: INTEGER_64 is +0x1000000000000
i64_mx1000000000000: INTEGER_64 is -0x1000000000000
i64_ux1000000000001: INTEGER_64 is 0x1000000000001
i64_px1000000000001: INTEGER_64 is +0x1000000000001
i64_mx1000000000001: INTEGER_64 is -0x1000000000001
i64_ux7FFFFFFFFFFFFF: INTEGER_64 is 0x7FFFFFFFFFFFFF
i64_px7FFFFFFFFFFFFF: INTEGER_64 is +0x7FFFFFFFFFFFFF
i64_mx7FFFFFFFFFFFFF: INTEGER_64 is -0x7FFFFFFFFFFFFF
i64_ux80000000000000: INTEGER_64 is 0x80000000000000
i64_px80000000000000: INTEGER_64 is +0x80000000000000
i64_mx80000000000000: INTEGER_64 is -0x80000000000000
i64_ux80000000000001: INTEGER_64 is 0x80000000000001
i64_px80000000000001: INTEGER_64 is +0x80000000000001
i64_mx80000000000001: INTEGER_64 is -0x80000000000001
i64_uxFFFFFFFFFFFFFF: INTEGER_64 is 0xFFFFFFFFFFFFFF
i64_pxFFFFFFFFFFFFFF: INTEGER_64 is +0xFFFFFFFFFFFFFF
i64_mxFFFFFFFFFFFFFF: INTEGER_64 is -0xFFFFFFFFFFFFFF
i64_ux100000000000000: INTEGER_64 is 0x100000000000000
i64_px100000000000000: INTEGER_64 is +0x100000000000000
i64_mx100000000000000: INTEGER_64 is -0x100000000000000
i64_ux100000000000001: INTEGER_64 is 0x100000000000001
i64_px100000000000001: INTEGER_64 is +0x100000000000001
i64_mx100000000000001: INTEGER_64 is -0x100000000000001
i64_ux7FFFFFFFFFFFFFFF: INTEGER_64 is 0x7FFFFFFFFFFFFFFF
i64_px7FFFFFFFFFFFFFFF: INTEGER_64 is +0x7FFFFFFFFFFFFFFF
i64_mx7FFFFFFFFFFFFFFF: INTEGER_64 is -0x7FFFFFFFFFFFFFFF
i64_mx8000000000000000: INTEGER_64 is -0x8000000000000000
feature {NONE} -- INTEGER_64 constants: implicitly negative hexadecimals
i64_m_2: INTEGER_64 is -2
i64_ux8000000000000000: INTEGER_64 is 0x8000000000000000
i64_ux8000000000000001: INTEGER_64 is 0x8000000000000001
i64_uxFFFFFFFFFFFFFFFE: INTEGER_64 is 0xFFFFFFFFFFFFFFFE
i64_uxFFFFFFFFFFFFFFFF: INTEGER_64 is 0xFFFFFFFFFFFFFFFF
feature {NONE} -- Output
dca: STRING is "decimal constant attribute"
hca: STRING is "hexadecimal constant attribute"
dmc: STRING is "decimal manifest constant"
hmc: STRING is "hexadecimal manifest constant"
feature {NONE} -- Tests
test_equal (name: STRING; actual: STRING; expected: STRING) is
-- Test that `actual' is equal to `expected'.
require
name_not_void: name /= Void
actual_not_void: actual /= Void
expected_not_void: expected /= Void
do
if not actual.is_equal (expected) then
has_error := true
io.put_new_line
io.put_string (name)
io.put_string (": expected %"")
io.put_string (expected)
io.put_string ("%" but got %"")
io.put_string (actual)
io.put_string ("%"")
end
end
test_integer_8 (expected: STRING; da, ha, dm, hm: INTEGER_8) is
-- Test that all values are equal to `expected'.
require
expected_not_void: expected /= Void
do
test_equal (dca, da.out, expected)
test_equal (hca, ha.out, expected)
test_equal (dmc, dm.out, expected)
test_equal (hmc, hm.out, expected)
end
test_integer_16 (expected: STRING; da, ha, dm, hm: INTEGER_16) is
-- Test that all values are equal to `expected'.
require
expected_not_void: expected /= Void
do
test_equal (dca, da.out, expected)
test_equal (hca, ha.out, expected)
test_equal (dmc, dm.out, expected)
test_equal (hmc, hm.out, expected)
end
test_integer_32 (expected: STRING; da, ha, dm, hm: INTEGER) is
-- Test that all values are equal to `expected'.
require
expected_not_void: expected /= Void
do
test_equal (dca, da.out, expected)
test_equal (hca, ha.out, expected)
test_equal (dmc, dm.out, expected)
test_equal (hmc, hm.out, expected)
end
test_integer_64 (expected: STRING; da, ha, dm, hm: INTEGER_64) is
-- Test that all values are equal to `expected'.
require
expected_not_void: expected /= Void
do
test_equal (dca, da.out, expected)
test_equal (hca, ha.out, expected)
test_equal (dmc, dm.out, expected)
test_equal (hmc, hm.out, expected)
end
feature {NONE} -- Status report
has_error: BOOLEAN
-- Has error been detected?
end