2 * Core Definitions for QAPI Visitor Classes
4 * Copyright (C) 2012-2016 Red Hat, Inc.
5 * Copyright IBM, Corp. 2011
8 * Anthony Liguori <aliguori@us.ibm.com>
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.
15 #ifndef QAPI_VISITOR_H
16 #define QAPI_VISITOR_H
18 #include "qapi/qapi-builtin-types.h"
21 * The QAPI schema defines both a set of C data types, and a QMP wire
22 * format. QAPI objects can contain references to other QAPI objects,
23 * resulting in a directed acyclic graph. QAPI also generates visitor
24 * functions to walk these graphs. This file represents the interface
25 * for doing work at each node of a QAPI graph; it can also be used
26 * for a virtual walk, where there is no actual QAPI C struct.
28 * There are four kinds of visitors: input visitors (QObject, string,
29 * and QemuOpts) parse an external representation and build the
30 * corresponding QAPI object, output visitors (QObject and string)
31 * take a QAPI object and generate an external representation, the
32 * dealloc visitor takes a QAPI object (possibly partially
33 * constructed) and recursively frees it, and the clone visitor
34 * performs a deep clone of a QAPI object.
36 * While the dealloc and QObject input/output visitors are general,
37 * the string, QemuOpts, and clone visitors have some implementation
38 * limitations; see the documentation for each visitor for more
39 * details on what it supports. Also, see visitor-impl.h for the
40 * callback contracts implemented by each visitor, and
41 * docs/devel/qapi-code-gen.txt for more about the QAPI code
44 * All of the visitors are created via:
46 * Visitor *subtype_visitor_new(parameters...);
48 * A visitor should be used for exactly one top-level visit_type_FOO()
49 * or virtual walk; if that is successful, the caller can optionally
50 * call visit_complete() (useful only for output visits, but safe to
51 * call on all visits). Then, regardless of success or failure, the
52 * user should call visit_free() to clean up resources. It is okay to
53 * free the visitor without completing the visit, if some other error
54 * is detected in the meantime.
56 * The clone and dealloc visitor should not be used directly outside
57 * of QAPI code. Use the qapi_free_FOO() and QAPI_CLONE() instead,
60 * All QAPI types have a corresponding function with a signature
61 * roughly compatible with this:
63 * void visit_type_FOO(Visitor *v, const char *name, T obj, Error **errp);
65 * where T is FOO for scalar types, and FOO * otherwise. The scalar
66 * visitors are declared here; the remaining visitors are generated in
67 * qapi-visit-MODULE.h.
69 * The @name parameter of visit_type_FOO() describes the relation
70 * between this QAPI value and its parent container. When visiting
71 * the root of a tree, @name is ignored; when visiting a member of an
72 * object, @name is the key associated with the value; when visiting a
73 * member of a list, @name is NULL; and when visiting the member of an
74 * alternate, @name should equal the name used for visiting the
77 * The visit_type_FOO() functions take a non-null @obj argument; they
78 * allocate *@obj during input visits, leave it unchanged during
79 * output and clone visits, and free it (recursively) during a dealloc
82 * Each function also takes the customary @errp argument (see
83 * qapi/error.h for details), for reporting any errors (such as if a
84 * member @name is not present, or is present but not the specified
85 * type). Only input visitors can fail.
87 * If an error is detected during visit_type_FOO() with an input
88 * visitor, then *@obj will be set to NULL for pointer types, and left
89 * unchanged for scalar types.
91 * Using an output or clone visitor with an incomplete object has
92 * undefined behavior (other than a special case for visit_type_str()
93 * treating NULL like ""), while the dealloc visitor safely handles
94 * incomplete objects. Since input visitors never produce an
95 * incomplete object, such an object is possible only by manual
98 * For the QAPI object types (structs, unions, and alternates), there
99 * is an additional generated function in qapi-visit-MODULE.h
102 * void visit_type_FOO_members(Visitor *v, FOO *obj, Error **errp);
104 * for visiting the members of a type without also allocating the QAPI
107 * Additionally, QAPI pointer types (structs, unions, alternates, and
108 * lists) have a generated function in qapi-types-MODULE.h compatible
111 * void qapi_free_FOO(FOO *obj);
113 * Does nothing when @obj is NULL.
115 * Such objects may also be used with macro
117 * Type *QAPI_CLONE(Type, src);
119 * in order to perform a deep clone of @src.
121 * For QAPI types can that inherit from a base type, a function is
122 * generated for going from the derived type to the base type:
124 * BASE *qapi_CHILD_base(CHILD *obj);
126 * Typical input visitor usage involves:
133 * v = FOO_visitor_new(...);
134 * visit_type_Foo(v, NULL, &f, &err);
150 * v = FOO_visitor_new(...);
151 * visit_type_FooList(v, NULL, &l, &err);
155 * for ( ; l; l = l->next) {
160 * qapi_free_FooList(l);
163 * Typical output visitor usage:
166 * Foo *f = ...obtain populated object...
170 * v = FOO_visitor_new(..., &result);
171 * visit_type_Foo(v, NULL, &f, &error_abort);
172 * visit_complete(v, &result);
177 * It is also possible to use the visitors to do a virtual walk, where
178 * no actual QAPI object is present. In this situation, decisions
179 * about what needs to be walked are made by the calling code, and
180 * structured visits are split between pairs of start and end methods
181 * (where the end method must be called if the start function
182 * succeeded, even if an intermediate visit encounters an error).
183 * Thus, a virtual walk corresponding to '{ "list": [1, 2] }' looks
191 * v = FOO_visitor_new(...);
192 * visit_start_struct(v, NULL, NULL, 0, &err);
196 * visit_start_list(v, "list", NULL, 0, &err);
201 * visit_type_int(v, NULL, &value, &err);
206 * visit_type_int(v, NULL, &value, &err);
212 * visit_check_list(v, &err);
214 * visit_end_list(v, NULL);
216 * visit_check_struct(v, &err);
219 * visit_end_struct(v, NULL);
224 * This file provides helpers for use by the generated
225 * visit_type_FOO(): visit_optional() for the 'has_member' field
226 * associated with optional 'member' in the C struct,
227 * visit_next_list() for advancing through a FooList linked list, and
228 * visit_is_input() for cleaning up on failure.
231 /*** Useful types ***/
233 /* This struct is layout-compatible with all other *List structs
234 * created by the QAPI generator. It is used as a typical
235 * singly-linked list. */
236 typedef struct GenericList
{
237 struct GenericList
*next
;
241 /* This struct is layout-compatible with all Alternate types
242 * created by the QAPI generator. */
243 typedef struct GenericAlternate
{
248 /*** Visitor cleanup ***/
251 * Complete the visit, collecting any output.
253 * May only be called only once after a successful top-level
254 * visit_type_FOO() or visit_end_ITEM(), and marks the end of the
255 * visit. The @opaque pointer should match the output parameter
256 * passed to the subtype_visitor_new() used to create an output
257 * visitor, or NULL for any other visitor. Needed for output
258 * visitors, but may also be called with other visitors.
260 void visit_complete(Visitor
*v
, void *opaque
);
263 * Free @v and any resources it has tied up.
265 * May be called whether or not the visit has been successfully
266 * completed, but should not be called until a top-level
267 * visit_type_FOO() or visit_start_ITEM() has been performed on the
268 * visitor. Safe if @v is NULL.
270 void visit_free(Visitor
*v
);
273 /*** Visiting structures ***/
276 * Start visiting an object @obj (struct or union).
278 * @name expresses the relationship of this object to its parent
279 * container; see the general description of @name above.
281 * @obj must be non-NULL for a real walk, in which case @size
282 * determines how much memory an input or clone visitor will allocate
283 * into *@obj. @obj may also be NULL for a virtual walk, in which
284 * case @size is ignored.
286 * On failure, set *@obj to NULL and store an error through @errp.
287 * Can happen only when @v is an input visitor.
289 * After visit_start_struct() succeeds, the caller may visit its
290 * members one after the other, passing the member's name and address
291 * within the struct. Finally, visit_end_struct() needs to be called
292 * with the same @obj to clean up, even if intermediate visits fail.
293 * See the examples above.
295 * FIXME Should this be named visit_start_object, since it is also
296 * used for QAPI unions, and maps to JSON objects?
298 void visit_start_struct(Visitor
*v
, const char *name
, void **obj
,
299 size_t size
, Error
**errp
);
302 * Prepare for completing an object visit.
304 * On failure, store an error through @errp. Can happen only when @v
305 * is an input visitor.
307 * Should be called prior to visit_end_struct() if all other
308 * intermediate visit steps were successful, to allow the visitor one
309 * last chance to report errors. May be skipped on a cleanup path,
310 * where there is no need to check for further errors.
312 void visit_check_struct(Visitor
*v
, Error
**errp
);
315 * Complete an object visit started earlier.
317 * @obj must match what was passed to the paired visit_start_struct().
319 * Must be called after any successful use of visit_start_struct(),
320 * even if intermediate processing was skipped due to errors, to allow
321 * the backend to release any resources. Destroying the visitor early
322 * with visit_free() behaves as if this was implicitly called.
324 void visit_end_struct(Visitor
*v
, void **obj
);
327 /*** Visiting lists ***/
330 * Start visiting a list.
332 * @name expresses the relationship of this list to its parent
333 * container; see the general description of @name above.
335 * @list must be non-NULL for a real walk, in which case @size
336 * determines how much memory an input or clone visitor will allocate
337 * into *@list (at least sizeof(GenericList)). Some visitors also
338 * allow @list to be NULL for a virtual walk, in which case @size is
341 * On failure, set *@list to NULL and store an error through @errp.
342 * Can happen only when @v is an input visitor.
344 * After visit_start_list() succeeds, the caller may visit its members
345 * one after the other. A real visit (where @list is non-NULL) uses
346 * visit_next_list() for traversing the linked list, while a virtual
347 * visit (where @list is NULL) uses other means. For each list
348 * element, call the appropriate visit_type_FOO() with name set to
349 * NULL and obj set to the address of the value member of the list
350 * element. Finally, visit_end_list() needs to be called with the
351 * same @list to clean up, even if intermediate visits fail. See the
354 void visit_start_list(Visitor
*v
, const char *name
, GenericList
**list
,
355 size_t size
, Error
**errp
);
358 * Iterate over a GenericList during a non-virtual list visit.
360 * @size represents the size of a linked list node (at least
361 * sizeof(GenericList)).
363 * @tail must not be NULL; on the first call, @tail is the value of
364 * *list after visit_start_list(), and on subsequent calls @tail must
365 * be the previously returned value. Should be called in a loop until
366 * a NULL return; for each non-NULL return, the caller then calls the
367 * appropriate visit_type_*() for the element type of the list, with
368 * that function's name parameter set to NULL and obj set to the
369 * address of @tail->value.
371 GenericList
*visit_next_list(Visitor
*v
, GenericList
*tail
, size_t size
);
374 * Prepare for completing a list visit.
376 * On failure, store an error through @errp. Can happen only when @v
377 * is an input visitor.
379 * Should be called prior to visit_end_list() if all other
380 * intermediate visit steps were successful, to allow the visitor one
381 * last chance to report errors. May be skipped on a cleanup path,
382 * where there is no need to check for further errors.
384 void visit_check_list(Visitor
*v
, Error
**errp
);
387 * Complete a list visit started earlier.
389 * @list must match what was passed to the paired visit_start_list().
391 * Must be called after any successful use of visit_start_list(), even
392 * if intermediate processing was skipped due to errors, to allow the
393 * backend to release any resources. Destroying the visitor early
394 * with visit_free() behaves as if this was implicitly called.
396 void visit_end_list(Visitor
*v
, void **list
);
399 /*** Visiting alternates ***/
402 * Start the visit of an alternate @obj.
404 * @name expresses the relationship of this alternate to its parent
405 * container; see the general description of @name above.
407 * @obj must not be NULL. Input and clone visitors use @size to
408 * determine how much memory to allocate into *@obj, then determine
409 * the qtype of the next thing to be visited, and store it in
410 * (*@obj)->type. Other visitors leave @obj unchanged.
412 * On failure, set *@obj to NULL and store an error through @errp.
413 * Can happen only when @v is an input visitor.
415 * If successful, this must be paired with visit_end_alternate() with
416 * the same @obj to clean up, even if visiting the contents of the
419 void visit_start_alternate(Visitor
*v
, const char *name
,
420 GenericAlternate
**obj
, size_t size
,
424 * Finish visiting an alternate type.
426 * @obj must match what was passed to the paired visit_start_alternate().
428 * Must be called after any successful use of visit_start_alternate(),
429 * even if intermediate processing was skipped due to errors, to allow
430 * the backend to release any resources. Destroying the visitor early
431 * with visit_free() behaves as if this was implicitly called.
434 void visit_end_alternate(Visitor
*v
, void **obj
);
437 /*** Other helpers ***/
440 * Does optional struct member @name need visiting?
442 * @name must not be NULL. This function is only useful between
443 * visit_start_struct() and visit_end_struct(), since only objects
444 * have optional keys.
446 * @present points to the address of the optional member's has_ flag.
448 * Input visitors set *@present according to input; other visitors
449 * leave it unchanged. In either case, return *@present for
452 bool visit_optional(Visitor
*v
, const char *name
, bool *present
);
455 * Visit an enum value.
457 * @name expresses the relationship of this enum to its parent
458 * container; see the general description of @name above.
460 * @obj must be non-NULL. Input visitors parse input and set *@obj to
461 * the enumeration value, leaving @obj unchanged on error; other
462 * visitors use *@obj but leave it unchanged.
464 * Currently, all input visitors parse text input, and all output
465 * visitors produce text output. The mapping between enumeration
466 * values and strings is done by the visitor core, using @lookup.
468 * On failure, store an error through @errp. Can happen only when @v
469 * is an input visitor.
471 * May call visit_type_str() under the hood, and the enum visit may
472 * fail even if the corresponding string visit succeeded; this implies
473 * that an input visitor's visit_type_str() must have no unwelcome
476 void visit_type_enum(Visitor
*v
, const char *name
, int *obj
,
477 const QEnumLookup
*lookup
, Error
**errp
);
480 * Check if visitor is an input visitor.
482 bool visit_is_input(Visitor
*v
);
485 * Check if visitor is a dealloc visitor.
487 bool visit_is_dealloc(Visitor
*v
);
489 /*** Visiting built-in types ***/
492 * Visit an integer value.
494 * @name expresses the relationship of this integer to its parent
495 * container; see the general description of @name above.
497 * @obj must be non-NULL. Input visitors set *@obj to the value;
498 * other visitors will leave *@obj unchanged.
500 * On failure, store an error through @errp. Can happen only when @v
501 * is an input visitor.
503 void visit_type_int(Visitor
*v
, const char *name
, int64_t *obj
, Error
**errp
);
506 * Visit a uint8_t value.
507 * Like visit_type_int(), except clamps the value to uint8_t range.
509 void visit_type_uint8(Visitor
*v
, const char *name
, uint8_t *obj
,
513 * Visit a uint16_t value.
514 * Like visit_type_int(), except clamps the value to uint16_t range.
516 void visit_type_uint16(Visitor
*v
, const char *name
, uint16_t *obj
,
520 * Visit a uint32_t value.
521 * Like visit_type_int(), except clamps the value to uint32_t range.
523 void visit_type_uint32(Visitor
*v
, const char *name
, uint32_t *obj
,
527 * Visit a uint64_t value.
528 * Like visit_type_int(), except clamps the value to uint64_t range,
529 * that is, ensures it is unsigned.
531 void visit_type_uint64(Visitor
*v
, const char *name
, uint64_t *obj
,
535 * Visit an int8_t value.
536 * Like visit_type_int(), except clamps the value to int8_t range.
538 void visit_type_int8(Visitor
*v
, const char *name
, int8_t *obj
, Error
**errp
);
541 * Visit an int16_t value.
542 * Like visit_type_int(), except clamps the value to int16_t range.
544 void visit_type_int16(Visitor
*v
, const char *name
, int16_t *obj
,
548 * Visit an int32_t value.
549 * Like visit_type_int(), except clamps the value to int32_t range.
551 void visit_type_int32(Visitor
*v
, const char *name
, int32_t *obj
,
555 * Visit an int64_t value.
556 * Identical to visit_type_int().
558 void visit_type_int64(Visitor
*v
, const char *name
, int64_t *obj
,
562 * Visit a uint64_t value.
563 * Like visit_type_uint64(), except that some visitors may choose to
564 * recognize additional syntax, such as suffixes for easily scaling
567 void visit_type_size(Visitor
*v
, const char *name
, uint64_t *obj
,
571 * Visit a boolean value.
573 * @name expresses the relationship of this boolean to its parent
574 * container; see the general description of @name above.
576 * @obj must be non-NULL. Input visitors set *@obj to the value;
577 * other visitors will leave *@obj unchanged.
579 * On failure, store an error through @errp. Can happen only when @v
580 * is an input visitor.
582 void visit_type_bool(Visitor
*v
, const char *name
, bool *obj
, Error
**errp
);
585 * Visit a string value.
587 * @name expresses the relationship of this string to its parent
588 * container; see the general description of @name above.
590 * @obj must be non-NULL. Input and clone visitors set *@obj to the
591 * value (always using "" rather than NULL for an empty string).
592 * Other visitors leave *@obj unchanged, and commonly treat NULL like
595 * It is safe to cast away const when preparing a (const char *) value
596 * into @obj for use by an output visitor.
598 * On failure, set *@obj to NULL and store an error through @errp.
599 * Can happen only when @v is an input visitor.
601 * FIXME: Callers that try to output NULL *obj should not be allowed.
603 void visit_type_str(Visitor
*v
, const char *name
, char **obj
, Error
**errp
);
606 * Visit a number (i.e. double) value.
608 * @name expresses the relationship of this number to its parent
609 * container; see the general description of @name above.
611 * @obj must be non-NULL. Input visitors set *@obj to the value;
612 * other visitors will leave *@obj unchanged. Visitors should
613 * document if infinity or NaN are not permitted.
615 * On failure, store an error through @errp. Can happen only when @v
616 * is an input visitor.
618 void visit_type_number(Visitor
*v
, const char *name
, double *obj
,
622 * Visit an arbitrary value.
624 * @name expresses the relationship of this value to its parent
625 * container; see the general description of @name above.
627 * @obj must be non-NULL. Input visitors set *@obj to the value;
628 * other visitors will leave *@obj unchanged. *@obj must be non-NULL
629 * for output visitors.
631 * On failure, set *@obj to NULL and store an error through @errp.
632 * Can happen only when @v is an input visitor.
634 * Note that some kinds of input can't express arbitrary QObject.
635 * E.g. the visitor returned by qobject_input_visitor_new_keyval()
636 * can't create numbers or booleans, only strings.
638 void visit_type_any(Visitor
*v
, const char *name
, QObject
**obj
, Error
**errp
);
641 * Visit a JSON null value.
643 * @name expresses the relationship of the null value to its parent
644 * container; see the general description of @name above.
646 * @obj must be non-NULL. Input visitors set *@obj to the value;
647 * other visitors ignore *@obj.
649 * On failure, set *@obj to NULL and store an error through @errp.
650 * Can happen only when @v is an input visitor.
652 void visit_type_null(Visitor
*v
, const char *name
, QNull
**obj
,