Paolo Bonzini | 0f71a1e | 2012-02-09 09:11:52 +0100 | [diff] [blame] | 1 | /* |
| 2 | * Core Definitions for QAPI Visitor implementations |
| 3 | * |
Eric Blake | 04e070d | 2016-01-29 06:48:51 -0700 | [diff] [blame] | 4 | * Copyright (C) 2012-2016 Red Hat, Inc. |
Paolo Bonzini | 0f71a1e | 2012-02-09 09:11:52 +0100 | [diff] [blame] | 5 | * |
| 6 | * Author: Paolo Bonizni <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 | #ifndef QAPI_VISITOR_IMPL_H |
| 13 | #define QAPI_VISITOR_IMPL_H |
| 14 | |
Paolo Bonzini | 7b1b5d1 | 2012-12-17 18:19:43 +0100 | [diff] [blame] | 15 | #include "qapi/visitor.h" |
Paolo Bonzini | 0f71a1e | 2012-02-09 09:11:52 +0100 | [diff] [blame] | 16 | |
Eric Blake | 983f52d | 2016-04-28 15:45:09 -0600 | [diff] [blame] | 17 | /* |
Eric Blake | adfb264 | 2016-04-28 15:45:20 -0600 | [diff] [blame] | 18 | * This file describes the callback interface for implementing a QAPI |
| 19 | * visitor. For the client interface, see visitor.h. When |
| 20 | * implementing the callbacks, it is easiest to declare a struct with |
| 21 | * 'Visitor visitor;' as the first member. A callback's contract |
| 22 | * matches the corresponding public functions' contract unless stated |
| 23 | * otherwise. In the comments below, some callbacks are marked "must |
| 24 | * be set for $TYPE visits to work"; if a visitor implementation omits |
| 25 | * that callback, it should also document that it is only useful for a |
| 26 | * subset of QAPI. |
| 27 | */ |
| 28 | |
| 29 | /* |
Eric Blake | a15fcc3 | 2016-06-09 10:48:44 -0600 | [diff] [blame] | 30 | * There are four classes of visitors; setting the class determines |
Eric Blake | 983f52d | 2016-04-28 15:45:09 -0600 | [diff] [blame] | 31 | * how QAPI enums are visited, as well as what additional restrictions |
Eric Blake | a15fcc3 | 2016-06-09 10:48:44 -0600 | [diff] [blame] | 32 | * can be asserted. The values are intentionally chosen so as to |
| 33 | * permit some assertions based on whether a given bit is set (that |
| 34 | * is, some assertions apply to input and clone visitors, some |
| 35 | * assertions apply to output and clone visitors). |
Eric Blake | 983f52d | 2016-04-28 15:45:09 -0600 | [diff] [blame] | 36 | */ |
| 37 | typedef enum VisitorType { |
Eric Blake | a15fcc3 | 2016-06-09 10:48:44 -0600 | [diff] [blame] | 38 | VISITOR_INPUT = 1, |
| 39 | VISITOR_OUTPUT = 2, |
| 40 | VISITOR_CLONE = 3, |
| 41 | VISITOR_DEALLOC = 4, |
Eric Blake | 983f52d | 2016-04-28 15:45:09 -0600 | [diff] [blame] | 42 | } VisitorType; |
| 43 | |
Paolo Bonzini | 7edd63f | 2012-12-06 11:28:04 +0100 | [diff] [blame] | 44 | struct Visitor |
| 45 | { |
Markus Armbruster | 1f58424 | 2020-04-24 10:43:35 +0200 | [diff] [blame] | 46 | /* |
| 47 | * Only input visitors may fail! |
| 48 | */ |
| 49 | |
Eric Blake | adfb264 | 2016-04-28 15:45:20 -0600 | [diff] [blame] | 50 | /* Must be set to visit structs */ |
Markus Armbruster | 012d4c9 | 2020-07-07 18:05:45 +0200 | [diff] [blame] | 51 | bool (*start_struct)(Visitor *v, const char *name, void **obj, |
Eric Blake | 337283d | 2016-01-29 06:48:57 -0700 | [diff] [blame] | 52 | size_t size, Error **errp); |
Eric Blake | adfb264 | 2016-04-28 15:45:20 -0600 | [diff] [blame] | 53 | |
Eric Blake | 15c2f66 | 2016-04-28 15:45:27 -0600 | [diff] [blame] | 54 | /* Optional; intended for input visitors */ |
Markus Armbruster | 012d4c9 | 2020-07-07 18:05:45 +0200 | [diff] [blame] | 55 | bool (*check_struct)(Visitor *v, Error **errp); |
Eric Blake | 15c2f66 | 2016-04-28 15:45:27 -0600 | [diff] [blame] | 56 | |
Eric Blake | adfb264 | 2016-04-28 15:45:20 -0600 | [diff] [blame] | 57 | /* Must be set to visit structs */ |
Eric Blake | 1158bb2 | 2016-06-09 10:48:34 -0600 | [diff] [blame] | 58 | void (*end_struct)(Visitor *v, void **obj); |
Paolo Bonzini | 7edd63f | 2012-12-06 11:28:04 +0100 | [diff] [blame] | 59 | |
Eric Blake | d9f62dd | 2016-04-28 15:45:31 -0600 | [diff] [blame] | 60 | /* Must be set; implementations may require @list to be non-null, |
| 61 | * but must document it. */ |
Markus Armbruster | 012d4c9 | 2020-07-07 18:05:45 +0200 | [diff] [blame] | 62 | bool (*start_list)(Visitor *v, const char *name, GenericList **list, |
Eric Blake | d9f62dd | 2016-04-28 15:45:31 -0600 | [diff] [blame] | 63 | size_t size, Error **errp); |
Eric Blake | adfb264 | 2016-04-28 15:45:20 -0600 | [diff] [blame] | 64 | |
Eric Blake | 08f9541 | 2016-01-29 06:48:59 -0700 | [diff] [blame] | 65 | /* Must be set */ |
Eric Blake | d9f62dd | 2016-04-28 15:45:31 -0600 | [diff] [blame] | 66 | GenericList *(*next_list)(Visitor *v, GenericList *tail, size_t size); |
Eric Blake | adfb264 | 2016-04-28 15:45:20 -0600 | [diff] [blame] | 67 | |
Markus Armbruster | a4a1c70 | 2017-03-03 13:32:45 +0100 | [diff] [blame] | 68 | /* Optional; intended for input visitors */ |
Markus Armbruster | 012d4c9 | 2020-07-07 18:05:45 +0200 | [diff] [blame] | 69 | bool (*check_list)(Visitor *v, Error **errp); |
Markus Armbruster | a4a1c70 | 2017-03-03 13:32:45 +0100 | [diff] [blame] | 70 | |
Eric Blake | 08f9541 | 2016-01-29 06:48:59 -0700 | [diff] [blame] | 71 | /* Must be set */ |
Eric Blake | 1158bb2 | 2016-06-09 10:48:34 -0600 | [diff] [blame] | 72 | void (*end_list)(Visitor *v, void **list); |
Paolo Bonzini | 7edd63f | 2012-12-06 11:28:04 +0100 | [diff] [blame] | 73 | |
Markus Armbruster | 8b7ce95 | 2020-04-24 10:43:30 +0200 | [diff] [blame] | 74 | /* Must be set by input and clone visitors to visit alternates */ |
Markus Armbruster | 012d4c9 | 2020-07-07 18:05:45 +0200 | [diff] [blame] | 75 | bool (*start_alternate)(Visitor *v, const char *name, |
Eric Blake | dbf1192 | 2016-02-17 23:48:29 -0700 | [diff] [blame] | 76 | GenericAlternate **obj, size_t size, |
Marc-André Lureau | 60390d2 | 2017-06-07 20:35:59 +0400 | [diff] [blame] | 77 | Error **errp); |
Eric Blake | dbf1192 | 2016-02-17 23:48:29 -0700 | [diff] [blame] | 78 | |
Markus Armbruster | 8b7ce95 | 2020-04-24 10:43:30 +0200 | [diff] [blame] | 79 | /* Optional */ |
Eric Blake | 1158bb2 | 2016-06-09 10:48:34 -0600 | [diff] [blame] | 80 | void (*end_alternate)(Visitor *v, void **obj); |
Eric Blake | dbf1192 | 2016-02-17 23:48:29 -0700 | [diff] [blame] | 81 | |
Eric Blake | adfb264 | 2016-04-28 15:45:20 -0600 | [diff] [blame] | 82 | /* Must be set */ |
Markus Armbruster | 012d4c9 | 2020-07-07 18:05:45 +0200 | [diff] [blame] | 83 | bool (*type_int64)(Visitor *v, const char *name, int64_t *obj, |
Eric Blake | 4c40314 | 2016-01-29 06:48:49 -0700 | [diff] [blame] | 84 | Error **errp); |
Eric Blake | adfb264 | 2016-04-28 15:45:20 -0600 | [diff] [blame] | 85 | |
| 86 | /* Must be set */ |
Markus Armbruster | 012d4c9 | 2020-07-07 18:05:45 +0200 | [diff] [blame] | 87 | bool (*type_uint64)(Visitor *v, const char *name, uint64_t *obj, |
Eric Blake | f755dea | 2016-01-29 06:48:50 -0700 | [diff] [blame] | 88 | Error **errp); |
Eric Blake | adfb264 | 2016-04-28 15:45:20 -0600 | [diff] [blame] | 89 | |
| 90 | /* Optional; fallback is type_uint64() */ |
Markus Armbruster | 012d4c9 | 2020-07-07 18:05:45 +0200 | [diff] [blame] | 91 | bool (*type_size)(Visitor *v, const char *name, uint64_t *obj, |
Eric Blake | f755dea | 2016-01-29 06:48:50 -0700 | [diff] [blame] | 92 | Error **errp); |
Eric Blake | adfb264 | 2016-04-28 15:45:20 -0600 | [diff] [blame] | 93 | |
| 94 | /* Must be set */ |
Markus Armbruster | 012d4c9 | 2020-07-07 18:05:45 +0200 | [diff] [blame] | 95 | bool (*type_bool)(Visitor *v, const char *name, bool *obj, Error **errp); |
Eric Blake | adfb264 | 2016-04-28 15:45:20 -0600 | [diff] [blame] | 96 | |
| 97 | /* Must be set */ |
Markus Armbruster | 012d4c9 | 2020-07-07 18:05:45 +0200 | [diff] [blame] | 98 | bool (*type_str)(Visitor *v, const char *name, char **obj, Error **errp); |
Eric Blake | adfb264 | 2016-04-28 15:45:20 -0600 | [diff] [blame] | 99 | |
| 100 | /* Must be set to visit numbers */ |
Markus Armbruster | 012d4c9 | 2020-07-07 18:05:45 +0200 | [diff] [blame] | 101 | bool (*type_number)(Visitor *v, const char *name, double *obj, |
Paolo Bonzini | 7edd63f | 2012-12-06 11:28:04 +0100 | [diff] [blame] | 102 | Error **errp); |
Eric Blake | adfb264 | 2016-04-28 15:45:20 -0600 | [diff] [blame] | 103 | |
| 104 | /* Must be set to visit arbitrary QTypes */ |
Markus Armbruster | 012d4c9 | 2020-07-07 18:05:45 +0200 | [diff] [blame] | 105 | bool (*type_any)(Visitor *v, const char *name, QObject **obj, |
Markus Armbruster | 28770e0 | 2015-09-16 13:06:24 +0200 | [diff] [blame] | 106 | Error **errp); |
Paolo Bonzini | 7edd63f | 2012-12-06 11:28:04 +0100 | [diff] [blame] | 107 | |
Eric Blake | 3bc97fd | 2016-04-28 15:45:22 -0600 | [diff] [blame] | 108 | /* Must be set to visit explicit null values. */ |
Markus Armbruster | 012d4c9 | 2020-07-07 18:05:45 +0200 | [diff] [blame] | 109 | bool (*type_null)(Visitor *v, const char *name, QNull **obj, |
Markus Armbruster | d2f95f4 | 2017-06-26 18:22:59 +0200 | [diff] [blame] | 110 | Error **errp); |
Eric Blake | 3bc97fd | 2016-04-28 15:45:22 -0600 | [diff] [blame] | 111 | |
Markus Armbruster | a8aec6d | 2017-03-03 13:32:35 +0100 | [diff] [blame] | 112 | /* Must be set for input visitors to visit structs, optional otherwise. |
| 113 | The core takes care of the return type in the public interface. */ |
Eric Blake | 0b2a0d6 | 2016-01-29 06:48:56 -0700 | [diff] [blame] | 114 | void (*optional)(Visitor *v, const char *name, bool *present); |
Paolo Bonzini | 7edd63f | 2012-12-06 11:28:04 +0100 | [diff] [blame] | 115 | |
Markus Armbruster | 91fa93e | 2021-03-18 16:55:11 +0100 | [diff] [blame] | 116 | /* Optional */ |
Markus Armbruster | db29164 | 2021-03-18 16:55:18 +0100 | [diff] [blame] | 117 | bool (*deprecated_accept)(Visitor *v, const char *name, Error **errp); |
| 118 | |
| 119 | /* Optional */ |
Markus Armbruster | 91fa93e | 2021-03-18 16:55:11 +0100 | [diff] [blame] | 120 | bool (*deprecated)(Visitor *v, const char *name); |
| 121 | |
Eric Blake | 983f52d | 2016-04-28 15:45:09 -0600 | [diff] [blame] | 122 | /* Must be set */ |
| 123 | VisitorType type; |
Eric Blake | 2c0ef9f | 2016-06-09 10:48:35 -0600 | [diff] [blame] | 124 | |
Eric Blake | 3b098d5 | 2016-06-09 10:48:43 -0600 | [diff] [blame] | 125 | /* Must be set for output visitors, optional otherwise. */ |
| 126 | void (*complete)(Visitor *v, void *opaque); |
| 127 | |
Eric Blake | 2c0ef9f | 2016-06-09 10:48:35 -0600 | [diff] [blame] | 128 | /* Must be set */ |
| 129 | void (*free)(Visitor *v); |
Eric Blake | 983f52d | 2016-04-28 15:45:09 -0600 | [diff] [blame] | 130 | }; |
Paolo Bonzini | 0f71a1e | 2012-02-09 09:11:52 +0100 | [diff] [blame] | 131 | |
| 132 | #endif |