blob: d01319628be741d69be3f73286ea34308b912709 [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"
Paolo Bonzinia020f982012-02-09 09:36:37 +010014#include "qemu-common.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;
Hu Tao69e25562014-06-10 19:15:28 +080061 ListMode list_mode;
62 union {
63 int64_t s;
64 uint64_t u;
65 } range_start, range_end;
66 GList *ranges;
Paolo Bonzinia020f982012-02-09 09:36:37 +010067};
68
Eric Blaked7bea752016-01-29 06:48:38 -070069static StringOutputVisitor *to_sov(Visitor *v)
70{
71 return container_of(v, StringOutputVisitor, visitor);
72}
73
Paolo Bonzinia020f982012-02-09 09:36:37 +010074static void string_output_set(StringOutputVisitor *sov, char *string)
75{
Hu Tao69e25562014-06-10 19:15:28 +080076 if (sov->string) {
77 g_string_free(sov->string, true);
78 }
79 sov->string = g_string_new(string);
80 g_free(string);
81}
82
83static void string_output_append(StringOutputVisitor *sov, int64_t a)
84{
85 Range *r = g_malloc0(sizeof(*r));
86 r->begin = a;
87 r->end = a + 1;
88 sov->ranges = g_list_insert_sorted_merged(sov->ranges, r, range_compare);
89}
90
91static void string_output_append_range(StringOutputVisitor *sov,
92 int64_t s, int64_t e)
93{
94 Range *r = g_malloc0(sizeof(*r));
95 r->begin = s;
96 r->end = e + 1;
97 sov->ranges = g_list_insert_sorted_merged(sov->ranges, r, range_compare);
98}
99
100static void format_string(StringOutputVisitor *sov, Range *r, bool next,
101 bool human)
102{
103 if (r->end - r->begin > 1) {
104 if (human) {
Hu Tao684531a2014-06-20 13:55:42 +0800105 g_string_append_printf(sov->string, "0x%" PRIx64 "-0x%" PRIx64,
Hu Tao69e25562014-06-10 19:15:28 +0800106 r->begin, r->end - 1);
107
108 } else {
109 g_string_append_printf(sov->string, "%" PRId64 "-%" PRId64,
110 r->begin, r->end - 1);
111 }
112 } else {
113 if (human) {
Michael S. Tsirkin56fdfb62014-06-18 17:59:51 +0300114 g_string_append_printf(sov->string, "0x%" PRIx64, r->begin);
Hu Tao69e25562014-06-10 19:15:28 +0800115 } else {
116 g_string_append_printf(sov->string, "%" PRId64, r->begin);
117 }
118 }
119 if (next) {
120 g_string_append(sov->string, ",");
121 }
Paolo Bonzinia020f982012-02-09 09:36:37 +0100122}
123
Eric Blake0b2a0d62016-01-29 06:48:56 -0700124static void print_type_int64(Visitor *v, const char *name, int64_t *obj,
Eric Blake4c403142016-01-29 06:48:49 -0700125 Error **errp)
Paolo Bonzinia020f982012-02-09 09:36:37 +0100126{
Eric Blaked7bea752016-01-29 06:48:38 -0700127 StringOutputVisitor *sov = to_sov(v);
Hu Tao69e25562014-06-10 19:15:28 +0800128 GList *l;
129
130 switch (sov->list_mode) {
131 case LM_NONE:
132 string_output_append(sov, *obj);
133 break;
134
135 case LM_STARTED:
136 sov->range_start.s = *obj;
137 sov->range_end.s = *obj;
138 sov->list_mode = LM_IN_PROGRESS;
139 return;
140
141 case LM_IN_PROGRESS:
142 if (sov->range_end.s + 1 == *obj) {
143 sov->range_end.s++;
144 } else {
145 if (sov->range_start.s == sov->range_end.s) {
146 string_output_append(sov, sov->range_end.s);
147 } else {
148 assert(sov->range_start.s < sov->range_end.s);
149 string_output_append_range(sov, sov->range_start.s,
150 sov->range_end.s);
151 }
152
153 sov->range_start.s = *obj;
154 sov->range_end.s = *obj;
155 }
156 return;
157
158 case LM_END:
159 if (sov->range_end.s + 1 == *obj) {
160 sov->range_end.s++;
161 assert(sov->range_start.s < sov->range_end.s);
162 string_output_append_range(sov, sov->range_start.s,
163 sov->range_end.s);
164 } else {
165 if (sov->range_start.s == sov->range_end.s) {
166 string_output_append(sov, sov->range_end.s);
167 } else {
168 assert(sov->range_start.s < sov->range_end.s);
169
170 string_output_append_range(sov, sov->range_start.s,
171 sov->range_end.s);
172 }
173 string_output_append(sov, *obj);
174 }
175 break;
176
177 default:
178 abort();
179 }
180
181 l = sov->ranges;
182 while (l) {
183 Range *r = l->data;
184 format_string(sov, r, l->next != NULL, false);
185 l = l->next;
186 }
Paolo Bonzini0b7593e2014-02-08 11:01:50 +0100187
188 if (sov->human) {
Hu Tao69e25562014-06-10 19:15:28 +0800189 l = sov->ranges;
190 g_string_append(sov->string, " (");
191 while (l) {
192 Range *r = l->data;
Michael S. Tsirkin56fdfb62014-06-18 17:59:51 +0300193 format_string(sov, r, l->next != NULL, true);
Hu Tao69e25562014-06-10 19:15:28 +0800194 l = l->next;
195 }
196 g_string_append(sov->string, ")");
Paolo Bonzini0b7593e2014-02-08 11:01:50 +0100197 }
Paolo Bonzini0b7593e2014-02-08 11:01:50 +0100198}
199
Eric Blake0b2a0d62016-01-29 06:48:56 -0700200static void print_type_uint64(Visitor *v, const char *name, uint64_t *obj,
Eric Blakef755dea2016-01-29 06:48:50 -0700201 Error **errp)
202{
203 /* FIXME: print_type_int64 mishandles values over INT64_MAX */
204 int64_t i = *obj;
Eric Blake0b2a0d62016-01-29 06:48:56 -0700205 print_type_int64(v, name, &i, errp);
Eric Blakef755dea2016-01-29 06:48:50 -0700206}
207
Eric Blake0b2a0d62016-01-29 06:48:56 -0700208static void print_type_size(Visitor *v, const char *name, uint64_t *obj,
209 Error **errp)
Paolo Bonzini0b7593e2014-02-08 11:01:50 +0100210{
Eric Blaked7bea752016-01-29 06:48:38 -0700211 StringOutputVisitor *sov = to_sov(v);
Paolo Bonzinie41b5092014-02-08 11:01:57 +0100212 static const char suffixes[] = { 'B', 'K', 'M', 'G', 'T', 'P', 'E' };
Paolo Bonzini0b7593e2014-02-08 11:01:50 +0100213 uint64_t div, val;
214 char *out;
215 int i;
216
217 if (!sov->human) {
Paolo Bonzinie41b5092014-02-08 11:01:57 +0100218 out = g_strdup_printf("%"PRIu64, *obj);
Paolo Bonzini0b7593e2014-02-08 11:01:50 +0100219 string_output_set(sov, out);
220 return;
221 }
222
223 val = *obj;
224
Paolo Bonzinie41b5092014-02-08 11:01:57 +0100225 /* The exponent (returned in i) minus one gives us
226 * floor(log2(val * 1024 / 1000). The correction makes us
227 * switch to the higher power when the integer part is >= 1000.
228 */
229 frexp(val / (1000.0 / 1024.0), &i);
230 i = (i - 1) / 10;
231 assert(i < ARRAY_SIZE(suffixes));
Paolo Bonzini0b7593e2014-02-08 11:01:50 +0100232 div = 1ULL << (i * 10);
233
Paolo Bonzinie41b5092014-02-08 11:01:57 +0100234 out = g_strdup_printf("%"PRIu64" (%0.3g %c%s)", val,
235 (double)val/div, suffixes[i], i ? "iB" : "");
Paolo Bonzini0b7593e2014-02-08 11:01:50 +0100236 string_output_set(sov, out);
Paolo Bonzinia020f982012-02-09 09:36:37 +0100237}
238
Eric Blake0b2a0d62016-01-29 06:48:56 -0700239static void print_type_bool(Visitor *v, const char *name, bool *obj,
Paolo Bonzinia020f982012-02-09 09:36:37 +0100240 Error **errp)
241{
Eric Blaked7bea752016-01-29 06:48:38 -0700242 StringOutputVisitor *sov = to_sov(v);
Paolo Bonzinia020f982012-02-09 09:36:37 +0100243 string_output_set(sov, g_strdup(*obj ? "true" : "false"));
244}
245
Eric Blake0b2a0d62016-01-29 06:48:56 -0700246static void print_type_str(Visitor *v, const char *name, char **obj,
Paolo Bonzinia020f982012-02-09 09:36:37 +0100247 Error **errp)
248{
Eric Blaked7bea752016-01-29 06:48:38 -0700249 StringOutputVisitor *sov = to_sov(v);
Paolo Bonzini0b7593e2014-02-08 11:01:50 +0100250 char *out;
251
252 if (sov->human) {
253 out = *obj ? g_strdup_printf("\"%s\"", *obj) : g_strdup("<null>");
254 } else {
255 out = g_strdup(*obj ? *obj : "");
256 }
257 string_output_set(sov, out);
Paolo Bonzinia020f982012-02-09 09:36:37 +0100258}
259
Eric Blake0b2a0d62016-01-29 06:48:56 -0700260static void print_type_number(Visitor *v, const char *name, double *obj,
Paolo Bonzinia020f982012-02-09 09:36:37 +0100261 Error **errp)
262{
Eric Blaked7bea752016-01-29 06:48:38 -0700263 StringOutputVisitor *sov = to_sov(v);
Michael Roth173bbb72012-04-30 09:33:30 -0500264 string_output_set(sov, g_strdup_printf("%f", *obj));
Paolo Bonzinia020f982012-02-09 09:36:37 +0100265}
266
Hu Tao69e25562014-06-10 19:15:28 +0800267static void
Eric Blaked9f62dd2016-04-28 15:45:31 -0600268start_list(Visitor *v, const char *name, GenericList **list, size_t size,
269 Error **errp)
Hu Tao69e25562014-06-10 19:15:28 +0800270{
Eric Blaked7bea752016-01-29 06:48:38 -0700271 StringOutputVisitor *sov = to_sov(v);
Hu Tao69e25562014-06-10 19:15:28 +0800272
273 /* we can't traverse a list in a list */
274 assert(sov->list_mode == LM_NONE);
Eric Blaked9f62dd2016-04-28 15:45:31 -0600275 /* We don't support visits without a list */
276 assert(list);
277 /* List handling is only needed if there are at least two elements */
278 if (*list && (*list)->next) {
279 sov->list_mode = LM_STARTED;
280 }
Hu Tao69e25562014-06-10 19:15:28 +0800281}
282
Eric Blaked9f62dd2016-04-28 15:45:31 -0600283static GenericList *next_list(Visitor *v, GenericList *tail, size_t size)
Hu Tao69e25562014-06-10 19:15:28 +0800284{
Eric Blaked7bea752016-01-29 06:48:38 -0700285 StringOutputVisitor *sov = to_sov(v);
Eric Blaked9f62dd2016-04-28 15:45:31 -0600286 GenericList *ret = tail->next;
Hu Tao69e25562014-06-10 19:15:28 +0800287
Eric Blaked9f62dd2016-04-28 15:45:31 -0600288 if (ret && !ret->next) {
289 sov->list_mode = LM_END;
Hu Tao69e25562014-06-10 19:15:28 +0800290 }
Hu Tao69e25562014-06-10 19:15:28 +0800291 return ret;
292}
293
Eric Blake08f95412016-01-29 06:48:59 -0700294static void end_list(Visitor *v)
Hu Tao69e25562014-06-10 19:15:28 +0800295{
Eric Blaked7bea752016-01-29 06:48:38 -0700296 StringOutputVisitor *sov = to_sov(v);
Hu Tao69e25562014-06-10 19:15:28 +0800297
298 assert(sov->list_mode == LM_STARTED ||
299 sov->list_mode == LM_END ||
300 sov->list_mode == LM_NONE ||
301 sov->list_mode == LM_IN_PROGRESS);
302 sov->list_mode = LM_NONE;
Hu Tao69e25562014-06-10 19:15:28 +0800303}
304
Paolo Bonzinia020f982012-02-09 09:36:37 +0100305char *string_output_get_string(StringOutputVisitor *sov)
306{
Hu Tao69e25562014-06-10 19:15:28 +0800307 char *string = g_string_free(sov->string, false);
Paolo Bonzinia020f982012-02-09 09:36:37 +0100308 sov->string = NULL;
309 return string;
310}
311
312Visitor *string_output_get_visitor(StringOutputVisitor *sov)
313{
314 return &sov->visitor;
315}
316
Michael S. Tsirkin0d156682014-06-16 18:07:03 +0300317static void free_range(void *range, void *dummy)
318{
319 g_free(range);
320}
321
Paolo Bonzinia020f982012-02-09 09:36:37 +0100322void string_output_visitor_cleanup(StringOutputVisitor *sov)
323{
Hu Tao69e25562014-06-10 19:15:28 +0800324 if (sov->string) {
325 g_string_free(sov->string, true);
326 }
327
Michael S. Tsirkin0d156682014-06-16 18:07:03 +0300328 g_list_foreach(sov->ranges, free_range, NULL);
329 g_list_free(sov->ranges);
Paolo Bonzinia020f982012-02-09 09:36:37 +0100330 g_free(sov);
331}
332
Paolo Bonzini0b7593e2014-02-08 11:01:50 +0100333StringOutputVisitor *string_output_visitor_new(bool human)
Paolo Bonzinia020f982012-02-09 09:36:37 +0100334{
335 StringOutputVisitor *v;
336
337 v = g_malloc0(sizeof(*v));
338
Hu Tao69e25562014-06-10 19:15:28 +0800339 v->string = g_string_new(NULL);
Paolo Bonzini0b7593e2014-02-08 11:01:50 +0100340 v->human = human;
Eric Blake983f52d2016-04-28 15:45:09 -0600341 v->visitor.type = VISITOR_OUTPUT;
Eric Blake4c403142016-01-29 06:48:49 -0700342 v->visitor.type_int64 = print_type_int64;
Eric Blakef755dea2016-01-29 06:48:50 -0700343 v->visitor.type_uint64 = print_type_uint64;
Paolo Bonzini0b7593e2014-02-08 11:01:50 +0100344 v->visitor.type_size = print_type_size;
Paolo Bonzinia020f982012-02-09 09:36:37 +0100345 v->visitor.type_bool = print_type_bool;
346 v->visitor.type_str = print_type_str;
347 v->visitor.type_number = print_type_number;
Hu Tao69e25562014-06-10 19:15:28 +0800348 v->visitor.start_list = start_list;
349 v->visitor.next_list = next_list;
350 v->visitor.end_list = end_list;
Paolo Bonzinia020f982012-02-09 09:36:37 +0100351
352 return v;
353}