blob: a299fcd58c5a6359ad72d26e19153589823498cc [file] [log] [blame]
Lev Walkin4eceeba2007-07-23 06:48:26 +00001#include <stdio.h>
2#include <assert.h>
3
4#include <INTEGER.h>
Lev Walkinf15320b2004-06-03 03:38:44 +00005
Lev Walkindb13f512004-07-19 17:30:25 +00006static char *shared_scratch_start;
7
8static int _print2buf(const void *buf, size_t size, void *key) {
9 (void)key;
10 memcpy(shared_scratch_start, buf, size);
11 shared_scratch_start += size;
12 *shared_scratch_start = '\0'; /* 0-termination */
13 return 0;
14}
15
Lev Walkinf15320b2004-06-03 03:38:44 +000016static void
17check(uint8_t *buf, int size, long check_long, int check_ret) {
Lev Walkindb13f512004-07-19 17:30:25 +000018 char scratch[128];
19 char verify[32];
Lev Walkinf15320b2004-06-03 03:38:44 +000020 INTEGER_t val;
Lev Walkindb13f512004-07-19 17:30:25 +000021 uint8_t *buf_end = buf + size;
Lev Walkinf15320b2004-06-03 03:38:44 +000022 int ret;
23 long rlong = 123;
24
25 assert(buf);
26 assert(size >= 0);
27
28 val.buf = buf;
29 val.size = size;
30
Lev Walkindb13f512004-07-19 17:30:25 +000031 printf("Testing: [");
32 for(; buf < buf_end; buf++) {
33 if(buf != val.buf) printf(":");
34 printf("%02x", *buf);
35 }
36 printf("]: ");
Lev Walkinf15320b2004-06-03 03:38:44 +000037
Lev Walkin5e033762004-09-29 13:26:15 +000038 ret = asn_INTEGER2long(&val, &rlong);
Lev Walkindb13f512004-07-19 17:30:25 +000039 printf(" (%ld, %d) vs (%ld, %d)\n",
Lev Walkinf15320b2004-06-03 03:38:44 +000040 rlong, ret, check_long, check_ret);
41 assert(ret == check_ret);
Lev Walkin33700162004-10-26 09:03:31 +000042 printf("%ld %ld\n", rlong, check_long);
Lev Walkinf15320b2004-06-03 03:38:44 +000043 assert(rlong == check_long);
Lev Walkindb13f512004-07-19 17:30:25 +000044
Lev Walkinc698ee52004-10-21 11:19:51 +000045 if(check_ret == 0) {
46 INTEGER_t val2;
47 long rlong2;
48 val2.buf = 0;
49 val2.size = 0;
50 ret = asn_long2INTEGER(&val2, rlong);
51 assert(ret == 0);
52 assert(val2.buf);
53 assert(val2.size <= val.size); /* At least as compact */
54 ret = asn_INTEGER2long(&val, &rlong2);
55 assert(ret == 0);
56 assert(rlong == rlong2);
57 }
58
Lev Walkindb13f512004-07-19 17:30:25 +000059 shared_scratch_start = scratch;
Lev Walkin5e033762004-09-29 13:26:15 +000060 ret = INTEGER_print(&asn_DEF_INTEGER, &val, 0, _print2buf, scratch);
Lev Walkindb13f512004-07-19 17:30:25 +000061 assert(shared_scratch_start < scratch + sizeof(scratch));
62 assert(ret == 0);
63 ret = snprintf(verify, sizeof(verify), "%ld", check_long);
64 assert(ret < sizeof(verify));
65 ret = strcmp(scratch, verify);
66 printf(" [%s] vs [%s]: %d%s\n",
67 scratch, verify, ret,
68 (check_ret == -1)?" (expected to fail)":""
69 );
70 if(check_ret == -1) {
71 assert(strcmp(scratch, verify));
72 } else {
73 assert(strcmp(scratch, verify) == 0);
74 }
Lev Walkinf15320b2004-06-03 03:38:44 +000075}
76
Lev Walkin0be3a992004-10-21 12:11:57 +000077static void
Lev Walkin5c879db2007-11-06 06:23:31 +000078check_unsigned(uint8_t *buf, int size, unsigned long check_long, int check_ret) {
79 char scratch[128];
80 char verify[32];
81 INTEGER_t val;
82 uint8_t *buf_end = buf + size;
83 int ret;
84 unsigned long rlong = 123;
85
86 assert(buf);
87 assert(size >= 0);
88
89 val.buf = buf;
90 val.size = size;
91
92 printf("Testing: [");
93 for(; buf < buf_end; buf++) {
94 if(buf != val.buf) printf(":");
95 printf("%02x", *buf);
96 }
97 printf("]: ");
98
99 ret = asn_INTEGER2ulong(&val, &rlong);
100 printf(" (%lu, %d) vs (%lu, %d)\n",
101 rlong, ret, check_long, check_ret);
102 assert(ret == check_ret);
103 printf("%lu %lu\n", rlong, check_long);
104 assert(rlong == check_long);
105
106 if(check_ret == 0) {
107 INTEGER_t val2;
108 unsigned long rlong2;
109 val2.buf = 0;
110 val2.size = 0;
111 ret = asn_ulong2INTEGER(&val2, rlong);
112 assert(ret == 0);
113 assert(val2.buf);
114 if(val2.size > val.size) {
115 /* At least as compact */
116 printf("val2.size=%d, val.size=%d\n",
117 (int)val2.size, (int)val.size);
118 assert(val2.size <= val.size);
119 }
120 ret = asn_INTEGER2ulong(&val, &rlong2);
121 assert(ret == 0);
122 assert(rlong == rlong2);
123 }
124
125 return 0;
126
127 shared_scratch_start = scratch;
128 ret = INTEGER_print(&asn_DEF_INTEGER, &val, 0, _print2buf, scratch);
129 assert(shared_scratch_start < scratch + sizeof(scratch));
130 assert(ret == 0);
131 ret = snprintf(verify, sizeof(verify), "%ld", check_long);
132 assert(ret < sizeof(verify));
133 ret = strcmp(scratch, verify);
134 printf(" [%s] vs [%s]: %d%s\n",
135 scratch, verify, ret,
136 (check_ret == -1)?" (expected to fail)":""
137 );
138 if(check_ret == -1) {
139 assert(strcmp(scratch, verify));
140 } else {
141 assert(strcmp(scratch, verify) == 0);
142 }
143}
144
145static void
Lev Walkin0be3a992004-10-21 12:11:57 +0000146check_xer(int tofail, char *xmldata, long orig_value) {
147 INTEGER_t *st = 0;
148 asn_dec_rval_t rc;
149 long value;
150 int ret;
151
Lev Walkinbe03a2f2004-10-21 12:23:41 +0000152 printf("[%s] vs %ld: ", xmldata, orig_value);
Lev Walkin0be3a992004-10-21 12:11:57 +0000153
154 rc = xer_decode(0, &asn_DEF_INTEGER, (void *)&st,
155 xmldata, strlen(xmldata));
156 if(rc.code != RC_OK) {
157 assert(tofail);
158 printf("\tfailed, as expected\n");
159 return;
160 }
161 assert(!tofail);
162
163 ret = asn_INTEGER2long(st, &value);
164 assert(ret == 0);
165
166 printf("\t%ld\n", value);
167
168 assert(value == orig_value);
169
170 asn_DEF_INTEGER.free_struct(&asn_DEF_INTEGER, st, 0);
171}
172
Lev Walkinf15320b2004-06-03 03:38:44 +0000173int
174main(int ac, char **av) {
175 uint8_t buf1[] = { 1 };
176 uint8_t buf2[] = { 0xff };
177 uint8_t buf3[] = { 0xff, 0xff, 0xff, 0xff, 0xff, 0xff };
178 uint8_t buf4[] = { 0xff, 0xff, 0xff, 0xff, 0xff, 0xf0 };
179 uint8_t buf5[] = { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1 };
180 uint8_t buf6[] = { 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 };
181 uint8_t buf7[] = { 0xff, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 };
182 uint8_t buf8[] = { 0x7f, 0x7e, 0x7d, 0x7c };
183 uint8_t buf9[] = { 0, 0x7f, 0x7e, 0x7d, 0x7c };
184 uint8_t buf10[] = { 0, 0, 0, 0, 0, 0, 0x7f, 0x7e, 0x7d, 0x7c };
Lev Walkinc698ee52004-10-21 11:19:51 +0000185 uint8_t buf11[] = { 0x80, 0, 0, 0 };
186 uint8_t buf12[] = { 0x80, 0 };
187 uint8_t buf13[] = { 0x80 };
Lev Walkin5c879db2007-11-06 06:23:31 +0000188 uint8_t buf14[] = { 0x00, 0x80, 0x00, 0x00 };
189 uint8_t buf15[] = { 0x00, 0x80, 0x00, 0x00, 0x00 };
190 uint8_t buf16[] = { 0x00, 0xff, 0xff, 0x00, 0x00 };
191
192#define UCHECK(buf, val, ret) check_unsigned(buf, sizeof(buf), val, ret)
Lev Walkinf15320b2004-06-03 03:38:44 +0000193
194#define CHECK(buf, val, ret) check(buf, sizeof(buf), val, ret)
195
196 CHECK(buf1, 1, 0);
197 CHECK(buf2, -1, 0);
198 CHECK(buf3, -1, 0);
199 CHECK(buf4, -16, 0);
200 CHECK(buf5, 257, 0);
201 CHECK(buf6, 123, -1);
202 CHECK(buf7, 123, -1);
203 CHECK(buf8, 0x7F7E7D7C, 0);
204 CHECK(buf9, 0x7F7E7D7C, 0);
205 CHECK(buf10, 0x7F7E7D7C, 0);
Lev Walkin5c879db2007-11-06 06:23:31 +0000206 UCHECK(buf10, 0x7F7E7D7C, 0);
Lev Walkin3f36e462005-08-15 01:02:47 +0000207 CHECK(buf11, -2147483647-1, 0); /* 0x80000000 */
Lev Walkinc698ee52004-10-21 11:19:51 +0000208 CHECK(buf12, -32768, 0);
209 CHECK(buf13, -128, 0);
Lev Walkin5c879db2007-11-06 06:23:31 +0000210 UCHECK(buf14, 0x800000, 0);
211 UCHECK(buf15, 0x80000000, 0);
212 UCHECK(buf16, 0xffff0000, 0);
Lev Walkinf15320b2004-06-03 03:38:44 +0000213
Lev Walkin0be3a992004-10-21 12:11:57 +0000214 check_xer(-1, "", 0);
215 check_xer(-1, "<INTEGER></INTEGER>", 0);
Lev Walkinbe03a2f2004-10-21 12:23:41 +0000216 check_xer(-1, "<INTEGER> </INTEGER>", 0);
Lev Walkin0be3a992004-10-21 12:11:57 +0000217 check_xer(-1, "<INTEGER>-</INTEGER>", 0);
218 check_xer(-1, "<INTEGER>+</INTEGER>", 0);
219 check_xer(-1, "<INTEGER>+-</INTEGER>", 0);
220 check_xer(0, "<INTEGER>+0</INTEGER>", 0);
221 check_xer(0, "<INTEGER>-0</INTEGER>", 0);
222 check_xer(0, "<INTEGER>+1</INTEGER>", 1);
223 check_xer(0, "<INTEGER>-1</INTEGER>", -1);
224 check_xer(0, "<INTEGER>1</INTEGER>", 1);
225 check_xer(0, "<INTEGER>-15</INTEGER>", -15);
226 check_xer(0, "<INTEGER>+15</INTEGER>", 15);
227 check_xer(0, "<INTEGER>15</INTEGER>", 15);
228 check_xer(0, "<INTEGER> 15</INTEGER>", 15);
229 check_xer(0, "<INTEGER> 15 </INTEGER>", 15);
230 check_xer(0, "<INTEGER>15 </INTEGER>", 15);
231 check_xer(0, "<INTEGER> +15 </INTEGER>", 15);
232 check_xer(-1, "<INTEGER> +15 -</INTEGER>", 0);
233 check_xer(-1, "<INTEGER> +15 1</INTEGER>", 0);
234 check_xer(-1, "<INTEGER>+ 15</INTEGER>", 0);
235 check_xer(-1, "<INTEGER>12<z>34</INTEGER>", 0);
236 check_xer(0, "<INTEGER>1234</INTEGER>", 1234);
237 check_xer(-1, "<INTEGER>1234 5678</INTEGER>", 0);
238 check_xer(0, "<INTEGER>-2147483647</INTEGER>", -2147483647);
Lev Walkin3f36e462005-08-15 01:02:47 +0000239 check_xer(0, "<INTEGER>-2147483648</INTEGER>", -2147483647-1);
Lev Walkin0be3a992004-10-21 12:11:57 +0000240 check_xer(0, "<INTEGER>+2147483647</INTEGER>", 2147483647);
241 check_xer(0, "<INTEGER>2147483647</INTEGER>", 2147483647);
Lev Walkine59f7672004-10-23 10:17:02 +0000242 if(sizeof(long) == 4) {
243 check_xer(-1, "<INTEGER>2147483648</INTEGER>", 0);
244 check_xer(-1, "<INTEGER>2147483649</INTEGER>", 0);
245 check_xer(-1, "<INTEGER>3147483649</INTEGER>", 0);
246 check_xer(-1, "<INTEGER>4147483649</INTEGER>", 0);
247 check_xer(-1, "<INTEGER>5147483649</INTEGER>", 0); /* special */
248 check_xer(-1, "<INTEGER>9147483649</INTEGER>", 0);
249 check_xer(-1, "<INTEGER>9999999999</INTEGER>", 0);
250 }
Lev Walkin0be3a992004-10-21 12:11:57 +0000251
Lev Walkinf15320b2004-06-03 03:38:44 +0000252 return 0;
253}