visitor.h (23252B)
1/* 2 * Core Definitions for QAPI Visitor Classes 3 * 4 * Copyright (C) 2012-2016 Red Hat, Inc. 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 15#ifndef QAPI_VISITOR_H 16#define QAPI_VISITOR_H 17 18#include "qapi/qapi-builtin-types.h" 19 20/* 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. 27 * 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. 35 * 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 42 * generator. 43 * 44 * All of the visitors are created via: 45 * 46 * Visitor *subtype_visitor_new(parameters...); 47 * 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. 55 * 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, 58 * described below. 59 * 60 * All QAPI types have a corresponding function with a signature 61 * roughly compatible with this: 62 * 63 * bool visit_type_FOO(Visitor *v, const char *name, T obj, Error **errp); 64 * 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. 68 * 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 75 * alternate. 76 * 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 80 * visit. 81 * 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. 86 * 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. 90 * 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 96 * construction. 97 * 98 * visit_type_FOO() returns true on success, false on error. 99 * 100 * For the QAPI object types (structs, unions, and alternates), there 101 * is an additional generated function in qapi-visit-MODULE.h 102 * compatible with: 103 * 104 * bool visit_type_FOO_members(Visitor *v, FOO *obj, Error **errp); 105 * 106 * for visiting the members of a type without also allocating the QAPI 107 * struct. It also returns true on success, false on error. 108 * 109 * Additionally, QAPI pointer types (structs, unions, alternates, and 110 * lists) have a generated function in qapi-types-MODULE.h compatible 111 * with: 112 * 113 * void qapi_free_FOO(FOO *obj); 114 * 115 * Does nothing when @obj is NULL. 116 * 117 * Such objects may also be used with macro 118 * 119 * Type *QAPI_CLONE(Type, src); 120 * 121 * in order to perform a deep clone of @src. 122 * 123 * For QAPI types can that inherit from a base type, a function is 124 * generated for going from the derived type to the base type: 125 * 126 * BASE *qapi_CHILD_base(CHILD *obj); 127 * 128 * Typical input visitor usage involves: 129 * 130 * <example> 131 * Foo *f; 132 * Error *err = NULL; 133 * Visitor *v; 134 * 135 * v = FOO_visitor_new(...); 136 * if (!visit_type_Foo(v, NULL, &f, &err)) { 137 * ...handle error... 138 * } else { 139 * ...use f... 140 * } 141 * visit_free(v); 142 * qapi_free_Foo(f); 143 * </example> 144 * 145 * For a list, it is: 146 * <example> 147 * FooList *l; 148 * Error *err = NULL; 149 * Visitor *v; 150 * 151 * v = FOO_visitor_new(...); 152 * if (!visit_type_FooList(v, NULL, &l, &err)) { 153 * ...handle error... 154 * } else { 155 * for ( ; l; l = l->next) { 156 * ...use l->value... 157 * } 158 * } 159 * visit_free(v); 160 * qapi_free_FooList(l); 161 * </example> 162 * 163 * Typical output visitor usage: 164 * 165 * <example> 166 * Foo *f = ...obtain populated object... 167 * Visitor *v; 168 * Type *result; 169 * 170 * v = FOO_visitor_new(..., &result); 171 * visit_type_Foo(v, NULL, &f, &error_abort); 172 * visit_complete(v, &result); 173 * visit_free(v); 174 * ...use result... 175 * </example> 176 * 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 184 * like: 185 * 186 * <example> 187 * Visitor *v; 188 * Error *err = NULL; 189 * bool ok = false; 190 * int value; 191 * 192 * v = FOO_visitor_new(...); 193 * if (!visit_start_struct(v, NULL, NULL, 0, &err)) { 194 * goto out; 195 * } 196 * if (!visit_start_list(v, "list", NULL, 0, &err)) { 197 * goto outobj; 198 * } 199 * value = 1; 200 * if (!visit_type_int(v, NULL, &value, &err)) { 201 * goto outlist; 202 * } 203 * value = 2; 204 * if (!visit_type_int(v, NULL, &value, &err)) { 205 * goto outlist; 206 * } 207 * ok = true; 208 * outlist: 209 * if (ok) { 210 * ok = visit_check_list(v, &err); 211 * } 212 * visit_end_list(v, NULL); 213 * if (ok) { 214 * ok = visit_check_struct(v, &err); 215 * } 216 * outobj: 217 * visit_end_struct(v, NULL); 218 * out: 219 * visit_free(v); 220 * </example> 221 * 222 * This file provides helpers for use by the generated 223 * visit_type_FOO(): visit_optional() for the 'has_member' field 224 * associated with optional 'member' in the C struct, 225 * visit_next_list() for advancing through a FooList linked list, and 226 * visit_is_input() for cleaning up on failure. 227 */ 228 229/*** Useful types ***/ 230 231/* This struct is layout-compatible with all other *List structs 232 * created by the QAPI generator. It is used as a typical 233 * singly-linked list. */ 234typedef struct GenericList { 235 struct GenericList *next; 236 char padding[]; 237} GenericList; 238 239/* This struct is layout-compatible with all Alternate types 240 * created by the QAPI generator. */ 241typedef struct GenericAlternate { 242 QType type; 243 char padding[]; 244} GenericAlternate; 245 246/*** Visitor cleanup ***/ 247 248/* 249 * Complete the visit, collecting any output. 250 * 251 * May only be called only once after a successful top-level 252 * visit_type_FOO() or visit_end_ITEM(), and marks the end of the 253 * visit. The @opaque pointer should match the output parameter 254 * passed to the subtype_visitor_new() used to create an output 255 * visitor, or NULL for any other visitor. Needed for output 256 * visitors, but may also be called with other visitors. 257 */ 258void visit_complete(Visitor *v, void *opaque); 259 260/* 261 * Free @v and any resources it has tied up. 262 * 263 * May be called whether or not the visit has been successfully 264 * completed, but should not be called until a top-level 265 * visit_type_FOO() or visit_start_ITEM() has been performed on the 266 * visitor. Safe if @v is NULL. 267 */ 268void visit_free(Visitor *v); 269 270 271/*** Visiting structures ***/ 272 273/* 274 * Start visiting an object @obj (struct or union). 275 * 276 * @name expresses the relationship of this object to its parent 277 * container; see the general description of @name above. 278 * 279 * @obj must be non-NULL for a real walk, in which case @size 280 * determines how much memory an input or clone visitor will allocate 281 * into *@obj. @obj may also be NULL for a virtual walk, in which 282 * case @size is ignored. 283 * 284 * On failure, set *@obj to NULL and store an error through @errp. 285 * Can happen only when @v is an input visitor. 286 * 287 * Return true on success, false on failure. 288 * 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. 294 * 295 * FIXME Should this be named visit_start_object, since it is also 296 * used for QAPI unions, and maps to JSON objects? 297 */ 298bool visit_start_struct(Visitor *v, const char *name, void **obj, 299 size_t size, Error **errp); 300 301/* 302 * Prepare for completing an object visit. 303 * 304 * On failure, store an error through @errp. Can happen only when @v 305 * is an input visitor. 306 * 307 * Return true on success, false on failure. 308 * 309 * Should be called prior to visit_end_struct() if all other 310 * intermediate visit steps were successful, to allow the visitor one 311 * last chance to report errors. May be skipped on a cleanup path, 312 * where there is no need to check for further errors. 313 */ 314bool visit_check_struct(Visitor *v, Error **errp); 315 316/* 317 * Complete an object visit started earlier. 318 * 319 * @obj must match what was passed to the paired visit_start_struct(). 320 * 321 * Must be called after any successful use of visit_start_struct(), 322 * even if intermediate processing was skipped due to errors, to allow 323 * the backend to release any resources. Destroying the visitor early 324 * with visit_free() behaves as if this was implicitly called. 325 */ 326void visit_end_struct(Visitor *v, void **obj); 327 328 329/*** Visiting lists ***/ 330 331/* 332 * Start visiting a list. 333 * 334 * @name expresses the relationship of this list to its parent 335 * container; see the general description of @name above. 336 * 337 * @list must be non-NULL for a real walk, in which case @size 338 * determines how much memory an input or clone visitor will allocate 339 * into *@list (at least sizeof(GenericList)). Some visitors also 340 * allow @list to be NULL for a virtual walk, in which case @size is 341 * ignored. 342 * 343 * On failure, set *@list to NULL and store an error through @errp. 344 * Can happen only when @v is an input visitor. 345 * 346 * Return true on success, false on failure. 347 * 348 * After visit_start_list() succeeds, the caller may visit its members 349 * one after the other. A real visit (where @list is non-NULL) uses 350 * visit_next_list() for traversing the linked list, while a virtual 351 * visit (where @list is NULL) uses other means. For each list 352 * element, call the appropriate visit_type_FOO() with name set to 353 * NULL and obj set to the address of the value member of the list 354 * element. Finally, visit_end_list() needs to be called with the 355 * same @list to clean up, even if intermediate visits fail. See the 356 * examples above. 357 */ 358bool visit_start_list(Visitor *v, const char *name, GenericList **list, 359 size_t size, Error **errp); 360 361/* 362 * Iterate over a GenericList during a non-virtual list visit. 363 * 364 * @size represents the size of a linked list node (at least 365 * sizeof(GenericList)). 366 * 367 * @tail must not be NULL; on the first call, @tail is the value of 368 * *list after visit_start_list(), and on subsequent calls @tail must 369 * be the previously returned value. Should be called in a loop until 370 * a NULL return; for each non-NULL return, the caller then calls the 371 * appropriate visit_type_*() for the element type of the list, with 372 * that function's name parameter set to NULL and obj set to the 373 * address of @tail->value. 374 */ 375GenericList *visit_next_list(Visitor *v, GenericList *tail, size_t size); 376 377/* 378 * Prepare for completing a list visit. 379 * 380 * On failure, store an error through @errp. Can happen only when @v 381 * is an input visitor. 382 * 383 * Return true on success, false on failure. 384 * 385 * Should be called prior to visit_end_list() if all other 386 * intermediate visit steps were successful, to allow the visitor one 387 * last chance to report errors. May be skipped on a cleanup path, 388 * where there is no need to check for further errors. 389 */ 390bool visit_check_list(Visitor *v, Error **errp); 391 392/* 393 * Complete a list visit started earlier. 394 * 395 * @list must match what was passed to the paired visit_start_list(). 396 * 397 * Must be called after any successful use of visit_start_list(), even 398 * if intermediate processing was skipped due to errors, to allow the 399 * backend to release any resources. Destroying the visitor early 400 * with visit_free() behaves as if this was implicitly called. 401 */ 402void visit_end_list(Visitor *v, void **list); 403 404 405/*** Visiting alternates ***/ 406 407/* 408 * Start the visit of an alternate @obj. 409 * 410 * @name expresses the relationship of this alternate to its parent 411 * container; see the general description of @name above. 412 * 413 * @obj must not be NULL. Input and clone visitors use @size to 414 * determine how much memory to allocate into *@obj, then determine 415 * the qtype of the next thing to be visited, and store it in 416 * (*@obj)->type. Other visitors leave @obj unchanged. 417 * 418 * On failure, set *@obj to NULL and store an error through @errp. 419 * Can happen only when @v is an input visitor. 420 * 421 * Return true on success, false on failure. 422 * 423 * If successful, this must be paired with visit_end_alternate() with 424 * the same @obj to clean up, even if visiting the contents of the 425 * alternate fails. 426 */ 427bool visit_start_alternate(Visitor *v, const char *name, 428 GenericAlternate **obj, size_t size, 429 Error **errp); 430 431/* 432 * Finish visiting an alternate type. 433 * 434 * @obj must match what was passed to the paired visit_start_alternate(). 435 * 436 * Must be called after any successful use of visit_start_alternate(), 437 * even if intermediate processing was skipped due to errors, to allow 438 * the backend to release any resources. Destroying the visitor early 439 * with visit_free() behaves as if this was implicitly called. 440 * 441 */ 442void visit_end_alternate(Visitor *v, void **obj); 443 444 445/*** Other helpers ***/ 446 447/* 448 * Does optional struct member @name need visiting? 449 * 450 * @name must not be NULL. This function is only useful between 451 * visit_start_struct() and visit_end_struct(), since only objects 452 * have optional keys. 453 * 454 * @present points to the address of the optional member's has_ flag. 455 * 456 * Input visitors set *@present according to input; other visitors 457 * leave it unchanged. In either case, return *@present for 458 * convenience. 459 */ 460bool visit_optional(Visitor *v, const char *name, bool *present); 461 462/* 463 * Should we reject deprecated member @name? 464 * 465 * @name must not be NULL. This function is only useful between 466 * visit_start_struct() and visit_end_struct(), since only objects 467 * have deprecated members. 468 */ 469bool visit_deprecated_accept(Visitor *v, const char *name, Error **errp); 470 471/* 472 * Should we visit deprecated member @name? 473 * 474 * @name must not be NULL. This function is only useful between 475 * visit_start_struct() and visit_end_struct(), since only objects 476 * have deprecated members. 477 */ 478bool visit_deprecated(Visitor *v, const char *name); 479 480/* 481 * Visit an enum value. 482 * 483 * @name expresses the relationship of this enum to its parent 484 * container; see the general description of @name above. 485 * 486 * @obj must be non-NULL. Input visitors parse input and set *@obj to 487 * the enumeration value, leaving @obj unchanged on error; other 488 * visitors use *@obj but leave it unchanged. 489 * 490 * Currently, all input visitors parse text input, and all output 491 * visitors produce text output. The mapping between enumeration 492 * values and strings is done by the visitor core, using @lookup. 493 * 494 * On failure, store an error through @errp. Can happen only when @v 495 * is an input visitor. 496 * 497 * Return true on success, false on failure. 498 * 499 * May call visit_type_str() under the hood, and the enum visit may 500 * fail even if the corresponding string visit succeeded; this implies 501 * that an input visitor's visit_type_str() must have no unwelcome 502 * side effects. 503 */ 504bool visit_type_enum(Visitor *v, const char *name, int *obj, 505 const QEnumLookup *lookup, Error **errp); 506 507/* 508 * Check if visitor is an input visitor. 509 */ 510bool visit_is_input(Visitor *v); 511 512/* 513 * Check if visitor is a dealloc visitor. 514 */ 515bool visit_is_dealloc(Visitor *v); 516 517/*** Visiting built-in types ***/ 518 519/* 520 * Visit an integer value. 521 * 522 * @name expresses the relationship of this integer to its parent 523 * container; see the general description of @name above. 524 * 525 * @obj must be non-NULL. Input visitors set *@obj to the value; 526 * other visitors will leave *@obj unchanged. 527 * 528 * On failure, store an error through @errp. Can happen only when @v 529 * is an input visitor. 530 * 531 * Return true on success, false on failure. 532 */ 533bool visit_type_int(Visitor *v, const char *name, int64_t *obj, Error **errp); 534 535/* 536 * Visit a uint8_t value. 537 * Like visit_type_int(), except clamps the value to uint8_t range. 538 */ 539bool visit_type_uint8(Visitor *v, const char *name, uint8_t *obj, 540 Error **errp); 541 542/* 543 * Visit a uint16_t value. 544 * Like visit_type_int(), except clamps the value to uint16_t range. 545 */ 546bool visit_type_uint16(Visitor *v, const char *name, uint16_t *obj, 547 Error **errp); 548 549/* 550 * Visit a uint32_t value. 551 * Like visit_type_int(), except clamps the value to uint32_t range. 552 */ 553bool visit_type_uint32(Visitor *v, const char *name, uint32_t *obj, 554 Error **errp); 555 556/* 557 * Visit a uint64_t value. 558 * Like visit_type_int(), except clamps the value to uint64_t range, 559 * that is, ensures it is unsigned. 560 */ 561bool visit_type_uint64(Visitor *v, const char *name, uint64_t *obj, 562 Error **errp); 563 564/* 565 * Visit an int8_t value. 566 * Like visit_type_int(), except clamps the value to int8_t range. 567 */ 568bool visit_type_int8(Visitor *v, const char *name, int8_t *obj, Error **errp); 569 570/* 571 * Visit an int16_t value. 572 * Like visit_type_int(), except clamps the value to int16_t range. 573 */ 574bool visit_type_int16(Visitor *v, const char *name, int16_t *obj, 575 Error **errp); 576 577/* 578 * Visit an int32_t value. 579 * Like visit_type_int(), except clamps the value to int32_t range. 580 */ 581bool visit_type_int32(Visitor *v, const char *name, int32_t *obj, 582 Error **errp); 583 584/* 585 * Visit an int64_t value. 586 * Identical to visit_type_int(). 587 */ 588bool visit_type_int64(Visitor *v, const char *name, int64_t *obj, 589 Error **errp); 590 591/* 592 * Visit a uint64_t value. 593 * Like visit_type_uint64(), except that some visitors may choose to 594 * recognize additional syntax, such as suffixes for easily scaling 595 * values. 596 */ 597bool visit_type_size(Visitor *v, const char *name, uint64_t *obj, 598 Error **errp); 599 600/* 601 * Visit a boolean value. 602 * 603 * @name expresses the relationship of this boolean to its parent 604 * container; see the general description of @name above. 605 * 606 * @obj must be non-NULL. Input visitors set *@obj to the value; 607 * other visitors will leave *@obj unchanged. 608 * 609 * On failure, store an error through @errp. Can happen only when @v 610 * is an input visitor. 611 * 612 * Return true on success, false on failure. 613 */ 614bool visit_type_bool(Visitor *v, const char *name, bool *obj, Error **errp); 615 616/* 617 * Visit a string value. 618 * 619 * @name expresses the relationship of this string to its parent 620 * container; see the general description of @name above. 621 * 622 * @obj must be non-NULL. Input and clone visitors set *@obj to the 623 * value (always using "" rather than NULL for an empty string). 624 * Other visitors leave *@obj unchanged, and commonly treat NULL like 625 * "". 626 * 627 * It is safe to cast away const when preparing a (const char *) value 628 * into @obj for use by an output visitor. 629 * 630 * On failure, set *@obj to NULL and store an error through @errp. 631 * Can happen only when @v is an input visitor. 632 * 633 * Return true on success, false on failure. 634 * 635 * FIXME: Callers that try to output NULL *obj should not be allowed. 636 */ 637bool visit_type_str(Visitor *v, const char *name, char **obj, Error **errp); 638 639/* 640 * Visit a number (i.e. double) value. 641 * 642 * @name expresses the relationship of this number to its parent 643 * container; see the general description of @name above. 644 * 645 * @obj must be non-NULL. Input visitors set *@obj to the value; 646 * other visitors will leave *@obj unchanged. Visitors should 647 * document if infinity or NaN are not permitted. 648 * 649 * On failure, store an error through @errp. Can happen only when @v 650 * is an input visitor. 651 * 652 * Return true on success, false on failure. 653 */ 654bool visit_type_number(Visitor *v, const char *name, double *obj, 655 Error **errp); 656 657/* 658 * Visit an arbitrary value. 659 * 660 * @name expresses the relationship of this value to its parent 661 * container; see the general description of @name above. 662 * 663 * @obj must be non-NULL. Input visitors set *@obj to the value; 664 * other visitors will leave *@obj unchanged. *@obj must be non-NULL 665 * for output visitors. 666 * 667 * On failure, set *@obj to NULL and store an error through @errp. 668 * Can happen only when @v is an input visitor. 669 * 670 * Return true on success, false on failure. 671 * 672 * Note that some kinds of input can't express arbitrary QObject. 673 * E.g. the visitor returned by qobject_input_visitor_new_keyval() 674 * can't create numbers or booleans, only strings. 675 */ 676bool visit_type_any(Visitor *v, const char *name, QObject **obj, Error **errp); 677 678/* 679 * Visit a JSON null value. 680 * 681 * @name expresses the relationship of the null value to its parent 682 * container; see the general description of @name above. 683 * 684 * @obj must be non-NULL. Input visitors set *@obj to the value; 685 * other visitors ignore *@obj. 686 * 687 * On failure, set *@obj to NULL and store an error through @errp. 688 * Can happen only when @v is an input visitor. 689 * 690 * Return true on success, false on failure. 691 */ 692bool visit_type_null(Visitor *v, const char *name, QNull **obj, 693 Error **errp); 694 695#endif