]> git.proxmox.com Git - mirror_qemu.git/blame - qobject/json-parser.c
Include qapi/qmp/qobject.h exactly where needed
[mirror_qemu.git] / qobject / json-parser.c
CommitLineData
4a5fcab7 1/*
6e8e5cb9 2 * JSON Parser
4a5fcab7
AL
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
f2ad72b3 14#include "qemu/osdep.h"
2bc7cfea 15#include "qemu/cutils.h"
da34e65c 16#include "qapi/error.h"
4a5fcab7 17#include "qemu-common.h"
6b673957 18#include "qapi/qmp/qbool.h"
15280c36
MA
19#include "qapi/qmp/qnull.h"
20#include "qapi/qmp/qnum.h"
6b673957 21#include "qapi/qmp/qstring.h"
7b1b5d19
PB
22#include "qapi/qmp/json-parser.h"
23#include "qapi/qmp/json-lexer.h"
9bada897 24#include "qapi/qmp/json-streamer.h"
4a5fcab7
AL
25
26typedef struct JSONParserContext
27{
ef749d07 28 Error *err;
9bada897 29 JSONToken *current;
95385fe9 30 GQueue *buf;
4a5fcab7
AL
31} JSONParserContext;
32
33#define BUG_ON(cond) assert(!(cond))
34
35/**
36 * TODO
37 *
38 * 0) make errors meaningful again
39 * 1) add geometry information to tokens
40 * 3) should we return a parsed size?
41 * 4) deal with premature EOI
42 */
43
65c0f1e9 44static QObject *parse_value(JSONParserContext *ctxt, va_list *ap);
4a5fcab7 45
4a5fcab7
AL
46/**
47 * Error handler
48 */
8b7968f7 49static void GCC_FMT_ATTR(3, 4) parse_error(JSONParserContext *ctxt,
9bada897 50 JSONToken *token, const char *msg, ...)
4a5fcab7 51{
c96c84a9 52 va_list ap;
ef749d07 53 char message[1024];
c96c84a9 54 va_start(ap, msg);
ef749d07 55 vsnprintf(message, sizeof(message), msg, ap);
c96c84a9 56 va_end(ap);
ef749d07
AL
57 if (ctxt->err) {
58 error_free(ctxt->err);
59 ctxt->err = NULL;
60 }
f231b88d 61 error_setg(&ctxt->err, "JSON parse error, %s", message);
4a5fcab7
AL
62}
63
64/**
65 * String helpers
66 *
67 * These helpers are used to unescape strings.
68 */
69static void wchar_to_utf8(uint16_t wchar, char *buffer, size_t buffer_length)
70{
71 if (wchar <= 0x007F) {
72 BUG_ON(buffer_length < 2);
73
74 buffer[0] = wchar & 0x7F;
75 buffer[1] = 0;
76 } else if (wchar <= 0x07FF) {
77 BUG_ON(buffer_length < 3);
78
79 buffer[0] = 0xC0 | ((wchar >> 6) & 0x1F);
80 buffer[1] = 0x80 | (wchar & 0x3F);
81 buffer[2] = 0;
82 } else {
83 BUG_ON(buffer_length < 4);
84
85 buffer[0] = 0xE0 | ((wchar >> 12) & 0x0F);
86 buffer[1] = 0x80 | ((wchar >> 6) & 0x3F);
87 buffer[2] = 0x80 | (wchar & 0x3F);
88 buffer[3] = 0;
89 }
90}
91
92static int hex2decimal(char ch)
93{
94 if (ch >= '0' && ch <= '9') {
95 return (ch - '0');
96 } else if (ch >= 'a' && ch <= 'f') {
97 return 10 + (ch - 'a');
98 } else if (ch >= 'A' && ch <= 'F') {
99 return 10 + (ch - 'A');
100 }
101
102 return -1;
103}
104
105/**
106 * parse_string(): Parse a json string and return a QObject
107 *
108 * string
109 * ""
110 * " chars "
111 * chars
112 * char
113 * char chars
114 * char
115 * any-Unicode-character-
116 * except-"-or-\-or-
117 * control-character
118 * \"
119 * \\
120 * \/
121 * \b
122 * \f
123 * \n
124 * \r
125 * \t
126 * \u four-hex-digits
127 */
9bada897
PB
128static QString *qstring_from_escaped_str(JSONParserContext *ctxt,
129 JSONToken *token)
4a5fcab7 130{
9bada897 131 const char *ptr = token->str;
4a5fcab7
AL
132 QString *str;
133 int double_quote = 1;
134
135 if (*ptr == '"') {
136 double_quote = 1;
137 } else {
138 double_quote = 0;
139 }
140 ptr++;
141
142 str = qstring_new();
143 while (*ptr &&
144 ((double_quote && *ptr != '"') || (!double_quote && *ptr != '\''))) {
145 if (*ptr == '\\') {
146 ptr++;
147
148 switch (*ptr) {
149 case '"':
150 qstring_append(str, "\"");
151 ptr++;
152 break;
153 case '\'':
154 qstring_append(str, "'");
155 ptr++;
156 break;
157 case '\\':
158 qstring_append(str, "\\");
159 ptr++;
160 break;
161 case '/':
162 qstring_append(str, "/");
163 ptr++;
164 break;
165 case 'b':
166 qstring_append(str, "\b");
167 ptr++;
168 break;
bd032695
LC
169 case 'f':
170 qstring_append(str, "\f");
171 ptr++;
172 break;
4a5fcab7
AL
173 case 'n':
174 qstring_append(str, "\n");
175 ptr++;
176 break;
177 case 'r':
178 qstring_append(str, "\r");
179 ptr++;
180 break;
181 case 't':
182 qstring_append(str, "\t");
183 ptr++;
184 break;
185 case 'u': {
186 uint16_t unicode_char = 0;
187 char utf8_char[4];
188 int i = 0;
189
190 ptr++;
191
192 for (i = 0; i < 4; i++) {
193 if (qemu_isxdigit(*ptr)) {
194 unicode_char |= hex2decimal(*ptr) << ((3 - i) * 4);
195 } else {
196 parse_error(ctxt, token,
197 "invalid hex escape sequence in string");
198 goto out;
199 }
200 ptr++;
201 }
202
203 wchar_to_utf8(unicode_char, utf8_char, sizeof(utf8_char));
204 qstring_append(str, utf8_char);
205 } break;
206 default:
207 parse_error(ctxt, token, "invalid escape sequence in string");
208 goto out;
209 }
210 } else {
211 char dummy[2];
212
213 dummy[0] = *ptr++;
214 dummy[1] = 0;
215
216 qstring_append(str, dummy);
217 }
218 }
219
4a5fcab7
AL
220 return str;
221
222out:
223 QDECREF(str);
224 return NULL;
225}
226
9bada897
PB
227/* Note: the token object returned by parser_context_peek_token or
228 * parser_context_pop_token is deleted as soon as parser_context_pop_token
229 * is called again.
95385fe9 230 */
9bada897 231static JSONToken *parser_context_pop_token(JSONParserContext *ctxt)
65c0f1e9 232{
9bada897 233 g_free(ctxt->current);
95385fe9
PB
234 assert(!g_queue_is_empty(ctxt->buf));
235 ctxt->current = g_queue_pop_head(ctxt->buf);
236 return ctxt->current;
65c0f1e9
MR
237}
238
9bada897 239static JSONToken *parser_context_peek_token(JSONParserContext *ctxt)
65c0f1e9 240{
95385fe9
PB
241 assert(!g_queue_is_empty(ctxt->buf));
242 return g_queue_peek_head(ctxt->buf);
65c0f1e9
MR
243}
244
95385fe9 245static JSONParserContext *parser_context_new(GQueue *tokens)
65c0f1e9
MR
246{
247 JSONParserContext *ctxt;
65c0f1e9
MR
248
249 if (!tokens) {
250 return NULL;
251 }
252
65c0f1e9 253 ctxt = g_malloc0(sizeof(JSONParserContext));
95385fe9 254 ctxt->buf = tokens;
65c0f1e9
MR
255
256 return ctxt;
257}
258
259/* to support error propagation, ctxt->err must be freed separately */
260static void parser_context_free(JSONParserContext *ctxt)
261{
65c0f1e9 262 if (ctxt) {
95385fe9
PB
263 while (!g_queue_is_empty(ctxt->buf)) {
264 parser_context_pop_token(ctxt);
65c0f1e9 265 }
9bada897 266 g_free(ctxt->current);
95385fe9 267 g_queue_free(ctxt->buf);
65c0f1e9
MR
268 g_free(ctxt);
269 }
270}
271
4a5fcab7
AL
272/**
273 * Parsing rules
274 */
65c0f1e9 275static int parse_pair(JSONParserContext *ctxt, QDict *dict, va_list *ap)
4a5fcab7 276{
9bada897
PB
277 QObject *key = NULL, *value;
278 JSONToken *peek, *token;
4a5fcab7 279
65c0f1e9 280 peek = parser_context_peek_token(ctxt);
11e8a46c
AL
281 if (peek == NULL) {
282 parse_error(ctxt, NULL, "premature EOI");
283 goto out;
284 }
285
65c0f1e9 286 key = parse_value(ctxt, ap);
d758d90f 287 if (!key || qobject_type(key) != QTYPE_QSTRING) {
4a5fcab7
AL
288 parse_error(ctxt, peek, "key is not a string in object");
289 goto out;
290 }
291
65c0f1e9 292 token = parser_context_pop_token(ctxt);
11e8a46c
AL
293 if (token == NULL) {
294 parse_error(ctxt, NULL, "premature EOI");
295 goto out;
296 }
297
9bada897 298 if (token->type != JSON_COLON) {
4a5fcab7
AL
299 parse_error(ctxt, token, "missing : in object pair");
300 goto out;
301 }
302
65c0f1e9 303 value = parse_value(ctxt, ap);
4a5fcab7
AL
304 if (value == NULL) {
305 parse_error(ctxt, token, "Missing value in dict");
306 goto out;
307 }
308
309 qdict_put_obj(dict, qstring_get_str(qobject_to_qstring(key)), value);
310
4a5fcab7 311 qobject_decref(key);
4a5fcab7
AL
312
313 return 0;
314
315out:
4a5fcab7 316 qobject_decref(key);
4a5fcab7
AL
317
318 return -1;
319}
320
65c0f1e9 321static QObject *parse_object(JSONParserContext *ctxt, va_list *ap)
4a5fcab7
AL
322{
323 QDict *dict = NULL;
9bada897 324 JSONToken *token, *peek;
4a5fcab7 325
65c0f1e9 326 token = parser_context_pop_token(ctxt);
9bada897 327 assert(token && token->type == JSON_LCURLY);
4a5fcab7
AL
328
329 dict = qdict_new();
330
65c0f1e9 331 peek = parser_context_peek_token(ctxt);
11e8a46c
AL
332 if (peek == NULL) {
333 parse_error(ctxt, NULL, "premature EOI");
334 goto out;
335 }
336
9bada897 337 if (peek->type != JSON_RCURLY) {
65c0f1e9 338 if (parse_pair(ctxt, dict, ap) == -1) {
4a5fcab7
AL
339 goto out;
340 }
341
65c0f1e9 342 token = parser_context_pop_token(ctxt);
11e8a46c
AL
343 if (token == NULL) {
344 parse_error(ctxt, NULL, "premature EOI");
345 goto out;
346 }
347
9bada897
PB
348 while (token->type != JSON_RCURLY) {
349 if (token->type != JSON_COMMA) {
4a5fcab7
AL
350 parse_error(ctxt, token, "expected separator in dict");
351 goto out;
352 }
4a5fcab7 353
65c0f1e9 354 if (parse_pair(ctxt, dict, ap) == -1) {
4a5fcab7
AL
355 goto out;
356 }
357
65c0f1e9 358 token = parser_context_pop_token(ctxt);
11e8a46c
AL
359 if (token == NULL) {
360 parse_error(ctxt, NULL, "premature EOI");
361 goto out;
362 }
4a5fcab7 363 }
4a5fcab7 364 } else {
a491af47 365 (void)parser_context_pop_token(ctxt);
4a5fcab7
AL
366 }
367
4a5fcab7
AL
368 return QOBJECT(dict);
369
370out:
4a5fcab7
AL
371 QDECREF(dict);
372 return NULL;
373}
374
65c0f1e9 375static QObject *parse_array(JSONParserContext *ctxt, va_list *ap)
4a5fcab7
AL
376{
377 QList *list = NULL;
9bada897 378 JSONToken *token, *peek;
4a5fcab7 379
65c0f1e9 380 token = parser_context_pop_token(ctxt);
9bada897 381 assert(token && token->type == JSON_LSQUARE);
4a5fcab7
AL
382
383 list = qlist_new();
384
65c0f1e9 385 peek = parser_context_peek_token(ctxt);
11e8a46c
AL
386 if (peek == NULL) {
387 parse_error(ctxt, NULL, "premature EOI");
388 goto out;
389 }
390
9bada897 391 if (peek->type != JSON_RSQUARE) {
4a5fcab7
AL
392 QObject *obj;
393
65c0f1e9 394 obj = parse_value(ctxt, ap);
4a5fcab7
AL
395 if (obj == NULL) {
396 parse_error(ctxt, token, "expecting value");
397 goto out;
398 }
399
400 qlist_append_obj(list, obj);
401
65c0f1e9 402 token = parser_context_pop_token(ctxt);
11e8a46c
AL
403 if (token == NULL) {
404 parse_error(ctxt, NULL, "premature EOI");
405 goto out;
406 }
407
9bada897
PB
408 while (token->type != JSON_RSQUARE) {
409 if (token->type != JSON_COMMA) {
4a5fcab7
AL
410 parse_error(ctxt, token, "expected separator in list");
411 goto out;
412 }
413
65c0f1e9 414 obj = parse_value(ctxt, ap);
4a5fcab7
AL
415 if (obj == NULL) {
416 parse_error(ctxt, token, "expecting value");
417 goto out;
418 }
419
420 qlist_append_obj(list, obj);
421
65c0f1e9 422 token = parser_context_pop_token(ctxt);
11e8a46c
AL
423 if (token == NULL) {
424 parse_error(ctxt, NULL, "premature EOI");
425 goto out;
426 }
4a5fcab7 427 }
4a5fcab7 428 } else {
a491af47 429 (void)parser_context_pop_token(ctxt);
4a5fcab7
AL
430 }
431
4a5fcab7
AL
432 return QOBJECT(list);
433
434out:
4a5fcab7
AL
435 QDECREF(list);
436 return NULL;
437}
438
65c0f1e9 439static QObject *parse_keyword(JSONParserContext *ctxt)
4a5fcab7 440{
9bada897 441 JSONToken *token;
4a5fcab7 442
65c0f1e9 443 token = parser_context_pop_token(ctxt);
9bada897 444 assert(token && token->type == JSON_KEYWORD);
50e2a467 445
9bada897 446 if (!strcmp(token->str, "true")) {
d538b255 447 return QOBJECT(qbool_from_bool(true));
9bada897 448 } else if (!strcmp(token->str, "false")) {
d538b255 449 return QOBJECT(qbool_from_bool(false));
9bada897 450 } else if (!strcmp(token->str, "null")) {
006ca09f 451 return QOBJECT(qnull());
4a5fcab7 452 }
9bada897 453 parse_error(ctxt, token, "invalid keyword '%s'", token->str);
4a5fcab7
AL
454 return NULL;
455}
456
65c0f1e9 457static QObject *parse_escape(JSONParserContext *ctxt, va_list *ap)
4a5fcab7 458{
9bada897 459 JSONToken *token;
4a5fcab7
AL
460
461 if (ap == NULL) {
d538b255 462 return NULL;
4a5fcab7
AL
463 }
464
65c0f1e9 465 token = parser_context_pop_token(ctxt);
9bada897 466 assert(token && token->type == JSON_ESCAPE);
6b9606f6 467
9bada897 468 if (!strcmp(token->str, "%p")) {
d538b255 469 return va_arg(*ap, QObject *);
9bada897 470 } else if (!strcmp(token->str, "%i")) {
d538b255 471 return QOBJECT(qbool_from_bool(va_arg(*ap, int)));
9bada897 472 } else if (!strcmp(token->str, "%d")) {
01b2ffce 473 return QOBJECT(qnum_from_int(va_arg(*ap, int)));
9bada897 474 } else if (!strcmp(token->str, "%ld")) {
01b2ffce 475 return QOBJECT(qnum_from_int(va_arg(*ap, long)));
9bada897
PB
476 } else if (!strcmp(token->str, "%lld") ||
477 !strcmp(token->str, "%I64d")) {
01b2ffce 478 return QOBJECT(qnum_from_int(va_arg(*ap, long long)));
2bc7cfea
MAL
479 } else if (!strcmp(token->str, "%u")) {
480 return QOBJECT(qnum_from_uint(va_arg(*ap, unsigned int)));
481 } else if (!strcmp(token->str, "%lu")) {
482 return QOBJECT(qnum_from_uint(va_arg(*ap, unsigned long)));
483 } else if (!strcmp(token->str, "%llu") ||
484 !strcmp(token->str, "%I64u")) {
485 return QOBJECT(qnum_from_uint(va_arg(*ap, unsigned long long)));
9bada897 486 } else if (!strcmp(token->str, "%s")) {
d538b255 487 return QOBJECT(qstring_from_str(va_arg(*ap, const char *)));
9bada897 488 } else if (!strcmp(token->str, "%f")) {
01b2ffce 489 return QOBJECT(qnum_from_double(va_arg(*ap, double)));
4a5fcab7 490 }
4a5fcab7
AL
491 return NULL;
492}
493
65c0f1e9 494static QObject *parse_literal(JSONParserContext *ctxt)
4a5fcab7 495{
9bada897 496 JSONToken *token;
4a5fcab7 497
65c0f1e9 498 token = parser_context_pop_token(ctxt);
d538b255 499 assert(token);
11e8a46c 500
9bada897 501 switch (token->type) {
4a5fcab7 502 case JSON_STRING:
d538b255 503 return QOBJECT(qstring_from_escaped_str(ctxt, token));
3d5b3ec6 504 case JSON_INTEGER: {
01b2ffce
MAL
505 /*
506 * Represent JSON_INTEGER as QNUM_I64 if possible, else as
2bc7cfea
MAL
507 * QNUM_U64, else as QNUM_DOUBLE. Note that qemu_strtoi64()
508 * and qemu_strtou64() fail with ERANGE when it's not
509 * possible.
3d5b3ec6 510 *
01b2ffce 511 * qnum_get_int() will then work for any signed 64-bit
2bc7cfea
MAL
512 * JSON_INTEGER, qnum_get_uint() for any unsigned 64-bit
513 * integer, and qnum_get_double() both for any JSON_INTEGER
514 * and any JSON_FLOAT (with precision loss for integers beyond
515 * 53 bits)
3d5b3ec6 516 */
2bc7cfea 517 int ret;
3d5b3ec6 518 int64_t value;
2bc7cfea 519 uint64_t uvalue;
3d5b3ec6 520
2bc7cfea
MAL
521 ret = qemu_strtoi64(token->str, NULL, 10, &value);
522 if (!ret) {
01b2ffce 523 return QOBJECT(qnum_from_int(value));
3d5b3ec6 524 }
2bc7cfea
MAL
525 assert(ret == -ERANGE);
526
527 if (token->str[0] != '-') {
528 ret = qemu_strtou64(token->str, NULL, 10, &uvalue);
529 if (!ret) {
530 return QOBJECT(qnum_from_uint(uvalue));
531 }
532 assert(ret == -ERANGE);
533 }
3d5b3ec6
MR
534 /* fall through to JSON_FLOAT */
535 }
4a5fcab7 536 case JSON_FLOAT:
6e8e5cb9
EB
537 /* FIXME dependent on locale; a pervasive issue in QEMU */
538 /* FIXME our lexer matches RFC 7159 in forbidding Inf or NaN,
539 * but those might be useful extensions beyond JSON */
01b2ffce 540 return QOBJECT(qnum_from_double(strtod(token->str, NULL)));
4a5fcab7 541 default:
d538b255 542 abort();
4a5fcab7 543 }
4a5fcab7
AL
544}
545
65c0f1e9 546static QObject *parse_value(JSONParserContext *ctxt, va_list *ap)
4a5fcab7 547{
9bada897 548 JSONToken *token;
4a5fcab7 549
d538b255
MA
550 token = parser_context_peek_token(ctxt);
551 if (token == NULL) {
552 parse_error(ctxt, NULL, "premature EOI");
553 return NULL;
4a5fcab7
AL
554 }
555
9bada897 556 switch (token->type) {
d538b255
MA
557 case JSON_LCURLY:
558 return parse_object(ctxt, ap);
559 case JSON_LSQUARE:
560 return parse_array(ctxt, ap);
561 case JSON_ESCAPE:
562 return parse_escape(ctxt, ap);
563 case JSON_INTEGER:
564 case JSON_FLOAT:
565 case JSON_STRING:
566 return parse_literal(ctxt);
567 case JSON_KEYWORD:
568 return parse_keyword(ctxt);
569 default:
570 parse_error(ctxt, token, "expecting value");
571 return NULL;
572 }
4a5fcab7
AL
573}
574
95385fe9 575QObject *json_parser_parse(GQueue *tokens, va_list *ap)
ef749d07
AL
576{
577 return json_parser_parse_err(tokens, ap, NULL);
578}
579
95385fe9 580QObject *json_parser_parse_err(GQueue *tokens, va_list *ap, Error **errp)
4a5fcab7 581{
65c0f1e9 582 JSONParserContext *ctxt = parser_context_new(tokens);
4a5fcab7
AL
583 QObject *result;
584
65c0f1e9 585 if (!ctxt) {
c1990ebf
MR
586 return NULL;
587 }
4a5fcab7 588
65c0f1e9
MR
589 result = parse_value(ctxt, ap);
590
591 error_propagate(errp, ctxt->err);
4a5fcab7 592
65c0f1e9 593 parser_context_free(ctxt);
ef749d07 594
4a5fcab7
AL
595 return result;
596}