/[eiffelstudio]/trunk/eweasel/tests/syntax046/test.e
ViewVC logotype

Contents of /trunk/eweasel/tests/syntax046/test.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 65297 - (show annotations)
Thu Nov 30 20:22:33 2006 UTC (13 years ago) by manus
File size: 68503 byte(s)
Moved from trunk/Src/eweasel to trunk/eweasel so that a simple checkout of the source code is not penalized by the lenghty process of checking out all the tests of eweasel.
1 class TEST
2
3 create
4 make
5
6 feature {NONE} -- Creation
7
8 make is
9 -- Execute test.
10 do
11 io.put_string ("INTEGER_8:")
12 -- Leading zeroes
13 test_integer_8 ( "0" , i8_u_00 , i8_ux00 , 0000000000000000000000000000000000 , 0x00000000000000000000000000000000 )
14 test_integer_8 ( "0" , i8_p_00 , i8_px00 , +0000000000000000000000000000000000 , +0x00000000000000000000000000000000 )
15 test_integer_8 ( "0" , i8_m_00 , i8_mx00 , -0000000000000000000000000000000000 , -0x00000000000000000000000000000000 )
16 test_integer_8 ( "123" , i8_u_0123 , i8_ux07B , 0000000000000000000000000000000123 , 0x0000000000000000000000000000007B )
17 test_integer_8 ( "123" , i8_p_0123 , i8_px07B , +0000000000000000000000000000000123 , +0x0000000000000000000000000000007B )
18 test_integer_8 ( "-123" , i8_m_0123 , i8_mx07B , -0000000000000000000000000000000123 , -0x0000000000000000000000000000007B )
19 test_integer_8 ( "127" , i8_u_0127 , i8_ux07F , 0000000000000000000000000000000127 , 0x0000000000000000000000000000007F )
20 test_integer_8 ( "127" , i8_p_0127 , i8_px07F , +0000000000000000000000000000000127 , +0x0000000000000000000000000000007F )
21 test_integer_8 ( "-127" , i8_m_0127 , i8_mx07F , -0000000000000000000000000000000127 , -0x0000000000000000000000000000007F )
22 test_integer_8 ( "-128" , i8_m_0128 , i8_mx080 , -0000000000000000000000000000000128 , -0x00000000000000000000000000000080 )
23 -- Byte boundaries
24 test_integer_8 ( "0" , i8_u_0 , i8_ux0 , 0 , 0x0 )
25 test_integer_8 ( "0" , i8_p_0 , i8_px0 , +0 , +0x0 )
26 test_integer_8 ( "0" , i8_m_0 , i8_mx0 , -0 , -0x0 )
27 test_integer_8 ( "1" , i8_u_1 , i8_ux1 , 1 , 0x1 )
28 test_integer_8 ( "1" , i8_p_1 , i8_px1 , +1 , +0x1 )
29 test_integer_8 ( "-1" , i8_m_1 , i8_mx1 , -1 , -0x1 )
30 test_integer_8 ( "127" , i8_u_127 , i8_ux7F , 127 , 0x7F )
31 test_integer_8 ( "127" , i8_p_127 , i8_px7F , +127 , +0x7F )
32 test_integer_8 ( "-127" , i8_m_127 , i8_mx7F , -127 , -0x7F )
33 test_integer_8 ( "-128" , i8_m_128 , i8_mx80 , -128 , -0x80 )
34 -- Implicitly negative hexadecimals
35 test_integer_8 ( "-128" , i8_m_128 , i8_ux80 , -128 , 0x80 )
36 test_integer_8 ( "-127" , i8_m_127 , i8_ux81 , -127 , 0x81 )
37 test_integer_8 ( "-2" , i8_m_2 , i8_uxFE , -2 , 0xFE )
38 test_integer_8 ( "-1" , i8_m_1 , i8_uxFF , -1 , 0xFF )
39 if not has_error then
40 io.put_string (" OK")
41 end
42 io.put_new_line
43 has_error := false
44 io.put_string ("INTEGER_16:")
45 -- Leading zeroes
46 test_integer_16 ( "0" , i16_u_00 , i16_ux00 , 00000000000000000000000000000000000 , 0x000000000000000000000000000000000 )
47 test_integer_16 ( "0" , i16_p_00 , i16_px00 , +00000000000000000000000000000000000 , +0x000000000000000000000000000000000 )
48 test_integer_16 ( "0" , i16_m_00 , i16_mx00 , -00000000000000000000000000000000000 , -0x000000000000000000000000000000000 )
49 test_integer_16 ( "12345" , i16_u_012345 , i16_ux03039 , 00000000000000000000000000000012345 , 0x000000000000000000000000000003039 )
50 test_integer_16 ( "12345" , i16_p_012345 , i16_px03039 , +00000000000000000000000000000012345 , +0x000000000000000000000000000003039 )
51 test_integer_16 ( "-12345" , i16_m_012345 , i16_mx03039 , -00000000000000000000000000000012345 , -0x000000000000000000000000000003039 )
52 test_integer_16 ( "32767" , i16_u_032767 , i16_ux07FFF , 00000000000000000000000000000032767 , 0x000000000000000000000000000007FFF )
53 test_integer_16 ( "32767" , i16_p_032767 , i16_px07FFF , +00000000000000000000000000000032767 , +0x000000000000000000000000000007FFF )
54 test_integer_16 ( "-32767" , i16_m_032767 , i16_mx07FFF , -00000000000000000000000000000032767 , -0x000000000000000000000000000007FFF )
55 test_integer_16 ( "-32768" , i16_m_032768 , i16_mx08000 , -00000000000000000000000000000032768 , -0x000000000000000000000000000008000 )
56 -- Byte boundaries
57 test_integer_16 ( "0" , i16_u_0 , i16_ux0 , 0 , 0x0 )
58 test_integer_16 ( "0" , i16_p_0 , i16_px0 , +0 , +0x0 )
59 test_integer_16 ( "0" , i16_m_0 , i16_mx0 , -0 , -0x0 )
60 test_integer_16 ( "1" , i16_u_1 , i16_ux1 , 1 , 0x1 )
61 test_integer_16 ( "1" , i16_p_1 , i16_px1 , +1 , +0x1 )
62 test_integer_16 ( "-1" , i16_m_1 , i16_mx1 , -1 , -0x1 )
63 test_integer_16 ( "127" , i16_u_127 , i16_ux7F , 127 , 0x7F )
64 test_integer_16 ( "127" , i16_p_127 , i16_px7F , +127 , +0x7F )
65 test_integer_16 ( "-127" , i16_m_127 , i16_mx7F , -127 , -0x7F )
66 test_integer_16 ( "128" , i16_u_128 , i16_ux80 , 128 , 0x80 )
67 test_integer_16 ( "128" , i16_p_128 , i16_px80 , +128 , +0x80 )
68 test_integer_16 ( "-128" , i16_m_128 , i16_mx80 , -128 , -0x80 )
69 test_integer_16 ( "129" , i16_u_129 , i16_ux81 , 129 , 0x81 )
70 test_integer_16 ( "129" , i16_p_129 , i16_px81 , +129 , +0x81 )
71 test_integer_16 ( "-129" , i16_m_129 , i16_mx81 , -129 , -0x81 )
72 test_integer_16 ( "255" , i16_u_255 , i16_uxFF , 255 , 0xFF )
73 test_integer_16 ( "255" , i16_p_255 , i16_pxFF , +255 , +0xFF )
74 test_integer_16 ( "-255" , i16_m_255 , i16_mxFF , -255 , -0xFF )
75 test_integer_16 ( "256" , i16_u_256 , i16_ux100 , 256 , 0x100 )
76 test_integer_16 ( "256" , i16_p_256 , i16_up100 , +256 , +0x100 )
77 test_integer_16 ( "-256" , i16_m_256 , i16_um100 , -256 , -0x100 )
78 test_integer_16 ( "257" , i16_u_257 , i16_ux101 , 257 , 0x101 )
79 test_integer_16 ( "257" , i16_p_257 , i16_up101 , +257 , +0x101 )
80 test_integer_16 ( "-257" , i16_m_257 , i16_um101 , -257 , -0x101 )
81 test_integer_16 ( "32767" , i16_u_32767 , i16_ux7FFF , 32767 , 0x7FFF )
82 test_integer_16 ( "32767" , i16_p_32767 , i16_px7FFF , +32767 , +0x7FFF )
83 test_integer_16 ( "-32767" , i16_m_32767 , i16_mx7FFF , -32767 , -0x7FFF )
84 test_integer_16 ( "-32768" , i16_m_32768 , i16_mx8000 , -32768 , -0x8000 )
85 -- Implicitly negative hexadecimals
86 test_integer_16 ( "-32768" , i16_m_32768 , i16_ux8000 , -32768 , 0x8000 )
87 test_integer_16 ( "-32767" , i16_m_32767 , i16_ux8001 , -32767 , 0x8001 )
88 test_integer_16 ( "-2" , i16_m_2 , i16_uxFFFE , -2 , 0xFFFE )
89 test_integer_16 ( "-1" , i16_m_1 , i16_uxFFFF , -1 , 0xFFFF )
90 if not has_error then
91 io.put_string (" OK")
92 end
93 io.put_new_line
94 has_error := false
95 io.put_string ("INTEGER:")
96 -- Leading zeroes
97 test_integer_32 ( "0" , i32_u_00 , i32_ux00 , 0000000000000000000000000000000000 , 0x00000000000000000000000000000000 )
98 test_integer_32 ( "0" , i32_p_00 , i32_px00 , +0000000000000000000000000000000000 , +0x00000000000000000000000000000000 )
99 test_integer_32 ( "0" , i32_m_00 , i32_mx00 , -0000000000000000000000000000000000 , -0x00000000000000000000000000000000 )
100 test_integer_32 ( "1234567890" , i32_u_01234567890 , i32_ux0499602D2 , 0000000000000000000000001234567890 , 0x000000000000000000000000499602D2 )
101 test_integer_32 ( "1234567890" , i32_p_01234567890 , i32_px0499602D2 , +0000000000000000000000001234567890 , +0x000000000000000000000000499602D2 )
102 test_integer_32 ( "-1234567890" , i32_m_01234567890 , i32_mx0499602D2 , -0000000000000000000000001234567890 , -0x000000000000000000000000499602D2 )
103 test_integer_32 ( "2147483647" , i32_u_02147483647 , i32_ux07FFFFFFF , 0000000000000000000000002147483647 , 0x0000000000000000000000007FFFFFFF )
104 test_integer_32 ( "2147483647" , i32_p_02147483647 , i32_px07FFFFFFF , +0000000000000000000000002147483647 , +0x0000000000000000000000007FFFFFFF )
105 test_integer_32 ( "-2147483647" , i32_m_02147483647 , i32_mx07FFFFFFF , -0000000000000000000000002147483647 , -0x0000000000000000000000007FFFFFFF )
106 test_integer_32 ( "-2147483648" , i32_m_02147483648 , i32_mx080000000 , -0000000000000000000000002147483648 , -0x00000000000000000000000080000000 )
107 -- Byte boundaries
108 test_integer_32 ( "0" , i32_u_0 , i32_ux0 , 0 , 0x0 )
109 test_integer_32 ( "0" , i32_p_0 , i32_px0 , +0 , +0x0 )
110 test_integer_32 ( "0" , i32_m_0 , i32_mx0 , -0 , -0x0 )
111 test_integer_32 ( "1" , i32_u_1 , i32_ux1 , 1 , 0x1 )
112 test_integer_32 ( "1" , i32_p_1 , i32_px1 , +1 , +0x1 )
113 test_integer_32 ( "-1" , i32_m_1 , i32_mx1 , -1 , -0x1 )
114 test_integer_32 ( "127" , i32_u_127 , i32_ux7F , 127 , 0x7F )
115 test_integer_32 ( "127" , i32_p_127 , i32_px7F , +127 , +0x7F )
116 test_integer_32 ( "-127" , i32_m_127 , i32_mx7F , -127 , -0x7F )
117 test_integer_32 ( "128" , i32_u_128 , i32_ux80 , 128 , 0x80 )
118 test_integer_32 ( "128" , i32_p_128 , i32_px80 , +128 , +0x80 )
119 test_integer_32 ( "-128" , i32_m_128 , i32_mx80 , -128 , -0x80 )
120 test_integer_32 ( "129" , i32_u_129 , i32_ux81 , 129 , 0x81 )
121 test_integer_32 ( "129" , i32_p_129 , i32_px81 , +129 , +0x81 )
122 test_integer_32 ( "-129" , i32_m_129 , i32_mx81 , -129 , -0x81 )
123 test_integer_32 ( "255" , i32_u_255 , i32_uxFF , 255 , 0xFF )
124 test_integer_32 ( "255" , i32_p_255 , i32_pxFF , +255 , +0xFF )
125 test_integer_32 ( "-255" , i32_m_255 , i32_mxFF , -255 , -0xFF )
126 test_integer_32 ( "256" , i32_u_256 , i32_ux100 , 256 , 0x100 )
127 test_integer_32 ( "256" , i32_p_256 , i32_up100 , +256 , +0x100 )
128 test_integer_32 ( "-256" , i32_m_256 , i32_um100 , -256 , -0x100 )
129 test_integer_32 ( "257" , i32_u_257 , i32_ux101 , 257 , 0x101 )
130 test_integer_32 ( "257" , i32_p_257 , i32_up101 , +257 , +0x101 )
131 test_integer_32 ( "-257" , i32_m_257 , i32_um101 , -257 , -0x101 )
132 test_integer_32 ( "32767" , i32_u_32767 , i32_ux7FFF , 32767 , 0x7FFF )
133 test_integer_32 ( "32767" , i32_p_32767 , i32_px7FFF , +32767 , +0x7FFF )
134 test_integer_32 ( "-32767" , i32_m_32767 , i32_mx7FFF , -32767 , -0x7FFF )
135 test_integer_32 ( "32768" , i32_u_32768 , i32_ux8000 , 32768 , 0x8000 )
136 test_integer_32 ( "32768" , i32_p_32768 , i32_px8000 , +32768 , +0x8000 )
137 test_integer_32 ( "-32768" , i32_m_32768 , i32_mx8000 , -32768 , -0x8000 )
138 test_integer_32 ( "32769" , i32_u_32769 , i32_ux8001 , 32769 , 0x8001 )
139 test_integer_32 ( "32769" , i32_p_32769 , i32_px8001 , +32769 , +0x8001 )
140 test_integer_32 ( "-32769" , i32_m_32769 , i32_mx8001 , -32769 , -0x8001 )
141 test_integer_32 ( "65535" , i32_u_65535 , i32_uxFFFF , 65535 , 0xFFFF )
142 test_integer_32 ( "65535" , i32_p_65535 , i32_pxFFFF , +65535 , +0xFFFF )
143 test_integer_32 ( "-65535" , i32_m_65535 , i32_mxFFFF , -65535 , -0xFFFF )
144 test_integer_32 ( "65536" , i32_u_65536 , i32_ux10000 , 65536 , 0x10000 )
145 test_integer_32 ( "65536" , i32_p_65536 , i32_px10000 , +65536 , +0x10000 )
146 test_integer_32 ( "-65536" , i32_m_65536 , i32_mx10000 , -65536 , -0x10000 )
147 test_integer_32 ( "65537" , i32_u_65537 , i32_ux10001 , 65537 , 0x10001 )
148 test_integer_32 ( "65537" , i32_p_65537 , i32_px10001 , +65537 , +0x10001 )
149 test_integer_32 ( "-65537" , i32_m_65537 , i32_mx10001 , -65537 , -0x10001 )
150 test_integer_32 ( "8388607" , i32_u_8388607 , i32_ux7FFFFF , 8388607 , 0x7FFFFF )
151 test_integer_32 ( "8388607" , i32_p_8388607 , i32_px7FFFFF , +8388607 , +0x7FFFFF )
152 test_integer_32 ( "-8388607" , i32_m_8388607 , i32_mx7FFFFF , -8388607 , -0x7FFFFF )
153 test_integer_32 ( "8388608" , i32_u_8388608 , i32_ux800000 , 8388608 , 0x800000 )
154 test_integer_32 ( "8388608" , i32_p_8388608 , i32_px800000 , +8388608 , +0x800000 )
155 test_integer_32 ( "-8388608" , i32_m_8388608 , i32_mx800000 , -8388608 , -0x800000 )
156 test_integer_32 ( "8388609" , i32_u_8388609 , i32_ux800001 , 8388609 , 0x800001 )
157 test_integer_32 ( "8388609" , i32_p_8388609 , i32_px800001 , +8388609 , +0x800001 )
158 test_integer_32 ( "-8388609" , i32_m_8388609 , i32_mx800001 , -8388609 , -0x800001 )
159 test_integer_32 ( "16777215" , i32_u_16777215 , i32_uxFFFFFF , 16777215 , 0xFFFFFF )
160 test_integer_32 ( "16777215" , i32_p_16777215 , i32_pxFFFFFF , +16777215 , +0xFFFFFF )
161 test_integer_32 ( "-16777215" , i32_m_16777215 , i32_mxFFFFFF , -16777215 , -0xFFFFFF )
162 test_integer_32 ( "16777216" , i32_u_16777216 , i32_ux1000000 , 16777216 , 0x1000000 )
163 test_integer_32 ( "16777216" , i32_p_16777216 , i32_px1000000 , +16777216 , +0x1000000 )
164 test_integer_32 ( "-16777216" , i32_m_16777216 , i32_mx1000000 , -16777216 , -0x1000000 )
165 test_integer_32 ( "16777217" , i32_u_16777217 , i32_ux1000001 , 16777217 , 0x1000001 )
166 test_integer_32 ( "16777217" , i32_p_16777217 , i32_px1000001 , +16777217 , +0x1000001 )
167 test_integer_32 ( "-16777217" , i32_m_16777217 , i32_mx1000001 , -16777217 , -0x1000001 )
168 test_integer_32 ( "2147483647" , i32_u_2147483647 , i32_ux7FFFFFFF , 2147483647 , 0x7FFFFFFF )
169 test_integer_32 ( "2147483647" , i32_p_2147483647 , i32_px7FFFFFFF , +2147483647 , +0x7FFFFFFF )
170 test_integer_32 ( "-2147483647" , i32_m_2147483647 , i32_mx7FFFFFFF , -2147483647 , -0x7FFFFFFF )
171 test_integer_32 ( "-2147483648" , i32_m_2147483648 , i32_mx80000000 , -2147483648 , -0x80000000 )
172 -- Implicitly negative hexadecimals
173 test_integer_32 ( "-2147483648" , i32_m_2147483648 , i32_ux80000000 , -2147483648 , 0x80000000 )
174 test_integer_32 ( "-2147483647" , i32_m_2147483647 , i32_ux80000001 , -2147483647 , 0x80000001 )
175 test_integer_32 ( "-2" , i32_m_2 , i32_uxFFFFFFFE , -2 , 0xFFFFFFFE )
176 test_integer_32 ( "-1" , i32_m_1 , i32_uxFFFFFFFF , -1 , 0xFFFFFFFF )
177 if not has_error then
178 io.put_string (" OK")
179 end
180 io.put_new_line
181 has_error := false
182 io.put_string ("INTEGER_64:")
183 -- Leading zeroes
184 test_integer_64 ( "0" , i64_u_00 , i64_ux00 , 0000000000000000000000000000000000000000000 , 0x00000000000000000000000000000000000000000 )
185 test_integer_64 ( "0" , i64_p_00 , i64_px00 , +0000000000000000000000000000000000000000000 , +0x00000000000000000000000000000000000000000 )
186 test_integer_64 ( "0" , i64_m_00 , i64_mx00 , -0000000000000000000000000000000000000000000 , -0x00000000000000000000000000000000000000000 )
187 test_integer_64 ( "1234567890123456789" , i64_u_01234567890123456789 , i64_ux0112210F47DE98115 , 0000000000000000000000001234567890123456789 , 0x0000000000000000000000000112210F47DE98115 )
188 test_integer_64 ( "1234567890123456789" , i64_p_01234567890123456789 , i64_px0112210F47DE98115 , +0000000000000000000000001234567890123456789 , +0x0000000000000000000000000112210F47DE98115 )
189 test_integer_64 ( "-1234567890123456789" , i64_m_01234567890123456789 , i64_mx0112210F47DE98115 , -0000000000000000000000001234567890123456789 , -0x0000000000000000000000000112210F47DE98115 )
190 test_integer_64 ( "9223372036854775807" , i64_u_09223372036854775807 , i64_ux07FFFFFFFFFFFFFFF , 0000000000000000000000009223372036854775807 , 0x00000000000000000000000007FFFFFFFFFFFFFFF )
191 test_integer_64 ( "9223372036854775807" , i64_p_09223372036854775807 , i64_px07FFFFFFFFFFFFFFF , +0000000000000000000000009223372036854775807 , +0x00000000000000000000000007FFFFFFFFFFFFFFF )
192 test_integer_64 ( "-9223372036854775807" , i64_m_09223372036854775807 , i64_mx07FFFFFFFFFFFFFFF , -0000000000000000000000009223372036854775807 , -0x00000000000000000000000007FFFFFFFFFFFFFFF )
193 test_integer_64 ( "-9223372036854775808" , i64_m_09223372036854775808 , i64_mx08000000000000000 , -0000000000000000000000009223372036854775808 , -0x00000000000000000000000008000000000000000 )
194 -- Byte boundaries
195 test_integer_64 ( "0" , i64_u_0 , i64_ux0 , 0 , 0x0 )
196 test_integer_64 ( "0" , i64_p_0 , i64_px0 , +0 , +0x0 )
197 test_integer_64 ( "0" , i64_m_0 , i64_mx0 , -0 , -0x0 )
198 test_integer_64 ( "1" , i64_u_1 , i64_ux1 , 1 , 0x1 )
199 test_integer_64 ( "1" , i64_p_1 , i64_px1 , +1 , +0x1 )
200 test_integer_64 ( "-1" , i64_m_1 , i64_mx1 , -1 , -0x1 )
201 test_integer_64 ( "127" , i64_u_127 , i64_ux7F , 127 , 0x7F )
202 test_integer_64 ( "127" , i64_p_127 , i64_px7F , +127 , +0x7F )
203 test_integer_64 ( "-127" , i64_m_127 , i64_mx7F , -127 , -0x7F )
204 test_integer_64 ( "128" , i64_u_128 , i64_ux80 , 128 , 0x80 )
205 test_integer_64 ( "128" , i64_p_128 , i64_px80 , +128 , +0x80 )
206 test_integer_64 ( "-128" , i64_m_128 , i64_mx80 , -128 , -0x80 )
207 test_integer_64 ( "129" , i64_u_129 , i64_ux81 , 129 , 0x81 )
208 test_integer_64 ( "129" , i64_p_129 , i64_px81 , +129 , +0x81 )
209 test_integer_64 ( "-129" , i64_m_129 , i64_mx81 , -129 , -0x81 )
210 test_integer_64 ( "255" , i64_u_255 , i64_uxFF , 255 , 0xFF )
211 test_integer_64 ( "255" , i64_p_255 , i64_pxFF , +255 , +0xFF )
212 test_integer_64 ( "-255" , i64_m_255 , i64_mxFF , -255 , -0xFF )
213 test_integer_64 ( "256" , i64_u_256 , i64_ux100 , 256 , 0x100 )
214 test_integer_64 ( "256" , i64_p_256 , i64_up100 , +256 , +0x100 )
215 test_integer_64 ( "-256" , i64_m_256 , i64_um100 , -256 , -0x100 )
216 test_integer_64 ( "257" , i64_u_257 , i64_ux101 , 257 , 0x101 )
217 test_integer_64 ( "257" , i64_p_257 , i64_up101 , +257 , +0x101 )
218 test_integer_64 ( "-257" , i64_m_257 , i64_um101 , -257 , -0x101 )
219 test_integer_64 ( "32767" , i64_u_32767 , i64_ux7FFF , 32767 , 0x7FFF )
220 test_integer_64 ( "32767" , i64_p_32767 , i64_px7FFF , +32767 , +0x7FFF )
221 test_integer_64 ( "-32767" , i64_m_32767 , i64_mx7FFF , -32767 , -0x7FFF )
222 test_integer_64 ( "32768" , i64_u_32768 , i64_ux8000 , 32768 , 0x8000 )
223 test_integer_64 ( "32768" , i64_p_32768 , i64_px8000 , +32768 , +0x8000 )
224 test_integer_64 ( "-32768" , i64_m_32768 , i64_mx8000 , -32768 , -0x8000 )
225 test_integer_64 ( "32769" , i64_u_32769 , i64_ux8001 , 32769 , 0x8001 )
226 test_integer_64 ( "32769" , i64_p_32769 , i64_px8001 , +32769 , +0x8001 )
227 test_integer_64 ( "-32769" , i64_m_32769 , i64_mx8001 , -32769 , -0x8001 )
228 test_integer_64 ( "65535" , i64_u_65535 , i64_uxFFFF , 65535 , 0xFFFF )
229 test_integer_64 ( "65535" , i64_p_65535 , i64_pxFFFF , +65535 , +0xFFFF )
230 test_integer_64 ( "-65535" , i64_m_65535 , i64_mxFFFF , -65535 , -0xFFFF )
231 test_integer_64 ( "65536" , i64_u_65536 , i64_ux10000 , 65536 , 0x10000 )
232 test_integer_64 ( "65536" , i64_p_65536 , i64_px10000 , +65536 , +0x10000 )
233 test_integer_64 ( "-65536" , i64_m_65536 , i64_mx10000 , -65536 , -0x10000 )
234 test_integer_64 ( "65537" , i64_u_65537 , i64_ux10001 , 65537 , 0x10001 )
235 test_integer_64 ( "65537" , i64_p_65537 , i64_px10001 , +65537 , +0x10001 )
236 test_integer_64 ( "-65537" , i64_m_65537 , i64_mx10001 , -65537 , -0x10001 )
237 test_integer_64 ( "8388607" , i64_u_8388607 , i64_ux7FFFFF , 8388607 , 0x7FFFFF )
238 test_integer_64 ( "8388607" , i64_p_8388607 , i64_px7FFFFF , +8388607 , +0x7FFFFF )
239 test_integer_64 ( "-8388607" , i64_m_8388607 , i64_mx7FFFFF , -8388607 , -0x7FFFFF )
240 test_integer_64 ( "8388608" , i64_u_8388608 , i64_ux800000 , 8388608 , 0x800000 )
241 test_integer_64 ( "8388608" , i64_p_8388608 , i64_px800000 , +8388608 , +0x800000 )
242 test_integer_64 ( "-8388608" , i64_m_8388608 , i64_mx800000 , -8388608 , -0x800000 )
243 test_integer_64 ( "8388609" , i64_u_8388609 , i64_ux800001 , 8388609 , 0x800001 )
244 test_integer_64 ( "8388609" , i64_p_8388609 , i64_px800001 , +8388609 , +0x800001 )
245 test_integer_64 ( "-8388609" , i64_m_8388609 , i64_mx800001 , -8388609 , -0x800001 )
246 test_integer_64 ( "16777215" , i64_u_16777215 , i64_uxFFFFFF , 16777215 , 0xFFFFFF )
247 test_integer_64 ( "16777215" , i64_p_16777215 , i64_pxFFFFFF , +16777215 , +0xFFFFFF )
248 test_integer_64 ( "-16777215" , i64_m_16777215 , i64_mxFFFFFF , -16777215 , -0xFFFFFF )
249 test_integer_64 ( "16777216" , i64_u_16777216 , i64_ux1000000 , 16777216 , 0x1000000 )
250 test_integer_64 ( "16777216" , i64_p_16777216 , i64_px1000000 , +16777216 , +0x1000000 )
251 test_integer_64 ( "-16777216" , i64_m_16777216 , i64_mx1000000 , -16777216 , -0x1000000 )
252 test_integer_64 ( "16777217" , i64_u_16777217 , i64_ux1000001 , 16777217 , 0x1000001 )
253 test_integer_64 ( "16777217" , i64_p_16777217 , i64_px1000001 , +16777217 , +0x1000001 )
254 test_integer_64 ( "-16777217" , i64_m_16777217 , i64_mx1000001 , -16777217 , -0x1000001 )
255 test_integer_64 ( "2147483647" , i64_u_2147483647 , i64_ux7FFFFFFF , 2147483647 , 0x7FFFFFFF )
256 test_integer_64 ( "2147483647" , i64_p_2147483647 , i64_px7FFFFFFF , +2147483647 , +0x7FFFFFFF )
257 test_integer_64 ( "-2147483647" , i64_m_2147483647 , i64_mx7FFFFFFF , -2147483647 , -0x7FFFFFFF )
258 test_integer_64 ( "2147483648" , i64_u_2147483648 , i64_ux80000000 , 2147483648 , 0x80000000 )
259 test_integer_64 ( "2147483648" , i64_p_2147483648 , i64_px80000000 , +2147483648 , +0x80000000 )
260 test_integer_64 ( "-2147483648" , i64_m_2147483648 , i64_mx80000000 , -2147483648 , -0x80000000 )
261 test_integer_64 ( "2147483649" , i64_u_2147483649 , i64_ux80000001 , 2147483649 , 0x80000001 )
262 test_integer_64 ( "2147483649" , i64_p_2147483649 , i64_px80000001 , +2147483649 , +0x80000001 )
263 test_integer_64 ( "-2147483649" , i64_m_2147483649 , i64_mx80000001 , -2147483649 , -0x80000001 )
264 test_integer_64 ( "4294967295" , i64_u_4294967295 , i64_uxFFFFFFFF , 4294967295 , 0xFFFFFFFF )
265 test_integer_64 ( "4294967295" , i64_p_4294967295 , i64_pxFFFFFFFF , +4294967295 , +0xFFFFFFFF )
266 test_integer_64 ( "-4294967295" , i64_m_4294967295 , i64_mxFFFFFFFF , -4294967295 , -0xFFFFFFFF )
267 test_integer_64 ( "4294967296" , i64_u_4294967296 , i64_ux100000000 , 4294967296 , 0x100000000 )
268 test_integer_64 ( "4294967296" , i64_p_4294967296 , i64_px100000000 , +4294967296 , +0x100000000 )
269 test_integer_64 ( "-4294967296" , i64_m_4294967296 , i64_mx100000000 , -4294967296 , -0x100000000 )
270 test_integer_64 ( "4294967297" , i64_u_4294967297 , i64_ux100000001 , 4294967297 , 0x100000001 )
271 test_integer_64 ( "4294967297" , i64_p_4294967297 , i64_px100000001 , +4294967297 , +0x100000001 )
272 test_integer_64 ( "-4294967297" , i64_m_4294967297 , i64_mx100000001 , -4294967297 , -0x100000001 )
273 test_integer_64 ( "549755813887" , i64_u_549755813887 , i64_ux7FFFFFFFFF , 549755813887 , 0x7FFFFFFFFF )
274 test_integer_64 ( "549755813887" , i64_p_549755813887 , i64_px7FFFFFFFFF , +549755813887 , +0x7FFFFFFFFF )
275 test_integer_64 ( "-549755813887" , i64_m_549755813887 , i64_mx7FFFFFFFFF , -549755813887 , -0x7FFFFFFFFF )
276 test_integer_64 ( "549755813888" , i64_u_549755813888 , i64_ux8000000000 , 549755813888 , 0x8000000000 )
277 test_integer_64 ( "549755813888" , i64_p_549755813888 , i64_px8000000000 , +549755813888 , +0x8000000000 )
278 test_integer_64 ( "-549755813888" , i64_m_549755813888 , i64_mx8000000000 , -549755813888 , -0x8000000000 )
279 test_integer_64 ( "549755813889" , i64_u_549755813889 , i64_ux8000000001 , 549755813889 , 0x8000000001 )
280 test_integer_64 ( "549755813889" , i64_p_549755813889 , i64_px8000000001 , +549755813889 , +0x8000000001 )
281 test_integer_64 ( "-549755813889" , i64_m_549755813889 , i64_mx8000000001 , -549755813889 , -0x8000000001 )
282 test_integer_64 ( "1099511627775" , i64_u_1099511627775 , i64_uxFFFFFFFFFF , 1099511627775 , 0xFFFFFFFFFF )
283 test_integer_64 ( "1099511627775" , i64_p_1099511627775 , i64_pxFFFFFFFFFF , +1099511627775 , +0xFFFFFFFFFF )
284 test_integer_64 ( "-1099511627775" , i64_m_1099511627775 , i64_mxFFFFFFFFFF , -1099511627775 , -0xFFFFFFFFFF )
285 test_integer_64 ( "1099511627776" , i64_u_1099511627776 , i64_ux10000000000 , 1099511627776 , 0x10000000000 )
286 test_integer_64 ( "1099511627776" , i64_p_1099511627776 , i64_px10000000000 , +1099511627776 , +0x10000000000 )
287 test_integer_64 ( "-1099511627776" , i64_m_1099511627776 , i64_mx10000000000 , -1099511627776 , -0x10000000000 )
288 test_integer_64 ( "1099511627777" , i64_u_1099511627777 , i64_ux10000000001 , 1099511627777 , 0x10000000001 )
289 test_integer_64 ( "1099511627777" , i64_p_1099511627777 , i64_px10000000001 , +1099511627777 , +0x10000000001 )
290 test_integer_64 ( "-1099511627777" , i64_m_1099511627777 , i64_mx10000000001 , -1099511627777 , -0x10000000001 )
291 test_integer_64 ( "140737488355327" , i64_u_140737488355327 , i64_ux7FFFFFFFFFFF , 140737488355327 , 0x7FFFFFFFFFFF )
292 test_integer_64 ( "140737488355327" , i64_p_140737488355327 , i64_px7FFFFFFFFFFF , +140737488355327 , +0x7FFFFFFFFFFF )
293 test_integer_64 ( "-140737488355327" , i64_m_140737488355327 , i64_mx7FFFFFFFFFFF , -140737488355327 , -0x7FFFFFFFFFFF )
294 test_integer_64 ( "140737488355328" , i64_u_140737488355328 , i64_ux800000000000 , 140737488355328 , 0x800000000000 )
295 test_integer_64 ( "140737488355328" , i64_p_140737488355328 , i64_px800000000000 , +140737488355328 , +0x800000000000 )
296 test_integer_64 ( "-140737488355328" , i64_m_140737488355328 , i64_mx800000000000 , -140737488355328 , -0x800000000000 )
297 test_integer_64 ( "140737488355329" , i64_u_140737488355329 , i64_ux800000000001 , 140737488355329 , 0x800000000001 )
298 test_integer_64 ( "140737488355329" , i64_p_140737488355329 , i64_px800000000001 , +140737488355329 , +0x800000000001 )
299 test_integer_64 ( "-140737488355329" , i64_m_140737488355329 , i64_mx800000000001 , -140737488355329 , -0x800000000001 )
300 test_integer_64 ( "281474976710655" , i64_u_281474976710655 , i64_uxFFFFFFFFFFFF , 281474976710655 , 0xFFFFFFFFFFFF )
301 test_integer_64 ( "281474976710655" , i64_p_281474976710655 , i64_pxFFFFFFFFFFFF , +281474976710655 , +0xFFFFFFFFFFFF )
302 test_integer_64 ( "-281474976710655" , i64_m_281474976710655 , i64_mxFFFFFFFFFFFF , -281474976710655 , -0xFFFFFFFFFFFF )
303 test_integer_64 ( "281474976710656" , i64_u_281474976710656 , i64_ux1000000000000 , 281474976710656 , 0x1000000000000 )
304 test_integer_64 ( "281474976710656" , i64_p_281474976710656 , i64_px1000000000000 , +281474976710656 , +0x1000000000000 )
305 test_integer_64 ( "-281474976710656" , i64_m_281474976710656 , i64_mx1000000000000 , -281474976710656 , -0x1000000000000 )
306 test_integer_64 ( "281474976710657" , i64_u_281474976710657 , i64_ux1000000000001 , 281474976710657 , 0x1000000000001 )
307 test_integer_64 ( "281474976710657" , i64_p_281474976710657 , i64_px1000000000001 , +281474976710657 , +0x1000000000001 )
308 test_integer_64 ( "-281474976710657" , i64_m_281474976710657 , i64_mx1000000000001 , -281474976710657 , -0x1000000000001 )
309 test_integer_64 ( "36028797018963967" , i64_u_36028797018963967 , i64_ux7FFFFFFFFFFFFF , 36028797018963967 , 0x7FFFFFFFFFFFFF )
310 test_integer_64 ( "36028797018963967" , i64_p_36028797018963967 , i64_px7FFFFFFFFFFFFF , +36028797018963967 , +0x7FFFFFFFFFFFFF )
311 test_integer_64 ( "-36028797018963967" , i64_m_36028797018963967 , i64_mx7FFFFFFFFFFFFF , -36028797018963967 , -0x7FFFFFFFFFFFFF )
312 test_integer_64 ( "36028797018963968" , i64_u_36028797018963968 , i64_ux80000000000000 , 36028797018963968 , 0x80000000000000 )
313 test_integer_64 ( "36028797018963968" , i64_p_36028797018963968 , i64_px80000000000000 , +36028797018963968 , +0x80000000000000 )
314 test_integer_64 ( "-36028797018963968" , i64_m_36028797018963968 , i64_mx80000000000000 , -36028797018963968 , -0x80000000000000 )
315 test_integer_64 ( "36028797018963969" , i64_u_36028797018963969 , i64_ux80000000000001 , 36028797018963969 , 0x80000000000001 )
316 test_integer_64 ( "36028797018963969" , i64_p_36028797018963969 , i64_px80000000000001 , +36028797018963969 , +0x80000000000001 )
317 test_integer_64 ( "-36028797018963969" , i64_m_36028797018963969 , i64_mx80000000000001 , -36028797018963969 , -0x80000000000001 )
318 test_integer_64 ( "72057594037927935" , i64_u_72057594037927935 , i64_uxFFFFFFFFFFFFFF , 72057594037927935 , 0xFFFFFFFFFFFFFF )
319 test_integer_64 ( "72057594037927935" , i64_p_72057594037927935 , i64_pxFFFFFFFFFFFFFF , +72057594037927935 , +0xFFFFFFFFFFFFFF )
320 test_integer_64 ( "-72057594037927935" , i64_m_72057594037927935 , i64_mxFFFFFFFFFFFFFF , -72057594037927935 , -0xFFFFFFFFFFFFFF )
321 test_integer_64 ( "72057594037927936" , i64_u_72057594037927936 , i64_ux100000000000000 , 72057594037927936 , 0x100000000000000 )
322 test_integer_64 ( "72057594037927936" , i64_p_72057594037927936 , i64_px100000000000000 , +72057594037927936 , +0x100000000000000 )
323 test_integer_64 ( "-72057594037927936" , i64_m_72057594037927936 , i64_mx100000000000000 , -72057594037927936 , -0x100000000000000 )
324 test_integer_64 ( "72057594037927937" , i64_u_72057594037927937 , i64_ux100000000000001 , 72057594037927937 , 0x100000000000001 )
325 test_integer_64 ( "72057594037927937" , i64_p_72057594037927937 , i64_px100000000000001 , +72057594037927937 , +0x100000000000001 )
326 test_integer_64 ( "-72057594037927937" , i64_m_72057594037927937 , i64_mx100000000000001 , -72057594037927937 , -0x100000000000001 )
327 test_integer_64 ( "9223372036854775807" , i64_u_9223372036854775807 , i64_ux7FFFFFFFFFFFFFFF , 9223372036854775807 , 0x7FFFFFFFFFFFFFFF )
328 test_integer_64 ( "9223372036854775807" , i64_p_9223372036854775807 , i64_px7FFFFFFFFFFFFFFF , +9223372036854775807 , +0x7FFFFFFFFFFFFFFF )
329 test_integer_64 ( "-9223372036854775807" , i64_m_9223372036854775807 , i64_mx7FFFFFFFFFFFFFFF , -9223372036854775807 , -0x7FFFFFFFFFFFFFFF )
330 test_integer_64 ( "-9223372036854775808" , i64_m_9223372036854775808 , i64_mx8000000000000000 , -9223372036854775808 , -0x8000000000000000 )
331 -- Implicitly negative hexadecimals
332 test_integer_64 ( "-9223372036854775808" , i64_m_9223372036854775808 , i64_ux8000000000000000 , -9223372036854775808 , 0x8000000000000000 )
333 test_integer_64 ( "-9223372036854775807" , i64_m_9223372036854775807 , i64_ux8000000000000001 , -9223372036854775807 , 0x8000000000000001 )
334 test_integer_64 ( "-2" , i64_m_2 , i64_uxFFFFFFFFFFFFFFFE , -2 , 0xFFFFFFFFFFFFFFFE )
335 test_integer_64 ( "-1" , i64_m_1 , i64_uxFFFFFFFFFFFFFFFF , -1 , 0xFFFFFFFFFFFFFFFF )
336 if not has_error then
337 io.put_string (" OK")
338 end
339 io.put_new_line
340 end
341
342 feature {NONE} -- INTEGER_8 constants: leading zeroes
343
344 i8_u_00: INTEGER_8 is 0000000000000000000000000000000000
345 i8_p_00: INTEGER_8 is +0000000000000000000000000000000000
346 i8_m_00: INTEGER_8 is -0000000000000000000000000000000000
347 i8_u_0123: INTEGER_8 is 0000000000000000000000000000000123
348 i8_p_0123: INTEGER_8 is +0000000000000000000000000000000123
349 i8_m_0123: INTEGER_8 is -0000000000000000000000000000000123
350 i8_u_0127: INTEGER_8 is 0000000000000000000000000000000127
351 i8_p_0127: INTEGER_8 is +0000000000000000000000000000000127
352 i8_m_0127: INTEGER_8 is -0000000000000000000000000000000127
353 i8_m_0128: INTEGER_8 is -0000000000000000000000000000000128
354 i8_ux00: INTEGER_8 is 0x00000000000000000000000000000000
355 i8_px00: INTEGER_8 is +0x00000000000000000000000000000000
356 i8_mx00: INTEGER_8 is -0x00000000000000000000000000000000
357 i8_ux07B: INTEGER_8 is 0x0000000000000000000000000000007B
358 i8_px07B: INTEGER_8 is +0x0000000000000000000000000000007B
359 i8_mx07B: INTEGER_8 is -0x0000000000000000000000000000007B
360 i8_ux07F: INTEGER_8 is 0x0000000000000000000000000000007F
361 i8_px07F: INTEGER_8 is +0x0000000000000000000000000000007F
362 i8_mx07F: INTEGER_8 is -0x0000000000000000000000000000007F
363 i8_mx080: INTEGER_8 is -0x00000000000000000000000000000080
364
365 feature {NONE} -- INTEGER_8 constants: decimal byte boundaries
366
367 i8_u_0: INTEGER_8 is 0
368 i8_p_0: INTEGER_8 is +0
369 i8_m_0: INTEGER_8 is -0
370 i8_u_1: INTEGER_8 is 1
371 i8_p_1: INTEGER_8 is +1
372 i8_m_1: INTEGER_8 is -1
373 i8_u_127: INTEGER_8 is 127
374 i8_p_127: INTEGER_8 is +127
375 i8_m_127: INTEGER_8 is -127
376 i8_m_128: INTEGER_8 is -128
377
378 feature {NONE} -- INTEGER_8 constants: hexadecimal byte boundaries
379
380 i8_ux0: INTEGER_8 is 0x0
381 i8_px0: INTEGER_8 is +0x0
382 i8_mx0: INTEGER_8 is -0x0
383 i8_ux1: INTEGER_8 is 0x1
384 i8_px1: INTEGER_8 is +0x1
385 i8_mx1: INTEGER_8 is -0x1
386 i8_ux7F: INTEGER_8 is 0x7F
387 i8_px7F: INTEGER_8 is +0x7F
388 i8_mx7F: INTEGER_8 is -0x7F
389 i8_mx80: INTEGER_8 is -0x80
390
391 feature {NONE} -- INTEGER_8 constants: implicitly negative hexadecimals
392
393 i8_m_2: INTEGER_8 is -2
394
395 i8_ux80: INTEGER_8 is 0x80
396 i8_ux81: INTEGER_8 is 0x81
397 i8_uxFE: INTEGER_8 is 0xFE
398 i8_uxFF: INTEGER_8 is 0xFF
399
400 feature {NONE} -- INTEGER_16 constants: leading zeroes
401
402 i16_u_00: INTEGER_16 is 00000000000000000000000000000000000
403 i16_p_00: INTEGER_16 is +00000000000000000000000000000000000
404 i16_m_00: INTEGER_16 is -00000000000000000000000000000000000
405 i16_u_012345: INTEGER_16 is 00000000000000000000000000000012345
406 i16_p_012345: INTEGER_16 is +00000000000000000000000000000012345
407 i16_m_012345: INTEGER_16 is -00000000000000000000000000000012345
408 i16_u_032767: INTEGER_16 is 00000000000000000000000000000032767
409 i16_p_032767: INTEGER_16 is +00000000000000000000000000000032767
410 i16_m_032767: INTEGER_16 is -00000000000000000000000000000032767
411 i16_m_032768: INTEGER_16 is -00000000000000000000000000000032768
412 i16_ux00: INTEGER_16 is 0x000000000000000000000000000000000
413 i16_px00: INTEGER_16 is +0x000000000000000000000000000000000
414 i16_mx00: INTEGER_16 is -0x000000000000000000000000000000000
415 i16_ux03039: INTEGER_16 is 0x000000000000000000000000000003039
416 i16_px03039: INTEGER_16 is +0x000000000000000000000000000003039
417 i16_mx03039: INTEGER_16 is -0x000000000000000000000000000003039
418 i16_ux07FFF: INTEGER_16 is 0x000000000000000000000000000007FFF
419 i16_px07FFF: INTEGER_16 is +0x000000000000000000000000000007FFF
420 i16_mx07FFF: INTEGER_16 is -0x000000000000000000000000000007FFF
421 i16_mx08000: INTEGER_16 is -0x000000000000000000000000000008000
422
423 feature {NONE} -- INTEGER_16 constants: decimal byte boundaries
424
425 i16_u_0: INTEGER_16 is 0
426 i16_p_0: INTEGER_16 is +0
427 i16_m_0: INTEGER_16 is -0
428 i16_u_1: INTEGER_16 is 1
429 i16_p_1: INTEGER_16 is +1
430 i16_m_1: INTEGER_16 is -1
431 i16_u_127: INTEGER_16 is 127
432 i16_p_127: INTEGER_16 is +127
433 i16_m_127: INTEGER_16 is -127
434 i16_u_128: INTEGER_16 is 128
435 i16_p_128: INTEGER_16 is +128
436 i16_m_128: INTEGER_16 is -128
437 i16_u_129: INTEGER_16 is 129
438 i16_p_129: INTEGER_16 is +129
439 i16_m_129: INTEGER_16 is -129
440 i16_u_255: INTEGER_16 is 255
441 i16_p_255: INTEGER_16 is +255
442 i16_m_255: INTEGER_16 is -255
443 i16_u_256: INTEGER_16 is 256
444 i16_p_256: INTEGER_16 is +256
445 i16_m_256: INTEGER_16 is -256
446 i16_u_257: INTEGER_16 is 257
447 i16_p_257: INTEGER_16 is +257
448 i16_m_257: INTEGER_16 is -257
449 i16_u_32767: INTEGER_16 is 32767
450 i16_p_32767: INTEGER_16 is +32767
451 i16_m_32767: INTEGER_16 is -32767
452 i16_m_32768: INTEGER_16 is -32768
453
454 feature {NONE} -- INTEGER_16 constants: hexadecimal byte boundaries
455
456 i16_ux0: INTEGER_16 is 0x0
457 i16_px0: INTEGER_16 is +0x0
458 i16_mx0: INTEGER_16 is -0x0
459 i16_ux1: INTEGER_16 is 0x1
460 i16_px1: INTEGER_16 is +0x1
461 i16_mx1: INTEGER_16 is -0x1
462 i16_ux7F: INTEGER_16 is 0x7F
463 i16_px7F: INTEGER_16 is +0x7F
464 i16_mx7F: INTEGER_16 is -0x7F
465 i16_ux80: INTEGER_16 is 0x80
466 i16_px80: INTEGER_16 is +0x80
467 i16_mx80: INTEGER_16 is -0x80
468 i16_ux81: INTEGER_16 is 0x81
469 i16_px81: INTEGER_16 is +0x81
470 i16_mx81: INTEGER_16 is -0x81
471 i16_uxFF: INTEGER_16 is 0xFF
472 i16_pxFF: INTEGER_16 is +0xFF
473 i16_mxFF: INTEGER_16 is -0xFF
474 i16_ux100: INTEGER_16 is 0x100
475 i16_up100: INTEGER_16 is +0x100
476 i16_um100: INTEGER_16 is -0x100
477 i16_ux101: INTEGER_16 is 0x101
478 i16_up101: INTEGER_16 is +0x101
479 i16_um101: INTEGER_16 is -0x101
480 i16_ux7FFF: INTEGER_16 is 0x7FFF
481 i16_px7FFF: INTEGER_16 is +0x7FFF
482 i16_mx7FFF: INTEGER_16 is -0x7FFF
483 i16_mx8000: INTEGER_16 is -0x8000
484
485 feature {NONE} -- INTEGER_16 constants: implicitly negative hexadecimals
486
487 i16_m_2: INTEGER_16 is -2
488
489 i16_ux8000: INTEGER_16 is 0x8000
490 i16_ux8001: INTEGER_16 is 0x8001
491 i16_uxFFFE: INTEGER_16 is 0xFFFE
492 i16_uxFFFF: INTEGER_16 is 0xFFFF
493
494 feature {NONE} -- INTEGER constants: leading zeroes
495
496 i32_u_00: INTEGER is 0000000000000000000000000000000000
497 i32_p_00: INTEGER is +0000000000000000000000000000000000
498 i32_m_00: INTEGER is -0000000000000000000000000000000000
499 i32_u_01234567890: INTEGER is 0000000000000000000000001234567890
500 i32_p_01234567890: INTEGER is +0000000000000000000000001234567890
501 i32_m_01234567890: INTEGER is -0000000000000000000000001234567890
502 i32_u_02147483647: INTEGER is 0000000000000000000000002147483647
503 i32_p_02147483647: INTEGER is +0000000000000000000000002147483647
504 i32_m_02147483647: INTEGER is -0000000000000000000000002147483647
505 i32_m_02147483648: INTEGER is -0000000000000000000000002147483648
506 i32_ux00: INTEGER is 0x00000000000000000000000000000000
507 i32_px00: INTEGER is +0x00000000000000000000000000000000
508 i32_mx00: INTEGER is -0x00000000000000000000000000000000
509 i32_ux0499602D2: INTEGER is 0x000000000000000000000000499602D2
510 i32_px0499602D2: INTEGER is +0x000000000000000000000000499602D2
511 i32_mx0499602D2: INTEGER is -0x000000000000000000000000499602D2
512 i32_ux07FFFFFFF: INTEGER is 0x0000000000000000000000007FFFFFFF
513 i32_px07FFFFFFF: INTEGER is +0x0000000000000000000000007FFFFFFF
514 i32_mx07FFFFFFF: INTEGER is -0x0000000000000000000000007FFFFFFF
515 i32_mx080000000: INTEGER is -0x00000000000000000000000080000000
516
517 feature {NONE} -- INTEGER constants: decimal byte boundaries
518
519 i32_u_0: INTEGER is 0
520 i32_p_0: INTEGER is +0
521 i32_m_0: INTEGER is -0
522 i32_u_1: INTEGER is 1
523 i32_p_1: INTEGER is +1
524 i32_m_1: INTEGER is -1
525 i32_u_127: INTEGER is 127
526 i32_p_127: INTEGER is +127
527 i32_m_127: INTEGER is -127
528 i32_u_128: INTEGER is 128
529 i32_p_128: INTEGER is +128
530 i32_m_128: INTEGER is -128
531 i32_u_129: INTEGER is 129
532 i32_p_129: INTEGER is +129
533 i32_m_129: INTEGER is -129
534 i32_u_255: INTEGER is 255
535 i32_p_255: INTEGER is +255
536 i32_m_255: INTEGER is -255
537 i32_u_256: INTEGER is 256
538 i32_p_256: INTEGER is +256
539 i32_m_256: INTEGER is -256
540 i32_u_257: INTEGER is 257
541 i32_p_257: INTEGER is +257
542 i32_m_257: INTEGER is -257
543 i32_u_32767: INTEGER is 32767
544 i32_p_32767: INTEGER is +32767
545 i32_m_32767: INTEGER is -32767
546 i32_u_32768: INTEGER is 32768
547 i32_p_32768: INTEGER is +32768
548 i32_m_32768: INTEGER is -32768
549 i32_u_32769: INTEGER is 32769
550 i32_p_32769: INTEGER is +32769
551 i32_m_32769: INTEGER is -32769
552 i32_u_65535: INTEGER is 65535
553 i32_p_65535: INTEGER is +65535
554 i32_m_65535: INTEGER is -65535
555 i32_u_65536: INTEGER is 65536
556 i32_p_65536: INTEGER is +65536
557 i32_m_65536: INTEGER is -65536
558 i32_u_65537: INTEGER is 65537
559 i32_p_65537: INTEGER is +65537
560 i32_m_65537: INTEGER is -65537
561 i32_u_8388607: INTEGER is 8388607
562 i32_p_8388607: INTEGER is +8388607
563 i32_m_8388607: INTEGER is -8388607
564 i32_u_8388608: INTEGER is 8388608
565 i32_p_8388608: INTEGER is +8388608
566 i32_m_8388608: INTEGER is -8388608
567 i32_u_8388609: INTEGER is 8388609
568 i32_p_8388609: INTEGER is +8388609
569 i32_m_8388609: INTEGER is -8388609
570 i32_u_16777215: INTEGER is 16777215
571 i32_p_16777215: INTEGER is +16777215
572 i32_m_16777215: INTEGER is -16777215
573 i32_u_16777216: INTEGER is 16777216
574 i32_p_16777216: INTEGER is +16777216
575 i32_m_16777216: INTEGER is -16777216
576 i32_u_16777217: INTEGER is 16777217
577 i32_p_16777217: INTEGER is +16777217
578 i32_m_16777217: INTEGER is -16777217
579 i32_u_2147483647: INTEGER is 2147483647
580 i32_p_2147483647: INTEGER is +2147483647
581 i32_m_2147483647: INTEGER is -2147483647
582 i32_m_2147483648: INTEGER is -2147483648
583
584 feature {NONE} -- INTEGER constants: hexadecimal byte boundaries
585
586 i32_ux0: INTEGER is 0x0
587 i32_px0: INTEGER is +0x0
588 i32_mx0: INTEGER is -0x0
589 i32_ux1: INTEGER is 0x1
590 i32_px1: INTEGER is +0x1
591 i32_mx1: INTEGER is -0x1
592 i32_ux7F: INTEGER is 0x7F
593 i32_px7F: INTEGER is +0x7F
594 i32_mx7F: INTEGER is -0x7F
595 i32_ux80: INTEGER is 0x80
596 i32_px80: INTEGER is +0x80
597 i32_mx80: INTEGER is -0x80
598 i32_ux81: INTEGER is 0x81
599 i32_px81: INTEGER is +0x81
600 i32_mx81: INTEGER is -0x81
601 i32_uxFF: INTEGER is 0xFF
602 i32_pxFF: INTEGER is +0xFF
603 i32_mxFF: INTEGER is -0xFF
604 i32_ux100: INTEGER is 0x100
605 i32_up100: INTEGER is +0x100
606 i32_um100: INTEGER is -0x100
607 i32_ux101: INTEGER is 0x101
608 i32_up101: INTEGER is +0x101
609 i32_um101: INTEGER is -0x101
610 i32_ux7FFF: INTEGER is 0x7FFF
611 i32_px7FFF: INTEGER is +0x7FFF
612 i32_mx7FFF: INTEGER is -0x7FFF
613 i32_ux8000: INTEGER is 0x8000
614 i32_px8000: INTEGER is +0x8000
615 i32_mx8000: INTEGER is -0x8000
616 i32_ux8001: INTEGER is 0x8001
617 i32_px8001: INTEGER is +0x8001
618 i32_mx8001: INTEGER is -0x8001
619 i32_uxFFFF: INTEGER is 0xFFFF
620 i32_pxFFFF: INTEGER is +0xFFFF
621 i32_mxFFFF: INTEGER is -0xFFFF
622 i32_ux10000: INTEGER is 0x10000
623 i32_px10000: INTEGER is +0x10000
624 i32_mx10000: INTEGER is -0x10000
625 i32_ux10001: INTEGER is 0x10001
626 i32_px10001: INTEGER is +0x10001
627 i32_mx10001: INTEGER is -0x10001
628 i32_ux7FFFFF: INTEGER is 0x7FFFFF
629 i32_px7FFFFF: INTEGER is +0x7FFFFF
630 i32_mx7FFFFF: INTEGER is -0x7FFFFF
631 i32_ux800000: INTEGER is 0x800000
632 i32_px800000: INTEGER is +0x800000
633 i32_mx800000: INTEGER is -0x800000
634 i32_ux800001: INTEGER is 0x800001
635 i32_px800001: INTEGER is +0x800001
636 i32_mx800001: INTEGER is -0x800001
637 i32_uxFFFFFF: INTEGER is 0xFFFFFF
638 i32_pxFFFFFF: INTEGER is +0xFFFFFF
639 i32_mxFFFFFF: INTEGER is -0xFFFFFF
640 i32_ux1000000: INTEGER is 0x1000000
641 i32_px1000000: INTEGER is +0x1000000
642 i32_mx1000000: INTEGER is -0x1000000
643 i32_ux1000001: INTEGER is 0x1000001
644 i32_px1000001: INTEGER is +0x1000001
645 i32_mx1000001: INTEGER is -0x1000001
646 i32_ux7FFFFFFF: INTEGER is 0x7FFFFFFF
647 i32_px7FFFFFFF: INTEGER is +0x7FFFFFFF
648 i32_mx7FFFFFFF: INTEGER is -0x7FFFFFFF
649 i32_mx80000000: INTEGER is -0x80000000
650
651 feature {NONE} -- INTEGER constants: implicitly negative hexadecimals
652
653 i32_m_2: INTEGER is -2
654
655 i32_ux80000000: INTEGER is 0x80000000
656 i32_ux80000001: INTEGER is 0x80000001
657 i32_uxFFFFFFFE: INTEGER is 0xFFFFFFFE
658 i32_uxFFFFFFFF: INTEGER is 0xFFFFFFFF
659
660 feature {NONE} -- INTEGER_64 constants: leading zeroes
661
662 i64_u_00: INTEGER_64 is 0000000000000000000000000000000000000000000
663 i64_p_00: INTEGER_64 is +0000000000000000000000000000000000000000000
664 i64_m_00: INTEGER_64 is -0000000000000000000000000000000000000000000
665 i64_u_01234567890123456789: INTEGER_64 is 0000000000000000000000001234567890123456789
666 i64_p_01234567890123456789: INTEGER_64 is +0000000000000000000000001234567890123456789
667 i64_m_01234567890123456789: INTEGER_64 is -0000000000000000000000001234567890123456789
668 i64_u_09223372036854775807: INTEGER_64 is 0000000000000000000000009223372036854775807
669 i64_p_09223372036854775807: INTEGER_64 is +0000000000000000000000009223372036854775807
670 i64_m_09223372036854775807: INTEGER_64 is -0000000000000000000000009223372036854775807
671 i64_m_09223372036854775808: INTEGER_64 is -0000000000000000000000009223372036854775808
672 i64_ux00: INTEGER_64 is 0x00000000000000000000000000000000000000000
673 i64_px00: INTEGER_64 is +0x00000000000000000000000000000000000000000
674 i64_mx00: INTEGER_64 is -0x00000000000000000000000000000000000000000
675 i64_ux0112210F47DE98115: INTEGER_64 is 0x0000000000000000000000000112210F47DE98115
676 i64_px0112210F47DE98115: INTEGER_64 is +0x0000000000000000000000000112210F47DE98115
677 i64_mx0112210F47DE98115: INTEGER_64 is -0x0000000000000000000000000112210F47DE98115
678 i64_ux07FFFFFFFFFFFFFFF: INTEGER_64 is 0x00000000000000000000000007FFFFFFFFFFFFFFF
679 i64_px07FFFFFFFFFFFFFFF: INTEGER_64 is +0x00000000000000000000000007FFFFFFFFFFFFFFF
680 i64_mx07FFFFFFFFFFFFFFF: INTEGER_64 is -0x00000000000000000000000007FFFFFFFFFFFFFFF
681 i64_mx08000000000000000: INTEGER_64 is -0x00000000000000000000000008000000000000000
682
683 feature {NONE} -- INTEGER_64 constants: decimal byte boundaries
684
685 i64_u_0: INTEGER_64 is 0
686 i64_p_0: INTEGER_64 is +0
687 i64_m_0: INTEGER_64 is -0
688 i64_u_1: INTEGER_64 is 1
689 i64_p_1: INTEGER_64 is +1
690 i64_m_1: INTEGER_64 is -1
691 i64_u_127: INTEGER_64 is 127
692 i64_p_127: INTEGER_64 is +127
693 i64_m_127: INTEGER_64 is -127
694 i64_u_128: INTEGER_64 is 128
695 i64_p_128: INTEGER_64 is +128
696 i64_m_128: INTEGER_64 is -128
697 i64_u_129: INTEGER_64 is 129
698 i64_p_129: INTEGER_64 is +129
699 i64_m_129: INTEGER_64 is -129
700 i64_u_255: INTEGER_64 is 255
701 i64_p_255: INTEGER_64 is +255
702 i64_m_255: INTEGER_64 is -255
703 i64_u_256: INTEGER_64 is 256
704 i64_p_256: INTEGER_64 is +256
705 i64_m_256: INTEGER_64 is -256
706 i64_u_257: INTEGER_64 is 257
707 i64_p_257: INTEGER_64 is +257
708 i64_m_257: INTEGER_64 is -257
709 i64_u_32767: INTEGER_64 is 32767
710 i64_p_32767: INTEGER_64 is +32767
711 i64_m_32767: INTEGER_64 is -32767
712 i64_u_32768: INTEGER_64 is 32768
713 i64_p_32768: INTEGER_64 is +32768
714 i64_m_32768: INTEGER_64 is -32768
715 i64_u_32769: INTEGER_64 is 32769
716 i64_p_32769: INTEGER_64 is +32769
717 i64_m_32769: INTEGER_64 is -32769
718 i64_u_65535: INTEGER_64 is 65535
719 i64_p_65535: INTEGER_64 is +65535
720 i64_m_65535: INTEGER_64 is -65535
721 i64_u_65536: INTEGER_64 is 65536
722 i64_p_65536: INTEGER_64 is +65536
723 i64_m_65536: INTEGER_64 is -65536
724 i64_u_65537: INTEGER_64 is 65537
725 i64_p_65537: INTEGER_64 is +65537
726 i64_m_65537: INTEGER_64 is -65537
727 i64_u_8388607: INTEGER_64 is 8388607
728 i64_p_8388607: INTEGER_64 is +8388607
729 i64_m_8388607: INTEGER_64 is -8388607
730 i64_u_8388608: INTEGER_64 is 8388608
731 i64_p_8388608: INTEGER_64 is +8388608
732 i64_m_8388608: INTEGER_64 is -8388608
733 i64_u_8388609: INTEGER_64 is 8388609
734 i64_p_8388609: INTEGER_64 is +8388609
735 i64_m_8388609: INTEGER_64 is -8388609
736 i64_u_16777215: INTEGER_64 is 16777215
737 i64_p_16777215: INTEGER_64 is +16777215
738 i64_m_16777215: INTEGER_64 is -16777215
739 i64_u_16777216: INTEGER_64 is 16777216
740 i64_p_16777216: INTEGER_64 is +16777216
741 i64_m_16777216: INTEGER_64 is -16777216
742 i64_u_16777217: INTEGER_64 is 16777217
743 i64_p_16777217: INTEGER_64 is +16777217
744 i64_m_16777217: INTEGER_64 is -16777217
745 i64_u_2147483647: INTEGER_64 is 2147483647
746 i64_p_2147483647: INTEGER_64 is +2147483647
747 i64_m_2147483647: INTEGER_64 is -2147483647
748 i64_u_2147483648: INTEGER_64 is 2147483648
749 i64_p_2147483648: INTEGER_64 is +2147483648
750 i64_m_2147483648: INTEGER_64 is -2147483648
751 i64_u_2147483649: INTEGER_64 is 2147483649
752 i64_p_2147483649: INTEGER_64 is +2147483649
753 i64_m_2147483649: INTEGER_64 is -2147483649
754 i64_u_4294967295: INTEGER_64 is 4294967295
755 i64_p_4294967295: INTEGER_64 is +4294967295
756 i64_m_4294967295: INTEGER_64 is -4294967295
757 i64_u_4294967296: INTEGER_64 is 4294967296
758 i64_p_4294967296: INTEGER_64 is +4294967296
759 i64_m_4294967296: INTEGER_64 is -4294967296
760 i64_u_4294967297: INTEGER_64 is 4294967297
761 i64_p_4294967297: INTEGER_64 is +4294967297
762 i64_m_4294967297: INTEGER_64 is -4294967297
763 i64_u_549755813887: INTEGER_64 is 549755813887
764 i64_p_549755813887: INTEGER_64 is +549755813887
765 i64_m_549755813887: INTEGER_64 is -549755813887
766 i64_u_549755813888: INTEGER_64 is 549755813888
767 i64_p_549755813888: INTEGER_64 is +549755813888
768 i64_m_549755813888: INTEGER_64 is -549755813888
769 i64_u_549755813889: INTEGER_64 is 549755813889
770 i64_p_549755813889: INTEGER_64 is +549755813889
771 i64_m_549755813889: INTEGER_64 is -549755813889
772 i64_u_1099511627775: INTEGER_64 is 1099511627775
773 i64_p_1099511627775: INTEGER_64 is +1099511627775
774 i64_m_1099511627775: INTEGER_64 is -1099511627775
775 i64_u_1099511627776: INTEGER_64 is 1099511627776
776 i64_p_1099511627776: INTEGER_64 is +1099511627776
777 i64_m_1099511627776: INTEGER_64 is -1099511627776
778 i64_u_1099511627777: INTEGER_64 is 1099511627777
779 i64_p_1099511627777: INTEGER_64 is +1099511627777
780 i64_m_1099511627777: INTEGER_64 is -1099511627777
781 i64_u_140737488355327: INTEGER_64 is 140737488355327
782 i64_p_140737488355327: INTEGER_64 is +140737488355327
783 i64_m_140737488355327: INTEGER_64 is -140737488355327
784 i64_u_140737488355328: INTEGER_64 is 140737488355328
785 i64_p_140737488355328: INTEGER_64 is +140737488355328
786 i64_m_140737488355328: INTEGER_64 is -140737488355328
787 i64_u_140737488355329: INTEGER_64 is 140737488355329
788 i64_p_140737488355329: INTEGER_64 is +140737488355329
789 i64_m_140737488355329: INTEGER_64 is -140737488355329
790 i64_u_281474976710655: INTEGER_64 is 281474976710655
791 i64_p_281474976710655: INTEGER_64 is +281474976710655
792 i64_m_281474976710655: INTEGER_64 is -281474976710655
793 i64_u_281474976710656: INTEGER_64 is 281474976710656
794 i64_p_281474976710656: INTEGER_64 is +281474976710656
795 i64_m_281474976710656: INTEGER_64 is -281474976710656
796 i64_u_281474976710657: INTEGER_64 is 281474976710657
797 i64_p_281474976710657: INTEGER_64 is +281474976710657
798 i64_m_281474976710657: INTEGER_64 is -281474976710657
799 i64_u_36028797018963967: INTEGER_64 is 36028797018963967
800 i64_p_36028797018963967: INTEGER_64 is +36028797018963967
801 i64_m_36028797018963967: INTEGER_64 is -36028797018963967
802 i64_u_36028797018963968: INTEGER_64 is 36028797018963968
803 i64_p_36028797018963968: INTEGER_64 is +36028797018963968
804 i64_m_36028797018963968: INTEGER_64 is -36028797018963968
805 i64_u_36028797018963969: INTEGER_64 is 36028797018963969
806 i64_p_36028797018963969: INTEGER_64 is +36028797018963969
807 i64_m_36028797018963969: INTEGER_64 is -36028797018963969
808 i64_u_72057594037927935: INTEGER_64 is 72057594037927935
809 i64_p_72057594037927935: INTEGER_64 is +72057594037927935
810 i64_m_72057594037927935: INTEGER_64 is -72057594037927935
811 i64_u_72057594037927936: INTEGER_64 is 72057594037927936
812 i64_p_72057594037927936: INTEGER_64 is +72057594037927936
813 i64_m_72057594037927936: INTEGER_64 is -72057594037927936
814 i64_u_72057594037927937: INTEGER_64 is 72057594037927937
815 i64_p_72057594037927937: INTEGER_64 is +72057594037927937
816 i64_m_72057594037927937: INTEGER_64 is -72057594037927937
817 i64_u_9223372036854775807: INTEGER_64 is 9223372036854775807
818 i64_p_9223372036854775807: INTEGER_64 is +9223372036854775807
819 i64_m_9223372036854775807: INTEGER_64 is -9223372036854775807
820 i64_m_9223372036854775808: INTEGER_64 is -9223372036854775808
821
822 feature {NONE} -- INTEGER_64 constants: hexadecimal byte boundaries
823
824 i64_ux0: INTEGER_64 is 0x0
825 i64_px0: INTEGER_64 is +0x0
826 i64_mx0: INTEGER_64 is -0x0
827 i64_ux1: INTEGER_64 is 0x1
828 i64_px1: INTEGER_64 is +0x1
829 i64_mx1: INTEGER_64 is -0x1
830 i64_ux7F: INTEGER_64 is 0x7F
831 i64_px7F: INTEGER_64 is +0x7F
832 i64_mx7F: INTEGER_64 is -0x7F
833 i64_ux80: INTEGER_64 is 0x80
834 i64_px80: INTEGER_64 is +0x80
835 i64_mx80: INTEGER_64 is -0x80
836 i64_ux81: INTEGER_64 is 0x81
837 i64_px81: INTEGER_64 is +0x81
838 i64_mx81: INTEGER_64 is -0x81
839 i64_uxFF: INTEGER_64 is 0xFF
840 i64_pxFF: INTEGER_64 is +0xFF
841 i64_mxFF: INTEGER_64 is -0xFF
842 i64_ux100: INTEGER_64 is 0x100
843 i64_up100: INTEGER_64 is +0x100
844 i64_um100: INTEGER_64 is -0x100
845 i64_ux101: INTEGER_64 is 0x101
846 i64_up101: INTEGER_64 is +0x101
847 i64_um101: INTEGER_64 is -0x101
848 i64_ux7FFF: INTEGER_64 is 0x7FFF
849 i64_px7FFF: INTEGER_64 is +0x7FFF
850 i64_mx7FFF: INTEGER_64 is -0x7FFF
851 i64_ux8000: INTEGER_64 is 0x8000
852 i64_px8000: INTEGER_64 is +0x8000
853 i64_mx8000: INTEGER_64 is -0x8000
854 i64_ux8001: INTEGER_64 is 0x8001
855 i64_px8001: INTEGER_64 is +0x8001
856 i64_mx8001: INTEGER_64 is -0x8001
857 i64_uxFFFF: INTEGER_64 is 0xFFFF
858 i64_pxFFFF: INTEGER_64 is +0xFFFF
859 i64_mxFFFF: INTEGER_64 is -0xFFFF
860 i64_ux10000: INTEGER_64 is 0x10000
861 i64_px10000: INTEGER_64 is +0x10000
862 i64_mx10000: INTEGER_64 is -0x10000
863 i64_ux10001: INTEGER_64 is 0x10001
864 i64_px10001: INTEGER_64 is +0x10001
865 i64_mx10001: INTEGER_64 is -0x10001
866 i64_ux7FFFFF: INTEGER_64 is 0x7FFFFF
867 i64_px7FFFFF: INTEGER_64 is +0x7FFFFF
868 i64_mx7FFFFF: INTEGER_64 is -0x7FFFFF
869 i64_ux800000: INTEGER_64 is 0x800000
870 i64_px800000: INTEGER_64 is +0x800000
871 i64_mx800000: INTEGER_64 is -0x800000
872 i64_ux800001: INTEGER_64 is 0x800001
873 i64_px800001: INTEGER_64 is +0x800001
874 i64_mx800001: INTEGER_64 is -0x800001
875 i64_uxFFFFFF: INTEGER_64 is 0xFFFFFF
876 i64_pxFFFFFF: INTEGER_64 is +0xFFFFFF
877 i64_mxFFFFFF: INTEGER_64 is -0xFFFFFF
878 i64_ux1000000: INTEGER_64 is 0x1000000
879 i64_px1000000: INTEGER_64 is +0x1000000
880 i64_mx1000000: INTEGER_64 is -0x1000000
881 i64_ux1000001: INTEGER_64 is 0x1000001
882 i64_px1000001: INTEGER_64 is +0x1000001
883 i64_mx1000001: INTEGER_64 is -0x1000001
884 i64_ux7FFFFFFF: INTEGER_64 is 0x7FFFFFFF
885 i64_px7FFFFFFF: INTEGER_64 is +0x7FFFFFFF
886 i64_mx7FFFFFFF: INTEGER_64 is -0x7FFFFFFF
887 i64_ux80000000: INTEGER_64 is 0x80000000
888 i64_px80000000: INTEGER_64 is +0x80000000
889 i64_mx80000000: INTEGER_64 is -0x80000000
890 i64_ux80000001: INTEGER_64 is 0x80000001
891 i64_px80000001: INTEGER_64 is +0x80000001
892 i64_mx80000001: INTEGER_64 is -0x80000001
893 i64_uxFFFFFFFF: INTEGER_64 is 0xFFFFFFFF
894 i64_pxFFFFFFFF: INTEGER_64 is +0xFFFFFFFF
895 i64_mxFFFFFFFF: INTEGER_64 is -0xFFFFFFFF
896 i64_ux100000000: INTEGER_64 is 0x100000000
897 i64_px100000000: INTEGER_64 is +0x100000000
898 i64_mx100000000: INTEGER_64 is -0x100000000
899 i64_ux100000001: INTEGER_64 is 0x100000001
900 i64_px100000001: INTEGER_64 is +0x100000001
901 i64_mx100000001: INTEGER_64 is -0x100000001
902 i64_ux7FFFFFFFFF: INTEGER_64 is 0x7FFFFFFFFF
903 i64_px7FFFFFFFFF: INTEGER_64 is +0x7FFFFFFFFF
904 i64_mx7FFFFFFFFF: INTEGER_64 is -0x7FFFFFFFFF
905 i64_ux8000000000: INTEGER_64 is 0x8000000000
906 i64_px8000000000: INTEGER_64 is +0x8000000000
907 i64_mx8000000000: INTEGER_64 is -0x8000000000
908 i64_ux8000000001: INTEGER_64 is 0x8000000001
909 i64_px8000000001: INTEGER_64 is +0x8000000001
910 i64_mx8000000001: INTEGER_64 is -0x8000000001
911 i64_uxFFFFFFFFFF: INTEGER_64 is 0xFFFFFFFFFF
912 i64_pxFFFFFFFFFF: INTEGER_64 is +0xFFFFFFFFFF
913 i64_mxFFFFFFFFFF: INTEGER_64 is -0xFFFFFFFFFF
914 i64_ux10000000000: INTEGER_64 is 0x10000000000
915 i64_px10000000000: INTEGER_64 is +0x10000000000
916 i64_mx10000000000: INTEGER_64 is -0x10000000000
917 i64_ux10000000001: INTEGER_64 is 0x10000000001
918 i64_px10000000001: INTEGER_64 is +0x10000000001
919 i64_mx10000000001: INTEGER_64 is -0x10000000001
920 i64_ux7FFFFFFFFFFF: INTEGER_64 is 0x7FFFFFFFFFFF
921 i64_px7FFFFFFFFFFF: INTEGER_64 is +0x7FFFFFFFFFFF
922 i64_mx7FFFFFFFFFFF: INTEGER_64 is -0x7FFFFFFFFFFF
923 i64_ux800000000000: INTEGER_64 is 0x800000000000
924 i64_px800000000000: INTEGER_64 is +0x800000000000
925 i64_mx800000000000: INTEGER_64 is -0x800000000000
926 i64_ux800000000001: INTEGER_64 is 0x800000000001
927 i64_px800000000001: INTEGER_64 is +0x800000000001
928 i64_mx800000000001: INTEGER_64 is -0x800000000001
929 i64_uxFFFFFFFFFFFF: INTEGER_64 is 0xFFFFFFFFFFFF
930 i64_pxFFFFFFFFFFFF: INTEGER_64 is +0xFFFFFFFFFFFF
931 i64_mxFFFFFFFFFFFF: INTEGER_64 is -0xFFFFFFFFFFFF
932 i64_ux1000000000000: INTEGER_64 is 0x1000000000000
933 i64_px1000000000000: INTEGER_64 is +0x1000000000000
934 i64_mx1000000000000: INTEGER_64 is -0x1000000000000
935 i64_ux1000000000001: INTEGER_64 is 0x1000000000001
936 i64_px1000000000001: INTEGER_64 is +0x1000000000001
937 i64_mx1000000000001: INTEGER_64 is -0x1000000000001
938 i64_ux7FFFFFFFFFFFFF: INTEGER_64 is 0x7FFFFFFFFFFFFF
939 i64_px7FFFFFFFFFFFFF: INTEGER_64 is +0x7FFFFFFFFFFFFF
940 i64_mx7FFFFFFFFFFFFF: INTEGER_64 is -0x7FFFFFFFFFFFFF
941 i64_ux80000000000000: INTEGER_64 is 0x80000000000000
942 i64_px80000000000000: INTEGER_64 is +0x80000000000000
943 i64_mx80000000000000: INTEGER_64 is -0x80000000000000
944 i64_ux80000000000001: INTEGER_64 is 0x80000000000001
945 i64_px80000000000001: INTEGER_64 is +0x80000000000001
946 i64_mx80000000000001: INTEGER_64 is -0x80000000000001
947 i64_uxFFFFFFFFFFFFFF: INTEGER_64 is 0xFFFFFFFFFFFFFF
948 i64_pxFFFFFFFFFFFFFF: INTEGER_64 is +0xFFFFFFFFFFFFFF
949 i64_mxFFFFFFFFFFFFFF: INTEGER_64 is -0xFFFFFFFFFFFFFF
950 i64_ux100000000000000: INTEGER_64 is 0x100000000000000
951 i64_px100000000000000: INTEGER_64 is +0x100000000000000
952 i64_mx100000000000000: INTEGER_64 is -0x100000000000000
953 i64_ux100000000000001: INTEGER_64 is 0x100000000000001
954 i64_px100000000000001: INTEGER_64 is +0x100000000000001
955 i64_mx100000000000001: INTEGER_64 is -0x100000000000001
956 i64_ux7FFFFFFFFFFFFFFF: INTEGER_64 is 0x7FFFFFFFFFFFFFFF
957 i64_px7FFFFFFFFFFFFFFF: INTEGER_64 is +0x7FFFFFFFFFFFFFFF
958 i64_mx7FFFFFFFFFFFFFFF: INTEGER_64 is -0x7FFFFFFFFFFFFFFF
959 i64_mx8000000000000000: INTEGER_64 is -0x8000000000000000
960
961 feature {NONE} -- INTEGER_64 constants: implicitly negative hexadecimals
962
963 i64_m_2: INTEGER_64 is -2
964
965 i64_ux8000000000000000: INTEGER_64 is 0x8000000000000000
966 i64_ux8000000000000001: INTEGER_64 is 0x8000000000000001
967 i64_uxFFFFFFFFFFFFFFFE: INTEGER_64 is 0xFFFFFFFFFFFFFFFE
968 i64_uxFFFFFFFFFFFFFFFF: INTEGER_64 is 0xFFFFFFFFFFFFFFFF
969
970 feature {NONE} -- Output
971
972 dca: STRING is "decimal constant attribute"
973 hca: STRING is "hexadecimal constant attribute"
974 dmc: STRING is "decimal manifest constant"
975 hmc: STRING is "hexadecimal manifest constant"
976
977 feature {NONE} -- Tests
978
979 test_equal (name: STRING; actual: STRING; expected: STRING) is
980 -- Test that `actual' is equal to `expected'.
981 require
982 name_not_void: name /= Void
983 actual_not_void: actual /= Void
984 expected_not_void: expected /= Void
985 do
986 if not actual.is_equal (expected) then
987 has_error := true
988 io.put_new_line
989 io.put_string (name)
990 io.put_string (": expected %"")
991 io.put_string (expected)
992 io.put_string ("%" but got %"")
993 io.put_string (actual)
994 io.put_string ("%"")
995 end
996 end
997
998 test_integer_8 (expected: STRING; da, ha, dm, hm: INTEGER_8) is
999 -- Test that all values are equal to `expected'.
1000 require
1001 expected_not_void: expected /= Void
1002 do
1003 test_equal (dca, da.out, expected)
1004 test_equal (hca, ha.out, expected)
1005 test_equal (dmc, dm.out, expected)
1006 test_equal (hmc, hm.out, expected)
1007 end
1008
1009 test_integer_16 (expected: STRING; da, ha, dm, hm: INTEGER_16) is
1010 -- Test that all values are equal to `expected'.
1011 require
1012 expected_not_void: expected /= Void
1013 do
1014 test_equal (dca, da.out, expected)
1015 test_equal (hca, ha.out, expected)
1016 test_equal (dmc, dm.out, expected)
1017 test_equal (hmc, hm.out, expected)
1018 end
1019
1020 test_integer_32 (expected: STRING; da, ha, dm, hm: INTEGER) is
1021 -- Test that all values are equal to `expected'.
1022 require
1023 expected_not_void: expected /= Void
1024 do
1025 test_equal (dca, da.out, expected)
1026 test_equal (hca, ha.out, expected)
1027 test_equal (dmc, dm.out, expected)
1028 test_equal (hmc, hm.out, expected)
1029 end
1030
1031 test_integer_64 (expected: STRING; da, ha, dm, hm: INTEGER_64) is
1032 -- Test that all values are equal to `expected'.
1033 require
1034 expected_not_void: expected /= Void
1035 do
1036 test_equal (dca, da.out, expected)
1037 test_equal (hca, ha.out, expected)
1038 test_equal (dmc, dm.out, expected)
1039 test_equal (hmc, hm.out, expected)
1040 end
1041
1042 feature {NONE} -- Status report
1043
1044 has_error: BOOLEAN
1045 -- Has error been detected?
1046
1047 end

Properties

Name Value
svn:eol-style native
svn:keywords Author Date Id Revision

  ViewVC Help
Powered by ViewVC 1.1.23