2 * Unit-tests for visitor-based serialization
4 * Copyright IBM, Corp. 2012
7 * Michael Roth <mdroth@linux.vnet.ibm.com>
9 * This work is licensed under the terms of the GNU GPL, version 2 or later.
10 * See the COPYING file in the top-level directory.
18 #include "qemu-common.h"
19 #include "test-qapi-types.h"
20 #include "test-qapi-visit.h"
21 #include "qapi/qmp/types.h"
22 #include "qapi/qmp-input-visitor.h"
23 #include "qapi/qmp-output-visitor.h"
24 #include "qapi/string-input-visitor.h"
25 #include "qapi/string-output-visitor.h"
27 typedef struct PrimitiveType
{
58 const char *description
;
63 static void visit_primitive_type(Visitor
*v
, void **native
, Error
**errp
)
65 PrimitiveType
*pt
= *native
;
68 visit_type_str(v
, (char **)&pt
->value
.string
, NULL
, errp
);
71 visit_type_bool(v
, &pt
->value
.boolean
, NULL
, errp
);
74 visit_type_number(v
, &pt
->value
.number
, NULL
, errp
);
77 visit_type_int(v
, &pt
->value
.integer
, NULL
, errp
);
80 visit_type_uint8(v
, &pt
->value
.u8
, NULL
, errp
);
83 visit_type_uint16(v
, &pt
->value
.u16
, NULL
, errp
);
86 visit_type_uint32(v
, &pt
->value
.u32
, NULL
, errp
);
89 visit_type_uint64(v
, &pt
->value
.u64
, NULL
, errp
);
92 visit_type_int8(v
, &pt
->value
.s8
, NULL
, errp
);
95 visit_type_int16(v
, &pt
->value
.s16
, NULL
, errp
);
98 visit_type_int32(v
, &pt
->value
.s32
, NULL
, errp
);
101 visit_type_int64(v
, &pt
->value
.s64
, NULL
, errp
);
108 typedef struct TestStruct
115 static void visit_type_TestStruct(Visitor
*v
, TestStruct
**obj
,
116 const char *name
, Error
**errp
)
118 visit_start_struct(v
, (void **)obj
, NULL
, name
, sizeof(TestStruct
), errp
);
120 visit_type_int(v
, &(*obj
)->integer
, "integer", errp
);
121 visit_type_bool(v
, &(*obj
)->boolean
, "boolean", errp
);
122 visit_type_str(v
, &(*obj
)->string
, "string", errp
);
124 visit_end_struct(v
, errp
);
127 static TestStruct
*struct_create(void)
129 TestStruct
*ts
= g_malloc0(sizeof(*ts
));
132 ts
->string
= strdup("test string");
136 static void struct_compare(TestStruct
*ts1
, TestStruct
*ts2
)
140 g_assert_cmpint(ts1
->integer
, ==, ts2
->integer
);
141 g_assert(ts1
->boolean
== ts2
->boolean
);
142 g_assert_cmpstr(ts1
->string
, ==, ts2
->string
);
145 static void struct_cleanup(TestStruct
*ts
)
151 static void visit_struct(Visitor
*v
, void **native
, Error
**errp
)
153 visit_type_TestStruct(v
, (TestStruct
**)native
, NULL
, errp
);
156 static UserDefNested
*nested_struct_create(void)
158 UserDefNested
*udnp
= g_malloc0(sizeof(*udnp
));
159 udnp
->string0
= strdup("test_string0");
160 udnp
->dict1
.string1
= strdup("test_string1");
161 udnp
->dict1
.dict2
.userdef1
= g_malloc0(sizeof(UserDefOne
));
162 udnp
->dict1
.dict2
.userdef1
->integer
= 42;
163 udnp
->dict1
.dict2
.userdef1
->string
= strdup("test_string");
164 udnp
->dict1
.dict2
.string2
= strdup("test_string2");
165 udnp
->dict1
.has_dict3
= true;
166 udnp
->dict1
.dict3
.userdef2
= g_malloc0(sizeof(UserDefOne
));
167 udnp
->dict1
.dict3
.userdef2
->integer
= 43;
168 udnp
->dict1
.dict3
.userdef2
->string
= strdup("test_string");
169 udnp
->dict1
.dict3
.string3
= strdup("test_string3");
173 static void nested_struct_compare(UserDefNested
*udnp1
, UserDefNested
*udnp2
)
177 g_assert_cmpstr(udnp1
->string0
, ==, udnp2
->string0
);
178 g_assert_cmpstr(udnp1
->dict1
.string1
, ==, udnp2
->dict1
.string1
);
179 g_assert_cmpint(udnp1
->dict1
.dict2
.userdef1
->integer
, ==,
180 udnp2
->dict1
.dict2
.userdef1
->integer
);
181 g_assert_cmpstr(udnp1
->dict1
.dict2
.userdef1
->string
, ==,
182 udnp2
->dict1
.dict2
.userdef1
->string
);
183 g_assert_cmpstr(udnp1
->dict1
.dict2
.string2
, ==, udnp2
->dict1
.dict2
.string2
);
184 g_assert(udnp1
->dict1
.has_dict3
== udnp2
->dict1
.has_dict3
);
185 g_assert_cmpint(udnp1
->dict1
.dict3
.userdef2
->integer
, ==,
186 udnp2
->dict1
.dict3
.userdef2
->integer
);
187 g_assert_cmpstr(udnp1
->dict1
.dict3
.userdef2
->string
, ==,
188 udnp2
->dict1
.dict3
.userdef2
->string
);
189 g_assert_cmpstr(udnp1
->dict1
.dict3
.string3
, ==, udnp2
->dict1
.dict3
.string3
);
192 static void nested_struct_cleanup(UserDefNested
*udnp
)
194 qapi_free_UserDefNested(udnp
);
197 static void visit_nested_struct(Visitor
*v
, void **native
, Error
**errp
)
199 visit_type_UserDefNested(v
, (UserDefNested
**)native
, NULL
, errp
);
202 static void visit_nested_struct_list(Visitor
*v
, void **native
, Error
**errp
)
204 visit_type_UserDefNestedList(v
, (UserDefNestedList
**)native
, NULL
, errp
);
209 typedef void (*VisitorFunc
)(Visitor
*v
, void **native
, Error
**errp
);
211 typedef enum VisitorCapabilities
{
215 } VisitorCapabilities
;
217 typedef struct SerializeOps
{
218 void (*serialize
)(void *native_in
, void **datap
,
219 VisitorFunc visit
, Error
**errp
);
220 void (*deserialize
)(void **native_out
, void *datap
,
221 VisitorFunc visit
, Error
**errp
);
222 void (*cleanup
)(void *datap
);
224 VisitorCapabilities caps
;
227 typedef struct TestArgs
{
228 const SerializeOps
*ops
;
232 #define FLOAT_STRING_PRECISION 6 /* corresponding to n in %.nf formatting */
233 static gsize
calc_float_string_storage(double value
)
235 int whole_value
= value
;
239 } while (whole_value
/= 10);
240 return i
+ 2 + FLOAT_STRING_PRECISION
;
243 static void test_primitives(gconstpointer opaque
)
245 TestArgs
*args
= (TestArgs
*) opaque
;
246 const SerializeOps
*ops
= args
->ops
;
247 PrimitiveType
*pt
= args
->test_data
;
248 PrimitiveType
*pt_copy
= g_malloc0(sizeof(*pt_copy
));
250 void *serialize_data
;
251 char *double1
, *double2
;
253 pt_copy
->type
= pt
->type
;
254 ops
->serialize(pt
, &serialize_data
, visit_primitive_type
, &err
);
255 ops
->deserialize((void **)&pt_copy
, serialize_data
, visit_primitive_type
, &err
);
257 g_assert(err
== NULL
);
258 g_assert(pt_copy
!= NULL
);
259 if (pt
->type
== PTYPE_STRING
) {
260 g_assert_cmpstr(pt
->value
.string
, ==, pt_copy
->value
.string
);
261 } else if (pt
->type
== PTYPE_NUMBER
) {
262 /* we serialize with %f for our reference visitors, so rather than fuzzy
263 * floating math to test "equality", just compare the formatted values
265 double1
= g_malloc0(calc_float_string_storage(pt
->value
.number
));
266 double2
= g_malloc0(calc_float_string_storage(pt_copy
->value
.number
));
267 g_assert_cmpstr(double1
, ==, double2
);
270 } else if (pt
->type
== PTYPE_BOOLEAN
) {
271 g_assert_cmpint(!!pt
->value
.max
, ==, !!pt
->value
.max
);
273 g_assert_cmpint(pt
->value
.max
, ==, pt_copy
->value
.max
);
276 ops
->cleanup(serialize_data
);
280 static void test_struct(gconstpointer opaque
)
282 TestArgs
*args
= (TestArgs
*) opaque
;
283 const SerializeOps
*ops
= args
->ops
;
284 TestStruct
*ts
= struct_create();
285 TestStruct
*ts_copy
= NULL
;
287 void *serialize_data
;
289 ops
->serialize(ts
, &serialize_data
, visit_struct
, &err
);
290 ops
->deserialize((void **)&ts_copy
, serialize_data
, visit_struct
, &err
);
292 g_assert(err
== NULL
);
293 struct_compare(ts
, ts_copy
);
296 struct_cleanup(ts_copy
);
298 ops
->cleanup(serialize_data
);
302 static void test_nested_struct(gconstpointer opaque
)
304 TestArgs
*args
= (TestArgs
*) opaque
;
305 const SerializeOps
*ops
= args
->ops
;
306 UserDefNested
*udnp
= nested_struct_create();
307 UserDefNested
*udnp_copy
= NULL
;
309 void *serialize_data
;
311 ops
->serialize(udnp
, &serialize_data
, visit_nested_struct
, &err
);
312 ops
->deserialize((void **)&udnp_copy
, serialize_data
, visit_nested_struct
, &err
);
314 g_assert(err
== NULL
);
315 nested_struct_compare(udnp
, udnp_copy
);
317 nested_struct_cleanup(udnp
);
318 nested_struct_cleanup(udnp_copy
);
320 ops
->cleanup(serialize_data
);
324 static void test_nested_struct_list(gconstpointer opaque
)
326 TestArgs
*args
= (TestArgs
*) opaque
;
327 const SerializeOps
*ops
= args
->ops
;
328 UserDefNestedList
*listp
= NULL
, *tmp
, *tmp_copy
, *listp_copy
= NULL
;
330 void *serialize_data
;
333 for (i
= 0; i
< 8; i
++) {
334 tmp
= g_malloc0(sizeof(UserDefNestedList
));
335 tmp
->value
= nested_struct_create();
340 ops
->serialize(listp
, &serialize_data
, visit_nested_struct_list
, &err
);
341 ops
->deserialize((void **)&listp_copy
, serialize_data
,
342 visit_nested_struct_list
, &err
);
344 g_assert(err
== NULL
);
347 tmp_copy
= listp_copy
;
350 nested_struct_compare(listp
->value
, listp_copy
->value
);
352 listp_copy
= listp_copy
->next
;
355 qapi_free_UserDefNestedList(tmp
);
356 qapi_free_UserDefNestedList(tmp_copy
);
358 ops
->cleanup(serialize_data
);
362 PrimitiveType pt_values
[] = {
365 .description
= "string_empty",
366 .type
= PTYPE_STRING
,
370 .description
= "string_whitespace",
371 .type
= PTYPE_STRING
,
372 .value
.string
= "a b c\td",
375 .description
= "string_newlines",
376 .type
= PTYPE_STRING
,
377 .value
.string
= "a\nb\n",
380 .description
= "string_commas",
381 .type
= PTYPE_STRING
,
382 .value
.string
= "a,b, c,d",
385 .description
= "string_single_quoted",
386 .type
= PTYPE_STRING
,
387 .value
.string
= "'a b',cd",
390 .description
= "string_double_quoted",
391 .type
= PTYPE_STRING
,
392 .value
.string
= "\"a b\",cd",
396 .description
= "boolean_true1",
397 .type
= PTYPE_BOOLEAN
,
398 .value
.boolean
= true,
401 .description
= "boolean_true2",
402 .type
= PTYPE_BOOLEAN
,
406 .description
= "boolean_true3",
407 .type
= PTYPE_BOOLEAN
,
411 .description
= "boolean_false1",
412 .type
= PTYPE_BOOLEAN
,
413 .value
.boolean
= false,
416 .description
= "boolean_false2",
417 .type
= PTYPE_BOOLEAN
,
420 /* number tests (double) */
421 /* note: we format these to %.6f before comparing, since that's how
422 * we serialize them and it doesn't make sense to check precision
426 .description
= "number_sanity1",
427 .type
= PTYPE_NUMBER
,
431 .description
= "number_sanity2",
432 .type
= PTYPE_NUMBER
,
433 .value
.number
= 3.14159265,
436 .description
= "number_min",
437 .type
= PTYPE_NUMBER
,
438 .value
.number
= DBL_MIN
,
441 .description
= "number_max",
442 .type
= PTYPE_NUMBER
,
443 .value
.number
= DBL_MAX
,
445 /* integer tests (int64) */
447 .description
= "integer_sanity1",
448 .type
= PTYPE_INTEGER
,
452 .description
= "integer_sanity2",
453 .type
= PTYPE_INTEGER
,
454 .value
.integer
= INT64_MAX
/ 2 + 1,
457 .description
= "integer_min",
458 .type
= PTYPE_INTEGER
,
459 .value
.integer
= INT64_MIN
,
462 .description
= "integer_max",
463 .type
= PTYPE_INTEGER
,
464 .value
.integer
= INT64_MAX
,
468 .description
= "uint8_sanity1",
473 .description
= "uint8_sanity2",
475 .value
.u8
= UINT8_MAX
/ 2 + 1,
478 .description
= "uint8_min",
483 .description
= "uint8_max",
485 .value
.u8
= UINT8_MAX
,
489 .description
= "uint16_sanity1",
494 .description
= "uint16_sanity2",
496 .value
.u16
= UINT16_MAX
/ 2 + 1,
499 .description
= "uint16_min",
504 .description
= "uint16_max",
506 .value
.u16
= UINT16_MAX
,
510 .description
= "uint32_sanity1",
515 .description
= "uint32_sanity2",
517 .value
.u32
= UINT32_MAX
/ 2 + 1,
520 .description
= "uint32_min",
525 .description
= "uint32_max",
527 .value
.u32
= UINT32_MAX
,
531 .description
= "uint64_sanity1",
536 .description
= "uint64_sanity2",
538 .value
.u64
= UINT64_MAX
/ 2 + 1,
541 .description
= "uint64_min",
546 .description
= "uint64_max",
548 .value
.u64
= UINT64_MAX
,
552 .description
= "int8_sanity1",
557 .description
= "int8_sanity2",
559 .value
.s8
= INT8_MAX
/ 2 + 1,
562 .description
= "int8_min",
564 .value
.s8
= INT8_MIN
,
567 .description
= "int8_max",
569 .value
.s8
= INT8_MAX
,
573 .description
= "int16_sanity1",
578 .description
= "int16_sanity2",
580 .value
.s16
= INT16_MAX
/ 2 + 1,
583 .description
= "int16_min",
585 .value
.s16
= INT16_MIN
,
588 .description
= "int16_max",
590 .value
.s16
= INT16_MAX
,
594 .description
= "int32_sanity1",
599 .description
= "int32_sanity2",
601 .value
.s32
= INT32_MAX
/ 2 + 1,
604 .description
= "int32_min",
606 .value
.s32
= INT32_MIN
,
609 .description
= "int32_max",
611 .value
.s32
= INT32_MAX
,
615 .description
= "int64_sanity1",
620 .description
= "int64_sanity2",
622 .value
.s64
= INT64_MAX
/ 2 + 1,
625 .description
= "int64_min",
627 .value
.s64
= INT64_MIN
,
630 .description
= "int64_max",
632 .value
.s64
= INT64_MAX
,
634 { .type
= PTYPE_EOL
}
637 /* visitor-specific op implementations */
639 typedef struct QmpSerializeData
{
640 QmpOutputVisitor
*qov
;
641 QmpInputVisitor
*qiv
;
644 static void qmp_serialize(void *native_in
, void **datap
,
645 VisitorFunc visit
, Error
**errp
)
647 QmpSerializeData
*d
= g_malloc0(sizeof(*d
));
649 d
->qov
= qmp_output_visitor_new();
650 visit(qmp_output_get_visitor(d
->qov
), &native_in
, errp
);
654 static void qmp_deserialize(void **native_out
, void *datap
,
655 VisitorFunc visit
, Error
**errp
)
657 QmpSerializeData
*d
= datap
;
658 QString
*output_json
= qobject_to_json(qmp_output_get_qobject(d
->qov
));
659 QObject
*obj
= qobject_from_json(qstring_get_str(output_json
));
661 QDECREF(output_json
);
662 d
->qiv
= qmp_input_visitor_new(obj
);
663 visit(qmp_input_get_visitor(d
->qiv
), native_out
, errp
);
666 static void qmp_cleanup(void *datap
)
668 QmpSerializeData
*d
= datap
;
669 qmp_output_visitor_cleanup(d
->qov
);
670 qmp_input_visitor_cleanup(d
->qiv
);
673 typedef struct StringSerializeData
{
674 StringOutputVisitor
*sov
;
675 StringInputVisitor
*siv
;
676 } StringSerializeData
;
678 static void string_serialize(void *native_in
, void **datap
,
679 VisitorFunc visit
, Error
**errp
)
681 StringSerializeData
*d
= g_malloc0(sizeof(*d
));
683 d
->sov
= string_output_visitor_new();
684 visit(string_output_get_visitor(d
->sov
), &native_in
, errp
);
688 static void string_deserialize(void **native_out
, void *datap
,
689 VisitorFunc visit
, Error
**errp
)
691 StringSerializeData
*d
= datap
;
693 d
->siv
= string_input_visitor_new(string_output_get_string(d
->sov
));
694 visit(string_input_get_visitor(d
->siv
), native_out
, errp
);
697 static void string_cleanup(void *datap
)
699 StringSerializeData
*d
= datap
;
700 string_output_visitor_cleanup(d
->sov
);
701 string_input_visitor_cleanup(d
->siv
);
704 /* visitor registration, test harness */
706 /* note: to function interchangeably as a serialization mechanism your
707 * visitor test implementation should pass the test cases for all visitor
708 * capabilities: primitives, structures, and lists
710 static const SerializeOps visitors
[] = {
713 .serialize
= qmp_serialize
,
714 .deserialize
= qmp_deserialize
,
715 .cleanup
= qmp_cleanup
,
716 .caps
= VCAP_PRIMITIVES
| VCAP_STRUCTURES
| VCAP_LISTS
720 .serialize
= string_serialize
,
721 .deserialize
= string_deserialize
,
722 .cleanup
= string_cleanup
,
723 .caps
= VCAP_PRIMITIVES
728 static void add_visitor_type(const SerializeOps
*ops
)
730 char testname_prefix
[128];
735 sprintf(testname_prefix
, "/visitor/serialization/%s", ops
->type
);
737 if (ops
->caps
& VCAP_PRIMITIVES
) {
738 while (pt_values
[i
].type
!= PTYPE_EOL
) {
739 sprintf(testname
, "%s/primitives/%s", testname_prefix
,
740 pt_values
[i
].description
);
741 args
= g_malloc0(sizeof(*args
));
743 args
->test_data
= &pt_values
[i
];
744 g_test_add_data_func(testname
, args
, test_primitives
);
749 if (ops
->caps
& VCAP_STRUCTURES
) {
750 sprintf(testname
, "%s/struct", testname_prefix
);
751 args
= g_malloc0(sizeof(*args
));
753 args
->test_data
= NULL
;
754 g_test_add_data_func(testname
, args
, test_struct
);
756 sprintf(testname
, "%s/nested_struct", testname_prefix
);
757 args
= g_malloc0(sizeof(*args
));
759 args
->test_data
= NULL
;
760 g_test_add_data_func(testname
, args
, test_nested_struct
);
763 if (ops
->caps
& VCAP_LISTS
) {
764 sprintf(testname
, "%s/nested_struct_list", testname_prefix
);
765 args
= g_malloc0(sizeof(*args
));
767 args
->test_data
= NULL
;
768 g_test_add_data_func(testname
, args
, test_nested_struct_list
);
772 int main(int argc
, char **argv
)
776 g_test_init(&argc
, &argv
, NULL
);
778 while (visitors
[i
].type
!= NULL
) {
779 add_visitor_type(&visitors
[i
]);