2 * QObject Input Visitor unit-tests.
4 * Copyright (C) 2011-2016 Red Hat Inc.
7 * Luiz Capitulino <lcapitulino@redhat.com>
8 * Paolo Bonzini <pbonzini@redhat.com>
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.
14 #include "qemu/osdep.h"
16 #include "qapi/error.h"
17 #include "qapi/qapi-visit-introspect.h"
18 #include "qapi/qobject-input-visitor.h"
19 #include "test-qapi-visit.h"
20 #include "qapi/qmp/qbool.h"
21 #include "qapi/qmp/qdict.h"
22 #include "qapi/qmp/qnull.h"
23 #include "qapi/qmp/qnum.h"
24 #include "qapi/qmp/qstring.h"
25 #include "qapi/qmp/qjson.h"
26 #include "test-qapi-introspect.h"
27 #include "qapi/qapi-introspect.h"
29 typedef struct TestInputVisitorData
{
32 } TestInputVisitorData
;
34 static void visitor_input_teardown(TestInputVisitorData
*data
,
37 qobject_unref(data
->obj
);
41 visit_free(data
->qiv
);
46 /* The various test_init functions are provided instead of a test setup
47 function so that the JSON string used by the tests are kept in the test
48 functions (and not in main()). */
50 static Visitor
*test_init_internal(TestInputVisitorData
*data
, bool keyval
,
53 visitor_input_teardown(data
, NULL
);
58 data
->qiv
= qobject_input_visitor_new_keyval(data
->obj
);
60 data
->qiv
= qobject_input_visitor_new(data
->obj
);
66 static G_GNUC_PRINTF(3, 4)
67 Visitor
*visitor_input_test_init_full(TestInputVisitorData
*data
,
69 const char *json_string
, ...)
74 va_start(ap
, json_string
);
75 v
= test_init_internal(data
, keyval
,
76 qobject_from_vjsonf_nofail(json_string
, ap
));
81 static G_GNUC_PRINTF(2, 3)
82 Visitor
*visitor_input_test_init(TestInputVisitorData
*data
,
83 const char *json_string
, ...)
88 va_start(ap
, json_string
);
89 v
= test_init_internal(data
, false,
90 qobject_from_vjsonf_nofail(json_string
, ap
));
95 /* similar to visitor_input_test_init(), but does not expect a string
96 * literal/format json_string argument and so can be used for
97 * programmatically generated strings (and we can't pass in programmatically
98 * generated strings via %s format parameters since qobject_from_jsonv()
99 * will wrap those in double-quotes and treat the entire object as a
102 static G_GNUC_PRINTF(2, 0)
103 Visitor
*visitor_input_test_init_raw(TestInputVisitorData
*data
,
104 const char *json_string
)
106 return test_init_internal(data
, false,
107 qobject_from_json(json_string
, &error_abort
));
110 static void test_visitor_in_int(TestInputVisitorData
*data
,
118 v
= visitor_input_test_init(data
, "%d", value
);
120 visit_type_int(v
, NULL
, &res
, &error_abort
);
121 g_assert_cmpint(res
, ==, value
);
123 visit_type_number(v
, NULL
, &dbl
, &error_abort
);
124 g_assert_cmpfloat(dbl
, ==, -42.0);
127 static void test_visitor_in_uint(TestInputVisitorData
*data
,
136 v
= visitor_input_test_init(data
, "%d", value
);
138 visit_type_uint64(v
, NULL
, &res
, &error_abort
);
139 g_assert_cmpuint(res
, ==, (uint64_t)value
);
141 visit_type_int(v
, NULL
, &i64
, &error_abort
);
142 g_assert_cmpint(i64
, ==, value
);
144 visit_type_number(v
, NULL
, &dbl
, &error_abort
);
145 g_assert_cmpfloat(dbl
, ==, value
);
147 /* BUG: value between INT64_MIN and -1 accepted modulo 2^64 */
148 v
= visitor_input_test_init(data
, "%d", -value
);
150 visit_type_uint64(v
, NULL
, &res
, &error_abort
);
151 g_assert_cmpuint(res
, ==, (uint64_t)-value
);
153 v
= visitor_input_test_init(data
, "18446744073709551574");
155 visit_type_uint64(v
, NULL
, &res
, &error_abort
);
156 g_assert_cmpuint(res
, ==, 18446744073709551574U);
158 visit_type_number(v
, NULL
, &dbl
, &error_abort
);
159 g_assert_cmpfloat(dbl
, ==, 18446744073709552000.0);
162 static void test_visitor_in_int_overflow(TestInputVisitorData
*data
,
170 * This will overflow a QNUM_I64, so should be deserialized into a
171 * QNUM_DOUBLE field instead, leading to an error if we pass it to
172 * visit_type_int(). Confirm this.
174 v
= visitor_input_test_init(data
, "%f", DBL_MAX
);
176 visit_type_int(v
, NULL
, &res
, &err
);
177 error_free_or_abort(&err
);
180 static void test_visitor_in_int_keyval(TestInputVisitorData
*data
,
183 int64_t res
= 0, value
= -42;
187 v
= visitor_input_test_init_full(data
, true, "%" PRId64
, value
);
188 visit_type_int(v
, NULL
, &res
, &err
);
189 error_free_or_abort(&err
);
192 static void test_visitor_in_int_str_keyval(TestInputVisitorData
*data
,
195 int64_t res
= 0, value
= -42;
198 v
= visitor_input_test_init_full(data
, true, "\"-42\"");
200 visit_type_int(v
, NULL
, &res
, &error_abort
);
201 g_assert_cmpint(res
, ==, value
);
204 static void test_visitor_in_int_str_fail(TestInputVisitorData
*data
,
211 v
= visitor_input_test_init(data
, "\"-42\"");
213 visit_type_int(v
, NULL
, &res
, &err
);
214 error_free_or_abort(&err
);
217 static void test_visitor_in_bool(TestInputVisitorData
*data
,
223 v
= visitor_input_test_init(data
, "true");
225 visit_type_bool(v
, NULL
, &res
, &error_abort
);
226 g_assert_cmpint(res
, ==, true);
229 static void test_visitor_in_bool_keyval(TestInputVisitorData
*data
,
236 v
= visitor_input_test_init_full(data
, true, "true");
238 visit_type_bool(v
, NULL
, &res
, &err
);
239 error_free_or_abort(&err
);
242 static void test_visitor_in_bool_str_keyval(TestInputVisitorData
*data
,
248 v
= visitor_input_test_init_full(data
, true, "\"on\"");
250 visit_type_bool(v
, NULL
, &res
, &error_abort
);
251 g_assert_cmpint(res
, ==, true);
254 static void test_visitor_in_bool_str_fail(TestInputVisitorData
*data
,
261 v
= visitor_input_test_init(data
, "\"true\"");
263 visit_type_bool(v
, NULL
, &res
, &err
);
264 error_free_or_abort(&err
);
267 static void test_visitor_in_number(TestInputVisitorData
*data
,
270 double res
= 0, value
= 3.14;
273 v
= visitor_input_test_init(data
, "%f", value
);
275 visit_type_number(v
, NULL
, &res
, &error_abort
);
276 g_assert_cmpfloat(res
, ==, value
);
279 static void test_visitor_in_large_number(TestInputVisitorData
*data
,
288 v
= visitor_input_test_init(data
, "-18446744073709551616"); /* -2^64 */
290 visit_type_number(v
, NULL
, &res
, &error_abort
);
291 g_assert_cmpfloat(res
, ==, -18446744073709552e3
);
293 visit_type_int(v
, NULL
, &i64
, &err
);
294 error_free_or_abort(&err
);
296 visit_type_uint64(v
, NULL
, &u64
, &err
);
297 error_free_or_abort(&err
);
300 static void test_visitor_in_number_keyval(TestInputVisitorData
*data
,
303 double res
= 0, value
= 3.14;
307 v
= visitor_input_test_init_full(data
, true, "%f", value
);
309 visit_type_number(v
, NULL
, &res
, &err
);
310 error_free_or_abort(&err
);
313 static void test_visitor_in_number_str_keyval(TestInputVisitorData
*data
,
316 double res
= 0, value
= 3.14;
320 v
= visitor_input_test_init_full(data
, true, "\"3.14\"");
322 visit_type_number(v
, NULL
, &res
, &error_abort
);
323 g_assert_cmpfloat(res
, ==, value
);
325 v
= visitor_input_test_init_full(data
, true, "\"inf\"");
327 visit_type_number(v
, NULL
, &res
, &err
);
328 error_free_or_abort(&err
);
331 static void test_visitor_in_number_str_fail(TestInputVisitorData
*data
,
338 v
= visitor_input_test_init(data
, "\"3.14\"");
340 visit_type_number(v
, NULL
, &res
, &err
);
341 error_free_or_abort(&err
);
344 static void test_visitor_in_size_str_keyval(TestInputVisitorData
*data
,
347 uint64_t res
, value
= 500 * 1024 * 1024;
350 v
= visitor_input_test_init_full(data
, true, "\"500M\"");
352 visit_type_size(v
, NULL
, &res
, &error_abort
);
353 g_assert_cmpfloat(res
, ==, value
);
356 static void test_visitor_in_size_str_fail(TestInputVisitorData
*data
,
363 v
= visitor_input_test_init(data
, "\"500M\"");
365 visit_type_size(v
, NULL
, &res
, &err
);
366 error_free_or_abort(&err
);
369 static void test_visitor_in_string(TestInputVisitorData
*data
,
372 char *res
= NULL
, *value
= (char *) "Q E M U";
375 v
= visitor_input_test_init(data
, "%s", value
);
377 visit_type_str(v
, NULL
, &res
, &error_abort
);
378 g_assert_cmpstr(res
, ==, value
);
383 static void test_visitor_in_enum(TestInputVisitorData
*data
,
389 for (i
= 0; i
< ENUM_ONE__MAX
; i
++) {
392 v
= visitor_input_test_init(data
, "%s", EnumOne_str(i
));
394 visit_type_EnumOne(v
, NULL
, &res
, &error_abort
);
395 g_assert_cmpint(i
, ==, res
);
400 static void test_visitor_in_struct(TestInputVisitorData
*data
,
403 TestStruct
*p
= NULL
;
406 v
= visitor_input_test_init(data
, "{ 'integer': -42, 'boolean': true, 'string': 'foo' }");
408 visit_type_TestStruct(v
, NULL
, &p
, &error_abort
);
409 g_assert_cmpint(p
->integer
, ==, -42);
410 g_assert(p
->boolean
== true);
411 g_assert_cmpstr(p
->string
, ==, "foo");
417 static void test_visitor_in_struct_nested(TestInputVisitorData
*data
,
420 g_autoptr(UserDefTwo
) udp
= NULL
;
423 v
= visitor_input_test_init(data
, "{ 'string0': 'string0', "
424 "'dict1': { 'string1': 'string1', "
425 "'dict2': { 'userdef': { 'integer': 42, "
426 "'string': 'string' }, 'string': 'string2'}}}");
428 visit_type_UserDefTwo(v
, NULL
, &udp
, &error_abort
);
430 g_assert_cmpstr(udp
->string0
, ==, "string0");
431 g_assert_cmpstr(udp
->dict1
->string1
, ==, "string1");
432 g_assert_cmpint(udp
->dict1
->dict2
->userdef
->integer
, ==, 42);
433 g_assert_cmpstr(udp
->dict1
->dict2
->userdef
->string
, ==, "string");
434 g_assert_cmpstr(udp
->dict1
->dict2
->string
, ==, "string2");
435 g_assert(!udp
->dict1
->dict3
);
438 static void test_visitor_in_list(TestInputVisitorData
*data
,
441 UserDefOneList
*item
, *head
= NULL
;
445 v
= visitor_input_test_init(data
, "[ { 'string': 'string0', 'integer': 42 }, { 'string': 'string1', 'integer': 43 }, { 'string': 'string2', 'integer': 44 } ]");
447 visit_type_UserDefOneList(v
, NULL
, &head
, &error_abort
);
448 g_assert(head
!= NULL
);
450 for (i
= 0, item
= head
; item
; item
= item
->next
, i
++) {
451 g_autofree
char *string
= g_strdup_printf("string%d", i
);
453 g_assert_cmpstr(item
->value
->string
, ==, string
);
454 g_assert_cmpint(item
->value
->integer
, ==, 42 + i
);
457 qapi_free_UserDefOneList(head
);
460 /* An empty list is valid */
461 v
= visitor_input_test_init(data
, "[]");
462 visit_type_UserDefOneList(v
, NULL
, &head
, &error_abort
);
466 static void test_visitor_in_list_struct(TestInputVisitorData
*data
,
469 const char *int_member
[] = {
470 "integer", "s8", "s16", "s32", "s64", "u8", "u16", "u32", "u64" };
471 g_autoptr(GString
) json
= g_string_new("");
474 g_autoptr(ArrayStruct
) arrs
= NULL
;
482 uint16List
*u16_list
;
483 uint32List
*u32_list
;
484 uint64List
*u64_list
;
485 numberList
*num_list
;
489 g_string_append_printf(json
, "{");
491 for (i
= 0; i
< G_N_ELEMENTS(int_member
); i
++) {
492 g_string_append_printf(json
, "'%s': [", int_member
[i
]);
494 for (j
= 0; j
< 32; j
++) {
495 g_string_append_printf(json
, "%s%d", sep
, j
);
498 g_string_append_printf(json
, "], ");
501 g_string_append_printf(json
, "'number': [");
503 for (i
= 0; i
< 32; i
++) {
504 g_string_append_printf(json
, "%s%f", sep
, (double)i
/ 3);
507 g_string_append_printf(json
, "], ");
509 g_string_append_printf(json
, "'boolean': [");
511 for (i
= 0; i
< 32; i
++) {
512 g_string_append_printf(json
, "%s%s",
513 sep
, i
% 3 == 0 ? "true" : "false");
516 g_string_append_printf(json
, "], ");
518 g_string_append_printf(json
, "'string': [");
520 for (i
= 0; i
< 32; i
++) {
521 g_string_append_printf(json
, "%s'%d'", sep
, i
);
524 g_string_append_printf(json
, "]");
526 g_string_append_printf(json
, "}");
528 v
= visitor_input_test_init_raw(data
, json
->str
);
529 visit_type_ArrayStruct(v
, NULL
, &arrs
, &error_abort
);
532 for (int_list
= arrs
->integer
; int_list
; int_list
= int_list
->next
) {
533 g_assert_cmpint(int_list
->value
, ==, i
);
538 for (s8_list
= arrs
->s8
; s8_list
; s8_list
= s8_list
->next
) {
539 g_assert_cmpint(s8_list
->value
, ==, i
);
544 for (s16_list
= arrs
->s16
; s16_list
; s16_list
= s16_list
->next
) {
545 g_assert_cmpint(s16_list
->value
, ==, i
);
550 for (s32_list
= arrs
->s32
; s32_list
; s32_list
= s32_list
->next
) {
551 g_assert_cmpint(s32_list
->value
, ==, i
);
556 for (s64_list
= arrs
->s64
; s64_list
; s64_list
= s64_list
->next
) {
557 g_assert_cmpint(s64_list
->value
, ==, i
);
562 for (u8_list
= arrs
->u8
; u8_list
; u8_list
= u8_list
->next
) {
563 g_assert_cmpint(u8_list
->value
, ==, i
);
568 for (u16_list
= arrs
->u16
; u16_list
; u16_list
= u16_list
->next
) {
569 g_assert_cmpint(u16_list
->value
, ==, i
);
574 for (u32_list
= arrs
->u32
; u32_list
; u32_list
= u32_list
->next
) {
575 g_assert_cmpint(u32_list
->value
, ==, i
);
580 for (u64_list
= arrs
->u64
; u64_list
; u64_list
= u64_list
->next
) {
581 g_assert_cmpint(u64_list
->value
, ==, i
);
586 for (num_list
= arrs
->number
; num_list
; num_list
= num_list
->next
) {
587 char expected
[32], actual
[32];
589 sprintf(expected
, "%.6f", (double)i
/ 3);
590 sprintf(actual
, "%.6f", num_list
->value
);
591 g_assert_cmpstr(expected
, ==, actual
);
596 for (bool_list
= arrs
->boolean
; bool_list
; bool_list
= bool_list
->next
) {
597 g_assert_cmpint(bool_list
->value
, ==, i
% 3 == 0);
602 for (str_list
= arrs
->string
; str_list
; str_list
= str_list
->next
) {
605 sprintf(expected
, "%d", i
);
606 g_assert_cmpstr(str_list
->value
, ==, expected
);
611 static void test_visitor_in_any(TestInputVisitorData
*data
,
623 v
= visitor_input_test_init(data
, "-42");
624 visit_type_any(v
, NULL
, &res
, &error_abort
);
625 qnum
= qobject_to(QNum
, res
);
627 g_assert(qnum_get_try_int(qnum
, &val
));
628 g_assert_cmpint(val
, ==, -42);
631 v
= visitor_input_test_init(data
, "{ 'integer': -42, 'boolean': true, 'string': 'foo' }");
632 visit_type_any(v
, NULL
, &res
, &error_abort
);
633 qdict
= qobject_to(QDict
, res
);
634 g_assert(qdict
&& qdict_size(qdict
) == 3);
635 qobj
= qdict_get(qdict
, "integer");
637 qnum
= qobject_to(QNum
, qobj
);
639 g_assert(qnum_get_try_int(qnum
, &val
));
640 g_assert_cmpint(val
, ==, -42);
641 qobj
= qdict_get(qdict
, "boolean");
643 qbool
= qobject_to(QBool
, qobj
);
645 g_assert(qbool_get_bool(qbool
) == true);
646 qobj
= qdict_get(qdict
, "string");
648 qstring
= qobject_to(QString
, qobj
);
650 g_assert_cmpstr(qstring_get_str(qstring
), ==, "foo");
654 static void test_visitor_in_null(TestInputVisitorData
*data
,
663 * FIXME: Since QAPI doesn't know the 'null' type yet, we can't
664 * test visit_type_null() by reading into a QAPI struct then
665 * checking that it was populated correctly. The best we can do
666 * for now is ensure that we consumed null from the input, proven
667 * by the fact that we can't re-read the key; and that we detect
668 * when input is not null.
671 v
= visitor_input_test_init_full(data
, false,
672 "{ 'a': null, 'b': '' }");
673 visit_start_struct(v
, NULL
, NULL
, 0, &error_abort
);
674 visit_type_null(v
, "a", &null
, &error_abort
);
675 g_assert(qobject_type(QOBJECT(null
)) == QTYPE_QNULL
);
677 visit_type_null(v
, "b", &null
, &err
);
678 error_free_or_abort(&err
);
680 visit_type_str(v
, "c", &tmp
, &err
);
681 error_free_or_abort(&err
);
683 visit_check_struct(v
, &error_abort
);
684 visit_end_struct(v
, NULL
);
687 static void test_visitor_in_union_flat(TestInputVisitorData
*data
,
691 g_autoptr(UserDefFlatUnion
) tmp
= NULL
;
692 UserDefUnionBase
*base
;
694 v
= visitor_input_test_init(data
,
695 "{ 'enum1': 'value1', "
698 "'boolean': true }");
700 visit_type_UserDefFlatUnion(v
, NULL
, &tmp
, &error_abort
);
701 g_assert_cmpint(tmp
->enum1
, ==, ENUM_ONE_VALUE1
);
702 g_assert_cmpstr(tmp
->string
, ==, "str");
703 g_assert_cmpint(tmp
->integer
, ==, 41);
704 g_assert_cmpint(tmp
->u
.value1
.boolean
, ==, true);
706 base
= qapi_UserDefFlatUnion_base(tmp
);
707 g_assert(&base
->enum1
== &tmp
->enum1
);
710 static void test_visitor_in_union_in_union(TestInputVisitorData
*data
,
714 g_autoptr(TestUnionInUnion
) tmp
= NULL
;
716 v
= visitor_input_test_init(data
,
717 "{ 'type': 'value-a', "
718 " 'type-a': 'value-a1', "
720 " 'name': 'fish' }");
722 visit_type_TestUnionInUnion(v
, NULL
, &tmp
, &error_abort
);
723 g_assert_cmpint(tmp
->type
, ==, TEST_UNION_ENUM_VALUE_A
);
724 g_assert_cmpint(tmp
->u
.value_a
.type_a
, ==, TEST_UNION_ENUMA_VALUE_A1
);
725 g_assert_cmpint(tmp
->u
.value_a
.u
.value_a1
.integer
, ==, 2);
726 g_assert_cmpint(strcmp(tmp
->u
.value_a
.u
.value_a1
.name
, "fish"), ==, 0);
728 qapi_free_TestUnionInUnion(tmp
);
730 v
= visitor_input_test_init(data
,
731 "{ 'type': 'value-a', "
732 " 'type-a': 'value-a2', "
734 " 'size': 87539319 }");
736 visit_type_TestUnionInUnion(v
, NULL
, &tmp
, &error_abort
);
737 g_assert_cmpint(tmp
->type
, ==, TEST_UNION_ENUM_VALUE_A
);
738 g_assert_cmpint(tmp
->u
.value_a
.type_a
, ==, TEST_UNION_ENUMA_VALUE_A2
);
739 g_assert_cmpint(tmp
->u
.value_a
.u
.value_a2
.integer
, ==, 1729);
740 g_assert_cmpint(tmp
->u
.value_a
.u
.value_a2
.size
, ==, 87539319);
742 qapi_free_TestUnionInUnion(tmp
);
744 v
= visitor_input_test_init(data
,
745 "{ 'type': 'value-b', "
749 visit_type_TestUnionInUnion(v
, NULL
, &tmp
, &error_abort
);
750 g_assert_cmpint(tmp
->type
, ==, TEST_UNION_ENUM_VALUE_B
);
751 g_assert_cmpint(tmp
->u
.value_b
.integer
, ==, 1729);
752 g_assert_cmpint(tmp
->u
.value_b
.onoff
, ==, true);
755 static void test_visitor_in_alternate(TestInputVisitorData
*data
,
759 UserDefAlternate
*tmp
;
762 v
= visitor_input_test_init(data
, "42");
763 visit_type_UserDefAlternate(v
, NULL
, &tmp
, &error_abort
);
764 g_assert_cmpint(tmp
->type
, ==, QTYPE_QNUM
);
765 g_assert_cmpint(tmp
->u
.i
, ==, 42);
766 qapi_free_UserDefAlternate(tmp
);
768 v
= visitor_input_test_init(data
, "'value1'");
769 visit_type_UserDefAlternate(v
, NULL
, &tmp
, &error_abort
);
770 g_assert_cmpint(tmp
->type
, ==, QTYPE_QSTRING
);
771 g_assert_cmpint(tmp
->u
.e
, ==, ENUM_ONE_VALUE1
);
772 qapi_free_UserDefAlternate(tmp
);
774 v
= visitor_input_test_init(data
, "null");
775 visit_type_UserDefAlternate(v
, NULL
, &tmp
, &error_abort
);
776 g_assert_cmpint(tmp
->type
, ==, QTYPE_QNULL
);
777 qapi_free_UserDefAlternate(tmp
);
779 v
= visitor_input_test_init(data
, "{'integer':1, 'string':'str', "
780 "'enum1':'value1', 'boolean':true}");
781 visit_type_UserDefAlternate(v
, NULL
, &tmp
, &error_abort
);
782 g_assert_cmpint(tmp
->type
, ==, QTYPE_QDICT
);
783 g_assert_cmpint(tmp
->u
.udfu
.integer
, ==, 1);
784 g_assert_cmpstr(tmp
->u
.udfu
.string
, ==, "str");
785 g_assert_cmpint(tmp
->u
.udfu
.enum1
, ==, ENUM_ONE_VALUE1
);
786 g_assert_cmpint(tmp
->u
.udfu
.u
.value1
.boolean
, ==, true);
787 g_assert_cmpint(tmp
->u
.udfu
.u
.value1
.has_a_b
, ==, false);
788 qapi_free_UserDefAlternate(tmp
);
790 v
= visitor_input_test_init(data
, "{ 'alt': 42 }");
791 visit_type_WrapAlternate(v
, NULL
, &wrap
, &error_abort
);
792 g_assert_cmpint(wrap
->alt
->type
, ==, QTYPE_QNUM
);
793 g_assert_cmpint(wrap
->alt
->u
.i
, ==, 42);
794 qapi_free_WrapAlternate(wrap
);
796 v
= visitor_input_test_init(data
, "{ 'alt': 'value1' }");
797 visit_type_WrapAlternate(v
, NULL
, &wrap
, &error_abort
);
798 g_assert_cmpint(wrap
->alt
->type
, ==, QTYPE_QSTRING
);
799 g_assert_cmpint(wrap
->alt
->u
.e
, ==, ENUM_ONE_VALUE1
);
800 qapi_free_WrapAlternate(wrap
);
802 v
= visitor_input_test_init(data
, "{ 'alt': {'integer':1, 'string':'str', "
803 "'enum1':'value1', 'boolean':true} }");
804 visit_type_WrapAlternate(v
, NULL
, &wrap
, &error_abort
);
805 g_assert_cmpint(wrap
->alt
->type
, ==, QTYPE_QDICT
);
806 g_assert_cmpint(wrap
->alt
->u
.udfu
.integer
, ==, 1);
807 g_assert_cmpstr(wrap
->alt
->u
.udfu
.string
, ==, "str");
808 g_assert_cmpint(wrap
->alt
->u
.udfu
.enum1
, ==, ENUM_ONE_VALUE1
);
809 g_assert_cmpint(wrap
->alt
->u
.udfu
.u
.value1
.boolean
, ==, true);
810 g_assert_cmpint(wrap
->alt
->u
.udfu
.u
.value1
.has_a_b
, ==, false);
811 qapi_free_WrapAlternate(wrap
);
814 static void test_visitor_in_alternate_number(TestInputVisitorData
*data
,
827 v
= visitor_input_test_init(data
, "42");
828 visit_type_AltEnumBool(v
, NULL
, &aeb
, &err
);
829 error_free_or_abort(&err
);
830 qapi_free_AltEnumBool(aeb
);
832 v
= visitor_input_test_init(data
, "42");
833 visit_type_AltEnumNum(v
, NULL
, &aen
, &error_abort
);
834 g_assert_cmpint(aen
->type
, ==, QTYPE_QNUM
);
835 g_assert_cmpfloat(aen
->u
.n
, ==, 42);
836 qapi_free_AltEnumNum(aen
);
838 v
= visitor_input_test_init(data
, "42");
839 visit_type_AltNumEnum(v
, NULL
, &ans
, &error_abort
);
840 g_assert_cmpint(ans
->type
, ==, QTYPE_QNUM
);
841 g_assert_cmpfloat(ans
->u
.n
, ==, 42);
842 qapi_free_AltNumEnum(ans
);
844 v
= visitor_input_test_init(data
, "42");
845 visit_type_AltEnumInt(v
, NULL
, &asi
, &error_abort
);
846 g_assert_cmpint(asi
->type
, ==, QTYPE_QNUM
);
847 g_assert_cmpint(asi
->u
.i
, ==, 42);
848 qapi_free_AltEnumInt(asi
);
850 v
= visitor_input_test_init(data
, "42");
851 visit_type_AltListInt(v
, NULL
, &ali
, &error_abort
);
852 g_assert_cmpint(ali
->type
, ==, QTYPE_QNUM
);
853 g_assert_cmpint(ali
->u
.i
, ==, 42);
854 qapi_free_AltListInt(ali
);
856 /* Parsing a double */
858 v
= visitor_input_test_init(data
, "42.5");
859 visit_type_AltEnumBool(v
, NULL
, &aeb
, &err
);
860 error_free_or_abort(&err
);
861 qapi_free_AltEnumBool(aeb
);
863 v
= visitor_input_test_init(data
, "42.5");
864 visit_type_AltEnumNum(v
, NULL
, &aen
, &error_abort
);
865 g_assert_cmpint(aen
->type
, ==, QTYPE_QNUM
);
866 g_assert_cmpfloat(aen
->u
.n
, ==, 42.5);
867 qapi_free_AltEnumNum(aen
);
869 v
= visitor_input_test_init(data
, "42.5");
870 visit_type_AltNumEnum(v
, NULL
, &ans
, &error_abort
);
871 g_assert_cmpint(ans
->type
, ==, QTYPE_QNUM
);
872 g_assert_cmpfloat(ans
->u
.n
, ==, 42.5);
873 qapi_free_AltNumEnum(ans
);
875 v
= visitor_input_test_init(data
, "42.5");
876 visit_type_AltEnumInt(v
, NULL
, &asi
, &err
);
877 error_free_or_abort(&err
);
878 qapi_free_AltEnumInt(asi
);
881 static void test_visitor_in_alternate_list(TestInputVisitorData
*data
,
889 v
= visitor_input_test_init(data
, "[ 42, 43, 44 ]");
890 visit_type_AltListInt(v
, NULL
, &ali
, &error_abort
);
891 g_assert(ali
!= NULL
);
893 g_assert_cmpint(ali
->type
, ==, QTYPE_QLIST
);
894 for (i
= 0, item
= ali
->u
.l
; item
; item
= item
->next
, i
++) {
895 g_assert_cmpint(item
->value
, ==, 42 + i
);
898 qapi_free_AltListInt(ali
);
901 /* An empty list is valid */
902 v
= visitor_input_test_init(data
, "[]");
903 visit_type_AltListInt(v
, NULL
, &ali
, &error_abort
);
904 g_assert(ali
!= NULL
);
906 g_assert_cmpint(ali
->type
, ==, QTYPE_QLIST
);
908 qapi_free_AltListInt(ali
);
912 static void input_visitor_test_add(const char *testpath
,
913 const void *user_data
,
914 void (*test_func
)(TestInputVisitorData
*data
,
915 const void *user_data
))
917 g_test_add(testpath
, TestInputVisitorData
, user_data
, NULL
, test_func
,
918 visitor_input_teardown
);
921 static void test_visitor_in_errors(TestInputVisitorData
*data
,
924 TestStruct
*p
= NULL
;
928 UserDefTwo
*r
= NULL
;
929 WrapAlternate
*s
= NULL
;
931 v
= visitor_input_test_init(data
, "{ 'integer': false, 'boolean': 'foo', "
934 visit_type_TestStruct(v
, NULL
, &p
, &err
);
935 error_free_or_abort(&err
);
938 v
= visitor_input_test_init(data
, "[ '1', '2', false, '3' ]");
939 visit_type_strList(v
, NULL
, &q
, &err
);
940 error_free_or_abort(&err
);
943 v
= visitor_input_test_init(data
, "{ 'str':'hi' }");
944 visit_type_UserDefTwo(v
, NULL
, &r
, &err
);
945 error_free_or_abort(&err
);
948 v
= visitor_input_test_init(data
, "{ }");
949 visit_type_WrapAlternate(v
, NULL
, &s
, &err
);
950 error_free_or_abort(&err
);
954 static void test_visitor_in_wrong_type(TestInputVisitorData
*data
,
957 TestStruct
*p
= NULL
;
963 /* Make sure arrays and structs cannot be confused */
965 v
= visitor_input_test_init(data
, "[]");
966 visit_type_TestStruct(v
, NULL
, &p
, &err
);
967 error_free_or_abort(&err
);
970 v
= visitor_input_test_init(data
, "{}");
971 visit_type_strList(v
, NULL
, &q
, &err
);
972 error_free_or_abort(&err
);
975 /* Make sure primitives and struct cannot be confused */
977 v
= visitor_input_test_init(data
, "1");
978 visit_type_TestStruct(v
, NULL
, &p
, &err
);
979 error_free_or_abort(&err
);
982 v
= visitor_input_test_init(data
, "{}");
983 visit_type_int(v
, NULL
, &i
, &err
);
984 error_free_or_abort(&err
);
986 /* Make sure primitives and arrays cannot be confused */
988 v
= visitor_input_test_init(data
, "1");
989 visit_type_strList(v
, NULL
, &q
, &err
);
990 error_free_or_abort(&err
);
993 v
= visitor_input_test_init(data
, "[]");
994 visit_type_int(v
, NULL
, &i
, &err
);
995 error_free_or_abort(&err
);
998 static void test_visitor_in_fail_struct(TestInputVisitorData
*data
,
1001 TestStruct
*p
= NULL
;
1005 v
= visitor_input_test_init(data
, "{ 'integer': -42, 'boolean': true, 'string': 'foo', 'extra': 42 }");
1007 visit_type_TestStruct(v
, NULL
, &p
, &err
);
1008 error_free_or_abort(&err
);
1012 static void test_visitor_in_fail_struct_nested(TestInputVisitorData
*data
,
1015 UserDefTwo
*udp
= NULL
;
1019 v
= visitor_input_test_init(data
, "{ 'string0': 'string0', 'dict1': { 'string1': 'string1', 'dict2': { 'userdef1': { 'integer': 42, 'string': 'string', 'extra': [42, 23, {'foo':'bar'}] }, 'string2': 'string2'}}}");
1021 visit_type_UserDefTwo(v
, NULL
, &udp
, &err
);
1022 error_free_or_abort(&err
);
1026 static void test_visitor_in_fail_struct_in_list(TestInputVisitorData
*data
,
1029 UserDefOneList
*head
= NULL
;
1033 v
= visitor_input_test_init(data
, "[ { 'string': 'string0', 'integer': 42 }, { 'string': 'string1', 'integer': 43 }, { 'string': 'string2', 'integer': 44, 'extra': 'ggg' } ]");
1035 visit_type_UserDefOneList(v
, NULL
, &head
, &err
);
1036 error_free_or_abort(&err
);
1040 static void test_visitor_in_fail_struct_missing(TestInputVisitorData
*data
,
1047 GenericAlternate
*alt
;
1056 v
= visitor_input_test_init(data
, "{ 'sub': [ {} ] }");
1057 visit_start_struct(v
, NULL
, NULL
, 0, &error_abort
);
1058 visit_start_struct(v
, "struct", NULL
, 0, &err
);
1059 error_free_or_abort(&err
);
1060 visit_start_list(v
, "list", NULL
, 0, &err
);
1061 error_free_or_abort(&err
);
1062 visit_start_alternate(v
, "alternate", &alt
, sizeof(*alt
), &err
);
1063 error_free_or_abort(&err
);
1064 visit_optional(v
, "optional", &present
);
1066 visit_type_enum(v
, "enum", &en
, &EnumOne_lookup
, &err
);
1067 error_free_or_abort(&err
);
1068 visit_type_int(v
, "i64", &i64
, &err
);
1069 error_free_or_abort(&err
);
1070 visit_type_uint32(v
, "u32", &u32
, &err
);
1071 error_free_or_abort(&err
);
1072 visit_type_int8(v
, "i8", &i8
, &err
);
1073 error_free_or_abort(&err
);
1074 visit_type_str(v
, "i8", &str
, &err
);
1075 error_free_or_abort(&err
);
1076 visit_type_number(v
, "dbl", &dbl
, &err
);
1077 error_free_or_abort(&err
);
1078 visit_type_any(v
, "any", &any
, &err
);
1079 error_free_or_abort(&err
);
1080 visit_type_null(v
, "null", &null
, &err
);
1081 error_free_or_abort(&err
);
1082 visit_start_list(v
, "sub", NULL
, 0, &error_abort
);
1083 visit_start_struct(v
, NULL
, NULL
, 0, &error_abort
);
1084 visit_type_int(v
, "i64", &i64
, &err
);
1085 error_free_or_abort(&err
);
1086 visit_end_struct(v
, NULL
);
1087 visit_end_list(v
, NULL
);
1088 visit_end_struct(v
, NULL
);
1091 static void test_visitor_in_fail_list(TestInputVisitorData
*data
,
1098 /* Unvisited list tail */
1100 v
= visitor_input_test_init(data
, "[ 1, 2, 3 ]");
1102 visit_start_list(v
, NULL
, NULL
, 0, &error_abort
);
1103 visit_type_int(v
, NULL
, &i64
, &error_abort
);
1104 g_assert_cmpint(i64
, ==, 1);
1105 visit_type_int(v
, NULL
, &i64
, &error_abort
);
1106 g_assert_cmpint(i64
, ==, 2);
1107 visit_check_list(v
, &err
);
1108 error_free_or_abort(&err
);
1109 visit_end_list(v
, NULL
);
1111 /* Visit beyond end of list */
1112 v
= visitor_input_test_init(data
, "[]");
1114 visit_start_list(v
, NULL
, NULL
, 0, &error_abort
);
1115 visit_type_int(v
, NULL
, &i64
, &err
);
1116 error_free_or_abort(&err
);
1117 visit_end_list(v
, NULL
);
1120 static void test_visitor_in_fail_list_nested(TestInputVisitorData
*data
,
1127 /* Unvisited nested list tail */
1129 v
= visitor_input_test_init(data
, "[ 0, [ 1, 2, 3 ] ]");
1131 visit_start_list(v
, NULL
, NULL
, 0, &error_abort
);
1132 visit_type_int(v
, NULL
, &i64
, &error_abort
);
1133 g_assert_cmpint(i64
, ==, 0);
1134 visit_start_list(v
, NULL
, NULL
, 0, &error_abort
);
1135 visit_type_int(v
, NULL
, &i64
, &error_abort
);
1136 g_assert_cmpint(i64
, ==, 1);
1137 visit_check_list(v
, &err
);
1138 error_free_or_abort(&err
);
1139 visit_end_list(v
, NULL
);
1140 visit_check_list(v
, &error_abort
);
1141 visit_end_list(v
, NULL
);
1144 static void test_visitor_in_fail_union_flat(TestInputVisitorData
*data
,
1147 UserDefFlatUnion
*tmp
= NULL
;
1151 v
= visitor_input_test_init(data
, "{ 'enum1': 'value2', 'string': 'c', 'integer': 41, 'boolean': true }");
1153 visit_type_UserDefFlatUnion(v
, NULL
, &tmp
, &err
);
1154 error_free_or_abort(&err
);
1158 static void test_visitor_in_fail_union_flat_no_discrim(TestInputVisitorData
*data
,
1161 UserDefFlatUnion2
*tmp
= NULL
;
1165 /* test situation where discriminator field ('enum1' here) is missing */
1166 v
= visitor_input_test_init(data
, "{ 'integer': 42, 'string': 'c', 'string1': 'd', 'string2': 'e' }");
1168 visit_type_UserDefFlatUnion2(v
, NULL
, &tmp
, &err
);
1169 error_free_or_abort(&err
);
1173 static void test_visitor_in_fail_alternate(TestInputVisitorData
*data
,
1176 UserDefAlternate
*tmp
;
1180 v
= visitor_input_test_init(data
, "3.14");
1182 visit_type_UserDefAlternate(v
, NULL
, &tmp
, &err
);
1183 error_free_or_abort(&err
);
1187 static void do_test_visitor_in_qmp_introspect(TestInputVisitorData
*data
,
1188 const QLitObject
*qlit
)
1190 g_autoptr(SchemaInfoList
) schema
= NULL
;
1191 QObject
*obj
= qobject_from_qlit(qlit
);
1194 v
= qobject_input_visitor_new(obj
);
1196 visit_type_SchemaInfoList(v
, NULL
, &schema
, &error_abort
);
1203 static void test_visitor_in_qmp_introspect(TestInputVisitorData
*data
,
1206 do_test_visitor_in_qmp_introspect(data
, &test_qmp_schema_qlit
);
1209 int main(int argc
, char **argv
)
1211 g_test_init(&argc
, &argv
, NULL
);
1213 input_visitor_test_add("/visitor/input/int",
1214 NULL
, test_visitor_in_int
);
1215 input_visitor_test_add("/visitor/input/uint",
1216 NULL
, test_visitor_in_uint
);
1217 input_visitor_test_add("/visitor/input/int_overflow",
1218 NULL
, test_visitor_in_int_overflow
);
1219 input_visitor_test_add("/visitor/input/int_keyval",
1220 NULL
, test_visitor_in_int_keyval
);
1221 input_visitor_test_add("/visitor/input/int_str_keyval",
1222 NULL
, test_visitor_in_int_str_keyval
);
1223 input_visitor_test_add("/visitor/input/int_str_fail",
1224 NULL
, test_visitor_in_int_str_fail
);
1225 input_visitor_test_add("/visitor/input/bool",
1226 NULL
, test_visitor_in_bool
);
1227 input_visitor_test_add("/visitor/input/bool_keyval",
1228 NULL
, test_visitor_in_bool_keyval
);
1229 input_visitor_test_add("/visitor/input/bool_str_keyval",
1230 NULL
, test_visitor_in_bool_str_keyval
);
1231 input_visitor_test_add("/visitor/input/bool_str_fail",
1232 NULL
, test_visitor_in_bool_str_fail
);
1233 input_visitor_test_add("/visitor/input/number",
1234 NULL
, test_visitor_in_number
);
1235 input_visitor_test_add("/visitor/input/large_number",
1236 NULL
, test_visitor_in_large_number
);
1237 input_visitor_test_add("/visitor/input/number_keyval",
1238 NULL
, test_visitor_in_number_keyval
);
1239 input_visitor_test_add("/visitor/input/number_str_keyval",
1240 NULL
, test_visitor_in_number_str_keyval
);
1241 input_visitor_test_add("/visitor/input/number_str_fail",
1242 NULL
, test_visitor_in_number_str_fail
);
1243 input_visitor_test_add("/visitor/input/size_str_keyval",
1244 NULL
, test_visitor_in_size_str_keyval
);
1245 input_visitor_test_add("/visitor/input/size_str_fail",
1246 NULL
, test_visitor_in_size_str_fail
);
1247 input_visitor_test_add("/visitor/input/string",
1248 NULL
, test_visitor_in_string
);
1249 input_visitor_test_add("/visitor/input/enum",
1250 NULL
, test_visitor_in_enum
);
1251 input_visitor_test_add("/visitor/input/struct",
1252 NULL
, test_visitor_in_struct
);
1253 input_visitor_test_add("/visitor/input/struct-nested",
1254 NULL
, test_visitor_in_struct_nested
);
1255 input_visitor_test_add("/visitor/input/list2",
1256 NULL
, test_visitor_in_list_struct
);
1257 input_visitor_test_add("/visitor/input/list",
1258 NULL
, test_visitor_in_list
);
1259 input_visitor_test_add("/visitor/input/any",
1260 NULL
, test_visitor_in_any
);
1261 input_visitor_test_add("/visitor/input/null",
1262 NULL
, test_visitor_in_null
);
1263 input_visitor_test_add("/visitor/input/union-flat",
1264 NULL
, test_visitor_in_union_flat
);
1265 input_visitor_test_add("/visitor/input/union-in-union",
1266 NULL
, test_visitor_in_union_in_union
);
1267 input_visitor_test_add("/visitor/input/alternate",
1268 NULL
, test_visitor_in_alternate
);
1269 input_visitor_test_add("/visitor/input/errors",
1270 NULL
, test_visitor_in_errors
);
1271 input_visitor_test_add("/visitor/input/wrong-type",
1272 NULL
, test_visitor_in_wrong_type
);
1273 input_visitor_test_add("/visitor/input/alternate-number",
1274 NULL
, test_visitor_in_alternate_number
);
1275 input_visitor_test_add("/visitor/input/alternate-list",
1276 NULL
, test_visitor_in_alternate_list
);
1277 input_visitor_test_add("/visitor/input/fail/struct",
1278 NULL
, test_visitor_in_fail_struct
);
1279 input_visitor_test_add("/visitor/input/fail/struct-nested",
1280 NULL
, test_visitor_in_fail_struct_nested
);
1281 input_visitor_test_add("/visitor/input/fail/struct-in-list",
1282 NULL
, test_visitor_in_fail_struct_in_list
);
1283 input_visitor_test_add("/visitor/input/fail/struct-missing",
1284 NULL
, test_visitor_in_fail_struct_missing
);
1285 input_visitor_test_add("/visitor/input/fail/list",
1286 NULL
, test_visitor_in_fail_list
);
1287 input_visitor_test_add("/visitor/input/fail/list-nested",
1288 NULL
, test_visitor_in_fail_list_nested
);
1289 input_visitor_test_add("/visitor/input/fail/union-flat",
1290 NULL
, test_visitor_in_fail_union_flat
);
1291 input_visitor_test_add("/visitor/input/fail/union-flat-no-discriminator",
1292 NULL
, test_visitor_in_fail_union_flat_no_discrim
);
1293 input_visitor_test_add("/visitor/input/fail/alternate",
1294 NULL
, test_visitor_in_fail_alternate
);
1295 input_visitor_test_add("/visitor/input/qapi-introspect",
1296 NULL
, test_visitor_in_qmp_introspect
);