1 /* 2 * QObject Input Visitor unit-tests. 3 * 4 * Copyright (C) 2011-2016 Red Hat Inc. 5 * 6 * Authors: 7 * Luiz Capitulino <lcapitulino@redhat.com> 8 * Paolo Bonzini <pbonzini@redhat.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 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" 28 29 typedef struct TestInputVisitorData { 30 QObject *obj; 31 Visitor *qiv; 32 } TestInputVisitorData; 33 34 static void visitor_input_teardown(TestInputVisitorData *data, 35 const void *unused) 36 { 37 qobject_unref(data->obj); 38 data->obj = NULL; 39 40 if (data->qiv) { 41 visit_free(data->qiv); 42 data->qiv = NULL; 43 } 44 } 45 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()). */ 49 50 static Visitor *test_init_internal(TestInputVisitorData *data, bool keyval, 51 QObject *obj) 52 { 53 visitor_input_teardown(data, NULL); 54 55 data->obj = obj; 56 57 if (keyval) { 58 data->qiv = qobject_input_visitor_new_keyval(data->obj); 59 } else { 60 data->qiv = qobject_input_visitor_new(data->obj); 61 } 62 g_assert(data->qiv); 63 return data->qiv; 64 } 65 66 static G_GNUC_PRINTF(3, 4) 67 Visitor *visitor_input_test_init_full(TestInputVisitorData *data, 68 bool keyval, 69 const char *json_string, ...) 70 { 71 Visitor *v; 72 va_list ap; 73 74 va_start(ap, json_string); 75 v = test_init_internal(data, keyval, 76 qobject_from_vjsonf_nofail(json_string, ap)); 77 va_end(ap); 78 return v; 79 } 80 81 static G_GNUC_PRINTF(2, 3) 82 Visitor *visitor_input_test_init(TestInputVisitorData *data, 83 const char *json_string, ...) 84 { 85 Visitor *v; 86 va_list ap; 87 88 va_start(ap, json_string); 89 v = test_init_internal(data, false, 90 qobject_from_vjsonf_nofail(json_string, ap)); 91 va_end(ap); 92 return v; 93 } 94 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 * programatically generated strings (and we can't pass in programatically 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 100 * string) 101 */ 102 static Visitor *visitor_input_test_init_raw(TestInputVisitorData *data, 103 const char *json_string) 104 { 105 return test_init_internal(data, false, 106 qobject_from_json(json_string, &error_abort)); 107 } 108 109 static void test_visitor_in_int(TestInputVisitorData *data, 110 const void *unused) 111 { 112 int64_t res = 0; 113 double dbl; 114 int value = -42; 115 Visitor *v; 116 117 v = visitor_input_test_init(data, "%d", value); 118 119 visit_type_int(v, NULL, &res, &error_abort); 120 g_assert_cmpint(res, ==, value); 121 122 visit_type_number(v, NULL, &dbl, &error_abort); 123 g_assert_cmpfloat(dbl, ==, -42.0); 124 } 125 126 static void test_visitor_in_uint(TestInputVisitorData *data, 127 const void *unused) 128 { 129 uint64_t res = 0; 130 int64_t i64; 131 double dbl; 132 int value = 42; 133 Visitor *v; 134 135 v = visitor_input_test_init(data, "%d", value); 136 137 visit_type_uint64(v, NULL, &res, &error_abort); 138 g_assert_cmpuint(res, ==, (uint64_t)value); 139 140 visit_type_int(v, NULL, &i64, &error_abort); 141 g_assert_cmpint(i64, ==, value); 142 143 visit_type_number(v, NULL, &dbl, &error_abort); 144 g_assert_cmpfloat(dbl, ==, value); 145 146 /* BUG: value between INT64_MIN and -1 accepted modulo 2^64 */ 147 v = visitor_input_test_init(data, "%d", -value); 148 149 visit_type_uint64(v, NULL, &res, &error_abort); 150 g_assert_cmpuint(res, ==, (uint64_t)-value); 151 152 v = visitor_input_test_init(data, "18446744073709551574"); 153 154 visit_type_uint64(v, NULL, &res, &error_abort); 155 g_assert_cmpuint(res, ==, 18446744073709551574U); 156 157 visit_type_number(v, NULL, &dbl, &error_abort); 158 g_assert_cmpfloat(dbl, ==, 18446744073709552000.0); 159 } 160 161 static void test_visitor_in_int_overflow(TestInputVisitorData *data, 162 const void *unused) 163 { 164 int64_t res = 0; 165 Error *err = NULL; 166 Visitor *v; 167 168 /* 169 * This will overflow a QNUM_I64, so should be deserialized into a 170 * QNUM_DOUBLE field instead, leading to an error if we pass it to 171 * visit_type_int(). Confirm this. 172 */ 173 v = visitor_input_test_init(data, "%f", DBL_MAX); 174 175 visit_type_int(v, NULL, &res, &err); 176 error_free_or_abort(&err); 177 } 178 179 static void test_visitor_in_int_keyval(TestInputVisitorData *data, 180 const void *unused) 181 { 182 int64_t res = 0, value = -42; 183 Error *err = NULL; 184 Visitor *v; 185 186 v = visitor_input_test_init_full(data, true, "%" PRId64, value); 187 visit_type_int(v, NULL, &res, &err); 188 error_free_or_abort(&err); 189 } 190 191 static void test_visitor_in_int_str_keyval(TestInputVisitorData *data, 192 const void *unused) 193 { 194 int64_t res = 0, value = -42; 195 Visitor *v; 196 197 v = visitor_input_test_init_full(data, true, "\"-42\""); 198 199 visit_type_int(v, NULL, &res, &error_abort); 200 g_assert_cmpint(res, ==, value); 201 } 202 203 static void test_visitor_in_int_str_fail(TestInputVisitorData *data, 204 const void *unused) 205 { 206 int64_t res = 0; 207 Visitor *v; 208 Error *err = NULL; 209 210 v = visitor_input_test_init(data, "\"-42\""); 211 212 visit_type_int(v, NULL, &res, &err); 213 error_free_or_abort(&err); 214 } 215 216 static void test_visitor_in_bool(TestInputVisitorData *data, 217 const void *unused) 218 { 219 bool res = false; 220 Visitor *v; 221 222 v = visitor_input_test_init(data, "true"); 223 224 visit_type_bool(v, NULL, &res, &error_abort); 225 g_assert_cmpint(res, ==, true); 226 } 227 228 static void test_visitor_in_bool_keyval(TestInputVisitorData *data, 229 const void *unused) 230 { 231 bool res = false; 232 Error *err = NULL; 233 Visitor *v; 234 235 v = visitor_input_test_init_full(data, true, "true"); 236 237 visit_type_bool(v, NULL, &res, &err); 238 error_free_or_abort(&err); 239 } 240 241 static void test_visitor_in_bool_str_keyval(TestInputVisitorData *data, 242 const void *unused) 243 { 244 bool res = false; 245 Visitor *v; 246 247 v = visitor_input_test_init_full(data, true, "\"on\""); 248 249 visit_type_bool(v, NULL, &res, &error_abort); 250 g_assert_cmpint(res, ==, true); 251 } 252 253 static void test_visitor_in_bool_str_fail(TestInputVisitorData *data, 254 const void *unused) 255 { 256 bool res = false; 257 Visitor *v; 258 Error *err = NULL; 259 260 v = visitor_input_test_init(data, "\"true\""); 261 262 visit_type_bool(v, NULL, &res, &err); 263 error_free_or_abort(&err); 264 } 265 266 static void test_visitor_in_number(TestInputVisitorData *data, 267 const void *unused) 268 { 269 double res = 0, value = 3.14; 270 Visitor *v; 271 272 v = visitor_input_test_init(data, "%f", value); 273 274 visit_type_number(v, NULL, &res, &error_abort); 275 g_assert_cmpfloat(res, ==, value); 276 } 277 278 static void test_visitor_in_large_number(TestInputVisitorData *data, 279 const void *unused) 280 { 281 Error *err = NULL; 282 double res = 0; 283 int64_t i64; 284 uint64_t u64; 285 Visitor *v; 286 287 v = visitor_input_test_init(data, "-18446744073709551616"); /* -2^64 */ 288 289 visit_type_number(v, NULL, &res, &error_abort); 290 g_assert_cmpfloat(res, ==, -18446744073709552e3); 291 292 visit_type_int(v, NULL, &i64, &err); 293 error_free_or_abort(&err); 294 295 visit_type_uint64(v, NULL, &u64, &err); 296 error_free_or_abort(&err); 297 } 298 299 static void test_visitor_in_number_keyval(TestInputVisitorData *data, 300 const void *unused) 301 { 302 double res = 0, value = 3.14; 303 Error *err = NULL; 304 Visitor *v; 305 306 v = visitor_input_test_init_full(data, true, "%f", value); 307 308 visit_type_number(v, NULL, &res, &err); 309 error_free_or_abort(&err); 310 } 311 312 static void test_visitor_in_number_str_keyval(TestInputVisitorData *data, 313 const void *unused) 314 { 315 double res = 0, value = 3.14; 316 Visitor *v; 317 Error *err = NULL; 318 319 v = visitor_input_test_init_full(data, true, "\"3.14\""); 320 321 visit_type_number(v, NULL, &res, &error_abort); 322 g_assert_cmpfloat(res, ==, value); 323 324 v = visitor_input_test_init_full(data, true, "\"inf\""); 325 326 visit_type_number(v, NULL, &res, &err); 327 error_free_or_abort(&err); 328 } 329 330 static void test_visitor_in_number_str_fail(TestInputVisitorData *data, 331 const void *unused) 332 { 333 double res = 0; 334 Visitor *v; 335 Error *err = NULL; 336 337 v = visitor_input_test_init(data, "\"3.14\""); 338 339 visit_type_number(v, NULL, &res, &err); 340 error_free_or_abort(&err); 341 } 342 343 static void test_visitor_in_size_str_keyval(TestInputVisitorData *data, 344 const void *unused) 345 { 346 uint64_t res, value = 500 * 1024 * 1024; 347 Visitor *v; 348 349 v = visitor_input_test_init_full(data, true, "\"500M\""); 350 351 visit_type_size(v, NULL, &res, &error_abort); 352 g_assert_cmpfloat(res, ==, value); 353 } 354 355 static void test_visitor_in_size_str_fail(TestInputVisitorData *data, 356 const void *unused) 357 { 358 uint64_t res = 0; 359 Visitor *v; 360 Error *err = NULL; 361 362 v = visitor_input_test_init(data, "\"500M\""); 363 364 visit_type_size(v, NULL, &res, &err); 365 error_free_or_abort(&err); 366 } 367 368 static void test_visitor_in_string(TestInputVisitorData *data, 369 const void *unused) 370 { 371 char *res = NULL, *value = (char *) "Q E M U"; 372 Visitor *v; 373 374 v = visitor_input_test_init(data, "%s", value); 375 376 visit_type_str(v, NULL, &res, &error_abort); 377 g_assert_cmpstr(res, ==, value); 378 379 g_free(res); 380 } 381 382 static void test_visitor_in_enum(TestInputVisitorData *data, 383 const void *unused) 384 { 385 Visitor *v; 386 EnumOne i; 387 388 for (i = 0; i < ENUM_ONE__MAX; i++) { 389 EnumOne res = -1; 390 391 v = visitor_input_test_init(data, "%s", EnumOne_str(i)); 392 393 visit_type_EnumOne(v, NULL, &res, &error_abort); 394 g_assert_cmpint(i, ==, res); 395 } 396 } 397 398 399 static void test_visitor_in_struct(TestInputVisitorData *data, 400 const void *unused) 401 { 402 TestStruct *p = NULL; 403 Visitor *v; 404 405 v = visitor_input_test_init(data, "{ 'integer': -42, 'boolean': true, 'string': 'foo' }"); 406 407 visit_type_TestStruct(v, NULL, &p, &error_abort); 408 g_assert_cmpint(p->integer, ==, -42); 409 g_assert(p->boolean == true); 410 g_assert_cmpstr(p->string, ==, "foo"); 411 412 g_free(p->string); 413 g_free(p); 414 } 415 416 static void test_visitor_in_struct_nested(TestInputVisitorData *data, 417 const void *unused) 418 { 419 g_autoptr(UserDefTwo) udp = NULL; 420 Visitor *v; 421 422 v = visitor_input_test_init(data, "{ 'string0': 'string0', " 423 "'dict1': { 'string1': 'string1', " 424 "'dict2': { 'userdef': { 'integer': 42, " 425 "'string': 'string' }, 'string': 'string2'}}}"); 426 427 visit_type_UserDefTwo(v, NULL, &udp, &error_abort); 428 429 g_assert_cmpstr(udp->string0, ==, "string0"); 430 g_assert_cmpstr(udp->dict1->string1, ==, "string1"); 431 g_assert_cmpint(udp->dict1->dict2->userdef->integer, ==, 42); 432 g_assert_cmpstr(udp->dict1->dict2->userdef->string, ==, "string"); 433 g_assert_cmpstr(udp->dict1->dict2->string, ==, "string2"); 434 g_assert(udp->dict1->has_dict3 == false); 435 } 436 437 static void test_visitor_in_list(TestInputVisitorData *data, 438 const void *unused) 439 { 440 UserDefOneList *item, *head = NULL; 441 Visitor *v; 442 int i; 443 444 v = visitor_input_test_init(data, "[ { 'string': 'string0', 'integer': 42 }, { 'string': 'string1', 'integer': 43 }, { 'string': 'string2', 'integer': 44 } ]"); 445 446 visit_type_UserDefOneList(v, NULL, &head, &error_abort); 447 g_assert(head != NULL); 448 449 for (i = 0, item = head; item; item = item->next, i++) { 450 char string[12]; 451 452 snprintf(string, sizeof(string), "string%d", i); 453 g_assert_cmpstr(item->value->string, ==, string); 454 g_assert_cmpint(item->value->integer, ==, 42 + i); 455 } 456 457 qapi_free_UserDefOneList(head); 458 head = NULL; 459 460 /* An empty list is valid */ 461 v = visitor_input_test_init(data, "[]"); 462 visit_type_UserDefOneList(v, NULL, &head, &error_abort); 463 g_assert(!head); 464 } 465 466 static void test_visitor_in_list_struct(TestInputVisitorData *data, 467 const void *unused) 468 { 469 const char *int_member[] = { 470 "integer", "s8", "s16", "s32", "s64", "u8", "u16", "u32", "u64" }; 471 g_autoptr(GString) json = g_string_new(""); 472 int i, j; 473 const char *sep; 474 g_autoptr(ArrayStruct) arrs = NULL; 475 Visitor *v; 476 intList *int_list; 477 int8List *s8_list; 478 int16List *s16_list; 479 int32List *s32_list; 480 int64List *s64_list; 481 uint8List *u8_list; 482 uint16List *u16_list; 483 uint32List *u32_list; 484 uint64List *u64_list; 485 numberList *num_list; 486 boolList *bool_list; 487 strList *str_list; 488 489 g_string_append_printf(json, "{"); 490 491 for (i = 0; i < G_N_ELEMENTS(int_member); i++) { 492 g_string_append_printf(json, "'%s': [", int_member[i]); 493 sep = ""; 494 for (j = 0; j < 32; j++) { 495 g_string_append_printf(json, "%s%d", sep, j); 496 sep = ", "; 497 } 498 g_string_append_printf(json, "], "); 499 } 500 501 g_string_append_printf(json, "'number': ["); 502 sep = ""; 503 for (i = 0; i < 32; i++) { 504 g_string_append_printf(json, "%s%f", sep, (double)i / 3); 505 sep = ", "; 506 } 507 g_string_append_printf(json, "], "); 508 509 g_string_append_printf(json, "'boolean': ["); 510 sep = ""; 511 for (i = 0; i < 32; i++) { 512 g_string_append_printf(json, "%s%s", 513 sep, i % 3 == 0 ? "true" : "false"); 514 sep = ", "; 515 } 516 g_string_append_printf(json, "], "); 517 518 g_string_append_printf(json, "'string': ["); 519 sep = ""; 520 for (i = 0; i < 32; i++) { 521 g_string_append_printf(json, "%s'%d'", sep, i); 522 sep = ", "; 523 } 524 g_string_append_printf(json, "]"); 525 526 g_string_append_printf(json, "}"); 527 528 v = visitor_input_test_init_raw(data, json->str); 529 visit_type_ArrayStruct(v, NULL, &arrs, &error_abort); 530 531 i = 0; 532 for (int_list = arrs->integer; int_list; int_list = int_list->next) { 533 g_assert_cmpint(int_list->value, ==, i); 534 i++; 535 } 536 537 i = 0; 538 for (s8_list = arrs->s8; s8_list; s8_list = s8_list->next) { 539 g_assert_cmpint(s8_list->value, ==, i); 540 i++; 541 } 542 543 i = 0; 544 for (s16_list = arrs->s16; s16_list; s16_list = s16_list->next) { 545 g_assert_cmpint(s16_list->value, ==, i); 546 i++; 547 } 548 549 i = 0; 550 for (s32_list = arrs->s32; s32_list; s32_list = s32_list->next) { 551 g_assert_cmpint(s32_list->value, ==, i); 552 i++; 553 } 554 555 i = 0; 556 for (s64_list = arrs->s64; s64_list; s64_list = s64_list->next) { 557 g_assert_cmpint(s64_list->value, ==, i); 558 i++; 559 } 560 561 i = 0; 562 for (u8_list = arrs->u8; u8_list; u8_list = u8_list->next) { 563 g_assert_cmpint(u8_list->value, ==, i); 564 i++; 565 } 566 567 i = 0; 568 for (u16_list = arrs->u16; u16_list; u16_list = u16_list->next) { 569 g_assert_cmpint(u16_list->value, ==, i); 570 i++; 571 } 572 573 i = 0; 574 for (u32_list = arrs->u32; u32_list; u32_list = u32_list->next) { 575 g_assert_cmpint(u32_list->value, ==, i); 576 i++; 577 } 578 579 i = 0; 580 for (u64_list = arrs->u64; u64_list; u64_list = u64_list->next) { 581 g_assert_cmpint(u64_list->value, ==, i); 582 i++; 583 } 584 585 i = 0; 586 for (num_list = arrs->number; num_list; num_list = num_list->next) { 587 char expected[32], actual[32]; 588 589 sprintf(expected, "%.6f", (double)i / 3); 590 sprintf(actual, "%.6f", num_list->value); 591 g_assert_cmpstr(expected, ==, actual); 592 i++; 593 } 594 595 i = 0; 596 for (bool_list = arrs->boolean; bool_list; bool_list = bool_list->next) { 597 g_assert_cmpint(bool_list->value, ==, i % 3 == 0); 598 i++; 599 } 600 601 i = 0; 602 for (str_list = arrs->string; str_list; str_list = str_list->next) { 603 char expected[32]; 604 605 sprintf(expected, "%d", i); 606 g_assert_cmpstr(str_list->value, ==, expected); 607 i++; 608 } 609 } 610 611 static void test_visitor_in_any(TestInputVisitorData *data, 612 const void *unused) 613 { 614 QObject *res = NULL; 615 Visitor *v; 616 QNum *qnum; 617 QBool *qbool; 618 QString *qstring; 619 QDict *qdict; 620 QObject *qobj; 621 int64_t val; 622 623 v = visitor_input_test_init(data, "-42"); 624 visit_type_any(v, NULL, &res, &error_abort); 625 qnum = qobject_to(QNum, res); 626 g_assert(qnum); 627 g_assert(qnum_get_try_int(qnum, &val)); 628 g_assert_cmpint(val, ==, -42); 629 qobject_unref(res); 630 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"); 636 g_assert(qobj); 637 qnum = qobject_to(QNum, qobj); 638 g_assert(qnum); 639 g_assert(qnum_get_try_int(qnum, &val)); 640 g_assert_cmpint(val, ==, -42); 641 qobj = qdict_get(qdict, "boolean"); 642 g_assert(qobj); 643 qbool = qobject_to(QBool, qobj); 644 g_assert(qbool); 645 g_assert(qbool_get_bool(qbool) == true); 646 qobj = qdict_get(qdict, "string"); 647 g_assert(qobj); 648 qstring = qobject_to(QString, qobj); 649 g_assert(qstring); 650 g_assert_cmpstr(qstring_get_str(qstring), ==, "foo"); 651 qobject_unref(res); 652 } 653 654 static void test_visitor_in_null(TestInputVisitorData *data, 655 const void *unused) 656 { 657 Visitor *v; 658 Error *err = NULL; 659 QNull *null; 660 char *tmp; 661 662 /* 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. 669 */ 670 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); 676 qobject_unref(null); 677 visit_type_null(v, "b", &null, &err); 678 error_free_or_abort(&err); 679 g_assert(!null); 680 visit_type_str(v, "c", &tmp, &err); 681 error_free_or_abort(&err); 682 g_assert(!tmp); 683 visit_check_struct(v, &error_abort); 684 visit_end_struct(v, NULL); 685 } 686 687 static void test_visitor_in_union_flat(TestInputVisitorData *data, 688 const void *unused) 689 { 690 Visitor *v; 691 g_autoptr(UserDefFlatUnion) tmp = NULL; 692 UserDefUnionBase *base; 693 694 v = visitor_input_test_init(data, 695 "{ 'enum1': 'value1', " 696 "'integer': 41, " 697 "'string': 'str', " 698 "'boolean': true }"); 699 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); 705 706 base = qapi_UserDefFlatUnion_base(tmp); 707 g_assert(&base->enum1 == &tmp->enum1); 708 } 709 710 static void test_visitor_in_alternate(TestInputVisitorData *data, 711 const void *unused) 712 { 713 Visitor *v; 714 UserDefAlternate *tmp; 715 WrapAlternate *wrap; 716 717 v = visitor_input_test_init(data, "42"); 718 visit_type_UserDefAlternate(v, NULL, &tmp, &error_abort); 719 g_assert_cmpint(tmp->type, ==, QTYPE_QNUM); 720 g_assert_cmpint(tmp->u.i, ==, 42); 721 qapi_free_UserDefAlternate(tmp); 722 723 v = visitor_input_test_init(data, "'value1'"); 724 visit_type_UserDefAlternate(v, NULL, &tmp, &error_abort); 725 g_assert_cmpint(tmp->type, ==, QTYPE_QSTRING); 726 g_assert_cmpint(tmp->u.e, ==, ENUM_ONE_VALUE1); 727 qapi_free_UserDefAlternate(tmp); 728 729 v = visitor_input_test_init(data, "null"); 730 visit_type_UserDefAlternate(v, NULL, &tmp, &error_abort); 731 g_assert_cmpint(tmp->type, ==, QTYPE_QNULL); 732 qapi_free_UserDefAlternate(tmp); 733 734 v = visitor_input_test_init(data, "{'integer':1, 'string':'str', " 735 "'enum1':'value1', 'boolean':true}"); 736 visit_type_UserDefAlternate(v, NULL, &tmp, &error_abort); 737 g_assert_cmpint(tmp->type, ==, QTYPE_QDICT); 738 g_assert_cmpint(tmp->u.udfu.integer, ==, 1); 739 g_assert_cmpstr(tmp->u.udfu.string, ==, "str"); 740 g_assert_cmpint(tmp->u.udfu.enum1, ==, ENUM_ONE_VALUE1); 741 g_assert_cmpint(tmp->u.udfu.u.value1.boolean, ==, true); 742 g_assert_cmpint(tmp->u.udfu.u.value1.has_a_b, ==, false); 743 qapi_free_UserDefAlternate(tmp); 744 745 v = visitor_input_test_init(data, "{ 'alt': 42 }"); 746 visit_type_WrapAlternate(v, NULL, &wrap, &error_abort); 747 g_assert_cmpint(wrap->alt->type, ==, QTYPE_QNUM); 748 g_assert_cmpint(wrap->alt->u.i, ==, 42); 749 qapi_free_WrapAlternate(wrap); 750 751 v = visitor_input_test_init(data, "{ 'alt': 'value1' }"); 752 visit_type_WrapAlternate(v, NULL, &wrap, &error_abort); 753 g_assert_cmpint(wrap->alt->type, ==, QTYPE_QSTRING); 754 g_assert_cmpint(wrap->alt->u.e, ==, ENUM_ONE_VALUE1); 755 qapi_free_WrapAlternate(wrap); 756 757 v = visitor_input_test_init(data, "{ 'alt': {'integer':1, 'string':'str', " 758 "'enum1':'value1', 'boolean':true} }"); 759 visit_type_WrapAlternate(v, NULL, &wrap, &error_abort); 760 g_assert_cmpint(wrap->alt->type, ==, QTYPE_QDICT); 761 g_assert_cmpint(wrap->alt->u.udfu.integer, ==, 1); 762 g_assert_cmpstr(wrap->alt->u.udfu.string, ==, "str"); 763 g_assert_cmpint(wrap->alt->u.udfu.enum1, ==, ENUM_ONE_VALUE1); 764 g_assert_cmpint(wrap->alt->u.udfu.u.value1.boolean, ==, true); 765 g_assert_cmpint(wrap->alt->u.udfu.u.value1.has_a_b, ==, false); 766 qapi_free_WrapAlternate(wrap); 767 } 768 769 static void test_visitor_in_alternate_number(TestInputVisitorData *data, 770 const void *unused) 771 { 772 Visitor *v; 773 Error *err = NULL; 774 AltEnumBool *aeb; 775 AltEnumNum *aen; 776 AltNumEnum *ans; 777 AltEnumInt *asi; 778 779 /* Parsing an int */ 780 781 v = visitor_input_test_init(data, "42"); 782 visit_type_AltEnumBool(v, NULL, &aeb, &err); 783 error_free_or_abort(&err); 784 qapi_free_AltEnumBool(aeb); 785 786 v = visitor_input_test_init(data, "42"); 787 visit_type_AltEnumNum(v, NULL, &aen, &error_abort); 788 g_assert_cmpint(aen->type, ==, QTYPE_QNUM); 789 g_assert_cmpfloat(aen->u.n, ==, 42); 790 qapi_free_AltEnumNum(aen); 791 792 v = visitor_input_test_init(data, "42"); 793 visit_type_AltNumEnum(v, NULL, &ans, &error_abort); 794 g_assert_cmpint(ans->type, ==, QTYPE_QNUM); 795 g_assert_cmpfloat(ans->u.n, ==, 42); 796 qapi_free_AltNumEnum(ans); 797 798 v = visitor_input_test_init(data, "42"); 799 visit_type_AltEnumInt(v, NULL, &asi, &error_abort); 800 g_assert_cmpint(asi->type, ==, QTYPE_QNUM); 801 g_assert_cmpint(asi->u.i, ==, 42); 802 qapi_free_AltEnumInt(asi); 803 804 /* Parsing a double */ 805 806 v = visitor_input_test_init(data, "42.5"); 807 visit_type_AltEnumBool(v, NULL, &aeb, &err); 808 error_free_or_abort(&err); 809 qapi_free_AltEnumBool(aeb); 810 811 v = visitor_input_test_init(data, "42.5"); 812 visit_type_AltEnumNum(v, NULL, &aen, &error_abort); 813 g_assert_cmpint(aen->type, ==, QTYPE_QNUM); 814 g_assert_cmpfloat(aen->u.n, ==, 42.5); 815 qapi_free_AltEnumNum(aen); 816 817 v = visitor_input_test_init(data, "42.5"); 818 visit_type_AltNumEnum(v, NULL, &ans, &error_abort); 819 g_assert_cmpint(ans->type, ==, QTYPE_QNUM); 820 g_assert_cmpfloat(ans->u.n, ==, 42.5); 821 qapi_free_AltNumEnum(ans); 822 823 v = visitor_input_test_init(data, "42.5"); 824 visit_type_AltEnumInt(v, NULL, &asi, &err); 825 error_free_or_abort(&err); 826 qapi_free_AltEnumInt(asi); 827 } 828 829 static void input_visitor_test_add(const char *testpath, 830 const void *user_data, 831 void (*test_func)(TestInputVisitorData *data, 832 const void *user_data)) 833 { 834 g_test_add(testpath, TestInputVisitorData, user_data, NULL, test_func, 835 visitor_input_teardown); 836 } 837 838 static void test_visitor_in_errors(TestInputVisitorData *data, 839 const void *unused) 840 { 841 TestStruct *p = NULL; 842 Error *err = NULL; 843 Visitor *v; 844 strList *q = NULL; 845 UserDefTwo *r = NULL; 846 WrapAlternate *s = NULL; 847 848 v = visitor_input_test_init(data, "{ 'integer': false, 'boolean': 'foo', " 849 "'string': -42 }"); 850 851 visit_type_TestStruct(v, NULL, &p, &err); 852 error_free_or_abort(&err); 853 g_assert(!p); 854 855 v = visitor_input_test_init(data, "[ '1', '2', false, '3' ]"); 856 visit_type_strList(v, NULL, &q, &err); 857 error_free_or_abort(&err); 858 assert(!q); 859 860 v = visitor_input_test_init(data, "{ 'str':'hi' }"); 861 visit_type_UserDefTwo(v, NULL, &r, &err); 862 error_free_or_abort(&err); 863 assert(!r); 864 865 v = visitor_input_test_init(data, "{ }"); 866 visit_type_WrapAlternate(v, NULL, &s, &err); 867 error_free_or_abort(&err); 868 assert(!s); 869 } 870 871 static void test_visitor_in_wrong_type(TestInputVisitorData *data, 872 const void *unused) 873 { 874 TestStruct *p = NULL; 875 Visitor *v; 876 strList *q = NULL; 877 int64_t i; 878 Error *err = NULL; 879 880 /* Make sure arrays and structs cannot be confused */ 881 882 v = visitor_input_test_init(data, "[]"); 883 visit_type_TestStruct(v, NULL, &p, &err); 884 error_free_or_abort(&err); 885 g_assert(!p); 886 887 v = visitor_input_test_init(data, "{}"); 888 visit_type_strList(v, NULL, &q, &err); 889 error_free_or_abort(&err); 890 assert(!q); 891 892 /* Make sure primitives and struct cannot be confused */ 893 894 v = visitor_input_test_init(data, "1"); 895 visit_type_TestStruct(v, NULL, &p, &err); 896 error_free_or_abort(&err); 897 g_assert(!p); 898 899 v = visitor_input_test_init(data, "{}"); 900 visit_type_int(v, NULL, &i, &err); 901 error_free_or_abort(&err); 902 903 /* Make sure primitives and arrays cannot be confused */ 904 905 v = visitor_input_test_init(data, "1"); 906 visit_type_strList(v, NULL, &q, &err); 907 error_free_or_abort(&err); 908 assert(!q); 909 910 v = visitor_input_test_init(data, "[]"); 911 visit_type_int(v, NULL, &i, &err); 912 error_free_or_abort(&err); 913 } 914 915 static void test_visitor_in_fail_struct(TestInputVisitorData *data, 916 const void *unused) 917 { 918 TestStruct *p = NULL; 919 Error *err = NULL; 920 Visitor *v; 921 922 v = visitor_input_test_init(data, "{ 'integer': -42, 'boolean': true, 'string': 'foo', 'extra': 42 }"); 923 924 visit_type_TestStruct(v, NULL, &p, &err); 925 error_free_or_abort(&err); 926 g_assert(!p); 927 } 928 929 static void test_visitor_in_fail_struct_nested(TestInputVisitorData *data, 930 const void *unused) 931 { 932 UserDefTwo *udp = NULL; 933 Error *err = NULL; 934 Visitor *v; 935 936 v = visitor_input_test_init(data, "{ 'string0': 'string0', 'dict1': { 'string1': 'string1', 'dict2': { 'userdef1': { 'integer': 42, 'string': 'string', 'extra': [42, 23, {'foo':'bar'}] }, 'string2': 'string2'}}}"); 937 938 visit_type_UserDefTwo(v, NULL, &udp, &err); 939 error_free_or_abort(&err); 940 g_assert(!udp); 941 } 942 943 static void test_visitor_in_fail_struct_in_list(TestInputVisitorData *data, 944 const void *unused) 945 { 946 UserDefOneList *head = NULL; 947 Error *err = NULL; 948 Visitor *v; 949 950 v = visitor_input_test_init(data, "[ { 'string': 'string0', 'integer': 42 }, { 'string': 'string1', 'integer': 43 }, { 'string': 'string2', 'integer': 44, 'extra': 'ggg' } ]"); 951 952 visit_type_UserDefOneList(v, NULL, &head, &err); 953 error_free_or_abort(&err); 954 g_assert(!head); 955 } 956 957 static void test_visitor_in_fail_struct_missing(TestInputVisitorData *data, 958 const void *unused) 959 { 960 Error *err = NULL; 961 Visitor *v; 962 QObject *any; 963 QNull *null; 964 GenericAlternate *alt; 965 bool present; 966 int en; 967 int64_t i64; 968 uint32_t u32; 969 int8_t i8; 970 char *str; 971 double dbl; 972 973 v = visitor_input_test_init(data, "{ 'sub': [ {} ] }"); 974 visit_start_struct(v, NULL, NULL, 0, &error_abort); 975 visit_start_struct(v, "struct", NULL, 0, &err); 976 error_free_or_abort(&err); 977 visit_start_list(v, "list", NULL, 0, &err); 978 error_free_or_abort(&err); 979 visit_start_alternate(v, "alternate", &alt, sizeof(*alt), &err); 980 error_free_or_abort(&err); 981 visit_optional(v, "optional", &present); 982 g_assert(!present); 983 visit_type_enum(v, "enum", &en, &EnumOne_lookup, &err); 984 error_free_or_abort(&err); 985 visit_type_int(v, "i64", &i64, &err); 986 error_free_or_abort(&err); 987 visit_type_uint32(v, "u32", &u32, &err); 988 error_free_or_abort(&err); 989 visit_type_int8(v, "i8", &i8, &err); 990 error_free_or_abort(&err); 991 visit_type_str(v, "i8", &str, &err); 992 error_free_or_abort(&err); 993 visit_type_number(v, "dbl", &dbl, &err); 994 error_free_or_abort(&err); 995 visit_type_any(v, "any", &any, &err); 996 error_free_or_abort(&err); 997 visit_type_null(v, "null", &null, &err); 998 error_free_or_abort(&err); 999 visit_start_list(v, "sub", NULL, 0, &error_abort); 1000 visit_start_struct(v, NULL, NULL, 0, &error_abort); 1001 visit_type_int(v, "i64", &i64, &err); 1002 error_free_or_abort(&err); 1003 visit_end_struct(v, NULL); 1004 visit_end_list(v, NULL); 1005 visit_end_struct(v, NULL); 1006 } 1007 1008 static void test_visitor_in_fail_list(TestInputVisitorData *data, 1009 const void *unused) 1010 { 1011 int64_t i64 = -1; 1012 Error *err = NULL; 1013 Visitor *v; 1014 1015 /* Unvisited list tail */ 1016 1017 v = visitor_input_test_init(data, "[ 1, 2, 3 ]"); 1018 1019 visit_start_list(v, NULL, NULL, 0, &error_abort); 1020 visit_type_int(v, NULL, &i64, &error_abort); 1021 g_assert_cmpint(i64, ==, 1); 1022 visit_type_int(v, NULL, &i64, &error_abort); 1023 g_assert_cmpint(i64, ==, 2); 1024 visit_check_list(v, &err); 1025 error_free_or_abort(&err); 1026 visit_end_list(v, NULL); 1027 1028 /* Visit beyond end of list */ 1029 v = visitor_input_test_init(data, "[]"); 1030 1031 visit_start_list(v, NULL, NULL, 0, &error_abort); 1032 visit_type_int(v, NULL, &i64, &err); 1033 error_free_or_abort(&err); 1034 visit_end_list(v, NULL); 1035 } 1036 1037 static void test_visitor_in_fail_list_nested(TestInputVisitorData *data, 1038 const void *unused) 1039 { 1040 int64_t i64 = -1; 1041 Error *err = NULL; 1042 Visitor *v; 1043 1044 /* Unvisited nested list tail */ 1045 1046 v = visitor_input_test_init(data, "[ 0, [ 1, 2, 3 ] ]"); 1047 1048 visit_start_list(v, NULL, NULL, 0, &error_abort); 1049 visit_type_int(v, NULL, &i64, &error_abort); 1050 g_assert_cmpint(i64, ==, 0); 1051 visit_start_list(v, NULL, NULL, 0, &error_abort); 1052 visit_type_int(v, NULL, &i64, &error_abort); 1053 g_assert_cmpint(i64, ==, 1); 1054 visit_check_list(v, &err); 1055 error_free_or_abort(&err); 1056 visit_end_list(v, NULL); 1057 visit_check_list(v, &error_abort); 1058 visit_end_list(v, NULL); 1059 } 1060 1061 static void test_visitor_in_fail_union_flat(TestInputVisitorData *data, 1062 const void *unused) 1063 { 1064 UserDefFlatUnion *tmp = NULL; 1065 Error *err = NULL; 1066 Visitor *v; 1067 1068 v = visitor_input_test_init(data, "{ 'enum1': 'value2', 'string': 'c', 'integer': 41, 'boolean': true }"); 1069 1070 visit_type_UserDefFlatUnion(v, NULL, &tmp, &err); 1071 error_free_or_abort(&err); 1072 g_assert(!tmp); 1073 } 1074 1075 static void test_visitor_in_fail_union_flat_no_discrim(TestInputVisitorData *data, 1076 const void *unused) 1077 { 1078 UserDefFlatUnion2 *tmp = NULL; 1079 Error *err = NULL; 1080 Visitor *v; 1081 1082 /* test situation where discriminator field ('enum1' here) is missing */ 1083 v = visitor_input_test_init(data, "{ 'integer': 42, 'string': 'c', 'string1': 'd', 'string2': 'e' }"); 1084 1085 visit_type_UserDefFlatUnion2(v, NULL, &tmp, &err); 1086 error_free_or_abort(&err); 1087 g_assert(!tmp); 1088 } 1089 1090 static void test_visitor_in_fail_alternate(TestInputVisitorData *data, 1091 const void *unused) 1092 { 1093 UserDefAlternate *tmp; 1094 Visitor *v; 1095 Error *err = NULL; 1096 1097 v = visitor_input_test_init(data, "3.14"); 1098 1099 visit_type_UserDefAlternate(v, NULL, &tmp, &err); 1100 error_free_or_abort(&err); 1101 g_assert(!tmp); 1102 } 1103 1104 static void do_test_visitor_in_qmp_introspect(TestInputVisitorData *data, 1105 const QLitObject *qlit) 1106 { 1107 g_autoptr(SchemaInfoList) schema = NULL; 1108 QObject *obj = qobject_from_qlit(qlit); 1109 Visitor *v; 1110 1111 v = qobject_input_visitor_new(obj); 1112 1113 visit_type_SchemaInfoList(v, NULL, &schema, &error_abort); 1114 g_assert(schema); 1115 1116 qobject_unref(obj); 1117 visit_free(v); 1118 } 1119 1120 static void test_visitor_in_qmp_introspect(TestInputVisitorData *data, 1121 const void *unused) 1122 { 1123 do_test_visitor_in_qmp_introspect(data, &test_qmp_schema_qlit); 1124 } 1125 1126 int main(int argc, char **argv) 1127 { 1128 g_test_init(&argc, &argv, NULL); 1129 1130 input_visitor_test_add("/visitor/input/int", 1131 NULL, test_visitor_in_int); 1132 input_visitor_test_add("/visitor/input/uint", 1133 NULL, test_visitor_in_uint); 1134 input_visitor_test_add("/visitor/input/int_overflow", 1135 NULL, test_visitor_in_int_overflow); 1136 input_visitor_test_add("/visitor/input/int_keyval", 1137 NULL, test_visitor_in_int_keyval); 1138 input_visitor_test_add("/visitor/input/int_str_keyval", 1139 NULL, test_visitor_in_int_str_keyval); 1140 input_visitor_test_add("/visitor/input/int_str_fail", 1141 NULL, test_visitor_in_int_str_fail); 1142 input_visitor_test_add("/visitor/input/bool", 1143 NULL, test_visitor_in_bool); 1144 input_visitor_test_add("/visitor/input/bool_keyval", 1145 NULL, test_visitor_in_bool_keyval); 1146 input_visitor_test_add("/visitor/input/bool_str_keyval", 1147 NULL, test_visitor_in_bool_str_keyval); 1148 input_visitor_test_add("/visitor/input/bool_str_fail", 1149 NULL, test_visitor_in_bool_str_fail); 1150 input_visitor_test_add("/visitor/input/number", 1151 NULL, test_visitor_in_number); 1152 input_visitor_test_add("/visitor/input/large_number", 1153 NULL, test_visitor_in_large_number); 1154 input_visitor_test_add("/visitor/input/number_keyval", 1155 NULL, test_visitor_in_number_keyval); 1156 input_visitor_test_add("/visitor/input/number_str_keyval", 1157 NULL, test_visitor_in_number_str_keyval); 1158 input_visitor_test_add("/visitor/input/number_str_fail", 1159 NULL, test_visitor_in_number_str_fail); 1160 input_visitor_test_add("/visitor/input/size_str_keyval", 1161 NULL, test_visitor_in_size_str_keyval); 1162 input_visitor_test_add("/visitor/input/size_str_fail", 1163 NULL, test_visitor_in_size_str_fail); 1164 input_visitor_test_add("/visitor/input/string", 1165 NULL, test_visitor_in_string); 1166 input_visitor_test_add("/visitor/input/enum", 1167 NULL, test_visitor_in_enum); 1168 input_visitor_test_add("/visitor/input/struct", 1169 NULL, test_visitor_in_struct); 1170 input_visitor_test_add("/visitor/input/struct-nested", 1171 NULL, test_visitor_in_struct_nested); 1172 input_visitor_test_add("/visitor/input/list2", 1173 NULL, test_visitor_in_list_struct); 1174 input_visitor_test_add("/visitor/input/list", 1175 NULL, test_visitor_in_list); 1176 input_visitor_test_add("/visitor/input/any", 1177 NULL, test_visitor_in_any); 1178 input_visitor_test_add("/visitor/input/null", 1179 NULL, test_visitor_in_null); 1180 input_visitor_test_add("/visitor/input/union-flat", 1181 NULL, test_visitor_in_union_flat); 1182 input_visitor_test_add("/visitor/input/alternate", 1183 NULL, test_visitor_in_alternate); 1184 input_visitor_test_add("/visitor/input/errors", 1185 NULL, test_visitor_in_errors); 1186 input_visitor_test_add("/visitor/input/wrong-type", 1187 NULL, test_visitor_in_wrong_type); 1188 input_visitor_test_add("/visitor/input/alternate-number", 1189 NULL, test_visitor_in_alternate_number); 1190 input_visitor_test_add("/visitor/input/fail/struct", 1191 NULL, test_visitor_in_fail_struct); 1192 input_visitor_test_add("/visitor/input/fail/struct-nested", 1193 NULL, test_visitor_in_fail_struct_nested); 1194 input_visitor_test_add("/visitor/input/fail/struct-in-list", 1195 NULL, test_visitor_in_fail_struct_in_list); 1196 input_visitor_test_add("/visitor/input/fail/struct-missing", 1197 NULL, test_visitor_in_fail_struct_missing); 1198 input_visitor_test_add("/visitor/input/fail/list", 1199 NULL, test_visitor_in_fail_list); 1200 input_visitor_test_add("/visitor/input/fail/list-nested", 1201 NULL, test_visitor_in_fail_list_nested); 1202 input_visitor_test_add("/visitor/input/fail/union-flat", 1203 NULL, test_visitor_in_fail_union_flat); 1204 input_visitor_test_add("/visitor/input/fail/union-flat-no-discriminator", 1205 NULL, test_visitor_in_fail_union_flat_no_discrim); 1206 input_visitor_test_add("/visitor/input/fail/alternate", 1207 NULL, test_visitor_in_fail_alternate); 1208 input_visitor_test_add("/visitor/input/qapi-introspect", 1209 NULL, test_visitor_in_qmp_introspect); 1210 1211 g_test_run(); 1212 1213 return 0; 1214 } 1215