]>
Commit | Line | Data |
---|---|---|
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 <[email protected]> | |
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 */ |
24 | QEMU_BUILD_BUG_ON(COMPAT_POLICY_INPUT_ACCEPT || COMPAT_POLICY_OUTPUT_ACCEPT); | |
25 | ||
26 | ||
3b098d56 EB |
27 | void 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 |
36 | void visit_free(Visitor *v) |
37 | { | |
ebfd93b6 | 38 | trace_visit_free(v); |
2c0ef9f4 EB |
39 | if (v) { |
40 | v->free(v); | |
41 | } | |
42 | } | |
43 | ||
012d4c96 | 44 | bool 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 | 61 | bool 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 | 67 | void 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 | 73 | bool 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 | 87 | GenericList *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 | 94 | bool 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 | 100 | void 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 | 106 | bool 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 | 126 | void 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 | 134 | bool 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 |
143 | bool 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 |
153 | bool 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 |
163 | void visit_set_policy(Visitor *v, CompatPolicy *policy) |
164 | { | |
165 | v->compat_policy = *policy; | |
166 | } | |
167 | ||
68ab47e4 EB |
168 | bool visit_is_input(Visitor *v) |
169 | { | |
170 | return v->type == VISITOR_INPUT; | |
171 | } | |
172 | ||
8e08bf4e MA |
173 | bool visit_is_dealloc(Visitor *v) |
174 | { | |
175 | return v->type == VISITOR_DEALLOC; | |
176 | } | |
177 | ||
012d4c96 | 178 | bool 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 | 185 | static 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 | 205 | bool 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 | 218 | bool 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 | 231 | bool 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 | 244 | bool 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 | 252 | static 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 | 273 | bool 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 | 285 | bool 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 | 299 | bool 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 | 313 | bool 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 | 321 | bool 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 | 332 | bool 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 | 339 | bool 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 | 356 | bool 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 | 364 | bool 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 | 378 | bool 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 | 385 | static 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 | 395 | static 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 | 424 | bool 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 | } |