]> git.proxmox.com Git - mirror_qemu.git/blame - scripts/qapi-visit.py
scripts/kvm/kvm_stat: Read event values as u64
[mirror_qemu.git] / scripts / qapi-visit.py
CommitLineData
06d64c62
MR
1#
2# QAPI visitor generator
3#
4# Copyright IBM, Corp. 2011
6540e9f3 5# Copyright (C) 2014-2015 Red Hat, Inc.
06d64c62
MR
6#
7# Authors:
8# Anthony Liguori <aliguori@us.ibm.com>
9# Michael Roth <mdroth@linux.vnet.ibm.com>
297a3646 10# Markus Armbruster <armbru@redhat.com>
06d64c62 11#
678e48a2
MA
12# This work is licensed under the terms of the GNU GPL, version 2.
13# See the COPYING file in the top-level directory.
06d64c62 14
06d64c62 15from qapi import *
297a3646 16import re
06d64c62 17
d02cf377
EB
18# visit_type_FOO_implicit() is emitted as needed; track if it has already
19# been output.
8c07eddc 20implicit_structs_seen = set()
d02cf377
EB
21
22# visit_type_FOO_fields() is always emitted; track if a forward declaration
23# or implementation has already been output.
8c3f8e77 24struct_fields_seen = set()
be3c7717 25
e98859a9 26
60f8546a
MA
27def gen_visit_decl(name, scalar=False):
28 c_type = c_name(name) + ' *'
29 if not scalar:
30 c_type += '*'
31 return mcgen('''
f8b7f1a8 32void visit_type_%(c_name)s(Visitor *v, %(c_type)sobj, const char *name, Error **errp);
60f8546a
MA
33''',
34 c_name=c_name(name), c_type=c_type)
35
36
d02cf377 37def gen_visit_fields_decl(typ):
8c3f8e77 38 ret = ''
e98859a9 39 if typ.name not in struct_fields_seen:
8c3f8e77
MA
40 ret += mcgen('''
41
f8b7f1a8 42static void visit_type_%(c_type)s_fields(Visitor *v, %(c_type)s **obj, Error **errp);
8c3f8e77 43''',
e98859a9 44 c_type=typ.c_name())
d02cf377
EB
45 struct_fields_seen.add(typ.name)
46 return ret
47
48
49def gen_visit_implicit_struct(typ):
50 if typ in implicit_structs_seen:
51 return ''
52 implicit_structs_seen.add(typ)
53
54 ret = gen_visit_fields_decl(typ)
8c3f8e77
MA
55
56 ret += mcgen('''
be3c7717 57
f8b7f1a8 58static void visit_type_implicit_%(c_type)s(Visitor *v, %(c_type)s **obj, Error **errp)
be3c7717
MA
59{
60 Error *err = NULL;
61
f8b7f1a8 62 visit_start_implicit_struct(v, (void **)obj, sizeof(%(c_type)s), &err);
be3c7717 63 if (!err) {
f8b7f1a8
EB
64 visit_type_%(c_type)s_fields(v, obj, errp);
65 visit_end_implicit_struct(v, &err);
be3c7717
MA
66 }
67 error_propagate(errp, err);
68}
69''',
e98859a9 70 c_type=typ.c_name())
8c3f8e77 71 return ret
be3c7717 72
e98859a9
MA
73
74def gen_visit_struct_fields(name, base, members):
d131c897 75 ret = ''
50f2bdc7 76
be3c7717 77 if base:
ddf21908 78 ret += gen_visit_fields_decl(base)
be3c7717 79
ddf21908 80 struct_fields_seen.add(name)
50f2bdc7
KW
81 ret += mcgen('''
82
f8b7f1a8 83static void visit_type_%(c_name)s_fields(Visitor *v, %(c_name)s **obj, Error **errp)
50f2bdc7
KW
84{
85 Error *err = NULL;
3a864e7c 86
50f2bdc7 87''',
e98859a9 88 c_name=c_name(name))
d195325b 89
622f557f
KW
90 if base:
91 ret += mcgen('''
ddf21908 92 visit_type_%(c_type)s_fields(v, (%(c_type)s **)obj, &err);
622f557f 93''',
ddf21908 94 c_type=base.c_name())
1f353344 95 ret += gen_err_check()
622f557f 96
82ca8e46 97 ret += gen_visit_fields(members, prefix='(*obj)->')
d195325b 98
f9e6102b
EB
99 # 'goto out' produced for base, and by gen_visit_fields() for each member
100 if base or members:
297a3646 101 ret += mcgen('''
50f2bdc7 102
297a3646
MA
103out:
104''')
105 ret += mcgen('''
50f2bdc7
KW
106 error_propagate(errp, err);
107}
108''')
d131c897
KW
109 return ret
110
111
60f8546a
MA
112def gen_visit_struct(name, base, members):
113 ret = gen_visit_struct_fields(name, base, members)
114
2f52e205
EB
115 # FIXME: if *obj is NULL on entry, and visit_start_struct() assigns to
116 # *obj, but then visit_type_FOO_fields() fails, we should clean up *obj
117 # rather than leaving it non-NULL. As currently written, the caller must
118 # call qapi_free_FOO() to avoid a memory leak of the partial FOO.
60f8546a
MA
119 ret += mcgen('''
120
f8b7f1a8 121void visit_type_%(c_name)s(Visitor *v, %(c_name)s **obj, const char *name, Error **errp)
60f8546a 122{
297a3646
MA
123 Error *err = NULL;
124
f8b7f1a8 125 visit_start_struct(v, (void **)obj, "%(name)s", name, sizeof(%(c_name)s), &err);
297a3646
MA
126 if (!err) {
127 if (*obj) {
f8b7f1a8 128 visit_type_%(c_name)s_fields(v, obj, errp);
297a3646 129 }
f8b7f1a8 130 visit_end_struct(v, &err);
50f2bdc7 131 }
297a3646 132 error_propagate(errp, err);
60f8546a 133}
50f2bdc7 134''',
60f8546a 135 name=name, c_name=c_name(name))
06d64c62 136
06d64c62
MR
137 return ret
138
e98859a9 139
441cbac0 140def gen_visit_list(name, element_type):
dd5ee2c2
EB
141 # FIXME: if *obj is NULL on entry, and the first visit_next_list()
142 # assigns to *obj, while a later one fails, we should clean up *obj
143 # rather than leaving it non-NULL. As currently written, the caller must
144 # call qapi_free_FOOList() to avoid a memory leak of the partial FOOList.
06d64c62
MR
145 return mcgen('''
146
f8b7f1a8 147void visit_type_%(c_name)s(Visitor *v, %(c_name)s **obj, const char *name, Error **errp)
06d64c62 148{
d195325b 149 Error *err = NULL;
297a3646 150 GenericList *i, **prev;
06d64c62 151
f8b7f1a8 152 visit_start_list(v, name, &err);
297a3646
MA
153 if (err) {
154 goto out;
155 }
156
157 for (prev = (GenericList **)obj;
f8b7f1a8 158 !err && (i = visit_next_list(v, prev, &err)) != NULL;
297a3646 159 prev = &i) {
e98859a9 160 %(c_name)s *native_i = (%(c_name)s *)i;
f8b7f1a8 161 visit_type_%(c_elt_type)s(v, &native_i->value, NULL, &err);
06d64c62 162 }
297a3646
MA
163
164 error_propagate(errp, err);
165 err = NULL;
f8b7f1a8 166 visit_end_list(v, &err);
297a3646
MA
167out:
168 error_propagate(errp, err);
06d64c62
MR
169}
170''',
e98859a9 171 c_name=c_name(name), c_elt_type=element_type.c_name())
06d64c62 172
e98859a9
MA
173
174def gen_visit_enum(name):
0426d53c 175 # FIXME cast from enum *obj to int * invalidly assumes enum is int
06d64c62
MR
176 return mcgen('''
177
f8b7f1a8 178void visit_type_%(c_name)s(Visitor *v, %(c_name)s *obj, const char *name, Error **errp)
06d64c62 179{
f8b7f1a8 180 visit_type_enum(v, (int *)obj, %(c_name)s_lookup, "%(name)s", name, errp);
06d64c62
MR
181}
182''',
40b3adec 183 c_name=c_name(name), name=name)
06d64c62 184
e98859a9 185
441cbac0 186def gen_visit_alternate(name, variants):
d00341af
EB
187 promote_int = 'true'
188 for var in variants.variants:
189 if var.type.alternate_qtype() == 'QTYPE_QINT':
190 promote_int = 'false'
191
69dd62df
KW
192 ret = mcgen('''
193
f8b7f1a8 194void visit_type_%(c_name)s(Visitor *v, %(c_name)s **obj, const char *name, Error **errp)
69dd62df
KW
195{
196 Error *err = NULL;
197
f8b7f1a8 198 visit_start_implicit_struct(v, (void**) obj, sizeof(%(c_name)s), &err);
297a3646
MA
199 if (err) {
200 goto out;
201 }
d00341af 202 visit_get_next_type(v, &(*obj)->type, %(promote_int)s, name, &err);
297a3646 203 if (err) {
f782399c 204 goto out_obj;
297a3646 205 }
150d0564 206 switch ((*obj)->type) {
69dd62df 207''',
d00341af 208 c_name=c_name(name), promote_int=promote_int)
69dd62df 209
441cbac0 210 for var in variants.variants:
69dd62df 211 ret += mcgen('''
e98859a9 212 case %(case)s:
150d0564 213 visit_type_%(c_type)s(v, &(*obj)->u.%(c_name)s, name, &err);
297a3646 214 break;
69dd62df 215''',
0426d53c 216 case=var.type.alternate_qtype(),
e98859a9
MA
217 c_type=var.type.c_name(),
218 c_name=c_name(var.name))
69dd62df
KW
219
220 ret += mcgen('''
297a3646 221 default:
0426d53c
EB
222 error_setg(&err, QERR_INVALID_PARAMETER_TYPE, name ? name : "null",
223 "%(name)s");
69dd62df 224 }
f782399c 225out_obj:
297a3646
MA
226 error_propagate(errp, err);
227 err = NULL;
f8b7f1a8 228 visit_end_implicit_struct(v, &err);
297a3646
MA
229out:
230 error_propagate(errp, err);
69dd62df 231}
0426d53c
EB
232''',
233 name=name)
69dd62df
KW
234
235 return ret
236
e98859a9 237
441cbac0
MA
238def gen_visit_union(name, base, variants):
239 ret = ''
06d64c62 240
50f2bdc7 241 if base:
5c5e51a0 242 ret += gen_visit_fields_decl(base)
50f2bdc7 243
441cbac0
MA
244 for var in variants.variants:
245 # Ugly special case for simple union TODO get rid of it
246 if not var.simple_union_type():
e98859a9 247 ret += gen_visit_implicit_struct(var.type)
be3c7717 248
06d64c62
MR
249 ret += mcgen('''
250
f8b7f1a8 251void visit_type_%(c_name)s(Visitor *v, %(c_name)s **obj, const char *name, Error **errp)
06d64c62 252{
dc8fb6df
PB
253 Error *err = NULL;
254
f8b7f1a8 255 visit_start_struct(v, (void **)obj, "%(name)s", name, sizeof(%(c_name)s), &err);
297a3646
MA
256 if (err) {
257 goto out;
258 }
e36c714e
EB
259 if (!*obj) {
260 goto out_obj;
261 }
06d64c62 262''',
40b3adec 263 c_name=c_name(name), name=name)
06d64c62 264
0aef92b9 265 if base:
50f2bdc7 266 ret += mcgen('''
5c5e51a0 267 visit_type_%(c_name)s_fields(v, (%(c_name)s **)obj, &err);
50f2bdc7 268''',
5c5e51a0
EB
269 c_name=base.c_name())
270 else:
271 ret += mcgen('''
e36c714e 272 visit_type_%(c_type)s(v, &(*obj)->%(c_name)s, "%(name)s", &err);
5c5e51a0
EB
273''',
274 c_type=variants.tag_member.type.c_name(),
150d0564 275 c_name=c_name(variants.tag_member.name),
5c5e51a0
EB
276 name=variants.tag_member.name)
277 ret += gen_err_check(label='out_obj')
278 ret += mcgen('''
150d0564 279 if (!visit_start_union(v, !!(*obj)->u.data, &err) || err) {
e36c714e
EB
280 goto out_obj;
281 }
282 switch ((*obj)->%(c_name)s) {
0aef92b9 283''',
150d0564 284 c_name=c_name(variants.tag_member.name))
0aef92b9 285
441cbac0
MA
286 for var in variants.variants:
287 # TODO ugly special case for simple union
288 simple_union_type = var.simple_union_type()
e98859a9 289 ret += mcgen('''
e36c714e 290 case %(case)s:
e98859a9
MA
291''',
292 case=c_enum_const(variants.tag_member.type.name,
293 var.name))
441cbac0 294 if simple_union_type:
e98859a9 295 ret += mcgen('''
150d0564 296 visit_type_%(c_type)s(v, &(*obj)->u.%(c_name)s, "data", &err);
e98859a9
MA
297''',
298 c_type=simple_union_type.c_name(),
299 c_name=c_name(var.name))
50f2bdc7 300 else:
e98859a9 301 ret += mcgen('''
150d0564 302 visit_type_implicit_%(c_type)s(v, &(*obj)->u.%(c_name)s, &err);
e98859a9
MA
303''',
304 c_type=var.type.c_name(),
305 c_name=c_name(var.name))
dc8fb6df 306 ret += mcgen('''
e36c714e 307 break;
e98859a9 308''')
dc8fb6df
PB
309
310 ret += mcgen('''
e36c714e
EB
311 default:
312 abort();
468866b8 313 }
e36c714e
EB
314out_obj:
315 error_propagate(errp, err);
316 err = NULL;
d08ac81a 317 if (*obj) {
150d0564 318 visit_end_union(v, !!(*obj)->u.data, &err);
d08ac81a 319 }
e36c714e
EB
320 error_propagate(errp, err);
321 err = NULL;
f8b7f1a8 322 visit_end_struct(v, &err);
297a3646
MA
323out:
324 error_propagate(errp, err);
dc8fb6df
PB
325}
326''')
327
06d64c62
MR
328 return ret
329
e98859a9 330
441cbac0
MA
331class QAPISchemaGenVisitVisitor(QAPISchemaVisitor):
332 def __init__(self):
333 self.decl = None
334 self.defn = None
335 self._btin = None
336
337 def visit_begin(self, schema):
338 self.decl = ''
339 self.defn = ''
340 self._btin = guardstart('QAPI_VISIT_BUILTIN')
341
342 def visit_end(self):
343 # To avoid header dependency hell, we always generate
344 # declarations for built-in types in our header files and
345 # simply guard them. See also do_builtins (command line
346 # option -b).
347 self._btin += guardend('QAPI_VISIT_BUILTIN')
348 self.decl = self._btin + self.decl
349 self._btin = None
350
25a0d9c9
EB
351 def visit_needed(self, entity):
352 # Visit everything except implicit objects
49823c4b
EB
353 return not (entity.is_implicit() and
354 isinstance(entity, QAPISchemaObjectType))
25a0d9c9 355
441cbac0 356 def visit_enum_type(self, name, info, values, prefix):
7264f5c5
EB
357 # Special case for our lone builtin enum type
358 # TODO use something cleaner than existence of info
359 if not info:
360 self._btin += gen_visit_decl(name, scalar=True)
361 if do_builtins:
362 self.defn += gen_visit_enum(name)
363 else:
364 self.decl += gen_visit_decl(name, scalar=True)
365 self.defn += gen_visit_enum(name)
441cbac0
MA
366
367 def visit_array_type(self, name, info, element_type):
368 decl = gen_visit_decl(name)
369 defn = gen_visit_list(name, element_type)
370 if isinstance(element_type, QAPISchemaBuiltinType):
371 self._btin += decl
372 if do_builtins:
373 self.defn += defn
374 else:
375 self.decl += decl
376 self.defn += defn
377
378 def visit_object_type(self, name, info, base, members, variants):
25a0d9c9
EB
379 self.decl += gen_visit_decl(name)
380 if variants:
da34a9bd
EB
381 if members:
382 # Members other than variants.tag_member not implemented
383 assert len(members) == 1
384 assert members[0] == variants.tag_member
25a0d9c9
EB
385 self.defn += gen_visit_union(name, base, variants)
386 else:
387 self.defn += gen_visit_struct(name, base, members)
441cbac0
MA
388
389 def visit_alternate_type(self, name, info, variants):
390 self.decl += gen_visit_decl(name)
391 self.defn += gen_visit_alternate(name, variants)
392
393# If you link code generated from multiple schemata, you want only one
394# instance of the code for built-in types. Generate it only when
395# do_builtins, enabled by command line option -b. See also
396# QAPISchemaGenVisitVisitor.visit_end().
7c946bc4 397do_builtins = False
8d3bc517 398
2114f5a9
MA
399(input_file, output_dir, do_c, do_h, prefix, opts) = \
400 parse_command_line("b", ["builtins"])
401
06d64c62 402for o, a in opts:
2114f5a9 403 if o in ("-b", "--builtins"):
7c946bc4 404 do_builtins = True
8d3bc517 405
12f8e1b9 406c_comment = '''
06d64c62
MR
407/*
408 * schema-defined QAPI visitor functions
409 *
410 * Copyright IBM, Corp. 2011
411 *
412 * Authors:
413 * Anthony Liguori <aliguori@us.ibm.com>
414 *
415 * This work is licensed under the terms of the GNU LGPL, version 2.1 or later.
416 * See the COPYING.LIB file in the top-level directory.
417 *
418 */
12f8e1b9
MA
419'''
420h_comment = '''
06d64c62 421/*
297a3646 422 * schema-defined QAPI visitor functions
06d64c62
MR
423 *
424 * Copyright IBM, Corp. 2011
425 *
426 * Authors:
427 * Anthony Liguori <aliguori@us.ibm.com>
428 *
429 * This work is licensed under the terms of the GNU LGPL, version 2.1 or later.
430 * See the COPYING.LIB file in the top-level directory.
431 *
432 */
12f8e1b9
MA
433'''
434
435(fdef, fdecl) = open_output(output_dir, do_c, do_h, prefix,
436 'qapi-visit.c', 'qapi-visit.h',
437 c_comment, h_comment)
06d64c62 438
12f8e1b9
MA
439fdef.write(mcgen('''
440#include "qemu-common.h"
441#include "%(prefix)sqapi-visit.h"
442''',
e98859a9 443 prefix=prefix))
06d64c62 444
12f8e1b9 445fdecl.write(mcgen('''
7b1b5d19 446#include "qapi/visitor.h"
0426d53c 447#include "qapi/qmp/qerror.h"
06d64c62 448#include "%(prefix)sqapi-types.h"
7c946bc4 449
06d64c62 450''',
12f8e1b9 451 prefix=prefix))
06d64c62 452
441cbac0
MA
453schema = QAPISchema(input_file)
454gen = QAPISchemaGenVisitVisitor()
455schema.visit(gen)
456fdef.write(gen.defn)
457fdecl.write(gen.decl)
06d64c62 458
12f8e1b9 459close_output(fdef, fdecl)