check-qjson.c

   1 /*
   2  * Copyright IBM, Corp. 2009
   3  *
   4  * Authors:
   5  *  Anthony Liguori   <aliguori@us.ibm.com>
   6  *
   7  * This work is licensed under the terms of the GNU LGPL, version 2.1 or later.
   8  * See the COPYING.LIB file in the top-level directory.
   9  *
  10  */
  11 #include <glib.h>
  12
  13 #include "qstring.h"
  14 #include "qint.h"
  15 #include "qdict.h"
  16 #include "qlist.h"
  17 #include "qfloat.h"
  18 #include "qbool.h"
  19 #include "qjson.h"
  20
  21 #include "qemu-common.h"
  22
  23 static void escaped_string(void)
  24 {
  25     int i;
  26     struct {
  27         const char *encoded;
  28         const char *decoded;
  29         int skip;
  30     } test_cases[] = {
  31         { "\"\\b\"", "\b" },
  32         { "\"\\f\"", "\f" },
  33         { "\"\\n\"", "\n" },
  34         { "\"\\r\"", "\r" },
  35         { "\"\\t\"", "\t" },
  36         { "\"/\"", "/" },
  37         { "\"\\/\"", "/", .skip = 1 },
  38         { "\"\\\\\"", "\\" },
  39         { "\"\\\"\"", "\"" },
  40         { "\"hello world \\\"embedded string\\\"\"",
  41           "hello world \"embedded string\"" },
  42         { "\"hello world\\nwith new line\"", "hello world\nwith new line" },
  43         { "\"single byte utf-8 \\u0020\"", "single byte utf-8  ", .skip = 1 },
  44         { "\"double byte utf-8 \\u00A2\"", "double byte utf-8 \xc2\xa2" },
  45         { "\"triple byte utf-8 \\u20AC\"", "triple byte utf-8 \xe2\x82\xac" },
  46         {}
  47     };
  48
  49     for (i = 0; test_cases[i].encoded; i++) {
  50         QObject *obj;
  51         QString *str;
  52
  53         obj = qobject_from_json(test_cases[i].encoded);
  54
  55         g_assert(obj != NULL);
  56         g_assert(qobject_type(obj) == QTYPE_QSTRING);
  57
  58         str = qobject_to_qstring(obj);
  59         g_assert_cmpstr(qstring_get_str(str), ==, test_cases[i].decoded);
  60
  61         if (test_cases[i].skip == 0) {
  62             str = qobject_to_json(obj);
  63             g_assert_cmpstr(qstring_get_str(str), ==, test_cases[i].encoded);
  64             qobject_decref(obj);
  65         }
  66
  67         QDECREF(str);
  68     }
  69 }
  70
  71 static void simple_string(void)
  72 {
  73     int i;
  74     struct {
  75         const char *encoded;
  76         const char *decoded;
  77     } test_cases[] = {
  78         { "\"hello world\"", "hello world" },
  79         { "\"the quick brown fox jumped over the fence\"",
  80           "the quick brown fox jumped over the fence" },
  81         {}
  82     };
  83
  84     for (i = 0; test_cases[i].encoded; i++) {
  85         QObject *obj;
  86         QString *str;
  87
  88         obj = qobject_from_json(test_cases[i].encoded);
  89
  90         g_assert(obj != NULL);
  91         g_assert(qobject_type(obj) == QTYPE_QSTRING);
  92
  93         str = qobject_to_qstring(obj);
  94         g_assert(strcmp(qstring_get_str(str), test_cases[i].decoded) == 0);
  95
  96         str = qobject_to_json(obj);
  97         g_assert(strcmp(qstring_get_str(str), test_cases[i].encoded) == 0);
  98
  99         qobject_decref(obj);
 100
 101         QDECREF(str);
 102     }
 103 }
 104
 105 static void single_quote_string(void)
 106 {
 107     int i;
 108     struct {
 109         const char *encoded;
 110         const char *decoded;
 111     } test_cases[] = {
 112         { "'hello world'", "hello world" },
 113         { "'the quick brown fox \\' jumped over the fence'",
 114           "the quick brown fox ' jumped over the fence" },
 115         {}
 116     };
 117
 118     for (i = 0; test_cases[i].encoded; i++) {
 119         QObject *obj;
 120         QString *str;
 121
 122         obj = qobject_from_json(test_cases[i].encoded);
 123
 124         g_assert(obj != NULL);
 125         g_assert(qobject_type(obj) == QTYPE_QSTRING);
 126
 127         str = qobject_to_qstring(obj);
 128         g_assert(strcmp(qstring_get_str(str), test_cases[i].decoded) == 0);
 129
 130         QDECREF(str);
 131     }
 132 }
 133
 134 static void vararg_string(void)
 135 {
 136     int i;
 137     struct {
 138         const char *decoded;
 139     } test_cases[] = {
 140         { "hello world" },
 141         { "the quick brown fox jumped over the fence" },
 142         {}
 143     };
 144
 145     for (i = 0; test_cases[i].decoded; i++) {
 146         QObject *obj;
 147         QString *str;
 148
 149         obj = qobject_from_jsonf("%s", test_cases[i].decoded);
 150
 151         g_assert(obj != NULL);
 152         g_assert(qobject_type(obj) == QTYPE_QSTRING);
 153
 154         str = qobject_to_qstring(obj);
 155         g_assert(strcmp(qstring_get_str(str), test_cases[i].decoded) == 0);
 156
 157         QDECREF(str);
 158     }
 159 }
 160
 161 static void simple_number(void)
 162 {
 163     int i;
 164     struct {
 165         const char *encoded;
 166         int64_t decoded;
 167         int skip;
 168     } test_cases[] = {
 169         { "0", 0 },
 170         { "1234", 1234 },
 171         { "1", 1 },
 172         { "-32", -32 },
 173         { "-0", 0, .skip = 1 },
 174         { },
 175     };
 176
 177     for (i = 0; test_cases[i].encoded; i++) {
 178         QObject *obj;
 179         QInt *qint;
 180
 181         obj = qobject_from_json(test_cases[i].encoded);
 182         g_assert(obj != NULL);
 183         g_assert(qobject_type(obj) == QTYPE_QINT);
 184
 185         qint = qobject_to_qint(obj);
 186         g_assert(qint_get_int(qint) == test_cases[i].decoded);
 187         if (test_cases[i].skip == 0) {
 188             QString *str;
 189
 190             str = qobject_to_json(obj);
 191             g_assert(strcmp(qstring_get_str(str), test_cases[i].encoded) == 0);
 192             QDECREF(str);
 193         }
 194
 195         QDECREF(qint);
 196     }
 197 }
 198
 199 static void float_number(void)
 200 {
 201     int i;
 202     struct {
 203         const char *encoded;
 204         double decoded;
 205         int skip;
 206     } test_cases[] = {
 207         { "32.43", 32.43 },
 208         { "0.222", 0.222 },
 209         { "-32.12313", -32.12313 },
 210         { "-32.20e-10", -32.20e-10, .skip = 1 },
 211         { },
 212     };
 213
 214     for (i = 0; test_cases[i].encoded; i++) {
 215         QObject *obj;
 216         QFloat *qfloat;
 217
 218         obj = qobject_from_json(test_cases[i].encoded);
 219         g_assert(obj != NULL);
 220         g_assert(qobject_type(obj) == QTYPE_QFLOAT);
 221
 222         qfloat = qobject_to_qfloat(obj);
 223         g_assert(qfloat_get_double(qfloat) == test_cases[i].decoded);
 224
 225         if (test_cases[i].skip == 0) {
 226             QString *str;
 227
 228             str = qobject_to_json(obj);
 229             g_assert(strcmp(qstring_get_str(str), test_cases[i].encoded) == 0);
 230             QDECREF(str);
 231         }
 232
 233         QDECREF(qfloat);
 234     }
 235 }
 236
 237 static void vararg_number(void)
 238 {
 239     QObject *obj;
 240     QInt *qint;
 241     QFloat *qfloat;
 242     int value = 0x2342;
 243     int64_t value64 = 0x2342342343LL;
 244     double valuef = 2.323423423;
 245
 246     obj = qobject_from_jsonf("%d", value);
 247     g_assert(obj != NULL);
 248     g_assert(qobject_type(obj) == QTYPE_QINT);
 249
 250     qint = qobject_to_qint(obj);
 251     g_assert(qint_get_int(qint) == value);
 252
 253     QDECREF(qint);
 254
 255     obj = qobject_from_jsonf("%" PRId64, value64);
 256     g_assert(obj != NULL);
 257     g_assert(qobject_type(obj) == QTYPE_QINT);
 258
 259     qint = qobject_to_qint(obj);
 260     g_assert(qint_get_int(qint) == value64);
 261
 262     QDECREF(qint);
 263
 264     obj = qobject_from_jsonf("%f", valuef);
 265     g_assert(obj != NULL);
 266     g_assert(qobject_type(obj) == QTYPE_QFLOAT);
 267
 268     qfloat = qobject_to_qfloat(obj);
 269     g_assert(qfloat_get_double(qfloat) == valuef);
 270
 271     QDECREF(qfloat);
 272 }
 273
 274 static void keyword_literal(void)
 275 {
 276     QObject *obj;
 277     QBool *qbool;
 278     QString *str;
 279
 280     obj = qobject_from_json("true");
 281     g_assert(obj != NULL);
 282     g_assert(qobject_type(obj) == QTYPE_QBOOL);
 283
 284     qbool = qobject_to_qbool(obj);
 285     g_assert(qbool_get_int(qbool) != 0);
 286
 287     str = qobject_to_json(obj);
 288     g_assert(strcmp(qstring_get_str(str), "true") == 0);
 289     QDECREF(str);
 290
 291     QDECREF(qbool);
 292
 293     obj = qobject_from_json("false");
 294     g_assert(obj != NULL);
 295     g_assert(qobject_type(obj) == QTYPE_QBOOL);
 296
 297     qbool = qobject_to_qbool(obj);
 298     g_assert(qbool_get_int(qbool) == 0);
 299
 300     str = qobject_to_json(obj);
 301     g_assert(strcmp(qstring_get_str(str), "false") == 0);
 302     QDECREF(str);
 303
 304     QDECREF(qbool);
 305
 306     obj = qobject_from_jsonf("%i", false);
 307     g_assert(obj != NULL);
 308     g_assert(qobject_type(obj) == QTYPE_QBOOL);
 309
 310     qbool = qobject_to_qbool(obj);
 311     g_assert(qbool_get_int(qbool) == 0);
 312
 313     QDECREF(qbool);
 314
 315     obj = qobject_from_jsonf("%i", true);
 316     g_assert(obj != NULL);
 317     g_assert(qobject_type(obj) == QTYPE_QBOOL);
 318
 319     qbool = qobject_to_qbool(obj);
 320     g_assert(qbool_get_int(qbool) != 0);
 321
 322     QDECREF(qbool);
 323 }
 324
 325 typedef struct LiteralQDictEntry LiteralQDictEntry;
 326 typedef struct LiteralQObject LiteralQObject;
 327
 328 struct LiteralQObject
 329 {
 330     int type;
 331     union {
 332         int64_t qint;
 333         const char *qstr;
 334         LiteralQDictEntry *qdict;
 335         LiteralQObject *qlist;
 336     } value;
 337 };
 338
 339 struct LiteralQDictEntry
 340 {
 341     const char *key;
 342     LiteralQObject value;
 343 };
 344
 345 #define QLIT_QINT(val) (LiteralQObject){.type = QTYPE_QINT, .value.qint = (val)}
 346 #define QLIT_QSTR(val) (LiteralQObject){.type = QTYPE_QSTRING, .value.qstr = (val)}
 347 #define QLIT_QDICT(val) (LiteralQObject){.type = QTYPE_QDICT, .value.qdict = (val)}
 348 #define QLIT_QLIST(val) (LiteralQObject){.type = QTYPE_QLIST, .value.qlist = (val)}
 349
 350 typedef struct QListCompareHelper
 351 {
 352     int index;
 353     LiteralQObject *objs;
 354     int result;
 355 } QListCompareHelper;
 356
 357 static int compare_litqobj_to_qobj(LiteralQObject *lhs, QObject *rhs);
 358
 359 static void compare_helper(QObject *obj, void *opaque)
 360 {
 361     QListCompareHelper *helper = opaque;
 362
 363     if (helper->result == 0) {
 364         return;
 365     }
 366
 367     if (helper->objs[helper->index].type == QTYPE_NONE) {
 368         helper->result = 0;
 369         return;
 370     }
 371
 372     helper->result = compare_litqobj_to_qobj(&helper->objs[helper->index++], obj);
 373 }
 374
 375 static int compare_litqobj_to_qobj(LiteralQObject *lhs, QObject *rhs)
 376 {
 377     if (lhs->type != qobject_type(rhs)) {
 378         return 0;
 379     }
 380
 381     switch (lhs->type) {
 382     case QTYPE_QINT:
 383         return lhs->value.qint == qint_get_int(qobject_to_qint(rhs));
 384     case QTYPE_QSTRING:
 385         return (strcmp(lhs->value.qstr, qstring_get_str(qobject_to_qstring(rhs))) == 0);
 386     case QTYPE_QDICT: {
 387         int i;
 388
 389         for (i = 0; lhs->value.qdict[i].key; i++) {
 390             QObject *obj = qdict_get(qobject_to_qdict(rhs), lhs->value.qdict[i].key);
 391
 392             if (!compare_litqobj_to_qobj(&lhs->value.qdict[i].value, obj)) {
 393                 return 0;
 394             }
 395         }
 396
 397         return 1;
 398     }
 399     case QTYPE_QLIST: {
 400         QListCompareHelper helper;
 401
 402         helper.index = 0;
 403         helper.objs = lhs->value.qlist;
 404         helper.result = 1;
 405
 406         qlist_iter(qobject_to_qlist(rhs), compare_helper, &helper);
 407
 408         return helper.result;
 409     }
 410     default:
 411         break;
 412     }
 413
 414     return 0;
 415 }
 416
 417 static void simple_dict(void)
 418 {
 419     int i;
 420     struct {
 421         const char *encoded;
 422         LiteralQObject decoded;
 423     } test_cases[] = {
 424         {
 425             .encoded = "{\"foo\": 42, \"bar\": \"hello world\"}",
 426             .decoded = QLIT_QDICT(((LiteralQDictEntry[]){
 427                         { "foo", QLIT_QINT(42) },
 428                         { "bar", QLIT_QSTR("hello world") },
 429                         { }
 430                     })),
 431         }, {
 432             .encoded = "{}",
 433             .decoded = QLIT_QDICT(((LiteralQDictEntry[]){
 434                         { }
 435                     })),
 436         }, {
 437             .encoded = "{\"foo\": 43}",
 438             .decoded = QLIT_QDICT(((LiteralQDictEntry[]){
 439                         { "foo", QLIT_QINT(43) },
 440                         { }
 441                     })),
 442         },
 443         { }
 444     };
 445
 446     for (i = 0; test_cases[i].encoded; i++) {
 447         QObject *obj;
 448         QString *str;
 449
 450         obj = qobject_from_json(test_cases[i].encoded);
 451         g_assert(obj != NULL);
 452         g_assert(qobject_type(obj) == QTYPE_QDICT);
 453
 454         g_assert(compare_litqobj_to_qobj(&test_cases[i].decoded, obj) == 1);
 455
 456         str = qobject_to_json(obj);
 457         qobject_decref(obj);
 458
 459         obj = qobject_from_json(qstring_get_str(str));
 460         g_assert(obj != NULL);
 461         g_assert(qobject_type(obj) == QTYPE_QDICT);
 462
 463         g_assert(compare_litqobj_to_qobj(&test_cases[i].decoded, obj) == 1);
 464         qobject_decref(obj);
 465         QDECREF(str);
 466     }
 467 }
 468
 469 static void simple_list(void)
 470 {
 471     int i;
 472     struct {
 473         const char *encoded;
 474         LiteralQObject decoded;
 475     } test_cases[] = {
 476         {
 477             .encoded = "[43,42]",
 478             .decoded = QLIT_QLIST(((LiteralQObject[]){
 479                         QLIT_QINT(43),
 480                         QLIT_QINT(42),
 481                         { }
 482                     })),
 483         },
 484         {
 485             .encoded = "[43]",
 486             .decoded = QLIT_QLIST(((LiteralQObject[]){
 487                         QLIT_QINT(43),
 488                         { }
 489                     })),
 490         },
 491         {
 492             .encoded = "[]",
 493             .decoded = QLIT_QLIST(((LiteralQObject[]){
 494                         { }
 495                     })),
 496         },
 497         {
 498             .encoded = "[{}]",
 499             .decoded = QLIT_QLIST(((LiteralQObject[]){
 500                         QLIT_QDICT(((LiteralQDictEntry[]){
 501                                     {},
 502                                         })),
 503                         {},
 504                             })),
 505         },
 506         { }
 507     };
 508
 509     for (i = 0; test_cases[i].encoded; i++) {
 510         QObject *obj;
 511         QString *str;
 512
 513         obj = qobject_from_json(test_cases[i].encoded);
 514         g_assert(obj != NULL);
 515         g_assert(qobject_type(obj) == QTYPE_QLIST);
 516
 517         g_assert(compare_litqobj_to_qobj(&test_cases[i].decoded, obj) == 1);
 518
 519         str = qobject_to_json(obj);
 520         qobject_decref(obj);
 521
 522         obj = qobject_from_json(qstring_get_str(str));
 523         g_assert(obj != NULL);
 524         g_assert(qobject_type(obj) == QTYPE_QLIST);
 525
 526         g_assert(compare_litqobj_to_qobj(&test_cases[i].decoded, obj) == 1);
 527         qobject_decref(obj);
 528         QDECREF(str);
 529     }
 530 }
 531
 532 static void simple_whitespace(void)
 533 {
 534     int i;
 535     struct {
 536         const char *encoded;
 537         LiteralQObject decoded;
 538     } test_cases[] = {
 539         {
 540             .encoded = " [ 43 , 42 ]",
 541             .decoded = QLIT_QLIST(((LiteralQObject[]){
 542                         QLIT_QINT(43),
 543                         QLIT_QINT(42),
 544                         { }
 545                     })),
 546         },
 547         {
 548             .encoded = " [ 43 , { 'h' : 'b' }, [ ], 42 ]",
 549             .decoded = QLIT_QLIST(((LiteralQObject[]){
 550                         QLIT_QINT(43),
 551                         QLIT_QDICT(((LiteralQDictEntry[]){
 552                                     { "h", QLIT_QSTR("b") },
 553                                     { }})),
 554                         QLIT_QLIST(((LiteralQObject[]){
 555                                     { }})),
 556                         QLIT_QINT(42),
 557                         { }
 558                     })),
 559         },
 560         {
 561             .encoded = " [ 43 , { 'h' : 'b' , 'a' : 32 }, [ ], 42 ]",
 562             .decoded = QLIT_QLIST(((LiteralQObject[]){
 563                         QLIT_QINT(43),
 564                         QLIT_QDICT(((LiteralQDictEntry[]){
 565                                     { "h", QLIT_QSTR("b") },
 566                                     { "a", QLIT_QINT(32) },
 567                                     { }})),
 568                         QLIT_QLIST(((LiteralQObject[]){
 569                                     { }})),
 570                         QLIT_QINT(42),
 571                         { }
 572                     })),
 573         },
 574         { }
 575     };
 576
 577     for (i = 0; test_cases[i].encoded; i++) {
 578         QObject *obj;
 579         QString *str;
 580
 581         obj = qobject_from_json(test_cases[i].encoded);
 582         g_assert(obj != NULL);
 583         g_assert(qobject_type(obj) == QTYPE_QLIST);
 584
 585         g_assert(compare_litqobj_to_qobj(&test_cases[i].decoded, obj) == 1);
 586
 587         str = qobject_to_json(obj);
 588         qobject_decref(obj);
 589
 590         obj = qobject_from_json(qstring_get_str(str));
 591         g_assert(obj != NULL);
 592         g_assert(qobject_type(obj) == QTYPE_QLIST);
 593
 594         g_assert(compare_litqobj_to_qobj(&test_cases[i].decoded, obj) == 1);
 595
 596         qobject_decref(obj);
 597         QDECREF(str);
 598     }
 599 }
 600
 601 static void simple_varargs(void)
 602 {
 603     QObject *embedded_obj;
 604     QObject *obj;
 605     LiteralQObject decoded = QLIT_QLIST(((LiteralQObject[]){
 606             QLIT_QINT(1),
 607             QLIT_QINT(2),
 608             QLIT_QLIST(((LiteralQObject[]){
 609                         QLIT_QINT(32),
 610                         QLIT_QINT(42),
 611                         {}})),
 612             {}}));
 613
 614     embedded_obj = qobject_from_json("[32, 42]");
 615     g_assert(embedded_obj != NULL);
 616
 617     obj = qobject_from_jsonf("[%d, 2, %p]", 1, embedded_obj);
 618     g_assert(obj != NULL);
 619
 620     g_assert(compare_litqobj_to_qobj(&decoded, obj) == 1);
 621
 622     qobject_decref(obj);
 623 }
 624
 625 static void empty_input(void)
 626 {
 627     const char *empty = "";
 628
 629     QObject *obj = qobject_from_json(empty);
 630     g_assert(obj == NULL);
 631 }
 632
 633 static void unterminated_string(void)
 634 {
 635     QObject *obj = qobject_from_json("\"abc");
 636     g_assert(obj == NULL);
 637 }
 638
 639 static void unterminated_sq_string(void)
 640 {
 641     QObject *obj = qobject_from_json("'abc");
 642     g_assert(obj == NULL);
 643 }
 644
 645 static void unterminated_escape(void)
 646 {
 647     QObject *obj = qobject_from_json("\"abc\\\"");
 648     g_assert(obj == NULL);
 649 }
 650
 651 static void unterminated_array(void)
 652 {
 653     QObject *obj = qobject_from_json("[32");
 654     g_assert(obj == NULL);
 655 }
 656
 657 static void unterminated_array_comma(void)
 658 {
 659     QObject *obj = qobject_from_json("[32,");
 660     g_assert(obj == NULL);
 661 }
 662
 663 static void invalid_array_comma(void)
 664 {
 665     QObject *obj = qobject_from_json("[32,}");
 666     g_assert(obj == NULL);
 667 }
 668
 669 static void unterminated_dict(void)
 670 {
 671     QObject *obj = qobject_from_json("{'abc':32");
 672     g_assert(obj == NULL);
 673 }
 674
 675 static void unterminated_dict_comma(void)
 676 {
 677     QObject *obj = qobject_from_json("{'abc':32,");
 678     g_assert(obj == NULL);
 679 }
 680
 681 static void invalid_dict_comma(void)
 682 {
 683     QObject *obj = qobject_from_json("{'abc':32,}");
 684     g_assert(obj == NULL);
 685 }
 686
 687 static void unterminated_literal(void)
 688 {
 689     QObject *obj = qobject_from_json("nul");
 690     g_assert(obj == NULL);
 691 }
 692
 693 int main(int argc, char **argv)
 694 {
 695     g_test_init(&argc, &argv, NULL);
 696
 697     g_test_add_func("/literals/string/simple", simple_string);
 698     g_test_add_func("/literals/string/escaped", escaped_string);
 699     g_test_add_func("/literals/string/single_quote", single_quote_string);
 700     g_test_add_func("/literals/string/vararg", vararg_string);
 701
 702     g_test_add_func("/literals/number/simple", simple_number);
 703     g_test_add_func("/literals/number/float", float_number);
 704     g_test_add_func("/literals/number/vararg", vararg_number);
 705
 706     g_test_add_func("/literals/keyword", keyword_literal);
 707
 708     g_test_add_func("/dicts/simple_dict", simple_dict);
 709     g_test_add_func("/lists/simple_list", simple_list);
 710
 711     g_test_add_func("/whitespace/simple_whitespace", simple_whitespace);
 712
 713     g_test_add_func("/varargs/simple_varargs", simple_varargs);
 714
 715     g_test_add_func("/errors/empty_input", empty_input);
 716     g_test_add_func("/errors/unterminated/string", unterminated_string);
 717     g_test_add_func("/errors/unterminated/escape", unterminated_escape);
 718     g_test_add_func("/errors/unterminated/sq_string", unterminated_sq_string);
 719     g_test_add_func("/errors/unterminated/array", unterminated_array);
 720     g_test_add_func("/errors/unterminated/array_comma", unterminated_array_comma);
 721     g_test_add_func("/errors/unterminated/dict", unterminated_dict);
 722     g_test_add_func("/errors/unterminated/dict_comma", unterminated_dict_comma);
 723     g_test_add_func("/errors/invalid_array_comma", invalid_array_comma);
 724     g_test_add_func("/errors/invalid_dict_comma", invalid_dict_comma);
 725     g_test_add_func("/errors/unterminated/literal", unterminated_literal);
 726
 727     return g_test_run();
 728 }