@samitouri / QOSamiQemu
Code Commits Issues Pulls Sessions CI/CD
master
master
c 1,095 lines 29.3 KB
Raw
1 /*
2 * Unit-tests for visitor-based serialization
3 *
4 * Copyright (C) 2014-2015 Red Hat, Inc.
5 * Copyright IBM, Corp. 2012
6 *
7 * Authors:
8 * Michael Roth <mdroth@linux.vnet.ibm.com>
9 *
10 * This work is licensed under the terms of the GNU GPL, version 2 or later.
11 * See the COPYING file in the top-level directory.
12 */
13
14 #include "qemu/osdep.h"
15 #include <float.h>
16
17 #include "test-qapi-visit.h"
18 #include "qapi/error.h"
19 #include "qobject/qjson.h"
20 #include "qobject/qstring.h"
21 #include "qapi/qobject-input-visitor.h"
22 #include "qapi/qobject-output-visitor.h"
23 #include "qapi/string-input-visitor.h"
24 #include "qapi/string-output-visitor.h"
25 #include "qapi/dealloc-visitor.h"
26
27 enum PrimitiveTypeKind {
28 PTYPE_STRING = 0,
29 PTYPE_BOOLEAN,
30 PTYPE_NUMBER,
31 PTYPE_INTEGER,
32 PTYPE_U8,
33 PTYPE_U16,
34 PTYPE_U32,
35 PTYPE_U64,
36 PTYPE_S8,
37 PTYPE_S16,
38 PTYPE_S32,
39 PTYPE_S64,
40 PTYPE_EOL,
41 };
42
43 typedef struct PrimitiveType {
44 union {
45 const char *string;
46 bool boolean;
47 double number;
48 int64_t integer;
49 uint8_t u8;
50 uint16_t u16;
51 uint32_t u32;
52 uint64_t u64;
53 int8_t s8;
54 int16_t s16;
55 int32_t s32;
56 int64_t s64;
57 } value;
58 enum PrimitiveTypeKind type;
59 const char *description;
60 } PrimitiveType;
61
62 typedef struct PrimitiveList {
63 union {
64 strList *strings;
65 boolList *booleans;
66 numberList *numbers;
67 intList *integers;
68 int8List *s8_integers;
69 int16List *s16_integers;
70 int32List *s32_integers;
71 int64List *s64_integers;
72 uint8List *u8_integers;
73 uint16List *u16_integers;
74 uint32List *u32_integers;
75 uint64List *u64_integers;
76 } value;
77 enum PrimitiveTypeKind type;
78 const char *description;
79 } PrimitiveList;
80
81 /* test helpers */
82
83 typedef void (*VisitorFunc)(Visitor *v, void **native, Error **errp);
84
85 static void dealloc_helper(void *native_in, VisitorFunc visit, Error **errp)
86 {
87 Visitor *v = qapi_dealloc_visitor_new();
88
89 visit(v, &native_in, errp);
90
91 visit_free(v);
92 }
93
94 static void visit_primitive_type(Visitor *v, void **native, Error **errp)
95 {
96 PrimitiveType *pt = *native;
97 switch(pt->type) {
98 case PTYPE_STRING:
99 visit_type_str(v, NULL, (char **)&pt->value.string, errp);
100 break;
101 case PTYPE_BOOLEAN:
102 visit_type_bool(v, NULL, &pt->value.boolean, errp);
103 break;
104 case PTYPE_NUMBER:
105 visit_type_number(v, NULL, &pt->value.number, errp);
106 break;
107 case PTYPE_INTEGER:
108 visit_type_int(v, NULL, &pt->value.integer, errp);
109 break;
110 case PTYPE_U8:
111 visit_type_uint8(v, NULL, &pt->value.u8, errp);
112 break;
113 case PTYPE_U16:
114 visit_type_uint16(v, NULL, &pt->value.u16, errp);
115 break;
116 case PTYPE_U32:
117 visit_type_uint32(v, NULL, &pt->value.u32, errp);
118 break;
119 case PTYPE_U64:
120 visit_type_uint64(v, NULL, &pt->value.u64, errp);
121 break;
122 case PTYPE_S8:
123 visit_type_int8(v, NULL, &pt->value.s8, errp);
124 break;
125 case PTYPE_S16:
126 visit_type_int16(v, NULL, &pt->value.s16, errp);
127 break;
128 case PTYPE_S32:
129 visit_type_int32(v, NULL, &pt->value.s32, errp);
130 break;
131 case PTYPE_S64:
132 visit_type_int64(v, NULL, &pt->value.s64, errp);
133 break;
134 case PTYPE_EOL:
135 g_assert_not_reached();
136 }
137 }
138
139 static void visit_primitive_list(Visitor *v, void **native, Error **errp)
140 {
141 PrimitiveList *pl = *native;
142 switch (pl->type) {
143 case PTYPE_STRING:
144 visit_type_strList(v, NULL, &pl->value.strings, errp);
145 break;
146 case PTYPE_BOOLEAN:
147 visit_type_boolList(v, NULL, &pl->value.booleans, errp);
148 break;
149 case PTYPE_NUMBER:
150 visit_type_numberList(v, NULL, &pl->value.numbers, errp);
151 break;
152 case PTYPE_INTEGER:
153 visit_type_intList(v, NULL, &pl->value.integers, errp);
154 break;
155 case PTYPE_S8:
156 visit_type_int8List(v, NULL, &pl->value.s8_integers, errp);
157 break;
158 case PTYPE_S16:
159 visit_type_int16List(v, NULL, &pl->value.s16_integers, errp);
160 break;
161 case PTYPE_S32:
162 visit_type_int32List(v, NULL, &pl->value.s32_integers, errp);
163 break;
164 case PTYPE_S64:
165 visit_type_int64List(v, NULL, &pl->value.s64_integers, errp);
166 break;
167 case PTYPE_U8:
168 visit_type_uint8List(v, NULL, &pl->value.u8_integers, errp);
169 break;
170 case PTYPE_U16:
171 visit_type_uint16List(v, NULL, &pl->value.u16_integers, errp);
172 break;
173 case PTYPE_U32:
174 visit_type_uint32List(v, NULL, &pl->value.u32_integers, errp);
175 break;
176 case PTYPE_U64:
177 visit_type_uint64List(v, NULL, &pl->value.u64_integers, errp);
178 break;
179 default:
180 g_assert_not_reached();
181 }
182 }
183
184
185 static TestStruct *struct_create(void)
186 {
187 TestStruct *ts = g_malloc0(sizeof(*ts));
188 ts->integer = -42;
189 ts->boolean = true;
190 ts->string = strdup("test string");
191 return ts;
192 }
193
194 static void struct_compare(TestStruct *ts1, TestStruct *ts2)
195 {
196 g_assert(ts1);
197 g_assert(ts2);
198 g_assert_cmpint(ts1->integer, ==, ts2->integer);
199 g_assert(ts1->boolean == ts2->boolean);
200 g_assert_cmpstr(ts1->string, ==, ts2->string);
201 }
202
203 static void struct_cleanup(TestStruct *ts)
204 {
205 g_free(ts->string);
206 g_free(ts);
207 }
208
209 static void visit_struct(Visitor *v, void **native, Error **errp)
210 {
211 visit_type_TestStruct(v, NULL, (TestStruct **)native, errp);
212 }
213
214 static UserDefTwo *nested_struct_create(void)
215 {
216 UserDefTwo *udnp = g_malloc0(sizeof(*udnp));
217 udnp->string0 = strdup("test_string0");
218 udnp->dict1 = g_malloc0(sizeof(*udnp->dict1));
219 udnp->dict1->string1 = strdup("test_string1");
220 udnp->dict1->dict2 = g_malloc0(sizeof(*udnp->dict1->dict2));
221 udnp->dict1->dict2->userdef = g_new0(UserDefOne, 1);
222 udnp->dict1->dict2->userdef->integer = 42;
223 udnp->dict1->dict2->userdef->string = strdup("test_string");
224 udnp->dict1->dict2->string = strdup("test_string2");
225 udnp->dict1->dict3 = g_malloc0(sizeof(*udnp->dict1->dict3));
226 udnp->dict1->dict3->userdef = g_new0(UserDefOne, 1);
227 udnp->dict1->dict3->userdef->integer = 43;
228 udnp->dict1->dict3->userdef->string = strdup("test_string");
229 udnp->dict1->dict3->string = strdup("test_string3");
230 return udnp;
231 }
232
233 static void nested_struct_compare(UserDefTwo *udnp1, UserDefTwo *udnp2)
234 {
235 g_assert(udnp1);
236 g_assert(udnp2);
237 g_assert_cmpstr(udnp1->string0, ==, udnp2->string0);
238 g_assert_cmpstr(udnp1->dict1->string1, ==, udnp2->dict1->string1);
239 g_assert_cmpint(udnp1->dict1->dict2->userdef->integer, ==,
240 udnp2->dict1->dict2->userdef->integer);
241 g_assert_cmpstr(udnp1->dict1->dict2->userdef->string, ==,
242 udnp2->dict1->dict2->userdef->string);
243 g_assert_cmpstr(udnp1->dict1->dict2->string, ==,
244 udnp2->dict1->dict2->string);
245 g_assert(!udnp1->dict1->dict3 == !udnp2->dict1->dict3);
246 g_assert_cmpint(udnp1->dict1->dict3->userdef->integer, ==,
247 udnp2->dict1->dict3->userdef->integer);
248 g_assert_cmpstr(udnp1->dict1->dict3->userdef->string, ==,
249 udnp2->dict1->dict3->userdef->string);
250 g_assert_cmpstr(udnp1->dict1->dict3->string, ==,
251 udnp2->dict1->dict3->string);
252 }
253
254 static void nested_struct_cleanup(UserDefTwo *udnp)
255 {
256 qapi_free_UserDefTwo(udnp);
257 }
258
259 static void visit_nested_struct(Visitor *v, void **native, Error **errp)
260 {
261 visit_type_UserDefTwo(v, NULL, (UserDefTwo **)native, errp);
262 }
263
264 static void visit_nested_struct_list(Visitor *v, void **native, Error **errp)
265 {
266 visit_type_UserDefTwoList(v, NULL, (UserDefTwoList **)native, errp);
267 }
268
269 /* test cases */
270
271 typedef enum VisitorCapabilities {
272 VCAP_PRIMITIVES = 1,
273 VCAP_STRUCTURES = 2,
274 VCAP_LISTS = 4,
275 VCAP_PRIMITIVE_LISTS = 8,
276 } VisitorCapabilities;
277
278 typedef struct SerializeOps {
279 void (*serialize)(void *native_in, void **datap,
280 VisitorFunc visit, Error **errp);
281 void (*deserialize)(void **native_out, void *datap,
282 VisitorFunc visit, Error **errp);
283 void (*cleanup)(void *datap);
284 const char *type;
285 VisitorCapabilities caps;
286 } SerializeOps;
287
288 typedef struct TestArgs {
289 const SerializeOps *ops;
290 void *test_data;
291 } TestArgs;
292
293 static void test_primitives(gconstpointer opaque)
294 {
295 TestArgs *args = (TestArgs *) opaque;
296 const SerializeOps *ops = args->ops;
297 PrimitiveType *pt = args->test_data;
298 PrimitiveType *pt_copy = g_malloc0(sizeof(*pt_copy));
299 void *serialize_data;
300
301 pt_copy->type = pt->type;
302 ops->serialize(pt, &serialize_data, visit_primitive_type, &error_abort);
303 ops->deserialize((void **)&pt_copy, serialize_data, visit_primitive_type,
304 &error_abort);
305
306 g_assert(pt_copy != NULL);
307 switch (pt->type) {
308 case PTYPE_STRING:
309 g_assert_cmpstr(pt->value.string, ==, pt_copy->value.string);
310 g_free((char *)pt_copy->value.string);
311 break;
312 case PTYPE_BOOLEAN:
313 g_assert_cmpint(pt->value.boolean, ==, pt->value.boolean);
314 break;
315 case PTYPE_NUMBER:
316 g_assert_cmpfloat(pt->value.number, ==, pt_copy->value.number);
317 break;
318 case PTYPE_INTEGER:
319 g_assert_cmpint(pt->value.integer, ==, pt_copy->value.integer);
320 break;
321 case PTYPE_U8:
322 g_assert_cmpuint(pt->value.u8, ==, pt_copy->value.u8);
323 break;
324 case PTYPE_U16:
325 g_assert_cmpuint(pt->value.u16, ==, pt_copy->value.u16);
326 break;
327 case PTYPE_U32:
328 g_assert_cmpuint(pt->value.u32, ==, pt_copy->value.u32);
329 break;
330 case PTYPE_U64:
331 g_assert_cmpuint(pt->value.u64, ==, pt_copy->value.u64);
332 break;
333 case PTYPE_S8:
334 g_assert_cmpint(pt->value.s8, ==, pt_copy->value.s8);
335 break;
336 case PTYPE_S16:
337 g_assert_cmpint(pt->value.s16, ==, pt_copy->value.s16);
338 break;
339 case PTYPE_S32:
340 g_assert_cmpint(pt->value.s32, ==, pt_copy->value.s32);
341 break;
342 case PTYPE_S64:
343 g_assert_cmpint(pt->value.s64, ==, pt_copy->value.s64);
344 break;
345 case PTYPE_EOL:
346 g_assert_not_reached();
347 }
348
349 ops->cleanup(serialize_data);
350 g_free(args);
351 g_free(pt_copy);
352 }
353
354 static void test_primitive_lists(gconstpointer opaque)
355 {
356 TestArgs *args = (TestArgs *) opaque;
357 const SerializeOps *ops = args->ops;
358 PrimitiveType *pt = args->test_data;
359 PrimitiveList pl = { .value = { NULL } };
360 PrimitiveList pl_copy = { .value = { NULL } };
361 PrimitiveList *pl_copy_ptr = &pl_copy;
362 void *serialize_data;
363 void *cur_head = NULL;
364 int i;
365
366 pl.type = pl_copy.type = pt->type;
367
368 /* build up our list of primitive types */
369 for (i = 0; i < 32; i++) {
370 switch (pl.type) {
371 case PTYPE_STRING: {
372 QAPI_LIST_PREPEND(pl.value.strings, g_strdup(pt->value.string));
373 break;
374 }
375 case PTYPE_INTEGER: {
376 QAPI_LIST_PREPEND(pl.value.integers, pt->value.integer);
377 break;
378 }
379 case PTYPE_S8: {
380 QAPI_LIST_PREPEND(pl.value.s8_integers, pt->value.s8);
381 break;
382 }
383 case PTYPE_S16: {
384 QAPI_LIST_PREPEND(pl.value.s16_integers, pt->value.s16);
385 break;
386 }
387 case PTYPE_S32: {
388 QAPI_LIST_PREPEND(pl.value.s32_integers, pt->value.s32);
389 break;
390 }
391 case PTYPE_S64: {
392 QAPI_LIST_PREPEND(pl.value.s64_integers, pt->value.s64);
393 break;
394 }
395 case PTYPE_U8: {
396 QAPI_LIST_PREPEND(pl.value.u8_integers, pt->value.u8);
397 break;
398 }
399 case PTYPE_U16: {
400 QAPI_LIST_PREPEND(pl.value.u16_integers, pt->value.u16);
401 break;
402 }
403 case PTYPE_U32: {
404 QAPI_LIST_PREPEND(pl.value.u32_integers, pt->value.u32);
405 break;
406 }
407 case PTYPE_U64: {
408 QAPI_LIST_PREPEND(pl.value.u64_integers, pt->value.u64);
409 break;
410 }
411 case PTYPE_NUMBER: {
412 QAPI_LIST_PREPEND(pl.value.numbers, pt->value.number);
413 break;
414 }
415 case PTYPE_BOOLEAN: {
416 QAPI_LIST_PREPEND(pl.value.booleans, pt->value.boolean);
417 break;
418 }
419 default:
420 g_assert_not_reached();
421 }
422 }
423
424 ops->serialize((void **)&pl, &serialize_data, visit_primitive_list,
425 &error_abort);
426 ops->deserialize((void **)&pl_copy_ptr, serialize_data,
427 visit_primitive_list, &error_abort);
428
429
430 switch (pl_copy.type) {
431 case PTYPE_STRING:
432 cur_head = pl_copy.value.strings;
433 break;
434 case PTYPE_INTEGER:
435 cur_head = pl_copy.value.integers;
436 break;
437 case PTYPE_S8:
438 cur_head = pl_copy.value.s8_integers;
439 break;
440 case PTYPE_S16:
441 cur_head = pl_copy.value.s16_integers;
442 break;
443 case PTYPE_S32:
444 cur_head = pl_copy.value.s32_integers;
445 break;
446 case PTYPE_S64:
447 cur_head = pl_copy.value.s64_integers;
448 break;
449 case PTYPE_U8:
450 cur_head = pl_copy.value.u8_integers;
451 break;
452 case PTYPE_U16:
453 cur_head = pl_copy.value.u16_integers;
454 break;
455 case PTYPE_U32:
456 cur_head = pl_copy.value.u32_integers;
457 break;
458 case PTYPE_U64:
459 cur_head = pl_copy.value.u64_integers;
460 break;
461 case PTYPE_NUMBER:
462 cur_head = pl_copy.value.numbers;
463 break;
464 case PTYPE_BOOLEAN:
465 cur_head = pl_copy.value.booleans;
466 break;
467 default:
468 g_assert_not_reached();
469 }
470
471 /* compare our deserialized list of primitives to the original */
472 i = 0;
473 while (cur_head) {
474 switch (pl_copy.type) {
475 case PTYPE_STRING: {
476 strList *ptr = cur_head;
477 cur_head = ptr->next;
478 g_assert_cmpstr(pt->value.string, ==, ptr->value);
479 break;
480 }
481 case PTYPE_INTEGER: {
482 intList *ptr = cur_head;
483 cur_head = ptr->next;
484 g_assert_cmpint(pt->value.integer, ==, ptr->value);
485 break;
486 }
487 case PTYPE_S8: {
488 int8List *ptr = cur_head;
489 cur_head = ptr->next;
490 g_assert_cmpint(pt->value.s8, ==, ptr->value);
491 break;
492 }
493 case PTYPE_S16: {
494 int16List *ptr = cur_head;
495 cur_head = ptr->next;
496 g_assert_cmpint(pt->value.s16, ==, ptr->value);
497 break;
498 }
499 case PTYPE_S32: {
500 int32List *ptr = cur_head;
501 cur_head = ptr->next;
502 g_assert_cmpint(pt->value.s32, ==, ptr->value);
503 break;
504 }
505 case PTYPE_S64: {
506 int64List *ptr = cur_head;
507 cur_head = ptr->next;
508 g_assert_cmpint(pt->value.s64, ==, ptr->value);
509 break;
510 }
511 case PTYPE_U8: {
512 uint8List *ptr = cur_head;
513 cur_head = ptr->next;
514 g_assert_cmpint(pt->value.u8, ==, ptr->value);
515 break;
516 }
517 case PTYPE_U16: {
518 uint16List *ptr = cur_head;
519 cur_head = ptr->next;
520 g_assert_cmpint(pt->value.u16, ==, ptr->value);
521 break;
522 }
523 case PTYPE_U32: {
524 uint32List *ptr = cur_head;
525 cur_head = ptr->next;
526 g_assert_cmpint(pt->value.u32, ==, ptr->value);
527 break;
528 }
529 case PTYPE_U64: {
530 uint64List *ptr = cur_head;
531 cur_head = ptr->next;
532 g_assert_cmpint(pt->value.u64, ==, ptr->value);
533 break;
534 }
535 case PTYPE_NUMBER: {
536 GString *double_expected = g_string_new("");
537 GString *double_actual = g_string_new("");
538 numberList *ptr = cur_head;
539 cur_head = ptr->next;
540 /* we serialize with %f for our reference visitors, so rather than
541 * fuzzy floating math to test "equality", just compare the
542 * formatted values
543 */
544 g_string_printf(double_expected, "%.6f", pt->value.number);
545 g_string_printf(double_actual, "%.6f", ptr->value);
546 g_assert_cmpstr(double_actual->str, ==, double_expected->str);
547 g_string_free(double_expected, true);
548 g_string_free(double_actual, true);
549 break;
550 }
551 case PTYPE_BOOLEAN: {
552 boolList *ptr = cur_head;
553 cur_head = ptr->next;
554 g_assert_cmpint(!!pt->value.boolean, ==, !!ptr->value);
555 break;
556 }
557 default:
558 g_assert_not_reached();
559 }
560 i++;
561 }
562
563 g_assert_cmpint(i, ==, 32);
564
565 ops->cleanup(serialize_data);
566 dealloc_helper(&pl, visit_primitive_list, &error_abort);
567 dealloc_helper(&pl_copy, visit_primitive_list, &error_abort);
568 g_free(args);
569 }
570
571 static void test_struct(gconstpointer opaque)
572 {
573 TestArgs *args = (TestArgs *) opaque;
574 const SerializeOps *ops = args->ops;
575 TestStruct *ts = struct_create();
576 TestStruct *ts_copy = NULL;
577 void *serialize_data;
578
579 ops->serialize(ts, &serialize_data, visit_struct, &error_abort);
580 ops->deserialize((void **)&ts_copy, serialize_data, visit_struct,
581 &error_abort);
582
583 struct_compare(ts, ts_copy);
584
585 struct_cleanup(ts);
586 struct_cleanup(ts_copy);
587
588 ops->cleanup(serialize_data);
589 g_free(args);
590 }
591
592 static void test_nested_struct(gconstpointer opaque)
593 {
594 TestArgs *args = (TestArgs *) opaque;
595 const SerializeOps *ops = args->ops;
596 UserDefTwo *udnp = nested_struct_create();
597 UserDefTwo *udnp_copy = NULL;
598 void *serialize_data;
599
600 ops->serialize(udnp, &serialize_data, visit_nested_struct, &error_abort);
601 ops->deserialize((void **)&udnp_copy, serialize_data, visit_nested_struct,
602 &error_abort);
603
604 nested_struct_compare(udnp, udnp_copy);
605
606 nested_struct_cleanup(udnp);
607 nested_struct_cleanup(udnp_copy);
608
609 ops->cleanup(serialize_data);
610 g_free(args);
611 }
612
613 static void test_nested_struct_list(gconstpointer opaque)
614 {
615 TestArgs *args = (TestArgs *) opaque;
616 const SerializeOps *ops = args->ops;
617 UserDefTwoList *listp = NULL, *tmp, *tmp_copy, *listp_copy = NULL;
618 void *serialize_data;
619 int i = 0;
620
621 for (i = 0; i < 8; i++) {
622 QAPI_LIST_PREPEND(listp, nested_struct_create());
623 }
624
625 ops->serialize(listp, &serialize_data, visit_nested_struct_list,
626 &error_abort);
627 ops->deserialize((void **)&listp_copy, serialize_data,
628 visit_nested_struct_list, &error_abort);
629
630 tmp = listp;
631 tmp_copy = listp_copy;
632 while (listp_copy) {
633 g_assert(listp);
634 nested_struct_compare(listp->value, listp_copy->value);
635 listp = listp->next;
636 listp_copy = listp_copy->next;
637 }
638
639 qapi_free_UserDefTwoList(tmp);
640 qapi_free_UserDefTwoList(tmp_copy);
641
642 ops->cleanup(serialize_data);
643 g_free(args);
644 }
645
646 static PrimitiveType pt_values[] = {
647 /* string tests */
648 {
649 .description = "string_empty",
650 .type = PTYPE_STRING,
651 .value.string = "",
652 },
653 {
654 .description = "string_whitespace",
655 .type = PTYPE_STRING,
656 .value.string = "a b c\td",
657 },
658 {
659 .description = "string_newlines",
660 .type = PTYPE_STRING,
661 .value.string = "a\nb\n",
662 },
663 {
664 .description = "string_commas",
665 .type = PTYPE_STRING,
666 .value.string = "a,b, c,d",
667 },
668 {
669 .description = "string_single_quoted",
670 .type = PTYPE_STRING,
671 .value.string = "'a b',cd",
672 },
673 {
674 .description = "string_double_quoted",
675 .type = PTYPE_STRING,
676 .value.string = "\"a b\",cd",
677 },
678 /* boolean tests */
679 {
680 .description = "boolean_true1",
681 .type = PTYPE_BOOLEAN,
682 .value.boolean = true,
683 },
684 {
685 .description = "boolean_true2",
686 .type = PTYPE_BOOLEAN,
687 .value.boolean = 8,
688 },
689 {
690 .description = "boolean_true3",
691 .type = PTYPE_BOOLEAN,
692 .value.boolean = -1,
693 },
694 {
695 .description = "boolean_false1",
696 .type = PTYPE_BOOLEAN,
697 .value.boolean = false,
698 },
699 {
700 .description = "boolean_false2",
701 .type = PTYPE_BOOLEAN,
702 .value.boolean = 0,
703 },
704 /* number tests (double) */
705 {
706 .description = "number_sanity1",
707 .type = PTYPE_NUMBER,
708 .value.number = -1,
709 },
710 {
711 .description = "number_sanity2",
712 .type = PTYPE_NUMBER,
713 .value.number = 3.141593,
714 },
715 {
716 .description = "number_min",
717 .type = PTYPE_NUMBER,
718 .value.number = DBL_MIN,
719 },
720 {
721 .description = "number_max",
722 .type = PTYPE_NUMBER,
723 .value.number = DBL_MAX,
724 },
725 /* integer tests (int64) */
726 {
727 .description = "integer_sanity1",
728 .type = PTYPE_INTEGER,
729 .value.integer = -1,
730 },
731 {
732 .description = "integer_sanity2",
733 .type = PTYPE_INTEGER,
734 .value.integer = INT64_MAX / 2 + 1,
735 },
736 {
737 .description = "integer_min",
738 .type = PTYPE_INTEGER,
739 .value.integer = INT64_MIN,
740 },
741 {
742 .description = "integer_max",
743 .type = PTYPE_INTEGER,
744 .value.integer = INT64_MAX,
745 },
746 /* uint8 tests */
747 {
748 .description = "uint8_sanity1",
749 .type = PTYPE_U8,
750 .value.u8 = 1,
751 },
752 {
753 .description = "uint8_sanity2",
754 .type = PTYPE_U8,
755 .value.u8 = UINT8_MAX / 2 + 1,
756 },
757 {
758 .description = "uint8_min",
759 .type = PTYPE_U8,
760 .value.u8 = 0,
761 },
762 {
763 .description = "uint8_max",
764 .type = PTYPE_U8,
765 .value.u8 = UINT8_MAX,
766 },
767 /* uint16 tests */
768 {
769 .description = "uint16_sanity1",
770 .type = PTYPE_U16,
771 .value.u16 = 1,
772 },
773 {
774 .description = "uint16_sanity2",
775 .type = PTYPE_U16,
776 .value.u16 = UINT16_MAX / 2 + 1,
777 },
778 {
779 .description = "uint16_min",
780 .type = PTYPE_U16,
781 .value.u16 = 0,
782 },
783 {
784 .description = "uint16_max",
785 .type = PTYPE_U16,
786 .value.u16 = UINT16_MAX,
787 },
788 /* uint32 tests */
789 {
790 .description = "uint32_sanity1",
791 .type = PTYPE_U32,
792 .value.u32 = 1,
793 },
794 {
795 .description = "uint32_sanity2",
796 .type = PTYPE_U32,
797 .value.u32 = UINT32_MAX / 2 + 1,
798 },
799 {
800 .description = "uint32_min",
801 .type = PTYPE_U32,
802 .value.u32 = 0,
803 },
804 {
805 .description = "uint32_max",
806 .type = PTYPE_U32,
807 .value.u32 = UINT32_MAX,
808 },
809 /* uint64 tests */
810 {
811 .description = "uint64_sanity1",
812 .type = PTYPE_U64,
813 .value.u64 = 1,
814 },
815 {
816 .description = "uint64_sanity2",
817 .type = PTYPE_U64,
818 .value.u64 = UINT64_MAX / 2 + 1,
819 },
820 {
821 .description = "uint64_min",
822 .type = PTYPE_U64,
823 .value.u64 = 0,
824 },
825 {
826 .description = "uint64_max",
827 .type = PTYPE_U64,
828 .value.u64 = UINT64_MAX,
829 },
830 /* int8 tests */
831 {
832 .description = "int8_sanity1",
833 .type = PTYPE_S8,
834 .value.s8 = -1,
835 },
836 {
837 .description = "int8_sanity2",
838 .type = PTYPE_S8,
839 .value.s8 = INT8_MAX / 2 + 1,
840 },
841 {
842 .description = "int8_min",
843 .type = PTYPE_S8,
844 .value.s8 = INT8_MIN,
845 },
846 {
847 .description = "int8_max",
848 .type = PTYPE_S8,
849 .value.s8 = INT8_MAX,
850 },
851 /* int16 tests */
852 {
853 .description = "int16_sanity1",
854 .type = PTYPE_S16,
855 .value.s16 = -1,
856 },
857 {
858 .description = "int16_sanity2",
859 .type = PTYPE_S16,
860 .value.s16 = INT16_MAX / 2 + 1,
861 },
862 {
863 .description = "int16_min",
864 .type = PTYPE_S16,
865 .value.s16 = INT16_MIN,
866 },
867 {
868 .description = "int16_max",
869 .type = PTYPE_S16,
870 .value.s16 = INT16_MAX,
871 },
872 /* int32 tests */
873 {
874 .description = "int32_sanity1",
875 .type = PTYPE_S32,
876 .value.s32 = -1,
877 },
878 {
879 .description = "int32_sanity2",
880 .type = PTYPE_S32,
881 .value.s32 = INT32_MAX / 2 + 1,
882 },
883 {
884 .description = "int32_min",
885 .type = PTYPE_S32,
886 .value.s32 = INT32_MIN,
887 },
888 {
889 .description = "int32_max",
890 .type = PTYPE_S32,
891 .value.s32 = INT32_MAX,
892 },
893 /* int64 tests */
894 {
895 .description = "int64_sanity1",
896 .type = PTYPE_S64,
897 .value.s64 = -1,
898 },
899 {
900 .description = "int64_sanity2",
901 .type = PTYPE_S64,
902 .value.s64 = INT64_MAX / 2 + 1,
903 },
904 {
905 .description = "int64_min",
906 .type = PTYPE_S64,
907 .value.s64 = INT64_MIN,
908 },
909 {
910 .description = "int64_max",
911 .type = PTYPE_S64,
912 .value.s64 = INT64_MAX,
913 },
914 { .type = PTYPE_EOL }
915 };
916
917 /* visitor-specific op implementations */
918
919 typedef struct QmpSerializeData {
920 Visitor *qov;
921 QObject *obj;
922 Visitor *qiv;
923 } QmpSerializeData;
924
925 static void qmp_serialize(void *native_in, void **datap,
926 VisitorFunc visit, Error **errp)
927 {
928 QmpSerializeData *d = g_malloc0(sizeof(*d));
929
930 d->qov = qobject_output_visitor_new(&d->obj);
931 visit(d->qov, &native_in, errp);
932 *datap = d;
933 }
934
935 static void qmp_deserialize(void **native_out, void *datap,
936 VisitorFunc visit, Error **errp)
937 {
938 QmpSerializeData *d = datap;
939 GString *output_json;
940 QObject *obj_orig, *obj;
941
942 visit_complete(d->qov, &d->obj);
943 obj_orig = d->obj;
944 output_json = qobject_to_json(obj_orig);
945 obj = qobject_from_json(output_json->str, &error_abort);
946
947 g_string_free(output_json, true);
948 d->qiv = qobject_input_visitor_new(obj);
949 qobject_unref(obj_orig);
950 qobject_unref(obj);
951 visit(d->qiv, native_out, errp);
952 }
953
954 static void qmp_cleanup(void *datap)
955 {
956 QmpSerializeData *d = datap;
957 visit_free(d->qov);
958 visit_free(d->qiv);
959
960 g_free(d);
961 }
962
963 typedef struct StringSerializeData {
964 char *string;
965 Visitor *sov;
966 Visitor *siv;
967 } StringSerializeData;
968
969 static void string_serialize(void *native_in, void **datap,
970 VisitorFunc visit, Error **errp)
971 {
972 StringSerializeData *d = g_malloc0(sizeof(*d));
973
974 d->sov = string_output_visitor_new(false, &d->string);
975 visit(d->sov, &native_in, errp);
976 *datap = d;
977 }
978
979 static void string_deserialize(void **native_out, void *datap,
980 VisitorFunc visit, Error **errp)
981 {
982 StringSerializeData *d = datap;
983
984 visit_complete(d->sov, &d->string);
985 d->siv = string_input_visitor_new(d->string);
986 visit(d->siv, native_out, errp);
987 }
988
989 static void string_cleanup(void *datap)
990 {
991 StringSerializeData *d = datap;
992
993 visit_free(d->sov);
994 visit_free(d->siv);
995 g_free(d->string);
996 g_free(d);
997 }
998
999 /* visitor registration, test harness */
1000
1001 /* note: to function interchangeably as a serialization mechanism your
1002 * visitor test implementation should pass the test cases for all visitor
1003 * capabilities: primitives, structures, and lists
1004 */
1005 static const SerializeOps visitors[] = {
1006 {
1007 .type = "QMP",
1008 .serialize = qmp_serialize,
1009 .deserialize = qmp_deserialize,
1010 .cleanup = qmp_cleanup,
1011 .caps = VCAP_PRIMITIVES | VCAP_STRUCTURES | VCAP_LISTS |
1012 VCAP_PRIMITIVE_LISTS
1013 },
1014 {
1015 .type = "String",
1016 .serialize = string_serialize,
1017 .deserialize = string_deserialize,
1018 .cleanup = string_cleanup,
1019 .caps = VCAP_PRIMITIVES
1020 },
1021 { NULL }
1022 };
1023
1024 static void add_visitor_type(const SerializeOps *ops)
1025 {
1026 char testname_prefix[32];
1027 char testname[128];
1028 TestArgs *args;
1029 int i = 0;
1030
1031 sprintf(testname_prefix, "/visitor/serialization/%s", ops->type);
1032
1033 if (ops->caps & VCAP_PRIMITIVES) {
1034 while (pt_values[i].type != PTYPE_EOL) {
1035 sprintf(testname, "%s/primitives/%s", testname_prefix,
1036 pt_values[i].description);
1037 args = g_malloc0(sizeof(*args));
1038 args->ops = ops;
1039 args->test_data = &pt_values[i];
1040 g_test_add_data_func(testname, args, test_primitives);
1041 i++;
1042 }
1043 }
1044
1045 if (ops->caps & VCAP_STRUCTURES) {
1046 sprintf(testname, "%s/struct", testname_prefix);
1047 args = g_malloc0(sizeof(*args));
1048 args->ops = ops;
1049 args->test_data = NULL;
1050 g_test_add_data_func(testname, args, test_struct);
1051
1052 sprintf(testname, "%s/nested_struct", testname_prefix);
1053 args = g_malloc0(sizeof(*args));
1054 args->ops = ops;
1055 args->test_data = NULL;
1056 g_test_add_data_func(testname, args, test_nested_struct);
1057 }
1058
1059 if (ops->caps & VCAP_LISTS) {
1060 sprintf(testname, "%s/nested_struct_list", testname_prefix);
1061 args = g_malloc0(sizeof(*args));
1062 args->ops = ops;
1063 args->test_data = NULL;
1064 g_test_add_data_func(testname, args, test_nested_struct_list);
1065 }
1066
1067 if (ops->caps & VCAP_PRIMITIVE_LISTS) {
1068 i = 0;
1069 while (pt_values[i].type != PTYPE_EOL) {
1070 sprintf(testname, "%s/primitive_list/%s", testname_prefix,
1071 pt_values[i].description);
1072 args = g_malloc0(sizeof(*args));
1073 args->ops = ops;
1074 args->test_data = &pt_values[i];
1075 g_test_add_data_func(testname, args, test_primitive_lists);
1076 i++;
1077 }
1078 }
1079 }
1080
1081 int main(int argc, char **argv)
1082 {
1083 int i = 0;
1084
1085 g_test_init(&argc, &argv, NULL);
1086
1087 while (visitors[i].type != NULL) {
1088 add_visitor_type(&visitors[i]);
1089 i++;
1090 }
1091
1092 g_test_run();
1093
1094 return 0;
1095 }