123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444 |
- /*
- * Core Definitions for QAPI Visitor Classes
- *
- * Copyright (C) 2012-2016 Red Hat, Inc.
- * Copyright IBM, Corp. 2011
- *
- * Authors:
- * Anthony Liguori <aliguori@us.ibm.com>
- *
- * This work is licensed under the terms of the GNU LGPL, version 2.1 or later.
- * See the COPYING.LIB file in the top-level directory.
- *
- */
- #include "qemu/osdep.h"
- #include "qapi/compat-policy.h"
- #include "qapi/error.h"
- #include "qapi/qmp/qerror.h"
- #include "qapi/visitor.h"
- #include "qapi/visitor-impl.h"
- #include "trace.h"
- /* Zero-initialization must result in default policy */
- QEMU_BUILD_BUG_ON(COMPAT_POLICY_INPUT_ACCEPT || COMPAT_POLICY_OUTPUT_ACCEPT);
- void visit_complete(Visitor *v, void *opaque)
- {
- assert(v->type != VISITOR_OUTPUT || v->complete);
- trace_visit_complete(v, opaque);
- if (v->complete) {
- v->complete(v, opaque);
- }
- }
- void visit_free(Visitor *v)
- {
- trace_visit_free(v);
- if (v) {
- v->free(v);
- }
- }
- bool visit_start_struct(Visitor *v, const char *name, void **obj,
- size_t size, Error **errp)
- {
- bool ok;
- trace_visit_start_struct(v, name, obj, size);
- if (obj) {
- assert(size);
- assert(!(v->type & VISITOR_OUTPUT) || *obj);
- }
- ok = v->start_struct(v, name, obj, size, errp);
- if (obj && (v->type & VISITOR_INPUT)) {
- assert(ok != !*obj);
- }
- return ok;
- }
- bool visit_check_struct(Visitor *v, Error **errp)
- {
- trace_visit_check_struct(v);
- return v->check_struct ? v->check_struct(v, errp) : true;
- }
- void visit_end_struct(Visitor *v, void **obj)
- {
- trace_visit_end_struct(v, obj);
- v->end_struct(v, obj);
- }
- bool visit_start_list(Visitor *v, const char *name, GenericList **list,
- size_t size, Error **errp)
- {
- bool ok;
- assert(!list || size >= sizeof(GenericList));
- trace_visit_start_list(v, name, list, size);
- ok = v->start_list(v, name, list, size, errp);
- if (list && (v->type & VISITOR_INPUT)) {
- assert(ok || !*list);
- }
- return ok;
- }
- GenericList *visit_next_list(Visitor *v, GenericList *tail, size_t size)
- {
- assert(tail && size >= sizeof(GenericList));
- trace_visit_next_list(v, tail, size);
- return v->next_list(v, tail, size);
- }
- bool visit_check_list(Visitor *v, Error **errp)
- {
- trace_visit_check_list(v);
- return v->check_list ? v->check_list(v, errp) : true;
- }
- void visit_end_list(Visitor *v, void **obj)
- {
- trace_visit_end_list(v, obj);
- v->end_list(v, obj);
- }
- bool visit_start_alternate(Visitor *v, const char *name,
- GenericAlternate **obj, size_t size,
- Error **errp)
- {
- bool ok;
- assert(obj && size >= sizeof(GenericAlternate));
- assert(!(v->type & VISITOR_OUTPUT) || *obj);
- trace_visit_start_alternate(v, name, obj, size);
- if (!v->start_alternate) {
- assert(!(v->type & VISITOR_INPUT));
- return true;
- }
- ok = v->start_alternate(v, name, obj, size, errp);
- if (v->type & VISITOR_INPUT) {
- assert(ok != !*obj);
- }
- return ok;
- }
- void visit_end_alternate(Visitor *v, void **obj)
- {
- trace_visit_end_alternate(v, obj);
- if (v->end_alternate) {
- v->end_alternate(v, obj);
- }
- }
- bool visit_optional(Visitor *v, const char *name, bool *present)
- {
- trace_visit_optional(v, name, present);
- if (v->optional) {
- v->optional(v, name, present);
- }
- return *present;
- }
- bool visit_policy_reject(Visitor *v, const char *name,
- uint64_t features, Error **errp)
- {
- trace_visit_policy_reject(v, name);
- if (v->policy_reject) {
- return v->policy_reject(v, name, features, errp);
- }
- return false;
- }
- bool visit_policy_skip(Visitor *v, const char *name,
- uint64_t features)
- {
- trace_visit_policy_skip(v, name);
- if (v->policy_skip) {
- return v->policy_skip(v, name, features);
- }
- return false;
- }
- void visit_set_policy(Visitor *v, CompatPolicy *policy)
- {
- v->compat_policy = *policy;
- }
- bool visit_is_input(Visitor *v)
- {
- return v->type == VISITOR_INPUT;
- }
- bool visit_is_dealloc(Visitor *v)
- {
- return v->type == VISITOR_DEALLOC;
- }
- bool visit_type_int(Visitor *v, const char *name, int64_t *obj, Error **errp)
- {
- assert(obj);
- trace_visit_type_int(v, name, obj);
- return v->type_int64(v, name, obj, errp);
- }
- static bool visit_type_uintN(Visitor *v, uint64_t *obj, const char *name,
- uint64_t max, const char *type, Error **errp)
- {
- uint64_t value = *obj;
- assert(v->type == VISITOR_INPUT || value <= max);
- if (!v->type_uint64(v, name, &value, errp)) {
- return false;
- }
- if (value > max) {
- assert(v->type == VISITOR_INPUT);
- error_setg(errp, QERR_INVALID_PARAMETER_VALUE,
- name ? name : "null", type);
- return false;
- }
- *obj = value;
- return true;
- }
- bool visit_type_uint8(Visitor *v, const char *name, uint8_t *obj,
- Error **errp)
- {
- uint64_t value;
- bool ok;
- trace_visit_type_uint8(v, name, obj);
- value = *obj;
- ok = visit_type_uintN(v, &value, name, UINT8_MAX, "uint8_t", errp);
- *obj = value;
- return ok;
- }
- bool visit_type_uint16(Visitor *v, const char *name, uint16_t *obj,
- Error **errp)
- {
- uint64_t value;
- bool ok;
- trace_visit_type_uint16(v, name, obj);
- value = *obj;
- ok = visit_type_uintN(v, &value, name, UINT16_MAX, "uint16_t", errp);
- *obj = value;
- return ok;
- }
- bool visit_type_uint32(Visitor *v, const char *name, uint32_t *obj,
- Error **errp)
- {
- uint64_t value;
- bool ok;
- trace_visit_type_uint32(v, name, obj);
- value = *obj;
- ok = visit_type_uintN(v, &value, name, UINT32_MAX, "uint32_t", errp);
- *obj = value;
- return ok;
- }
- bool visit_type_uint64(Visitor *v, const char *name, uint64_t *obj,
- Error **errp)
- {
- assert(obj);
- trace_visit_type_uint64(v, name, obj);
- return v->type_uint64(v, name, obj, errp);
- }
- static bool visit_type_intN(Visitor *v, int64_t *obj, const char *name,
- int64_t min, int64_t max, const char *type,
- Error **errp)
- {
- int64_t value = *obj;
- assert(v->type == VISITOR_INPUT || (value >= min && value <= max));
- if (!v->type_int64(v, name, &value, errp)) {
- return false;
- }
- if (value < min || value > max) {
- assert(v->type == VISITOR_INPUT);
- error_setg(errp, QERR_INVALID_PARAMETER_VALUE,
- name ? name : "null", type);
- return false;
- }
- *obj = value;
- return true;
- }
- bool visit_type_int8(Visitor *v, const char *name, int8_t *obj, Error **errp)
- {
- int64_t value;
- bool ok;
- trace_visit_type_int8(v, name, obj);
- value = *obj;
- ok = visit_type_intN(v, &value, name, INT8_MIN, INT8_MAX, "int8_t", errp);
- *obj = value;
- return ok;
- }
- bool visit_type_int16(Visitor *v, const char *name, int16_t *obj,
- Error **errp)
- {
- int64_t value;
- bool ok;
- trace_visit_type_int16(v, name, obj);
- value = *obj;
- ok = visit_type_intN(v, &value, name, INT16_MIN, INT16_MAX, "int16_t",
- errp);
- *obj = value;
- return ok;
- }
- bool visit_type_int32(Visitor *v, const char *name, int32_t *obj,
- Error **errp)
- {
- int64_t value;
- bool ok;
- trace_visit_type_int32(v, name, obj);
- value = *obj;
- ok = visit_type_intN(v, &value, name, INT32_MIN, INT32_MAX, "int32_t",
- errp);
- *obj = value;
- return ok;
- }
- bool visit_type_int64(Visitor *v, const char *name, int64_t *obj,
- Error **errp)
- {
- assert(obj);
- trace_visit_type_int64(v, name, obj);
- return v->type_int64(v, name, obj, errp);
- }
- bool visit_type_size(Visitor *v, const char *name, uint64_t *obj,
- Error **errp)
- {
- assert(obj);
- trace_visit_type_size(v, name, obj);
- if (v->type_size) {
- return v->type_size(v, name, obj, errp);
- }
- return v->type_uint64(v, name, obj, errp);
- }
- bool visit_type_bool(Visitor *v, const char *name, bool *obj, Error **errp)
- {
- assert(obj);
- trace_visit_type_bool(v, name, obj);
- return v->type_bool(v, name, obj, errp);
- }
- bool visit_type_str(Visitor *v, const char *name, char **obj, Error **errp)
- {
- bool ok;
- assert(obj);
- /* TODO: Fix callers to not pass NULL when they mean "", so that we
- * can enable:
- assert(!(v->type & VISITOR_OUTPUT) || *obj);
- */
- trace_visit_type_str(v, name, obj);
- ok = v->type_str(v, name, obj, errp);
- if (v->type & VISITOR_INPUT) {
- assert(ok != !*obj);
- }
- return ok;
- }
- bool visit_type_number(Visitor *v, const char *name, double *obj,
- Error **errp)
- {
- assert(obj);
- trace_visit_type_number(v, name, obj);
- return v->type_number(v, name, obj, errp);
- }
- bool visit_type_any(Visitor *v, const char *name, QObject **obj, Error **errp)
- {
- bool ok;
- assert(obj);
- assert(v->type != VISITOR_OUTPUT || *obj);
- trace_visit_type_any(v, name, obj);
- ok = v->type_any(v, name, obj, errp);
- if (v->type == VISITOR_INPUT) {
- assert(ok != !*obj);
- }
- return ok;
- }
- bool visit_type_null(Visitor *v, const char *name, QNull **obj,
- Error **errp)
- {
- trace_visit_type_null(v, name, obj);
- return v->type_null(v, name, obj, errp);
- }
- static bool output_type_enum(Visitor *v, const char *name, int *obj,
- const QEnumLookup *lookup, Error **errp)
- {
- int value = *obj;
- char *enum_str;
- enum_str = (char *)qapi_enum_lookup(lookup, value);
- return visit_type_str(v, name, &enum_str, errp);
- }
- static bool input_type_enum(Visitor *v, const char *name, int *obj,
- const QEnumLookup *lookup, Error **errp)
- {
- int64_t value;
- g_autofree char *enum_str = NULL;
- if (!visit_type_str(v, name, &enum_str, errp)) {
- return false;
- }
- value = qapi_enum_parse(lookup, enum_str, -1, NULL);
- if (value < 0) {
- error_setg(errp, "Parameter '%s' does not accept value '%s'",
- name ? name : "null", enum_str);
- return false;
- }
- if (lookup->features
- && !compat_policy_input_ok(lookup->features[value],
- &v->compat_policy,
- ERROR_CLASS_GENERIC_ERROR,
- "value", enum_str, errp)) {
- return false;
- }
- *obj = value;
- return true;
- }
- bool visit_type_enum(Visitor *v, const char *name, int *obj,
- const QEnumLookup *lookup, Error **errp)
- {
- assert(obj && lookup);
- trace_visit_type_enum(v, name, obj);
- switch (v->type) {
- case VISITOR_INPUT:
- return input_type_enum(v, name, obj, lookup, errp);
- case VISITOR_OUTPUT:
- return output_type_enum(v, name, obj, lookup, errp);
- case VISITOR_CLONE:
- /* nothing further to do, scalar value was already copied by
- * g_memdup() during visit_start_*() */
- return true;
- case VISITOR_DEALLOC:
- /* nothing to deallocate for a scalar */
- return true;
- default:
- abort();
- }
- }
|