]> git.proxmox.com Git - mirror_qemu.git/blame - qobject/json-parser.c
target-xtensa: add missing window check for entry
[mirror_qemu.git] / qobject / json-parser.c
CommitLineData
4a5fcab7
AL
1/*
2 * JSON Parser
3 *
4 * Copyright IBM, Corp. 2009
5 *
6 * Authors:
7 * Anthony Liguori <aliguori@us.ibm.com>
8 *
9 * This work is licensed under the terms of the GNU LGPL, version 2.1 or later.
10 * See the COPYING.LIB file in the top-level directory.
11 *
12 */
13
c96c84a9 14#include <stdarg.h>
4a5fcab7
AL
15
16#include "qemu-common.h"
7b1b5d19
PB
17#include "qapi/qmp/qstring.h"
18#include "qapi/qmp/qint.h"
19#include "qapi/qmp/qdict.h"
20#include "qapi/qmp/qlist.h"
21#include "qapi/qmp/qfloat.h"
22#include "qapi/qmp/qbool.h"
23#include "qapi/qmp/json-parser.h"
24#include "qapi/qmp/json-lexer.h"
25#include "qapi/qmp/qerror.h"
4a5fcab7
AL
26
27typedef struct JSONParserContext
28{
ef749d07 29 Error *err;
65c0f1e9
MR
30 struct {
31 QObject **buf;
32 size_t pos;
33 size_t count;
34 } tokens;
4a5fcab7
AL
35} JSONParserContext;
36
37#define BUG_ON(cond) assert(!(cond))
38
39/**
40 * TODO
41 *
42 * 0) make errors meaningful again
43 * 1) add geometry information to tokens
44 * 3) should we return a parsed size?
45 * 4) deal with premature EOI
46 */
47
65c0f1e9 48static QObject *parse_value(JSONParserContext *ctxt, va_list *ap);
4a5fcab7
AL
49
50/**
51 * Token manipulators
52 *
53 * tokens are dictionaries that contain a type, a string value, and geometry information
54 * about a token identified by the lexer. These are routines that make working with
55 * these objects a bit easier.
56 */
57static const char *token_get_value(QObject *obj)
58{
59 return qdict_get_str(qobject_to_qdict(obj), "token");
60}
61
62static JSONTokenType token_get_type(QObject *obj)
63{
64 return qdict_get_int(qobject_to_qdict(obj), "type");
65}
66
67static int token_is_operator(QObject *obj, char op)
68{
69 const char *val;
70
71 if (token_get_type(obj) != JSON_OPERATOR) {
72 return 0;
73 }
74
75 val = token_get_value(obj);
76
77 return (val[0] == op) && (val[1] == 0);
78}
79
80static int token_is_keyword(QObject *obj, const char *value)
81{
82 if (token_get_type(obj) != JSON_KEYWORD) {
83 return 0;
84 }
85
86 return strcmp(token_get_value(obj), value) == 0;
87}
88
89static int token_is_escape(QObject *obj, const char *value)
90{
91 if (token_get_type(obj) != JSON_ESCAPE) {
92 return 0;
93 }
94
95 return (strcmp(token_get_value(obj), value) == 0);
96}
97
98/**
99 * Error handler
100 */
8b7968f7
SW
101static void GCC_FMT_ATTR(3, 4) parse_error(JSONParserContext *ctxt,
102 QObject *token, const char *msg, ...)
4a5fcab7 103{
c96c84a9 104 va_list ap;
ef749d07 105 char message[1024];
c96c84a9 106 va_start(ap, msg);
ef749d07 107 vsnprintf(message, sizeof(message), msg, ap);
c96c84a9 108 va_end(ap);
ef749d07
AL
109 if (ctxt->err) {
110 error_free(ctxt->err);
111 ctxt->err = NULL;
112 }
f231b88d 113 error_setg(&ctxt->err, "JSON parse error, %s", message);
4a5fcab7
AL
114}
115
116/**
117 * String helpers
118 *
119 * These helpers are used to unescape strings.
120 */
121static void wchar_to_utf8(uint16_t wchar, char *buffer, size_t buffer_length)
122{
123 if (wchar <= 0x007F) {
124 BUG_ON(buffer_length < 2);
125
126 buffer[0] = wchar & 0x7F;
127 buffer[1] = 0;
128 } else if (wchar <= 0x07FF) {
129 BUG_ON(buffer_length < 3);
130
131 buffer[0] = 0xC0 | ((wchar >> 6) & 0x1F);
132 buffer[1] = 0x80 | (wchar & 0x3F);
133 buffer[2] = 0;
134 } else {
135 BUG_ON(buffer_length < 4);
136
137 buffer[0] = 0xE0 | ((wchar >> 12) & 0x0F);
138 buffer[1] = 0x80 | ((wchar >> 6) & 0x3F);
139 buffer[2] = 0x80 | (wchar & 0x3F);
140 buffer[3] = 0;
141 }
142}
143
144static int hex2decimal(char ch)
145{
146 if (ch >= '0' && ch <= '9') {
147 return (ch - '0');
148 } else if (ch >= 'a' && ch <= 'f') {
149 return 10 + (ch - 'a');
150 } else if (ch >= 'A' && ch <= 'F') {
151 return 10 + (ch - 'A');
152 }
153
154 return -1;
155}
156
157/**
158 * parse_string(): Parse a json string and return a QObject
159 *
160 * string
161 * ""
162 * " chars "
163 * chars
164 * char
165 * char chars
166 * char
167 * any-Unicode-character-
168 * except-"-or-\-or-
169 * control-character
170 * \"
171 * \\
172 * \/
173 * \b
174 * \f
175 * \n
176 * \r
177 * \t
178 * \u four-hex-digits
179 */
180static QString *qstring_from_escaped_str(JSONParserContext *ctxt, QObject *token)
181{
182 const char *ptr = token_get_value(token);
183 QString *str;
184 int double_quote = 1;
185
186 if (*ptr == '"') {
187 double_quote = 1;
188 } else {
189 double_quote = 0;
190 }
191 ptr++;
192
193 str = qstring_new();
194 while (*ptr &&
195 ((double_quote && *ptr != '"') || (!double_quote && *ptr != '\''))) {
196 if (*ptr == '\\') {
197 ptr++;
198
199 switch (*ptr) {
200 case '"':
201 qstring_append(str, "\"");
202 ptr++;
203 break;
204 case '\'':
205 qstring_append(str, "'");
206 ptr++;
207 break;
208 case '\\':
209 qstring_append(str, "\\");
210 ptr++;
211 break;
212 case '/':
213 qstring_append(str, "/");
214 ptr++;
215 break;
216 case 'b':
217 qstring_append(str, "\b");
218 ptr++;
219 break;
bd032695
LC
220 case 'f':
221 qstring_append(str, "\f");
222 ptr++;
223 break;
4a5fcab7
AL
224 case 'n':
225 qstring_append(str, "\n");
226 ptr++;
227 break;
228 case 'r':
229 qstring_append(str, "\r");
230 ptr++;
231 break;
232 case 't':
233 qstring_append(str, "\t");
234 ptr++;
235 break;
236 case 'u': {
237 uint16_t unicode_char = 0;
238 char utf8_char[4];
239 int i = 0;
240
241 ptr++;
242
243 for (i = 0; i < 4; i++) {
244 if (qemu_isxdigit(*ptr)) {
245 unicode_char |= hex2decimal(*ptr) << ((3 - i) * 4);
246 } else {
247 parse_error(ctxt, token,
248 "invalid hex escape sequence in string");
249 goto out;
250 }
251 ptr++;
252 }
253
254 wchar_to_utf8(unicode_char, utf8_char, sizeof(utf8_char));
255 qstring_append(str, utf8_char);
256 } break;
257 default:
258 parse_error(ctxt, token, "invalid escape sequence in string");
259 goto out;
260 }
261 } else {
262 char dummy[2];
263
264 dummy[0] = *ptr++;
265 dummy[1] = 0;
266
267 qstring_append(str, dummy);
268 }
269 }
270
4a5fcab7
AL
271 return str;
272
273out:
274 QDECREF(str);
275 return NULL;
276}
277
65c0f1e9
MR
278static QObject *parser_context_pop_token(JSONParserContext *ctxt)
279{
280 QObject *token;
281 g_assert(ctxt->tokens.pos < ctxt->tokens.count);
282 token = ctxt->tokens.buf[ctxt->tokens.pos];
283 ctxt->tokens.pos++;
284 return token;
285}
286
287/* Note: parser_context_{peek|pop}_token do not increment the
288 * token object's refcount. In both cases the references will continue
289 * to be tracked and cleaned up in parser_context_free(), so do not
290 * attempt to free the token object.
291 */
292static QObject *parser_context_peek_token(JSONParserContext *ctxt)
293{
294 QObject *token;
295 g_assert(ctxt->tokens.pos < ctxt->tokens.count);
296 token = ctxt->tokens.buf[ctxt->tokens.pos];
297 return token;
298}
299
300static JSONParserContext parser_context_save(JSONParserContext *ctxt)
301{
302 JSONParserContext saved_ctxt = {0};
303 saved_ctxt.tokens.pos = ctxt->tokens.pos;
304 saved_ctxt.tokens.count = ctxt->tokens.count;
305 saved_ctxt.tokens.buf = ctxt->tokens.buf;
306 return saved_ctxt;
307}
308
309static void parser_context_restore(JSONParserContext *ctxt,
310 JSONParserContext saved_ctxt)
311{
312 ctxt->tokens.pos = saved_ctxt.tokens.pos;
313 ctxt->tokens.count = saved_ctxt.tokens.count;
314 ctxt->tokens.buf = saved_ctxt.tokens.buf;
315}
316
317static void tokens_append_from_iter(QObject *obj, void *opaque)
318{
319 JSONParserContext *ctxt = opaque;
320 g_assert(ctxt->tokens.pos < ctxt->tokens.count);
321 ctxt->tokens.buf[ctxt->tokens.pos++] = obj;
322 qobject_incref(obj);
323}
324
325static JSONParserContext *parser_context_new(QList *tokens)
326{
327 JSONParserContext *ctxt;
328 size_t count;
329
330 if (!tokens) {
331 return NULL;
332 }
333
334 count = qlist_size(tokens);
335 if (count == 0) {
336 return NULL;
337 }
338
339 ctxt = g_malloc0(sizeof(JSONParserContext));
340 ctxt->tokens.pos = 0;
341 ctxt->tokens.count = count;
342 ctxt->tokens.buf = g_malloc(count * sizeof(QObject *));
343 qlist_iter(tokens, tokens_append_from_iter, ctxt);
344 ctxt->tokens.pos = 0;
345
346 return ctxt;
347}
348
349/* to support error propagation, ctxt->err must be freed separately */
350static void parser_context_free(JSONParserContext *ctxt)
351{
352 int i;
353 if (ctxt) {
354 for (i = 0; i < ctxt->tokens.count; i++) {
355 qobject_decref(ctxt->tokens.buf[i]);
356 }
357 g_free(ctxt->tokens.buf);
358 g_free(ctxt);
359 }
360}
361
4a5fcab7
AL
362/**
363 * Parsing rules
364 */
65c0f1e9 365static int parse_pair(JSONParserContext *ctxt, QDict *dict, va_list *ap)
4a5fcab7 366{
11e8a46c 367 QObject *key = NULL, *token = NULL, *value, *peek;
65c0f1e9 368 JSONParserContext saved_ctxt = parser_context_save(ctxt);
4a5fcab7 369
65c0f1e9 370 peek = parser_context_peek_token(ctxt);
11e8a46c
AL
371 if (peek == NULL) {
372 parse_error(ctxt, NULL, "premature EOI");
373 goto out;
374 }
375
65c0f1e9 376 key = parse_value(ctxt, ap);
d758d90f 377 if (!key || qobject_type(key) != QTYPE_QSTRING) {
4a5fcab7
AL
378 parse_error(ctxt, peek, "key is not a string in object");
379 goto out;
380 }
381
65c0f1e9 382 token = parser_context_pop_token(ctxt);
11e8a46c
AL
383 if (token == NULL) {
384 parse_error(ctxt, NULL, "premature EOI");
385 goto out;
386 }
387
4a5fcab7
AL
388 if (!token_is_operator(token, ':')) {
389 parse_error(ctxt, token, "missing : in object pair");
390 goto out;
391 }
392
65c0f1e9 393 value = parse_value(ctxt, ap);
4a5fcab7
AL
394 if (value == NULL) {
395 parse_error(ctxt, token, "Missing value in dict");
396 goto out;
397 }
398
399 qdict_put_obj(dict, qstring_get_str(qobject_to_qstring(key)), value);
400
4a5fcab7 401 qobject_decref(key);
4a5fcab7
AL
402
403 return 0;
404
405out:
65c0f1e9 406 parser_context_restore(ctxt, saved_ctxt);
4a5fcab7 407 qobject_decref(key);
4a5fcab7
AL
408
409 return -1;
410}
411
65c0f1e9 412static QObject *parse_object(JSONParserContext *ctxt, va_list *ap)
4a5fcab7
AL
413{
414 QDict *dict = NULL;
415 QObject *token, *peek;
65c0f1e9 416 JSONParserContext saved_ctxt = parser_context_save(ctxt);
4a5fcab7 417
65c0f1e9 418 token = parser_context_pop_token(ctxt);
11e8a46c
AL
419 if (token == NULL) {
420 goto out;
421 }
422
4a5fcab7
AL
423 if (!token_is_operator(token, '{')) {
424 goto out;
425 }
4a5fcab7
AL
426
427 dict = qdict_new();
428
65c0f1e9 429 peek = parser_context_peek_token(ctxt);
11e8a46c
AL
430 if (peek == NULL) {
431 parse_error(ctxt, NULL, "premature EOI");
432 goto out;
433 }
434
4a5fcab7 435 if (!token_is_operator(peek, '}')) {
65c0f1e9 436 if (parse_pair(ctxt, dict, ap) == -1) {
4a5fcab7
AL
437 goto out;
438 }
439
65c0f1e9 440 token = parser_context_pop_token(ctxt);
11e8a46c
AL
441 if (token == NULL) {
442 parse_error(ctxt, NULL, "premature EOI");
443 goto out;
444 }
445
4a5fcab7
AL
446 while (!token_is_operator(token, '}')) {
447 if (!token_is_operator(token, ',')) {
448 parse_error(ctxt, token, "expected separator in dict");
449 goto out;
450 }
4a5fcab7 451
65c0f1e9 452 if (parse_pair(ctxt, dict, ap) == -1) {
4a5fcab7
AL
453 goto out;
454 }
455
65c0f1e9 456 token = parser_context_pop_token(ctxt);
11e8a46c
AL
457 if (token == NULL) {
458 parse_error(ctxt, NULL, "premature EOI");
459 goto out;
460 }
4a5fcab7 461 }
4a5fcab7 462 } else {
a491af47 463 (void)parser_context_pop_token(ctxt);
4a5fcab7
AL
464 }
465
4a5fcab7
AL
466 return QOBJECT(dict);
467
468out:
65c0f1e9 469 parser_context_restore(ctxt, saved_ctxt);
4a5fcab7
AL
470 QDECREF(dict);
471 return NULL;
472}
473
65c0f1e9 474static QObject *parse_array(JSONParserContext *ctxt, va_list *ap)
4a5fcab7
AL
475{
476 QList *list = NULL;
477 QObject *token, *peek;
65c0f1e9 478 JSONParserContext saved_ctxt = parser_context_save(ctxt);
4a5fcab7 479
65c0f1e9 480 token = parser_context_pop_token(ctxt);
11e8a46c
AL
481 if (token == NULL) {
482 goto out;
483 }
484
4a5fcab7
AL
485 if (!token_is_operator(token, '[')) {
486 goto out;
487 }
4a5fcab7
AL
488
489 list = qlist_new();
490
65c0f1e9 491 peek = parser_context_peek_token(ctxt);
11e8a46c
AL
492 if (peek == NULL) {
493 parse_error(ctxt, NULL, "premature EOI");
494 goto out;
495 }
496
4a5fcab7
AL
497 if (!token_is_operator(peek, ']')) {
498 QObject *obj;
499
65c0f1e9 500 obj = parse_value(ctxt, ap);
4a5fcab7
AL
501 if (obj == NULL) {
502 parse_error(ctxt, token, "expecting value");
503 goto out;
504 }
505
506 qlist_append_obj(list, obj);
507
65c0f1e9 508 token = parser_context_pop_token(ctxt);
11e8a46c
AL
509 if (token == NULL) {
510 parse_error(ctxt, NULL, "premature EOI");
511 goto out;
512 }
513
4a5fcab7
AL
514 while (!token_is_operator(token, ']')) {
515 if (!token_is_operator(token, ',')) {
516 parse_error(ctxt, token, "expected separator in list");
517 goto out;
518 }
519
65c0f1e9 520 obj = parse_value(ctxt, ap);
4a5fcab7
AL
521 if (obj == NULL) {
522 parse_error(ctxt, token, "expecting value");
523 goto out;
524 }
525
526 qlist_append_obj(list, obj);
527
65c0f1e9 528 token = parser_context_pop_token(ctxt);
11e8a46c
AL
529 if (token == NULL) {
530 parse_error(ctxt, NULL, "premature EOI");
531 goto out;
532 }
4a5fcab7 533 }
4a5fcab7 534 } else {
a491af47 535 (void)parser_context_pop_token(ctxt);
4a5fcab7
AL
536 }
537
4a5fcab7
AL
538 return QOBJECT(list);
539
540out:
65c0f1e9 541 parser_context_restore(ctxt, saved_ctxt);
4a5fcab7
AL
542 QDECREF(list);
543 return NULL;
544}
545
65c0f1e9 546static QObject *parse_keyword(JSONParserContext *ctxt)
4a5fcab7
AL
547{
548 QObject *token, *ret;
65c0f1e9 549 JSONParserContext saved_ctxt = parser_context_save(ctxt);
4a5fcab7 550
65c0f1e9 551 token = parser_context_pop_token(ctxt);
11e8a46c
AL
552 if (token == NULL) {
553 goto out;
554 }
4a5fcab7
AL
555
556 if (token_get_type(token) != JSON_KEYWORD) {
557 goto out;
558 }
559
560 if (token_is_keyword(token, "true")) {
561 ret = QOBJECT(qbool_from_int(true));
562 } else if (token_is_keyword(token, "false")) {
563 ret = QOBJECT(qbool_from_int(false));
564 } else {
565 parse_error(ctxt, token, "invalid keyword `%s'", token_get_value(token));
566 goto out;
567 }
568
4a5fcab7
AL
569 return ret;
570
571out:
65c0f1e9 572 parser_context_restore(ctxt, saved_ctxt);
4a5fcab7
AL
573
574 return NULL;
575}
576
65c0f1e9 577static QObject *parse_escape(JSONParserContext *ctxt, va_list *ap)
4a5fcab7
AL
578{
579 QObject *token = NULL, *obj;
65c0f1e9 580 JSONParserContext saved_ctxt = parser_context_save(ctxt);
4a5fcab7
AL
581
582 if (ap == NULL) {
583 goto out;
584 }
585
65c0f1e9 586 token = parser_context_pop_token(ctxt);
11e8a46c
AL
587 if (token == NULL) {
588 goto out;
589 }
4a5fcab7
AL
590
591 if (token_is_escape(token, "%p")) {
592 obj = va_arg(*ap, QObject *);
593 } else if (token_is_escape(token, "%i")) {
594 obj = QOBJECT(qbool_from_int(va_arg(*ap, int)));
595 } else if (token_is_escape(token, "%d")) {
596 obj = QOBJECT(qint_from_int(va_arg(*ap, int)));
597 } else if (token_is_escape(token, "%ld")) {
598 obj = QOBJECT(qint_from_int(va_arg(*ap, long)));
2c0d4b36
RT
599 } else if (token_is_escape(token, "%lld") ||
600 token_is_escape(token, "%I64d")) {
4a5fcab7
AL
601 obj = QOBJECT(qint_from_int(va_arg(*ap, long long)));
602 } else if (token_is_escape(token, "%s")) {
603 obj = QOBJECT(qstring_from_str(va_arg(*ap, const char *)));
604 } else if (token_is_escape(token, "%f")) {
605 obj = QOBJECT(qfloat_from_double(va_arg(*ap, double)));
606 } else {
607 goto out;
608 }
609
4a5fcab7
AL
610 return obj;
611
612out:
65c0f1e9 613 parser_context_restore(ctxt, saved_ctxt);
4a5fcab7
AL
614
615 return NULL;
616}
617
65c0f1e9 618static QObject *parse_literal(JSONParserContext *ctxt)
4a5fcab7
AL
619{
620 QObject *token, *obj;
65c0f1e9 621 JSONParserContext saved_ctxt = parser_context_save(ctxt);
4a5fcab7 622
65c0f1e9 623 token = parser_context_pop_token(ctxt);
11e8a46c
AL
624 if (token == NULL) {
625 goto out;
626 }
627
4a5fcab7
AL
628 switch (token_get_type(token)) {
629 case JSON_STRING:
630 obj = QOBJECT(qstring_from_escaped_str(ctxt, token));
631 break;
3d5b3ec6
MR
632 case JSON_INTEGER: {
633 /* A possibility exists that this is a whole-valued float where the
634 * fractional part was left out due to being 0 (.0). It's not a big
635 * deal to treat these as ints in the parser, so long as users of the
636 * resulting QObject know to expect a QInt in place of a QFloat in
637 * cases like these.
638 *
639 * However, in some cases these values will overflow/underflow a
640 * QInt/int64 container, thus we should assume these are to be handled
641 * as QFloats/doubles rather than silently changing their values.
642 *
643 * strtoll() indicates these instances by setting errno to ERANGE
644 */
645 int64_t value;
646
647 errno = 0; /* strtoll doesn't set errno on success */
648 value = strtoll(token_get_value(token), NULL, 10);
649 if (errno != ERANGE) {
650 obj = QOBJECT(qint_from_int(value));
651 break;
652 }
653 /* fall through to JSON_FLOAT */
654 }
4a5fcab7
AL
655 case JSON_FLOAT:
656 /* FIXME dependent on locale */
657 obj = QOBJECT(qfloat_from_double(strtod(token_get_value(token), NULL)));
658 break;
659 default:
660 goto out;
661 }
662
4a5fcab7
AL
663 return obj;
664
665out:
65c0f1e9 666 parser_context_restore(ctxt, saved_ctxt);
4a5fcab7
AL
667
668 return NULL;
669}
670
65c0f1e9 671static QObject *parse_value(JSONParserContext *ctxt, va_list *ap)
4a5fcab7
AL
672{
673 QObject *obj;
674
65c0f1e9 675 obj = parse_object(ctxt, ap);
4a5fcab7 676 if (obj == NULL) {
65c0f1e9 677 obj = parse_array(ctxt, ap);
4a5fcab7
AL
678 }
679 if (obj == NULL) {
65c0f1e9 680 obj = parse_escape(ctxt, ap);
4a5fcab7
AL
681 }
682 if (obj == NULL) {
65c0f1e9 683 obj = parse_keyword(ctxt);
4a5fcab7
AL
684 }
685 if (obj == NULL) {
65c0f1e9 686 obj = parse_literal(ctxt);
4a5fcab7
AL
687 }
688
689 return obj;
690}
691
692QObject *json_parser_parse(QList *tokens, va_list *ap)
ef749d07
AL
693{
694 return json_parser_parse_err(tokens, ap, NULL);
695}
696
697QObject *json_parser_parse_err(QList *tokens, va_list *ap, Error **errp)
4a5fcab7 698{
65c0f1e9 699 JSONParserContext *ctxt = parser_context_new(tokens);
4a5fcab7
AL
700 QObject *result;
701
65c0f1e9 702 if (!ctxt) {
c1990ebf
MR
703 return NULL;
704 }
4a5fcab7 705
65c0f1e9
MR
706 result = parse_value(ctxt, ap);
707
708 error_propagate(errp, ctxt->err);
4a5fcab7 709
65c0f1e9 710 parser_context_free(ctxt);
ef749d07 711
4a5fcab7
AL
712 return result;
713}