| 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 "qobject/qbool.h" |
| 21 | #include "qobject/qdict.h" |
| 22 | #include "qobject/qnull.h" |
| 23 | #include "qobject/qnum.h" |
| 24 | #include "qobject/qstring.h" |
| 25 | #include "qobject/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 | * 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 |
| 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->dict3); |
| 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 | g_autofree char *string = g_strdup_printf("string%d", i); |
| 451 | |
| 452 | g_assert_cmpstr(item->value->string, ==, string); |
| 453 | g_assert_cmpint(item->value->integer, ==, 42 + i); |
| 454 | } |
| 455 | |
| 456 | qapi_free_UserDefOneList(head); |
| 457 | head = NULL; |
| 458 | |
| 459 | /* An empty list is valid */ |
| 460 | v = visitor_input_test_init(data, "[]"); |
| 461 | visit_type_UserDefOneList(v, NULL, &head, &error_abort); |
| 462 | g_assert(!head); |
| 463 | } |
| 464 | |
| 465 | static void test_visitor_in_list_struct(TestInputVisitorData *data, |
| 466 | const void *unused) |
| 467 | { |
| 468 | const char *int_member[] = { |
| 469 | "integer", "s8", "s16", "s32", "s64", "u8", "u16", "u32", "u64" }; |
| 470 | g_autoptr(GString) json = g_string_new(""); |
| 471 | int i, j; |
| 472 | const char *sep; |
| 473 | g_autoptr(ArrayStruct) arrs = NULL; |
| 474 | Visitor *v; |
| 475 | intList *int_list; |
| 476 | int8List *s8_list; |
| 477 | int16List *s16_list; |
| 478 | int32List *s32_list; |
| 479 | int64List *s64_list; |
| 480 | uint8List *u8_list; |
| 481 | uint16List *u16_list; |
| 482 | uint32List *u32_list; |
| 483 | uint64List *u64_list; |
| 484 | numberList *num_list; |
| 485 | boolList *bool_list; |
| 486 | strList *str_list; |
| 487 | |
| 488 | g_string_append_printf(json, "{"); |
| 489 | |
| 490 | for (i = 0; i < G_N_ELEMENTS(int_member); i++) { |
| 491 | g_string_append_printf(json, "'%s': [", int_member[i]); |
| 492 | sep = ""; |
| 493 | for (j = 0; j < 32; j++) { |
| 494 | g_string_append_printf(json, "%s%d", sep, j); |
| 495 | sep = ", "; |
| 496 | } |
| 497 | g_string_append_printf(json, "], "); |
| 498 | } |
| 499 | |
| 500 | g_string_append_printf(json, "'number': ["); |
| 501 | sep = ""; |
| 502 | for (i = 0; i < 32; i++) { |
| 503 | g_string_append_printf(json, "%s%f", sep, (double)i / FLT_RADIX); |
| 504 | sep = ", "; |
| 505 | } |
| 506 | g_string_append_printf(json, "], "); |
| 507 | |
| 508 | g_string_append_printf(json, "'boolean': ["); |
| 509 | sep = ""; |
| 510 | for (i = 0; i < 32; i++) { |
| 511 | g_string_append_printf(json, "%s%s", |
| 512 | sep, i % 3 == 0 ? "true" : "false"); |
| 513 | sep = ", "; |
| 514 | } |
| 515 | g_string_append_printf(json, "], "); |
| 516 | |
| 517 | g_string_append_printf(json, "'string': ["); |
| 518 | sep = ""; |
| 519 | for (i = 0; i < 32; i++) { |
| 520 | g_string_append_printf(json, "%s'%d'", sep, i); |
| 521 | sep = ", "; |
| 522 | } |
| 523 | g_string_append_printf(json, "]"); |
| 524 | |
| 525 | g_string_append_printf(json, "}"); |
| 526 | |
| 527 | v = visitor_input_test_init_raw(data, json->str); |
| 528 | visit_type_ArrayStruct(v, NULL, &arrs, &error_abort); |
| 529 | |
| 530 | i = 0; |
| 531 | for (int_list = arrs->integer; int_list; int_list = int_list->next) { |
| 532 | g_assert_cmpint(int_list->value, ==, i); |
| 533 | i++; |
| 534 | } |
| 535 | |
| 536 | i = 0; |
| 537 | for (s8_list = arrs->s8; s8_list; s8_list = s8_list->next) { |
| 538 | g_assert_cmpint(s8_list->value, ==, i); |
| 539 | i++; |
| 540 | } |
| 541 | |
| 542 | i = 0; |
| 543 | for (s16_list = arrs->s16; s16_list; s16_list = s16_list->next) { |
| 544 | g_assert_cmpint(s16_list->value, ==, i); |
| 545 | i++; |
| 546 | } |
| 547 | |
| 548 | i = 0; |
| 549 | for (s32_list = arrs->s32; s32_list; s32_list = s32_list->next) { |
| 550 | g_assert_cmpint(s32_list->value, ==, i); |
| 551 | i++; |
| 552 | } |
| 553 | |
| 554 | i = 0; |
| 555 | for (s64_list = arrs->s64; s64_list; s64_list = s64_list->next) { |
| 556 | g_assert_cmpint(s64_list->value, ==, i); |
| 557 | i++; |
| 558 | } |
| 559 | |
| 560 | i = 0; |
| 561 | for (u8_list = arrs->u8; u8_list; u8_list = u8_list->next) { |
| 562 | g_assert_cmpint(u8_list->value, ==, i); |
| 563 | i++; |
| 564 | } |
| 565 | |
| 566 | i = 0; |
| 567 | for (u16_list = arrs->u16; u16_list; u16_list = u16_list->next) { |
| 568 | g_assert_cmpint(u16_list->value, ==, i); |
| 569 | i++; |
| 570 | } |
| 571 | |
| 572 | i = 0; |
| 573 | for (u32_list = arrs->u32; u32_list; u32_list = u32_list->next) { |
| 574 | g_assert_cmpint(u32_list->value, ==, i); |
| 575 | i++; |
| 576 | } |
| 577 | |
| 578 | i = 0; |
| 579 | for (u64_list = arrs->u64; u64_list; u64_list = u64_list->next) { |
| 580 | g_assert_cmpint(u64_list->value, ==, i); |
| 581 | i++; |
| 582 | } |
| 583 | |
| 584 | i = 0; |
| 585 | for (num_list = arrs->number; num_list; num_list = num_list->next) { |
| 586 | g_assert_cmpfloat(num_list->value, ==, (double)i / FLT_RADIX); |
| 587 | i++; |
| 588 | } |
| 589 | |
| 590 | i = 0; |
| 591 | for (bool_list = arrs->boolean; bool_list; bool_list = bool_list->next) { |
| 592 | g_assert_cmpint(bool_list->value, ==, i % 3 == 0); |
| 593 | i++; |
| 594 | } |
| 595 | |
| 596 | i = 0; |
| 597 | for (str_list = arrs->string; str_list; str_list = str_list->next) { |
| 598 | char expected[32]; |
| 599 | |
| 600 | sprintf(expected, "%d", i); |
| 601 | g_assert_cmpstr(str_list->value, ==, expected); |
| 602 | i++; |
| 603 | } |
| 604 | } |
| 605 | |
| 606 | static void test_visitor_in_any(TestInputVisitorData *data, |
| 607 | const void *unused) |
| 608 | { |
| 609 | QObject *res = NULL; |
| 610 | Visitor *v; |
| 611 | QNum *qnum; |
| 612 | QBool *qbool; |
| 613 | QString *qstring; |
| 614 | QDict *qdict; |
| 615 | QObject *qobj; |
| 616 | int64_t val; |
| 617 | |
| 618 | v = visitor_input_test_init(data, "-42"); |
| 619 | visit_type_any(v, NULL, &res, &error_abort); |
| 620 | qnum = qobject_to(QNum, res); |
| 621 | g_assert(qnum); |
| 622 | g_assert(qnum_get_try_int(qnum, &val)); |
| 623 | g_assert_cmpint(val, ==, -42); |
| 624 | qobject_unref(res); |
| 625 | |
| 626 | v = visitor_input_test_init(data, "{ 'integer': -42, 'boolean': true, 'string': 'foo' }"); |
| 627 | visit_type_any(v, NULL, &res, &error_abort); |
| 628 | qdict = qobject_to(QDict, res); |
| 629 | g_assert(qdict && qdict_size(qdict) == 3); |
| 630 | qobj = qdict_get(qdict, "integer"); |
| 631 | g_assert(qobj); |
| 632 | qnum = qobject_to(QNum, qobj); |
| 633 | g_assert(qnum); |
| 634 | g_assert(qnum_get_try_int(qnum, &val)); |
| 635 | g_assert_cmpint(val, ==, -42); |
| 636 | qobj = qdict_get(qdict, "boolean"); |
| 637 | g_assert(qobj); |
| 638 | qbool = qobject_to(QBool, qobj); |
| 639 | g_assert(qbool); |
| 640 | g_assert(qbool_get_bool(qbool) == true); |
| 641 | qobj = qdict_get(qdict, "string"); |
| 642 | g_assert(qobj); |
| 643 | qstring = qobject_to(QString, qobj); |
| 644 | g_assert(qstring); |
| 645 | g_assert_cmpstr(qstring_get_str(qstring), ==, "foo"); |
| 646 | qobject_unref(res); |
| 647 | } |
| 648 | |
| 649 | static void test_visitor_in_null(TestInputVisitorData *data, |
| 650 | const void *unused) |
| 651 | { |
| 652 | Visitor *v; |
| 653 | Error *err = NULL; |
| 654 | QNull *null; |
| 655 | char *tmp; |
| 656 | |
| 657 | /* |
| 658 | * FIXME: Since QAPI doesn't know the 'null' type yet, we can't |
| 659 | * test visit_type_null() by reading into a QAPI struct then |
| 660 | * checking that it was populated correctly. The best we can do |
| 661 | * for now is ensure that we consumed null from the input, proven |
| 662 | * by the fact that we can't re-read the key; and that we detect |
| 663 | * when input is not null. |
| 664 | */ |
| 665 | |
| 666 | v = visitor_input_test_init_full(data, false, |
| 667 | "{ 'a': null, 'b': '' }"); |
| 668 | visit_start_struct(v, NULL, NULL, 0, &error_abort); |
| 669 | visit_type_null(v, "a", &null, &error_abort); |
| 670 | g_assert(qobject_type(QOBJECT(null)) == QTYPE_QNULL); |
| 671 | qobject_unref(null); |
| 672 | visit_type_null(v, "b", &null, &err); |
| 673 | error_free_or_abort(&err); |
| 674 | g_assert(!null); |
| 675 | visit_type_str(v, "c", &tmp, &err); |
| 676 | error_free_or_abort(&err); |
| 677 | g_assert(!tmp); |
| 678 | visit_check_struct(v, &error_abort); |
| 679 | visit_end_struct(v, NULL); |
| 680 | } |
| 681 | |
| 682 | static void test_visitor_in_union_flat(TestInputVisitorData *data, |
| 683 | const void *unused) |
| 684 | { |
| 685 | Visitor *v; |
| 686 | g_autoptr(UserDefFlatUnion) tmp = NULL; |
| 687 | UserDefUnionBase *base; |
| 688 | |
| 689 | v = visitor_input_test_init(data, |
| 690 | "{ 'enum1': 'value1', " |
| 691 | "'integer': 41, " |
| 692 | "'string': 'str', " |
| 693 | "'boolean': true }"); |
| 694 | |
| 695 | visit_type_UserDefFlatUnion(v, NULL, &tmp, &error_abort); |
| 696 | g_assert_cmpint(tmp->enum1, ==, ENUM_ONE_VALUE1); |
| 697 | g_assert_cmpstr(tmp->string, ==, "str"); |
| 698 | g_assert_cmpint(tmp->integer, ==, 41); |
| 699 | g_assert_cmpint(tmp->u.value1.boolean, ==, true); |
| 700 | |
| 701 | base = qapi_UserDefFlatUnion_base(tmp); |
| 702 | g_assert(&base->enum1 == &tmp->enum1); |
| 703 | } |
| 704 | |
| 705 | static void test_visitor_in_union_in_union(TestInputVisitorData *data, |
| 706 | const void *unused) |
| 707 | { |
| 708 | Visitor *v; |
| 709 | g_autoptr(TestUnionInUnion) tmp = NULL; |
| 710 | |
| 711 | v = visitor_input_test_init(data, |
| 712 | "{ 'type': 'value-a', " |
| 713 | " 'type-a': 'value-a1', " |
| 714 | " 'integer': 2, " |
| 715 | " 'name': 'fish' }"); |
| 716 | |
| 717 | visit_type_TestUnionInUnion(v, NULL, &tmp, &error_abort); |
| 718 | g_assert_cmpint(tmp->type, ==, TEST_UNION_ENUM_VALUE_A); |
| 719 | g_assert_cmpint(tmp->u.value_a.type_a, ==, TEST_UNION_ENUM_A_VALUE_A1); |
| 720 | g_assert_cmpint(tmp->u.value_a.u.value_a1.integer, ==, 2); |
| 721 | g_assert_cmpint(strcmp(tmp->u.value_a.u.value_a1.name, "fish"), ==, 0); |
| 722 | |
| 723 | qapi_free_TestUnionInUnion(tmp); |
| 724 | |
| 725 | v = visitor_input_test_init(data, |
| 726 | "{ 'type': 'value-a', " |
| 727 | " 'type-a': 'value-a2', " |
| 728 | " 'integer': 1729, " |
| 729 | " 'size': 87539319 }"); |
| 730 | |
| 731 | visit_type_TestUnionInUnion(v, NULL, &tmp, &error_abort); |
| 732 | g_assert_cmpint(tmp->type, ==, TEST_UNION_ENUM_VALUE_A); |
| 733 | g_assert_cmpint(tmp->u.value_a.type_a, ==, TEST_UNION_ENUM_A_VALUE_A2); |
| 734 | g_assert_cmpint(tmp->u.value_a.u.value_a2.integer, ==, 1729); |
| 735 | g_assert_cmpint(tmp->u.value_a.u.value_a2.size, ==, 87539319); |
| 736 | |
| 737 | qapi_free_TestUnionInUnion(tmp); |
| 738 | |
| 739 | v = visitor_input_test_init(data, |
| 740 | "{ 'type': 'value-b', " |
| 741 | " 'integer': 1729, " |
| 742 | " 'onoff': true }"); |
| 743 | |
| 744 | visit_type_TestUnionInUnion(v, NULL, &tmp, &error_abort); |
| 745 | g_assert_cmpint(tmp->type, ==, TEST_UNION_ENUM_VALUE_B); |
| 746 | g_assert_cmpint(tmp->u.value_b.integer, ==, 1729); |
| 747 | g_assert_cmpint(tmp->u.value_b.onoff, ==, true); |
| 748 | } |
| 749 | |
| 750 | static void test_visitor_in_alternate(TestInputVisitorData *data, |
| 751 | const void *unused) |
| 752 | { |
| 753 | Visitor *v; |
| 754 | UserDefAlternate *tmp; |
| 755 | WrapAlternate *wrap; |
| 756 | |
| 757 | v = visitor_input_test_init(data, "42"); |
| 758 | visit_type_UserDefAlternate(v, NULL, &tmp, &error_abort); |
| 759 | g_assert_cmpint(tmp->type, ==, QTYPE_QNUM); |
| 760 | g_assert_cmpint(tmp->u.i, ==, 42); |
| 761 | qapi_free_UserDefAlternate(tmp); |
| 762 | |
| 763 | v = visitor_input_test_init(data, "'value1'"); |
| 764 | visit_type_UserDefAlternate(v, NULL, &tmp, &error_abort); |
| 765 | g_assert_cmpint(tmp->type, ==, QTYPE_QSTRING); |
| 766 | g_assert_cmpint(tmp->u.e, ==, ENUM_ONE_VALUE1); |
| 767 | qapi_free_UserDefAlternate(tmp); |
| 768 | |
| 769 | v = visitor_input_test_init(data, "null"); |
| 770 | visit_type_UserDefAlternate(v, NULL, &tmp, &error_abort); |
| 771 | g_assert_cmpint(tmp->type, ==, QTYPE_QNULL); |
| 772 | qapi_free_UserDefAlternate(tmp); |
| 773 | |
| 774 | v = visitor_input_test_init(data, "{'integer':1, 'string':'str', " |
| 775 | "'enum1':'value1', 'boolean':true}"); |
| 776 | visit_type_UserDefAlternate(v, NULL, &tmp, &error_abort); |
| 777 | g_assert_cmpint(tmp->type, ==, QTYPE_QDICT); |
| 778 | g_assert_cmpint(tmp->u.udfu.integer, ==, 1); |
| 779 | g_assert_cmpstr(tmp->u.udfu.string, ==, "str"); |
| 780 | g_assert_cmpint(tmp->u.udfu.enum1, ==, ENUM_ONE_VALUE1); |
| 781 | g_assert_cmpint(tmp->u.udfu.u.value1.boolean, ==, true); |
| 782 | g_assert_cmpint(tmp->u.udfu.u.value1.has_a_b, ==, false); |
| 783 | qapi_free_UserDefAlternate(tmp); |
| 784 | |
| 785 | v = visitor_input_test_init(data, "{ 'alt': 42 }"); |
| 786 | visit_type_WrapAlternate(v, NULL, &wrap, &error_abort); |
| 787 | g_assert_cmpint(wrap->alt->type, ==, QTYPE_QNUM); |
| 788 | g_assert_cmpint(wrap->alt->u.i, ==, 42); |
| 789 | qapi_free_WrapAlternate(wrap); |
| 790 | |
| 791 | v = visitor_input_test_init(data, "{ 'alt': 'value1' }"); |
| 792 | visit_type_WrapAlternate(v, NULL, &wrap, &error_abort); |
| 793 | g_assert_cmpint(wrap->alt->type, ==, QTYPE_QSTRING); |
| 794 | g_assert_cmpint(wrap->alt->u.e, ==, ENUM_ONE_VALUE1); |
| 795 | qapi_free_WrapAlternate(wrap); |
| 796 | |
| 797 | v = visitor_input_test_init(data, "{ 'alt': {'integer':1, 'string':'str', " |
| 798 | "'enum1':'value1', 'boolean':true} }"); |
| 799 | visit_type_WrapAlternate(v, NULL, &wrap, &error_abort); |
| 800 | g_assert_cmpint(wrap->alt->type, ==, QTYPE_QDICT); |
| 801 | g_assert_cmpint(wrap->alt->u.udfu.integer, ==, 1); |
| 802 | g_assert_cmpstr(wrap->alt->u.udfu.string, ==, "str"); |
| 803 | g_assert_cmpint(wrap->alt->u.udfu.enum1, ==, ENUM_ONE_VALUE1); |
| 804 | g_assert_cmpint(wrap->alt->u.udfu.u.value1.boolean, ==, true); |
| 805 | g_assert_cmpint(wrap->alt->u.udfu.u.value1.has_a_b, ==, false); |
| 806 | qapi_free_WrapAlternate(wrap); |
| 807 | } |
| 808 | |
| 809 | static void test_visitor_in_alternate_number(TestInputVisitorData *data, |
| 810 | const void *unused) |
| 811 | { |
| 812 | Visitor *v; |
| 813 | Error *err = NULL; |
| 814 | AltEnumBool *aeb; |
| 815 | AltEnumNum *aen; |
| 816 | AltNumEnum *ans; |
| 817 | AltEnumInt *asi; |
| 818 | AltListInt *ali; |
| 819 | |
| 820 | /* Parsing an int */ |
| 821 | |
| 822 | v = visitor_input_test_init(data, "42"); |
| 823 | visit_type_AltEnumBool(v, NULL, &aeb, &err); |
| 824 | error_free_or_abort(&err); |
| 825 | qapi_free_AltEnumBool(aeb); |
| 826 | |
| 827 | v = visitor_input_test_init(data, "42"); |
| 828 | visit_type_AltEnumNum(v, NULL, &aen, &error_abort); |
| 829 | g_assert_cmpint(aen->type, ==, QTYPE_QNUM); |
| 830 | g_assert_cmpfloat(aen->u.n, ==, 42); |
| 831 | qapi_free_AltEnumNum(aen); |
| 832 | |
| 833 | v = visitor_input_test_init(data, "42"); |
| 834 | visit_type_AltNumEnum(v, NULL, &ans, &error_abort); |
| 835 | g_assert_cmpint(ans->type, ==, QTYPE_QNUM); |
| 836 | g_assert_cmpfloat(ans->u.n, ==, 42); |
| 837 | qapi_free_AltNumEnum(ans); |
| 838 | |
| 839 | v = visitor_input_test_init(data, "42"); |
| 840 | visit_type_AltEnumInt(v, NULL, &asi, &error_abort); |
| 841 | g_assert_cmpint(asi->type, ==, QTYPE_QNUM); |
| 842 | g_assert_cmpint(asi->u.i, ==, 42); |
| 843 | qapi_free_AltEnumInt(asi); |
| 844 | |
| 845 | v = visitor_input_test_init(data, "42"); |
| 846 | visit_type_AltListInt(v, NULL, &ali, &error_abort); |
| 847 | g_assert_cmpint(ali->type, ==, QTYPE_QNUM); |
| 848 | g_assert_cmpint(ali->u.i, ==, 42); |
| 849 | qapi_free_AltListInt(ali); |
| 850 | |
| 851 | /* Parsing a double */ |
| 852 | |
| 853 | v = visitor_input_test_init(data, "42.5"); |
| 854 | visit_type_AltEnumBool(v, NULL, &aeb, &err); |
| 855 | error_free_or_abort(&err); |
| 856 | qapi_free_AltEnumBool(aeb); |
| 857 | |
| 858 | v = visitor_input_test_init(data, "42.5"); |
| 859 | visit_type_AltEnumNum(v, NULL, &aen, &error_abort); |
| 860 | g_assert_cmpint(aen->type, ==, QTYPE_QNUM); |
| 861 | g_assert_cmpfloat(aen->u.n, ==, 42.5); |
| 862 | qapi_free_AltEnumNum(aen); |
| 863 | |
| 864 | v = visitor_input_test_init(data, "42.5"); |
| 865 | visit_type_AltNumEnum(v, NULL, &ans, &error_abort); |
| 866 | g_assert_cmpint(ans->type, ==, QTYPE_QNUM); |
| 867 | g_assert_cmpfloat(ans->u.n, ==, 42.5); |
| 868 | qapi_free_AltNumEnum(ans); |
| 869 | |
| 870 | v = visitor_input_test_init(data, "42.5"); |
| 871 | visit_type_AltEnumInt(v, NULL, &asi, &err); |
| 872 | error_free_or_abort(&err); |
| 873 | qapi_free_AltEnumInt(asi); |
| 874 | } |
| 875 | |
| 876 | static void test_visitor_in_alternate_list(TestInputVisitorData *data, |
| 877 | const void *unused) |
| 878 | { |
| 879 | intList *item; |
| 880 | Visitor *v; |
| 881 | AltListInt *ali; |
| 882 | int i; |
| 883 | |
| 884 | v = visitor_input_test_init(data, "[ 42, 43, 44 ]"); |
| 885 | visit_type_AltListInt(v, NULL, &ali, &error_abort); |
| 886 | g_assert(ali != NULL); |
| 887 | |
| 888 | g_assert_cmpint(ali->type, ==, QTYPE_QLIST); |
| 889 | for (i = 0, item = ali->u.l; item; item = item->next, i++) { |
| 890 | g_assert_cmpint(item->value, ==, 42 + i); |
| 891 | } |
| 892 | |
| 893 | qapi_free_AltListInt(ali); |
| 894 | ali = NULL; |
| 895 | |
| 896 | /* An empty list is valid */ |
| 897 | v = visitor_input_test_init(data, "[]"); |
| 898 | visit_type_AltListInt(v, NULL, &ali, &error_abort); |
| 899 | g_assert(ali != NULL); |
| 900 | |
| 901 | g_assert_cmpint(ali->type, ==, QTYPE_QLIST); |
| 902 | g_assert(!ali->u.l); |
| 903 | qapi_free_AltListInt(ali); |
| 904 | ali = NULL; |
| 905 | } |
| 906 | |
| 907 | static void input_visitor_test_add(const char *testpath, |
| 908 | const void *user_data, |
| 909 | void (*test_func)(TestInputVisitorData *data, |
| 910 | const void *user_data)) |
| 911 | { |
| 912 | g_test_add(testpath, TestInputVisitorData, user_data, NULL, test_func, |
| 913 | visitor_input_teardown); |
| 914 | } |
| 915 | |
| 916 | static void test_visitor_in_errors(TestInputVisitorData *data, |
| 917 | const void *unused) |
| 918 | { |
| 919 | TestStruct *p = NULL; |
| 920 | Error *err = NULL; |
| 921 | Visitor *v; |
| 922 | strList *q = NULL; |
| 923 | UserDefTwo *r = NULL; |
| 924 | WrapAlternate *s = NULL; |
| 925 | |
| 926 | v = visitor_input_test_init(data, "{ 'integer': false, 'boolean': 'foo', " |
| 927 | "'string': -42 }"); |
| 928 | |
| 929 | visit_type_TestStruct(v, NULL, &p, &err); |
| 930 | error_free_or_abort(&err); |
| 931 | g_assert(!p); |
| 932 | |
| 933 | v = visitor_input_test_init(data, "[ '1', '2', false, '3' ]"); |
| 934 | visit_type_strList(v, NULL, &q, &err); |
| 935 | error_free_or_abort(&err); |
| 936 | assert(!q); |
| 937 | |
| 938 | v = visitor_input_test_init(data, "{ 'str':'hi' }"); |
| 939 | visit_type_UserDefTwo(v, NULL, &r, &err); |
| 940 | error_free_or_abort(&err); |
| 941 | assert(!r); |
| 942 | |
| 943 | v = visitor_input_test_init(data, "{ }"); |
| 944 | visit_type_WrapAlternate(v, NULL, &s, &err); |
| 945 | error_free_or_abort(&err); |
| 946 | assert(!s); |
| 947 | } |
| 948 | |
| 949 | static void test_visitor_in_wrong_type(TestInputVisitorData *data, |
| 950 | const void *unused) |
| 951 | { |
| 952 | TestStruct *p = NULL; |
| 953 | Visitor *v; |
| 954 | strList *q = NULL; |
| 955 | int64_t i; |
| 956 | Error *err = NULL; |
| 957 | |
| 958 | /* Make sure arrays and structs cannot be confused */ |
| 959 | |
| 960 | v = visitor_input_test_init(data, "[]"); |
| 961 | visit_type_TestStruct(v, NULL, &p, &err); |
| 962 | error_free_or_abort(&err); |
| 963 | g_assert(!p); |
| 964 | |
| 965 | v = visitor_input_test_init(data, "{}"); |
| 966 | visit_type_strList(v, NULL, &q, &err); |
| 967 | error_free_or_abort(&err); |
| 968 | assert(!q); |
| 969 | |
| 970 | /* Make sure primitives and struct cannot be confused */ |
| 971 | |
| 972 | v = visitor_input_test_init(data, "1"); |
| 973 | visit_type_TestStruct(v, NULL, &p, &err); |
| 974 | error_free_or_abort(&err); |
| 975 | g_assert(!p); |
| 976 | |
| 977 | v = visitor_input_test_init(data, "{}"); |
| 978 | visit_type_int(v, NULL, &i, &err); |
| 979 | error_free_or_abort(&err); |
| 980 | |
| 981 | /* Make sure primitives and arrays cannot be confused */ |
| 982 | |
| 983 | v = visitor_input_test_init(data, "1"); |
| 984 | visit_type_strList(v, NULL, &q, &err); |
| 985 | error_free_or_abort(&err); |
| 986 | assert(!q); |
| 987 | |
| 988 | v = visitor_input_test_init(data, "[]"); |
| 989 | visit_type_int(v, NULL, &i, &err); |
| 990 | error_free_or_abort(&err); |
| 991 | } |
| 992 | |
| 993 | static void test_visitor_in_fail_struct(TestInputVisitorData *data, |
| 994 | const void *unused) |
| 995 | { |
| 996 | TestStruct *p = NULL; |
| 997 | Error *err = NULL; |
| 998 | Visitor *v; |
| 999 | |
| 1000 | v = visitor_input_test_init(data, "{ 'integer': -42, 'boolean': true, 'string': 'foo', 'extra': 42 }"); |
| 1001 | |
| 1002 | visit_type_TestStruct(v, NULL, &p, &err); |
| 1003 | error_free_or_abort(&err); |
| 1004 | g_assert(!p); |
| 1005 | } |
| 1006 | |
| 1007 | static void test_visitor_in_fail_struct_nested(TestInputVisitorData *data, |
| 1008 | const void *unused) |
| 1009 | { |
| 1010 | UserDefTwo *udp = NULL; |
| 1011 | Error *err = NULL; |
| 1012 | Visitor *v; |
| 1013 | |
| 1014 | v = visitor_input_test_init(data, "{ 'string0': 'string0', 'dict1': { 'string1': 'string1', 'dict2': { 'userdef1': { 'integer': 42, 'string': 'string', 'extra': [42, 23, {'foo':'bar'}] }, 'string2': 'string2'}}}"); |
| 1015 | |
| 1016 | visit_type_UserDefTwo(v, NULL, &udp, &err); |
| 1017 | error_free_or_abort(&err); |
| 1018 | g_assert(!udp); |
| 1019 | } |
| 1020 | |
| 1021 | static void test_visitor_in_fail_struct_in_list(TestInputVisitorData *data, |
| 1022 | const void *unused) |
| 1023 | { |
| 1024 | UserDefOneList *head = NULL; |
| 1025 | Error *err = NULL; |
| 1026 | Visitor *v; |
| 1027 | |
| 1028 | v = visitor_input_test_init(data, "[ { 'string': 'string0', 'integer': 42 }, { 'string': 'string1', 'integer': 43 }, { 'string': 'string2', 'integer': 44, 'extra': 'ggg' } ]"); |
| 1029 | |
| 1030 | visit_type_UserDefOneList(v, NULL, &head, &err); |
| 1031 | error_free_or_abort(&err); |
| 1032 | g_assert(!head); |
| 1033 | } |
| 1034 | |
| 1035 | static void test_visitor_in_fail_struct_missing(TestInputVisitorData *data, |
| 1036 | const void *unused) |
| 1037 | { |
| 1038 | Error *err = NULL; |
| 1039 | Visitor *v; |
| 1040 | QObject *any; |
| 1041 | QNull *null; |
| 1042 | GenericAlternate *alt; |
| 1043 | bool present; |
| 1044 | int en; |
| 1045 | int64_t i64; |
| 1046 | uint32_t u32; |
| 1047 | int8_t i8; |
| 1048 | char *str; |
| 1049 | double dbl; |
| 1050 | |
| 1051 | v = visitor_input_test_init(data, "{ 'sub': [ {} ] }"); |
| 1052 | visit_start_struct(v, NULL, NULL, 0, &error_abort); |
| 1053 | visit_start_struct(v, "struct", NULL, 0, &err); |
| 1054 | error_free_or_abort(&err); |
| 1055 | visit_start_list(v, "list", NULL, 0, &err); |
| 1056 | error_free_or_abort(&err); |
| 1057 | visit_start_alternate(v, "alternate", &alt, sizeof(*alt), &err); |
| 1058 | error_free_or_abort(&err); |
| 1059 | visit_optional(v, "optional", &present); |
| 1060 | g_assert(!present); |
| 1061 | visit_type_enum(v, "enum", &en, &EnumOne_lookup, &err); |
| 1062 | error_free_or_abort(&err); |
| 1063 | visit_type_int(v, "i64", &i64, &err); |
| 1064 | error_free_or_abort(&err); |
| 1065 | visit_type_uint32(v, "u32", &u32, &err); |
| 1066 | error_free_or_abort(&err); |
| 1067 | visit_type_int8(v, "i8", &i8, &err); |
| 1068 | error_free_or_abort(&err); |
| 1069 | visit_type_str(v, "i8", &str, &err); |
| 1070 | error_free_or_abort(&err); |
| 1071 | visit_type_number(v, "dbl", &dbl, &err); |
| 1072 | error_free_or_abort(&err); |
| 1073 | visit_type_any(v, "any", &any, &err); |
| 1074 | error_free_or_abort(&err); |
| 1075 | visit_type_null(v, "null", &null, &err); |
| 1076 | error_free_or_abort(&err); |
| 1077 | visit_start_list(v, "sub", NULL, 0, &error_abort); |
| 1078 | visit_start_struct(v, NULL, NULL, 0, &error_abort); |
| 1079 | visit_type_int(v, "i64", &i64, &err); |
| 1080 | error_free_or_abort(&err); |
| 1081 | visit_end_struct(v, NULL); |
| 1082 | visit_end_list(v, NULL); |
| 1083 | visit_end_struct(v, NULL); |
| 1084 | } |
| 1085 | |
| 1086 | static void test_visitor_in_fail_list(TestInputVisitorData *data, |
| 1087 | const void *unused) |
| 1088 | { |
| 1089 | int64_t i64 = -1; |
| 1090 | Error *err = NULL; |
| 1091 | Visitor *v; |
| 1092 | |
| 1093 | /* Unvisited list tail */ |
| 1094 | |
| 1095 | v = visitor_input_test_init(data, "[ 1, 2, 3 ]"); |
| 1096 | |
| 1097 | visit_start_list(v, NULL, NULL, 0, &error_abort); |
| 1098 | visit_type_int(v, NULL, &i64, &error_abort); |
| 1099 | g_assert_cmpint(i64, ==, 1); |
| 1100 | visit_type_int(v, NULL, &i64, &error_abort); |
| 1101 | g_assert_cmpint(i64, ==, 2); |
| 1102 | visit_check_list(v, &err); |
| 1103 | error_free_or_abort(&err); |
| 1104 | visit_end_list(v, NULL); |
| 1105 | |
| 1106 | /* Visit beyond end of list */ |
| 1107 | v = visitor_input_test_init(data, "[]"); |
| 1108 | |
| 1109 | visit_start_list(v, NULL, NULL, 0, &error_abort); |
| 1110 | visit_type_int(v, NULL, &i64, &err); |
| 1111 | error_free_or_abort(&err); |
| 1112 | visit_end_list(v, NULL); |
| 1113 | } |
| 1114 | |
| 1115 | static void test_visitor_in_fail_list_nested(TestInputVisitorData *data, |
| 1116 | const void *unused) |
| 1117 | { |
| 1118 | int64_t i64 = -1; |
| 1119 | Error *err = NULL; |
| 1120 | Visitor *v; |
| 1121 | |
| 1122 | /* Unvisited nested list tail */ |
| 1123 | |
| 1124 | v = visitor_input_test_init(data, "[ 0, [ 1, 2, 3 ] ]"); |
| 1125 | |
| 1126 | visit_start_list(v, NULL, NULL, 0, &error_abort); |
| 1127 | visit_type_int(v, NULL, &i64, &error_abort); |
| 1128 | g_assert_cmpint(i64, ==, 0); |
| 1129 | visit_start_list(v, NULL, NULL, 0, &error_abort); |
| 1130 | visit_type_int(v, NULL, &i64, &error_abort); |
| 1131 | g_assert_cmpint(i64, ==, 1); |
| 1132 | visit_check_list(v, &err); |
| 1133 | error_free_or_abort(&err); |
| 1134 | visit_end_list(v, NULL); |
| 1135 | visit_check_list(v, &error_abort); |
| 1136 | visit_end_list(v, NULL); |
| 1137 | } |
| 1138 | |
| 1139 | static void test_visitor_in_fail_union_flat(TestInputVisitorData *data, |
| 1140 | const void *unused) |
| 1141 | { |
| 1142 | UserDefFlatUnion *tmp = NULL; |
| 1143 | Error *err = NULL; |
| 1144 | Visitor *v; |
| 1145 | |
| 1146 | v = visitor_input_test_init(data, "{ 'enum1': 'value2', 'string': 'c', 'integer': 41, 'boolean': true }"); |
| 1147 | |
| 1148 | visit_type_UserDefFlatUnion(v, NULL, &tmp, &err); |
| 1149 | error_free_or_abort(&err); |
| 1150 | g_assert(!tmp); |
| 1151 | } |
| 1152 | |
| 1153 | static void test_visitor_in_fail_union_flat_no_discrim(TestInputVisitorData *data, |
| 1154 | const void *unused) |
| 1155 | { |
| 1156 | UserDefFlatUnion2 *tmp = NULL; |
| 1157 | Error *err = NULL; |
| 1158 | Visitor *v; |
| 1159 | |
| 1160 | /* test situation where discriminator field ('enum1' here) is missing */ |
| 1161 | v = visitor_input_test_init(data, "{ 'integer': 42, 'string': 'c', 'string1': 'd', 'string2': 'e' }"); |
| 1162 | |
| 1163 | visit_type_UserDefFlatUnion2(v, NULL, &tmp, &err); |
| 1164 | error_free_or_abort(&err); |
| 1165 | g_assert(!tmp); |
| 1166 | } |
| 1167 | |
| 1168 | static void test_visitor_in_fail_alternate(TestInputVisitorData *data, |
| 1169 | const void *unused) |
| 1170 | { |
| 1171 | UserDefAlternate *tmp; |
| 1172 | Visitor *v; |
| 1173 | Error *err = NULL; |
| 1174 | |
| 1175 | v = visitor_input_test_init(data, "3.14"); |
| 1176 | |
| 1177 | visit_type_UserDefAlternate(v, NULL, &tmp, &err); |
| 1178 | error_free_or_abort(&err); |
| 1179 | g_assert(!tmp); |
| 1180 | } |
| 1181 | |
| 1182 | static void do_test_visitor_in_qmp_introspect(TestInputVisitorData *data, |
| 1183 | const QLitObject *qlit) |
| 1184 | { |
| 1185 | g_autoptr(SchemaInfoList) schema = NULL; |
| 1186 | QObject *obj = qobject_from_qlit(qlit); |
| 1187 | Visitor *v; |
| 1188 | |
| 1189 | v = qobject_input_visitor_new(obj); |
| 1190 | |
| 1191 | visit_type_SchemaInfoList(v, NULL, &schema, &error_abort); |
| 1192 | g_assert(schema); |
| 1193 | |
| 1194 | qobject_unref(obj); |
| 1195 | visit_free(v); |
| 1196 | } |
| 1197 | |
| 1198 | static void test_visitor_in_qmp_introspect(TestInputVisitorData *data, |
| 1199 | const void *unused) |
| 1200 | { |
| 1201 | do_test_visitor_in_qmp_introspect(data, &test_qmp_schema_qlit); |
| 1202 | } |
| 1203 | |
| 1204 | int main(int argc, char **argv) |
| 1205 | { |
| 1206 | g_test_init(&argc, &argv, NULL); |
| 1207 | |
| 1208 | input_visitor_test_add("/visitor/input/int", |
| 1209 | NULL, test_visitor_in_int); |
| 1210 | input_visitor_test_add("/visitor/input/uint", |
| 1211 | NULL, test_visitor_in_uint); |
| 1212 | input_visitor_test_add("/visitor/input/int_overflow", |
| 1213 | NULL, test_visitor_in_int_overflow); |
| 1214 | input_visitor_test_add("/visitor/input/int_keyval", |
| 1215 | NULL, test_visitor_in_int_keyval); |
| 1216 | input_visitor_test_add("/visitor/input/int_str_keyval", |
| 1217 | NULL, test_visitor_in_int_str_keyval); |
| 1218 | input_visitor_test_add("/visitor/input/int_str_fail", |
| 1219 | NULL, test_visitor_in_int_str_fail); |
| 1220 | input_visitor_test_add("/visitor/input/bool", |
| 1221 | NULL, test_visitor_in_bool); |
| 1222 | input_visitor_test_add("/visitor/input/bool_keyval", |
| 1223 | NULL, test_visitor_in_bool_keyval); |
| 1224 | input_visitor_test_add("/visitor/input/bool_str_keyval", |
| 1225 | NULL, test_visitor_in_bool_str_keyval); |
| 1226 | input_visitor_test_add("/visitor/input/bool_str_fail", |
| 1227 | NULL, test_visitor_in_bool_str_fail); |
| 1228 | input_visitor_test_add("/visitor/input/number", |
| 1229 | NULL, test_visitor_in_number); |
| 1230 | input_visitor_test_add("/visitor/input/large_number", |
| 1231 | NULL, test_visitor_in_large_number); |
| 1232 | input_visitor_test_add("/visitor/input/number_keyval", |
| 1233 | NULL, test_visitor_in_number_keyval); |
| 1234 | input_visitor_test_add("/visitor/input/number_str_keyval", |
| 1235 | NULL, test_visitor_in_number_str_keyval); |
| 1236 | input_visitor_test_add("/visitor/input/number_str_fail", |
| 1237 | NULL, test_visitor_in_number_str_fail); |
| 1238 | input_visitor_test_add("/visitor/input/size_str_keyval", |
| 1239 | NULL, test_visitor_in_size_str_keyval); |
| 1240 | input_visitor_test_add("/visitor/input/size_str_fail", |
| 1241 | NULL, test_visitor_in_size_str_fail); |
| 1242 | input_visitor_test_add("/visitor/input/string", |
| 1243 | NULL, test_visitor_in_string); |
| 1244 | input_visitor_test_add("/visitor/input/enum", |
| 1245 | NULL, test_visitor_in_enum); |
| 1246 | input_visitor_test_add("/visitor/input/struct", |
| 1247 | NULL, test_visitor_in_struct); |
| 1248 | input_visitor_test_add("/visitor/input/struct-nested", |
| 1249 | NULL, test_visitor_in_struct_nested); |
| 1250 | input_visitor_test_add("/visitor/input/list2", |
| 1251 | NULL, test_visitor_in_list_struct); |
| 1252 | input_visitor_test_add("/visitor/input/list", |
| 1253 | NULL, test_visitor_in_list); |
| 1254 | input_visitor_test_add("/visitor/input/any", |
| 1255 | NULL, test_visitor_in_any); |
| 1256 | input_visitor_test_add("/visitor/input/null", |
| 1257 | NULL, test_visitor_in_null); |
| 1258 | input_visitor_test_add("/visitor/input/union-flat", |
| 1259 | NULL, test_visitor_in_union_flat); |
| 1260 | input_visitor_test_add("/visitor/input/union-in-union", |
| 1261 | NULL, test_visitor_in_union_in_union); |
| 1262 | input_visitor_test_add("/visitor/input/alternate", |
| 1263 | NULL, test_visitor_in_alternate); |
| 1264 | input_visitor_test_add("/visitor/input/errors", |
| 1265 | NULL, test_visitor_in_errors); |
| 1266 | input_visitor_test_add("/visitor/input/wrong-type", |
| 1267 | NULL, test_visitor_in_wrong_type); |
| 1268 | input_visitor_test_add("/visitor/input/alternate-number", |
| 1269 | NULL, test_visitor_in_alternate_number); |
| 1270 | input_visitor_test_add("/visitor/input/alternate-list", |
| 1271 | NULL, test_visitor_in_alternate_list); |
| 1272 | input_visitor_test_add("/visitor/input/fail/struct", |
| 1273 | NULL, test_visitor_in_fail_struct); |
| 1274 | input_visitor_test_add("/visitor/input/fail/struct-nested", |
| 1275 | NULL, test_visitor_in_fail_struct_nested); |
| 1276 | input_visitor_test_add("/visitor/input/fail/struct-in-list", |
| 1277 | NULL, test_visitor_in_fail_struct_in_list); |
| 1278 | input_visitor_test_add("/visitor/input/fail/struct-missing", |
| 1279 | NULL, test_visitor_in_fail_struct_missing); |
| 1280 | input_visitor_test_add("/visitor/input/fail/list", |
| 1281 | NULL, test_visitor_in_fail_list); |
| 1282 | input_visitor_test_add("/visitor/input/fail/list-nested", |
| 1283 | NULL, test_visitor_in_fail_list_nested); |
| 1284 | input_visitor_test_add("/visitor/input/fail/union-flat", |
| 1285 | NULL, test_visitor_in_fail_union_flat); |
| 1286 | input_visitor_test_add("/visitor/input/fail/union-flat-no-discriminator", |
| 1287 | NULL, test_visitor_in_fail_union_flat_no_discrim); |
| 1288 | input_visitor_test_add("/visitor/input/fail/alternate", |
| 1289 | NULL, test_visitor_in_fail_alternate); |
| 1290 | input_visitor_test_add("/visitor/input/qapi-introspect", |
| 1291 | NULL, test_visitor_in_qmp_introspect); |
| 1292 | |
| 1293 | g_test_run(); |
| 1294 | |
| 1295 | return 0; |
| 1296 | } |