]> git.proxmox.com Git - mirror_qemu.git/blame - qapi/qapi-visit-core.c
Merge tag 'pull-target-arm-20231102' of https://git.linaro.org/people/pmaydell/qemu...
[mirror_qemu.git] / qapi / qapi-visit-core.c
CommitLineData
2345c77c
MR
1/*
2 * Core Definitions for QAPI Visitor Classes
3 *
7c91aabd 4 * Copyright (C) 2012-2016 Red Hat, Inc.
2345c77c
MR
5 * Copyright IBM, Corp. 2011
6 *
7 * Authors:
8 * Anthony Liguori <aliguori@us.ibm.com>
9 *
10 * This work is licensed under the terms of the GNU LGPL, version 2.1 or later.
11 * See the COPYING.LIB file in the top-level directory.
12 *
13 */
14
cbf21151 15#include "qemu/osdep.h"
7ce5fc63 16#include "qapi/compat-policy.h"
da34e65c 17#include "qapi/error.h"
7b1b5d19
PB
18#include "qapi/qmp/qerror.h"
19#include "qapi/visitor.h"
20#include "qapi/visitor-impl.h"
ebfd93b6 21#include "trace.h"
2345c77c 22
ed29bb28
MA
23/* Zero-initialization must result in default policy */
24QEMU_BUILD_BUG_ON(COMPAT_POLICY_INPUT_ACCEPT || COMPAT_POLICY_OUTPUT_ACCEPT);
25
26
3b098d56
EB
27void visit_complete(Visitor *v, void *opaque)
28{
29 assert(v->type != VISITOR_OUTPUT || v->complete);
ebfd93b6 30 trace_visit_complete(v, opaque);
3b098d56
EB
31 if (v->complete) {
32 v->complete(v, opaque);
33 }
34}
35
2c0ef9f4
EB
36void visit_free(Visitor *v)
37{
ebfd93b6 38 trace_visit_free(v);
2c0ef9f4
EB
39 if (v) {
40 v->free(v);
41 }
42}
43
012d4c96 44bool visit_start_struct(Visitor *v, const char *name, void **obj,
337283df 45 size_t size, Error **errp)
2345c77c 46{
7b3cb803 47 bool ok;
e58d695e 48
ebfd93b6 49 trace_visit_start_struct(v, name, obj, size);
adfb264c
EB
50 if (obj) {
51 assert(size);
a15fcc3c 52 assert(!(v->type & VISITOR_OUTPUT) || *obj);
adfb264c 53 }
7b3cb803 54 ok = v->start_struct(v, name, obj, size, errp);
a15fcc3c 55 if (obj && (v->type & VISITOR_INPUT)) {
7b3cb803 56 assert(ok != !*obj);
e58d695e 57 }
7b3cb803 58 return ok;
2345c77c
MR
59}
60
012d4c96 61bool visit_check_struct(Visitor *v, Error **errp)
2345c77c 62{
ebfd93b6 63 trace_visit_check_struct(v);
012d4c96 64 return v->check_struct ? v->check_struct(v, errp) : true;
15c2f669
EB
65}
66
1158bb2a 67void visit_end_struct(Visitor *v, void **obj)
15c2f669 68{
ebfd93b6 69 trace_visit_end_struct(v, obj);
1158bb2a 70 v->end_struct(v, obj);
2345c77c
MR
71}
72
012d4c96 73bool visit_start_list(Visitor *v, const char *name, GenericList **list,
d9f62dde 74 size_t size, Error **errp)
2345c77c 75{
7b3cb803 76 bool ok;
d9f62dde
EB
77
78 assert(!list || size >= sizeof(GenericList));
ebfd93b6 79 trace_visit_start_list(v, name, list, size);
7b3cb803 80 ok = v->start_list(v, name, list, size, errp);
a15fcc3c 81 if (list && (v->type & VISITOR_INPUT)) {
7b3cb803 82 assert(ok || !*list);
d9f62dde 83 }
7b3cb803 84 return ok;
2345c77c
MR
85}
86
d9f62dde 87GenericList *visit_next_list(Visitor *v, GenericList *tail, size_t size)
2345c77c 88{
d9f62dde 89 assert(tail && size >= sizeof(GenericList));
ebfd93b6 90 trace_visit_next_list(v, tail, size);
d9f62dde 91 return v->next_list(v, tail, size);
2345c77c
MR
92}
93
012d4c96 94bool visit_check_list(Visitor *v, Error **errp)
a4a1c70d
MA
95{
96 trace_visit_check_list(v);
012d4c96 97 return v->check_list ? v->check_list(v, errp) : true;
a4a1c70d
MA
98}
99
1158bb2a 100void visit_end_list(Visitor *v, void **obj)
2345c77c 101{
ebfd93b6 102 trace_visit_end_list(v, obj);
1158bb2a 103 v->end_list(v, obj);
2345c77c
MR
104}
105
012d4c96 106bool visit_start_alternate(Visitor *v, const char *name,
dbf11922 107 GenericAlternate **obj, size_t size,
60390d2d 108 Error **errp)
2345c77c 109{
7b3cb803 110 bool ok;
e58d695e 111
dbf11922 112 assert(obj && size >= sizeof(GenericAlternate));
a15fcc3c 113 assert(!(v->type & VISITOR_OUTPUT) || *obj);
60390d2d 114 trace_visit_start_alternate(v, name, obj, size);
7b3cb803
MA
115 if (!v->start_alternate) {
116 assert(!(v->type & VISITOR_INPUT));
117 return true;
e58d695e 118 }
7b3cb803 119 ok = v->start_alternate(v, name, obj, size, errp);
a15fcc3c 120 if (v->type & VISITOR_INPUT) {
7b3cb803 121 assert(ok != !*obj);
dbf11922 122 }
7b3cb803 123 return ok;
dbf11922
EB
124}
125
1158bb2a 126void visit_end_alternate(Visitor *v, void **obj)
dbf11922 127{
ebfd93b6 128 trace_visit_end_alternate(v, obj);
dbf11922 129 if (v->end_alternate) {
1158bb2a 130 v->end_alternate(v, obj);
2345c77c
MR
131 }
132}
133
dbf11922 134bool visit_optional(Visitor *v, const char *name, bool *present)
69dd62df 135{
ebfd93b6 136 trace_visit_optional(v, name, present);
dbf11922
EB
137 if (v->optional) {
138 v->optional(v, name, present);
69dd62df 139 }
dbf11922 140 return *present;
69dd62df
KW
141}
142
a1307285
MA
143bool visit_policy_reject(Visitor *v, const char *name,
144 unsigned special_features, Error **errp)
db291641 145{
a1307285
MA
146 trace_visit_policy_reject(v, name);
147 if (v->policy_reject) {
148 return v->policy_reject(v, name, special_features, errp);
db291641 149 }
a1307285 150 return false;
db291641
MA
151}
152
a1307285
MA
153bool visit_policy_skip(Visitor *v, const char *name,
154 unsigned special_features)
91fa93e5 155{
a1307285
MA
156 trace_visit_policy_skip(v, name);
157 if (v->policy_skip) {
158 return v->policy_skip(v, name, special_features);
91fa93e5 159 }
a1307285 160 return false;
91fa93e5
MA
161}
162
ed29bb28
MA
163void visit_set_policy(Visitor *v, CompatPolicy *policy)
164{
165 v->compat_policy = *policy;
166}
167
68ab47e4
EB
168bool visit_is_input(Visitor *v)
169{
170 return v->type == VISITOR_INPUT;
171}
172
8e08bf4e
MA
173bool visit_is_dealloc(Visitor *v)
174{
175 return v->type == VISITOR_DEALLOC;
176}
177
012d4c96 178bool visit_type_int(Visitor *v, const char *name, int64_t *obj, Error **errp)
2345c77c 179{
adfb264c 180 assert(obj);
ebfd93b6 181 trace_visit_type_int(v, name, obj);
012d4c96 182 return v->type_int64(v, name, obj, errp);
2345c77c
MR
183}
184
012d4c96 185static bool visit_type_uintN(Visitor *v, uint64_t *obj, const char *name,
04e070d2
EB
186 uint64_t max, const char *type, Error **errp)
187{
04e070d2
EB
188 uint64_t value = *obj;
189
faad584a
MA
190 assert(v->type == VISITOR_INPUT || value <= max);
191
012d4c96
MA
192 if (!v->type_uint64(v, name, &value, errp)) {
193 return false;
194 }
195 if (value > max) {
faad584a 196 assert(v->type == VISITOR_INPUT);
04e070d2
EB
197 error_setg(errp, QERR_INVALID_PARAMETER_VALUE,
198 name ? name : "null", type);
012d4c96 199 return false;
4e27e819 200 }
012d4c96
MA
201 *obj = value;
202 return true;
4e27e819
MR
203}
204
012d4c96 205bool visit_type_uint8(Visitor *v, const char *name, uint8_t *obj,
51e72bc1 206 Error **errp)
4e27e819 207{
ebfd93b6 208 uint64_t value;
012d4c96 209 bool ok;
ebfd93b6
DB
210
211 trace_visit_type_uint8(v, name, obj);
212 value = *obj;
012d4c96 213 ok = visit_type_uintN(v, &value, name, UINT8_MAX, "uint8_t", errp);
04e070d2 214 *obj = value;
012d4c96 215 return ok;
4e27e819
MR
216}
217
012d4c96 218bool visit_type_uint16(Visitor *v, const char *name, uint16_t *obj,
04e070d2 219 Error **errp)
4e27e819 220{
ebfd93b6 221 uint64_t value;
012d4c96 222 bool ok;
ebfd93b6
DB
223
224 trace_visit_type_uint16(v, name, obj);
225 value = *obj;
012d4c96 226 ok = visit_type_uintN(v, &value, name, UINT16_MAX, "uint16_t", errp);
04e070d2 227 *obj = value;
012d4c96 228 return ok;
04e070d2 229}
297a3646 230
012d4c96 231bool visit_type_uint32(Visitor *v, const char *name, uint32_t *obj,
04e070d2
EB
232 Error **errp)
233{
ebfd93b6 234 uint64_t value;
012d4c96 235 bool ok;
ebfd93b6
DB
236
237 trace_visit_type_uint32(v, name, obj);
238 value = *obj;
012d4c96 239 ok = visit_type_uintN(v, &value, name, UINT32_MAX, "uint32_t", errp);
04e070d2 240 *obj = value;
012d4c96 241 return ok;
4e27e819
MR
242}
243
012d4c96 244bool visit_type_uint64(Visitor *v, const char *name, uint64_t *obj,
04e070d2 245 Error **errp)
4e27e819 246{
adfb264c 247 assert(obj);
ebfd93b6 248 trace_visit_type_uint64(v, name, obj);
012d4c96 249 return v->type_uint64(v, name, obj, errp);
4e27e819
MR
250}
251
012d4c96 252static bool visit_type_intN(Visitor *v, int64_t *obj, const char *name,
04e070d2
EB
253 int64_t min, int64_t max, const char *type,
254 Error **errp)
4e27e819 255{
04e070d2 256 int64_t value = *obj;
297a3646 257
faad584a
MA
258 assert(v->type == VISITOR_INPUT || (value >= min && value <= max));
259
012d4c96
MA
260 if (!v->type_int64(v, name, &value, errp)) {
261 return false;
262 }
263 if (value < min || value > max) {
faad584a 264 assert(v->type == VISITOR_INPUT);
04e070d2
EB
265 error_setg(errp, QERR_INVALID_PARAMETER_VALUE,
266 name ? name : "null", type);
012d4c96 267 return false;
4e27e819 268 }
012d4c96
MA
269 *obj = value;
270 return true;
4e27e819
MR
271}
272
012d4c96 273bool visit_type_int8(Visitor *v, const char *name, int8_t *obj, Error **errp)
4e27e819 274{
ebfd93b6 275 int64_t value;
012d4c96 276 bool ok;
ebfd93b6
DB
277
278 trace_visit_type_int8(v, name, obj);
279 value = *obj;
012d4c96 280 ok = visit_type_intN(v, &value, name, INT8_MIN, INT8_MAX, "int8_t", errp);
04e070d2 281 *obj = value;
012d4c96 282 return ok;
04e070d2 283}
297a3646 284
012d4c96 285bool visit_type_int16(Visitor *v, const char *name, int16_t *obj,
51e72bc1 286 Error **errp)
04e070d2 287{
ebfd93b6 288 int64_t value;
012d4c96 289 bool ok;
ebfd93b6
DB
290
291 trace_visit_type_int16(v, name, obj);
292 value = *obj;
012d4c96
MA
293 ok = visit_type_intN(v, &value, name, INT16_MIN, INT16_MAX, "int16_t",
294 errp);
04e070d2 295 *obj = value;
012d4c96 296 return ok;
4e27e819
MR
297}
298
012d4c96 299bool visit_type_int32(Visitor *v, const char *name, int32_t *obj,
51e72bc1 300 Error **errp)
4e27e819 301{
ebfd93b6 302 int64_t value;
012d4c96 303 bool ok;
ebfd93b6
DB
304
305 trace_visit_type_int32(v, name, obj);
306 value = *obj;
012d4c96
MA
307 ok = visit_type_intN(v, &value, name, INT32_MIN, INT32_MAX, "int32_t",
308 errp);
04e070d2 309 *obj = value;
012d4c96 310 return ok;
4e27e819
MR
311}
312
012d4c96 313bool visit_type_int64(Visitor *v, const char *name, int64_t *obj,
51e72bc1 314 Error **errp)
4e27e819 315{
adfb264c 316 assert(obj);
ebfd93b6 317 trace_visit_type_int64(v, name, obj);
012d4c96 318 return v->type_int64(v, name, obj, errp);
4e27e819
MR
319}
320
012d4c96 321bool visit_type_size(Visitor *v, const char *name, uint64_t *obj,
51e72bc1 322 Error **errp)
092705d4 323{
adfb264c 324 assert(obj);
ebfd93b6 325 trace_visit_type_size(v, name, obj);
297a3646 326 if (v->type_size) {
012d4c96 327 return v->type_size(v, name, obj, errp);
092705d4 328 }
012d4c96 329 return v->type_uint64(v, name, obj, errp);
092705d4
LE
330}
331
012d4c96 332bool visit_type_bool(Visitor *v, const char *name, bool *obj, Error **errp)
2345c77c 333{
adfb264c 334 assert(obj);
ebfd93b6 335 trace_visit_type_bool(v, name, obj);
012d4c96 336 return v->type_bool(v, name, obj, errp);
2345c77c
MR
337}
338
012d4c96 339bool visit_type_str(Visitor *v, const char *name, char **obj, Error **errp)
2345c77c 340{
7b3cb803 341 bool ok;
e58d695e
EB
342
343 assert(obj);
adfb264c
EB
344 /* TODO: Fix callers to not pass NULL when they mean "", so that we
345 * can enable:
a15fcc3c 346 assert(!(v->type & VISITOR_OUTPUT) || *obj);
adfb264c 347 */
ebfd93b6 348 trace_visit_type_str(v, name, obj);
7b3cb803 349 ok = v->type_str(v, name, obj, errp);
a15fcc3c 350 if (v->type & VISITOR_INPUT) {
7b3cb803 351 assert(ok != !*obj);
e58d695e 352 }
7b3cb803 353 return ok;
2345c77c
MR
354}
355
012d4c96 356bool visit_type_number(Visitor *v, const char *name, double *obj,
51e72bc1 357 Error **errp)
2345c77c 358{
adfb264c 359 assert(obj);
ebfd93b6 360 trace_visit_type_number(v, name, obj);
012d4c96 361 return v->type_number(v, name, obj, errp);
2345c77c 362}
0f71a1e0 363
012d4c96 364bool visit_type_any(Visitor *v, const char *name, QObject **obj, Error **errp)
28770e05 365{
012d4c96 366 bool ok;
e58d695e
EB
367
368 assert(obj);
adfb264c 369 assert(v->type != VISITOR_OUTPUT || *obj);
ebfd93b6 370 trace_visit_type_any(v, name, obj);
012d4c96 371 ok = v->type_any(v, name, obj, errp);
e58d695e 372 if (v->type == VISITOR_INPUT) {
012d4c96 373 assert(ok != !*obj);
e58d695e 374 }
012d4c96 375 return ok;
28770e05
MA
376}
377
012d4c96 378bool visit_type_null(Visitor *v, const char *name, QNull **obj,
d2f95f4d 379 Error **errp)
3bc97fd5 380{
d2f95f4d 381 trace_visit_type_null(v, name, obj);
012d4c96 382 return v->type_null(v, name, obj, errp);
3bc97fd5
EB
383}
384
012d4c96 385static bool output_type_enum(Visitor *v, const char *name, int *obj,
f7abe0ec 386 const QEnumLookup *lookup, Error **errp)
0f71a1e0 387{
0f71a1e0
PB
388 int value = *obj;
389 char *enum_str;
390
f7abe0ec 391 enum_str = (char *)qapi_enum_lookup(lookup, value);
012d4c96 392 return visit_type_str(v, name, &enum_str, errp);
0f71a1e0
PB
393}
394
012d4c96 395static bool input_type_enum(Visitor *v, const char *name, int *obj,
f7abe0ec 396 const QEnumLookup *lookup, Error **errp)
0f71a1e0 397{
113e47ae 398 int64_t value;
aa237044 399 g_autofree char *enum_str = NULL;
0f71a1e0 400
012d4c96
MA
401 if (!visit_type_str(v, name, &enum_str, errp)) {
402 return false;
0f71a1e0
PB
403 }
404
f7abe0ec 405 value = qapi_enum_parse(lookup, enum_str, -1, NULL);
113e47ae 406 if (value < 0) {
ea29331b
MA
407 error_setg(errp, "Parameter '%s' does not accept value '%s'",
408 name ? name : "null", enum_str);
012d4c96 409 return false;
0f71a1e0
PB
410 }
411
c8688760 412 if (lookup->special_features
7ce5fc63
MA
413 && !compat_policy_input_ok(lookup->special_features[value],
414 &v->compat_policy,
415 ERROR_CLASS_GENERIC_ERROR,
416 "value", enum_str, errp)) {
417 return false;
aa237044
MA
418 }
419
0f71a1e0 420 *obj = value;
012d4c96 421 return true;
0f71a1e0 422}
983f52d4 423
012d4c96 424bool visit_type_enum(Visitor *v, const char *name, int *obj,
f7abe0ec 425 const QEnumLookup *lookup, Error **errp)
983f52d4 426{
f7abe0ec 427 assert(obj && lookup);
6514532f 428 trace_visit_type_enum(v, name, obj);
a15fcc3c
EB
429 switch (v->type) {
430 case VISITOR_INPUT:
012d4c96 431 return input_type_enum(v, name, obj, lookup, errp);
a15fcc3c 432 case VISITOR_OUTPUT:
012d4c96 433 return output_type_enum(v, name, obj, lookup, errp);
a15fcc3c
EB
434 case VISITOR_CLONE:
435 /* nothing further to do, scalar value was already copied by
436 * g_memdup() during visit_start_*() */
012d4c96 437 return true;
a15fcc3c
EB
438 case VISITOR_DEALLOC:
439 /* nothing to deallocate for a scalar */
012d4c96
MA
440 return true;
441 default:
442 abort();
983f52d4
EB
443 }
444}