blob: 5506c933deef012d4b6349af6a9a7fb8f8c80017 [file] [log] [blame]
Paolo Bonzinia020f982012-02-09 09:36:37 +01001/*
2 * String printing Visitor
3 *
Eric Blake08f95412016-01-29 06:48:59 -07004 * Copyright Red Hat, Inc. 2012-2016
Paolo Bonzinia020f982012-02-09 09:36:37 +01005 *
6 * Author: Paolo Bonzini <pbonzini@redhat.com>
7 *
8 * This work is licensed under the terms of the GNU LGPL, version 2.1 or later.
9 * See the COPYING.LIB file in the top-level directory.
10 *
11 */
12
Peter Maydellcbf21152016-01-29 17:49:57 +000013#include "qemu/osdep.h"
Philippe Mathieu-Daudé31e40412019-09-03 14:05:55 +020014#include "qemu/cutils.h"
Paolo Bonzini7b1b5d12012-12-17 18:19:43 +010015#include "qapi/string-output-visitor.h"
16#include "qapi/visitor-impl.h"
Paolo Bonzini0b7593e2014-02-08 11:01:50 +010017#include "qemu/host-utils.h"
Paolo Bonzinie41b5092014-02-08 11:01:57 +010018#include <math.h>
Hu Tao69e25562014-06-10 19:15:28 +080019#include "qemu/range.h"
20
21enum ListMode {
22 LM_NONE, /* not traversing a list of repeated options */
Eric Blaked9f62dd2016-04-28 15:45:31 -060023 LM_STARTED, /* next_list() ready to be called */
Hu Tao69e25562014-06-10 19:15:28 +080024
25 LM_IN_PROGRESS, /* next_list() has been called.
26 *
27 * Generating the next list link will consume the most
28 * recently parsed QemuOpt instance of the repeated
29 * option.
30 *
31 * Parsing a value into the list link will examine the
32 * next QemuOpt instance of the repeated option, and
33 * possibly enter LM_SIGNED_INTERVAL or
34 * LM_UNSIGNED_INTERVAL.
35 */
36
37 LM_SIGNED_INTERVAL, /* next_list() has been called.
38 *
39 * Generating the next list link will consume the most
40 * recently stored element from the signed interval,
41 * parsed from the most recent QemuOpt instance of the
42 * repeated option. This may consume QemuOpt itself
43 * and return to LM_IN_PROGRESS.
44 *
45 * Parsing a value into the list link will store the
46 * next element of the signed interval.
47 */
48
49 LM_UNSIGNED_INTERVAL,/* Same as above, only for an unsigned interval. */
50
Eric Blaked9f62dd2016-04-28 15:45:31 -060051 LM_END, /* next_list() called, about to see last element. */
Hu Tao69e25562014-06-10 19:15:28 +080052};
53
54typedef enum ListMode ListMode;
Paolo Bonzinia020f982012-02-09 09:36:37 +010055
56struct StringOutputVisitor
57{
58 Visitor visitor;
Paolo Bonzini0b7593e2014-02-08 11:01:50 +010059 bool human;
Hu Tao69e25562014-06-10 19:15:28 +080060 GString *string;
Eric Blake3b098d52016-06-09 10:48:43 -060061 char **result;
Hu Tao69e25562014-06-10 19:15:28 +080062 ListMode list_mode;
63 union {
64 int64_t s;
65 uint64_t u;
66 } range_start, range_end;
67 GList *ranges;
Eric Blake1158bb22016-06-09 10:48:34 -060068 void *list; /* Only needed for sanity checking the caller */
Paolo Bonzinia020f982012-02-09 09:36:37 +010069};
70
Eric Blaked7bea752016-01-29 06:48:38 -070071static StringOutputVisitor *to_sov(Visitor *v)
72{
73 return container_of(v, StringOutputVisitor, visitor);
74}
75
Paolo Bonzinia020f982012-02-09 09:36:37 +010076static void string_output_set(StringOutputVisitor *sov, char *string)
77{
Hu Tao69e25562014-06-10 19:15:28 +080078 if (sov->string) {
79 g_string_free(sov->string, true);
80 }
81 sov->string = g_string_new(string);
82 g_free(string);
83}
84
85static void string_output_append(StringOutputVisitor *sov, int64_t a)
86{
87 Range *r = g_malloc0(sizeof(*r));
Markus Armbrustera0efbf12016-07-01 13:47:47 +020088
89 range_set_bounds(r, a, a);
Eric Blake7c479592016-05-31 10:41:29 -060090 sov->ranges = range_list_insert(sov->ranges, r);
Hu Tao69e25562014-06-10 19:15:28 +080091}
92
93static void string_output_append_range(StringOutputVisitor *sov,
94 int64_t s, int64_t e)
95{
96 Range *r = g_malloc0(sizeof(*r));
Markus Armbrustera0efbf12016-07-01 13:47:47 +020097
98 range_set_bounds(r, s, e);
Eric Blake7c479592016-05-31 10:41:29 -060099 sov->ranges = range_list_insert(sov->ranges, r);
Hu Tao69e25562014-06-10 19:15:28 +0800100}
101
102static void format_string(StringOutputVisitor *sov, Range *r, bool next,
103 bool human)
104{
Markus Armbrustera0efbf12016-07-01 13:47:47 +0200105 if (range_lob(r) != range_upb(r)) {
Hu Tao69e25562014-06-10 19:15:28 +0800106 if (human) {
Hu Tao684531a2014-06-20 13:55:42 +0800107 g_string_append_printf(sov->string, "0x%" PRIx64 "-0x%" PRIx64,
Markus Armbrustera0efbf12016-07-01 13:47:47 +0200108 range_lob(r), range_upb(r));
Hu Tao69e25562014-06-10 19:15:28 +0800109
110 } else {
111 g_string_append_printf(sov->string, "%" PRId64 "-%" PRId64,
Markus Armbrustera0efbf12016-07-01 13:47:47 +0200112 range_lob(r), range_upb(r));
Hu Tao69e25562014-06-10 19:15:28 +0800113 }
114 } else {
115 if (human) {
Markus Armbrustera0efbf12016-07-01 13:47:47 +0200116 g_string_append_printf(sov->string, "0x%" PRIx64, range_lob(r));
Hu Tao69e25562014-06-10 19:15:28 +0800117 } else {
Markus Armbrustera0efbf12016-07-01 13:47:47 +0200118 g_string_append_printf(sov->string, "%" PRId64, range_lob(r));
Hu Tao69e25562014-06-10 19:15:28 +0800119 }
120 }
121 if (next) {
122 g_string_append(sov->string, ",");
123 }
Paolo Bonzinia020f982012-02-09 09:36:37 +0100124}
125
Markus Armbruster012d4c92020-07-07 18:05:45 +0200126static bool print_type_int64(Visitor *v, const char *name, int64_t *obj,
Eric Blake4c403142016-01-29 06:48:49 -0700127 Error **errp)
Paolo Bonzinia020f982012-02-09 09:36:37 +0100128{
Eric Blaked7bea752016-01-29 06:48:38 -0700129 StringOutputVisitor *sov = to_sov(v);
Hu Tao69e25562014-06-10 19:15:28 +0800130 GList *l;
131
132 switch (sov->list_mode) {
133 case LM_NONE:
134 string_output_append(sov, *obj);
135 break;
136
137 case LM_STARTED:
138 sov->range_start.s = *obj;
139 sov->range_end.s = *obj;
140 sov->list_mode = LM_IN_PROGRESS;
Markus Armbruster012d4c92020-07-07 18:05:45 +0200141 return true;
Hu Tao69e25562014-06-10 19:15:28 +0800142
143 case LM_IN_PROGRESS:
144 if (sov->range_end.s + 1 == *obj) {
145 sov->range_end.s++;
146 } else {
147 if (sov->range_start.s == sov->range_end.s) {
148 string_output_append(sov, sov->range_end.s);
149 } else {
150 assert(sov->range_start.s < sov->range_end.s);
151 string_output_append_range(sov, sov->range_start.s,
152 sov->range_end.s);
153 }
154
155 sov->range_start.s = *obj;
156 sov->range_end.s = *obj;
157 }
Markus Armbruster012d4c92020-07-07 18:05:45 +0200158 return true;
Hu Tao69e25562014-06-10 19:15:28 +0800159
160 case LM_END:
161 if (sov->range_end.s + 1 == *obj) {
162 sov->range_end.s++;
163 assert(sov->range_start.s < sov->range_end.s);
164 string_output_append_range(sov, sov->range_start.s,
165 sov->range_end.s);
166 } else {
167 if (sov->range_start.s == sov->range_end.s) {
168 string_output_append(sov, sov->range_end.s);
169 } else {
170 assert(sov->range_start.s < sov->range_end.s);
171
172 string_output_append_range(sov, sov->range_start.s,
173 sov->range_end.s);
174 }
175 string_output_append(sov, *obj);
176 }
177 break;
178
179 default:
180 abort();
181 }
182
183 l = sov->ranges;
184 while (l) {
185 Range *r = l->data;
186 format_string(sov, r, l->next != NULL, false);
187 l = l->next;
188 }
Paolo Bonzini0b7593e2014-02-08 11:01:50 +0100189
190 if (sov->human) {
Hu Tao69e25562014-06-10 19:15:28 +0800191 l = sov->ranges;
192 g_string_append(sov->string, " (");
193 while (l) {
194 Range *r = l->data;
Michael S. Tsirkin56fdfb62014-06-18 17:59:51 +0300195 format_string(sov, r, l->next != NULL, true);
Hu Tao69e25562014-06-10 19:15:28 +0800196 l = l->next;
197 }
198 g_string_append(sov->string, ")");
Paolo Bonzini0b7593e2014-02-08 11:01:50 +0100199 }
Markus Armbruster012d4c92020-07-07 18:05:45 +0200200
201 return true;
Paolo Bonzini0b7593e2014-02-08 11:01:50 +0100202}
203
Markus Armbruster012d4c92020-07-07 18:05:45 +0200204static bool print_type_uint64(Visitor *v, const char *name, uint64_t *obj,
Eric Blakef755dea2016-01-29 06:48:50 -0700205 Error **errp)
206{
207 /* FIXME: print_type_int64 mishandles values over INT64_MAX */
208 int64_t i = *obj;
Markus Armbruster012d4c92020-07-07 18:05:45 +0200209 return print_type_int64(v, name, &i, errp);
Eric Blakef755dea2016-01-29 06:48:50 -0700210}
211
Markus Armbruster012d4c92020-07-07 18:05:45 +0200212static bool print_type_size(Visitor *v, const char *name, uint64_t *obj,
Eric Blake0b2a0d62016-01-29 06:48:56 -0700213 Error **errp)
Paolo Bonzini0b7593e2014-02-08 11:01:50 +0100214{
Eric Blaked7bea752016-01-29 06:48:38 -0700215 StringOutputVisitor *sov = to_sov(v);
Peter Xu22951aa2017-05-12 12:17:40 +0800216 uint64_t val;
217 char *out, *psize;
Paolo Bonzini0b7593e2014-02-08 11:01:50 +0100218
219 if (!sov->human) {
Paolo Bonzinie41b5092014-02-08 11:01:57 +0100220 out = g_strdup_printf("%"PRIu64, *obj);
Paolo Bonzini0b7593e2014-02-08 11:01:50 +0100221 string_output_set(sov, out);
Markus Armbruster012d4c92020-07-07 18:05:45 +0200222 return true;
Paolo Bonzini0b7593e2014-02-08 11:01:50 +0100223 }
224
225 val = *obj;
Peter Xu22951aa2017-05-12 12:17:40 +0800226 psize = size_to_str(val);
227 out = g_strdup_printf("%"PRIu64" (%s)", val, psize);
Paolo Bonzini0b7593e2014-02-08 11:01:50 +0100228 string_output_set(sov, out);
Peter Xu22951aa2017-05-12 12:17:40 +0800229
230 g_free(psize);
Markus Armbruster012d4c92020-07-07 18:05:45 +0200231 return true;
Paolo Bonzinia020f982012-02-09 09:36:37 +0100232}
233
Markus Armbruster012d4c92020-07-07 18:05:45 +0200234static bool print_type_bool(Visitor *v, const char *name, bool *obj,
Paolo Bonzinia020f982012-02-09 09:36:37 +0100235 Error **errp)
236{
Eric Blaked7bea752016-01-29 06:48:38 -0700237 StringOutputVisitor *sov = to_sov(v);
Paolo Bonzinia020f982012-02-09 09:36:37 +0100238 string_output_set(sov, g_strdup(*obj ? "true" : "false"));
Markus Armbruster012d4c92020-07-07 18:05:45 +0200239 return true;
Paolo Bonzinia020f982012-02-09 09:36:37 +0100240}
241
Markus Armbruster012d4c92020-07-07 18:05:45 +0200242static bool print_type_str(Visitor *v, const char *name, char **obj,
Paolo Bonzinia020f982012-02-09 09:36:37 +0100243 Error **errp)
244{
Eric Blaked7bea752016-01-29 06:48:38 -0700245 StringOutputVisitor *sov = to_sov(v);
Paolo Bonzini0b7593e2014-02-08 11:01:50 +0100246 char *out;
247
248 if (sov->human) {
249 out = *obj ? g_strdup_printf("\"%s\"", *obj) : g_strdup("<null>");
250 } else {
251 out = g_strdup(*obj ? *obj : "");
252 }
253 string_output_set(sov, out);
Markus Armbruster012d4c92020-07-07 18:05:45 +0200254 return true;
Paolo Bonzinia020f982012-02-09 09:36:37 +0100255}
256
Markus Armbruster012d4c92020-07-07 18:05:45 +0200257static bool print_type_number(Visitor *v, const char *name, double *obj,
Paolo Bonzinia020f982012-02-09 09:36:37 +0100258 Error **errp)
259{
Eric Blaked7bea752016-01-29 06:48:38 -0700260 StringOutputVisitor *sov = to_sov(v);
Markus Armbruster54addb02020-12-10 17:14:50 +0100261 string_output_set(sov, g_strdup_printf("%.17g", *obj));
Markus Armbruster012d4c92020-07-07 18:05:45 +0200262 return true;
Paolo Bonzinia020f982012-02-09 09:36:37 +0100263}
264
Markus Armbruster012d4c92020-07-07 18:05:45 +0200265static bool print_type_null(Visitor *v, const char *name, QNull **obj,
Markus Armbrusterd2f95f42017-06-26 18:22:59 +0200266 Error **errp)
Greg Kurza7333712016-12-16 16:26:09 +0100267{
268 StringOutputVisitor *sov = to_sov(v);
269 char *out;
270
271 if (sov->human) {
272 out = g_strdup("<null>");
273 } else {
274 out = g_strdup("");
275 }
276 string_output_set(sov, out);
Markus Armbruster012d4c92020-07-07 18:05:45 +0200277 return true;
Greg Kurza7333712016-12-16 16:26:09 +0100278}
279
Markus Armbruster012d4c92020-07-07 18:05:45 +0200280static bool
Eric Blaked9f62dd2016-04-28 15:45:31 -0600281start_list(Visitor *v, const char *name, GenericList **list, size_t size,
282 Error **errp)
Hu Tao69e25562014-06-10 19:15:28 +0800283{
Eric Blaked7bea752016-01-29 06:48:38 -0700284 StringOutputVisitor *sov = to_sov(v);
Hu Tao69e25562014-06-10 19:15:28 +0800285
286 /* we can't traverse a list in a list */
287 assert(sov->list_mode == LM_NONE);
Eric Blaked9f62dd2016-04-28 15:45:31 -0600288 /* We don't support visits without a list */
289 assert(list);
Eric Blake1158bb22016-06-09 10:48:34 -0600290 sov->list = list;
Eric Blaked9f62dd2016-04-28 15:45:31 -0600291 /* List handling is only needed if there are at least two elements */
292 if (*list && (*list)->next) {
293 sov->list_mode = LM_STARTED;
294 }
Markus Armbruster012d4c92020-07-07 18:05:45 +0200295 return true;
Hu Tao69e25562014-06-10 19:15:28 +0800296}
297
Eric Blaked9f62dd2016-04-28 15:45:31 -0600298static GenericList *next_list(Visitor *v, GenericList *tail, size_t size)
Hu Tao69e25562014-06-10 19:15:28 +0800299{
Eric Blaked7bea752016-01-29 06:48:38 -0700300 StringOutputVisitor *sov = to_sov(v);
Eric Blaked9f62dd2016-04-28 15:45:31 -0600301 GenericList *ret = tail->next;
Hu Tao69e25562014-06-10 19:15:28 +0800302
Eric Blaked9f62dd2016-04-28 15:45:31 -0600303 if (ret && !ret->next) {
304 sov->list_mode = LM_END;
Hu Tao69e25562014-06-10 19:15:28 +0800305 }
Hu Tao69e25562014-06-10 19:15:28 +0800306 return ret;
307}
308
Eric Blake1158bb22016-06-09 10:48:34 -0600309static void end_list(Visitor *v, void **obj)
Hu Tao69e25562014-06-10 19:15:28 +0800310{
Eric Blaked7bea752016-01-29 06:48:38 -0700311 StringOutputVisitor *sov = to_sov(v);
Hu Tao69e25562014-06-10 19:15:28 +0800312
Eric Blake1158bb22016-06-09 10:48:34 -0600313 assert(sov->list == obj);
Hu Tao69e25562014-06-10 19:15:28 +0800314 assert(sov->list_mode == LM_STARTED ||
315 sov->list_mode == LM_END ||
316 sov->list_mode == LM_NONE ||
317 sov->list_mode == LM_IN_PROGRESS);
318 sov->list_mode = LM_NONE;
Hu Tao69e25562014-06-10 19:15:28 +0800319}
320
Eric Blake3b098d52016-06-09 10:48:43 -0600321static void string_output_complete(Visitor *v, void *opaque)
Paolo Bonzinia020f982012-02-09 09:36:37 +0100322{
Eric Blake3b098d52016-06-09 10:48:43 -0600323 StringOutputVisitor *sov = to_sov(v);
Paolo Bonzinia020f982012-02-09 09:36:37 +0100324
Eric Blake3b098d52016-06-09 10:48:43 -0600325 assert(opaque == sov->result);
326 *sov->result = g_string_free(sov->string, false);
327 sov->string = NULL;
Paolo Bonzinia020f982012-02-09 09:36:37 +0100328}
329
Michael S. Tsirkin0d156682014-06-16 18:07:03 +0300330static void free_range(void *range, void *dummy)
331{
332 g_free(range);
333}
334
Eric Blake2c0ef9f2016-06-09 10:48:35 -0600335static void string_output_free(Visitor *v)
336{
337 StringOutputVisitor *sov = to_sov(v);
338
Hu Tao69e25562014-06-10 19:15:28 +0800339 if (sov->string) {
340 g_string_free(sov->string, true);
341 }
342
Michael S. Tsirkin0d156682014-06-16 18:07:03 +0300343 g_list_foreach(sov->ranges, free_range, NULL);
344 g_list_free(sov->ranges);
Paolo Bonzinia020f982012-02-09 09:36:37 +0100345 g_free(sov);
346}
347
Eric Blake3b098d52016-06-09 10:48:43 -0600348Visitor *string_output_visitor_new(bool human, char **result)
Paolo Bonzinia020f982012-02-09 09:36:37 +0100349{
350 StringOutputVisitor *v;
351
352 v = g_malloc0(sizeof(*v));
353
Hu Tao69e25562014-06-10 19:15:28 +0800354 v->string = g_string_new(NULL);
Paolo Bonzini0b7593e2014-02-08 11:01:50 +0100355 v->human = human;
Eric Blake3b098d52016-06-09 10:48:43 -0600356 v->result = result;
357 *result = NULL;
358
Eric Blake983f52d2016-04-28 15:45:09 -0600359 v->visitor.type = VISITOR_OUTPUT;
Eric Blake4c403142016-01-29 06:48:49 -0700360 v->visitor.type_int64 = print_type_int64;
Eric Blakef755dea2016-01-29 06:48:50 -0700361 v->visitor.type_uint64 = print_type_uint64;
Paolo Bonzini0b7593e2014-02-08 11:01:50 +0100362 v->visitor.type_size = print_type_size;
Paolo Bonzinia020f982012-02-09 09:36:37 +0100363 v->visitor.type_bool = print_type_bool;
364 v->visitor.type_str = print_type_str;
365 v->visitor.type_number = print_type_number;
Greg Kurza7333712016-12-16 16:26:09 +0100366 v->visitor.type_null = print_type_null;
Hu Tao69e25562014-06-10 19:15:28 +0800367 v->visitor.start_list = start_list;
368 v->visitor.next_list = next_list;
369 v->visitor.end_list = end_list;
Eric Blake3b098d52016-06-09 10:48:43 -0600370 v->visitor.complete = string_output_complete;
Eric Blake2c0ef9f2016-06-09 10:48:35 -0600371 v->visitor.free = string_output_free;
Paolo Bonzinia020f982012-02-09 09:36:37 +0100372
Eric Blake3b098d52016-06-09 10:48:43 -0600373 return &v->visitor;
Paolo Bonzinia020f982012-02-09 09:36:37 +0100374}