blob: 833768ef0ec4093722b4366d688d0c6f3edf5f5f [file] [log] [blame]
Michael Rothc17d9902011-07-19 14:50:42 -05001#
2# QAPI command marshaller generator
3#
4# Copyright IBM, Corp. 2011
Eric Blaked708cdb2015-05-04 09:05:19 -06005# Copyright (C) 2014-2015 Red Hat, Inc.
Michael Rothc17d9902011-07-19 14:50:42 -05006#
7# Authors:
8# Anthony Liguori <aliguori@us.ibm.com>
9# Michael Roth <mdroth@linux.vnet.ibm.com>
Markus Armbruster297a3642014-05-07 09:53:54 +020010# Markus Armbruster <armbru@redhat.com>
Michael Rothc17d9902011-07-19 14:50:42 -050011#
Markus Armbruster678e48a2014-03-01 08:40:34 +010012# This work is licensed under the terms of the GNU GPL, version 2.
13# See the COPYING file in the top-level directory.
Michael Rothc17d9902011-07-19 14:50:42 -050014
Michael Rothc17d9902011-07-19 14:50:42 -050015from qapi import *
Markus Armbruster297a3642014-05-07 09:53:54 +020016import re
Michael Rothc17d9902011-07-19 14:50:42 -050017
Markus Armbrustere98859a2015-09-16 13:06:16 +020018
19def gen_command_decl(name, arg_type, ret_type):
Michael Rothc17d9902011-07-19 14:50:42 -050020 return mcgen('''
Markus Armbruster03b43672015-09-16 13:06:20 +020021%(c_type)s qmp_%(c_name)s(%(params)s);
Michael Rothc17d9902011-07-19 14:50:42 -050022''',
Markus Armbrustere98859a2015-09-16 13:06:16 +020023 c_type=(ret_type and ret_type.c_type()) or 'void',
24 c_name=c_name(name),
Markus Armbruster03b43672015-09-16 13:06:20 +020025 params=gen_params(arg_type, 'Error **errp'))
Markus Armbrustere98859a2015-09-16 13:06:16 +020026
Michael Rothc17d9902011-07-19 14:50:42 -050027
Markus Armbruster81023072015-06-27 16:48:14 +020028def gen_err_check(err):
29 if not err:
30 return ''
31 return mcgen('''
32if (%(err)s) {
Markus Armbruster297a3642014-05-07 09:53:54 +020033 goto out;
34}
Markus Armbruster81023072015-06-27 16:48:14 +020035''',
36 err=err)
Markus Armbruster297a3642014-05-07 09:53:54 +020037
Markus Armbrustere98859a2015-09-16 13:06:16 +020038
39def gen_call(name, arg_type, ret_type):
40 ret = ''
41
42 argstr = ''
43 if arg_type:
44 for memb in arg_type.members:
Markus Armbrusteree446022015-09-16 13:06:11 +020045 if memb.optional:
Markus Armbrustere98859a2015-09-16 13:06:16 +020046 argstr += 'has_%s, ' % c_name(memb.name)
47 argstr += '%s, ' % c_name(memb.name)
48
49 lhs = ''
50 if ret_type:
51 lhs = 'retval = '
52
Markus Armbruster5aa05d32015-06-28 21:36:26 +020053 push_indent()
Michael Rothc17d9902011-07-19 14:50:42 -050054 ret = mcgen('''
Markus Armbrusterf1538012015-09-16 13:06:18 +020055
Markus Armbrustere98859a2015-09-16 13:06:16 +020056%(lhs)sqmp_%(c_name)s(%(args)s&local_err);
Michael Rothc17d9902011-07-19 14:50:42 -050057''',
Markus Armbrustere98859a2015-09-16 13:06:16 +020058 c_name=c_name(name), args=argstr, lhs=lhs)
Michael Rothc17d9902011-07-19 14:50:42 -050059 if ret_type:
Markus Armbruster1f9a7a12015-06-27 17:49:34 +020060 ret += gen_err_check('local_err')
Markus Armbrustere02bca22015-06-27 17:21:12 +020061 ret += mcgen('''
62
63qmp_marshal_output_%(c_name)s(retval, ret, &local_err);
Michael Rothc17d9902011-07-19 14:50:42 -050064''',
Markus Armbrustere98859a2015-09-16 13:06:16 +020065 c_name=c_name(name))
Markus Armbruster5aa05d32015-06-28 21:36:26 +020066 pop_indent()
Markus Armbruster1f9a7a12015-06-27 17:49:34 +020067 return ret
Michael Rothc17d9902011-07-19 14:50:42 -050068
Markus Armbrustere98859a2015-09-16 13:06:16 +020069
Markus Armbrusterf1538012015-09-16 13:06:18 +020070def gen_marshal_vars(arg_type, ret_type):
71 ret = mcgen('''
72 Error *local_err = NULL;
73''')
Michael Rothc17d9902011-07-19 14:50:42 -050074
75 push_indent()
Markus Armbrusterf1538012015-09-16 13:06:18 +020076
77 if ret_type:
78 ret += mcgen('''
79%(c_type)s retval;
80''',
81 c_type=ret_type.c_type())
82
Markus Armbrustere98859a2015-09-16 13:06:16 +020083 if arg_type:
Michael Rothc17d9902011-07-19 14:50:42 -050084 ret += mcgen('''
Markus Armbruster5aa05d32015-06-28 21:36:26 +020085QmpInputVisitor *mi = qmp_input_visitor_new_strict(QOBJECT(args));
Michael Rothc17d9902011-07-19 14:50:42 -050086QapiDeallocVisitor *md;
87Visitor *v;
Markus Armbruster5aa05d32015-06-28 21:36:26 +020088''')
Michael Rothc17d9902011-07-19 14:50:42 -050089
Markus Armbrustere98859a2015-09-16 13:06:16 +020090 for memb in arg_type.members:
Markus Armbrusteree446022015-09-16 13:06:11 +020091 if memb.optional:
92 ret += mcgen('''
Markus Armbrustere98859a2015-09-16 13:06:16 +020093bool has_%(c_name)s = false;
Michael Rothc17d9902011-07-19 14:50:42 -050094''',
Markus Armbrustere98859a2015-09-16 13:06:16 +020095 c_name=c_name(memb.name))
Markus Armbruster57101532015-09-16 13:06:15 +020096 ret += mcgen('''
97%(c_type)s %(c_name)s = %(c_null)s;
Michael Rothc17d9902011-07-19 14:50:42 -050098''',
Markus Armbruster57101532015-09-16 13:06:15 +020099 c_name=c_name(memb.name),
100 c_type=memb.type.c_type(),
101 c_null=memb.type.c_null())
Markus Armbrusterf1538012015-09-16 13:06:18 +0200102 ret += '\n'
103 else:
104 ret += mcgen('''
105
106(void)args;
107''')
Michael Rothc17d9902011-07-19 14:50:42 -0500108
109 pop_indent()
Markus Armbruster1f9a7a12015-06-27 17:49:34 +0200110 return ret
Michael Rothc17d9902011-07-19 14:50:42 -0500111
Markus Armbrustere98859a2015-09-16 13:06:16 +0200112
Markus Armbrusterf1538012015-09-16 13:06:18 +0200113def gen_marshal_input_visit(arg_type, dealloc=False):
Markus Armbrustere98859a2015-09-16 13:06:16 +0200114 ret = ''
Luiz Capitulino8f91ad82013-07-11 14:26:56 -0400115
Markus Armbrustere98859a2015-09-16 13:06:16 +0200116 if not arg_type:
Michael Rothc17d9902011-07-19 14:50:42 -0500117 return ret
118
119 push_indent()
120
121 if dealloc:
Luiz Capitulino8f91ad82013-07-11 14:26:56 -0400122 errparg = 'NULL'
Markus Armbrustere98859a2015-09-16 13:06:16 +0200123 errarg = None
Michael Rothc17d9902011-07-19 14:50:42 -0500124 ret += mcgen('''
Markus Armbrusterf9bee752014-05-07 09:53:44 +0200125qmp_input_visitor_cleanup(mi);
Michael Rothc17d9902011-07-19 14:50:42 -0500126md = qapi_dealloc_visitor_new();
127v = qapi_dealloc_get_visitor(md);
128''')
129 else:
Markus Armbrusterf1538012015-09-16 13:06:18 +0200130 errparg = '&local_err'
131 errarg = 'local_err'
Michael Rothc17d9902011-07-19 14:50:42 -0500132 ret += mcgen('''
Michael Rothc17d9902011-07-19 14:50:42 -0500133v = qmp_input_get_visitor(mi);
Markus Armbrusterf9bee752014-05-07 09:53:44 +0200134''')
Michael Rothc17d9902011-07-19 14:50:42 -0500135
Markus Armbrustere98859a2015-09-16 13:06:16 +0200136 for memb in arg_type.members:
Markus Armbrusteree446022015-09-16 13:06:11 +0200137 if memb.optional:
Michael Rothc17d9902011-07-19 14:50:42 -0500138 ret += mcgen('''
Markus Armbrustere2cd0f42014-05-07 09:53:46 +0200139visit_optional(v, &has_%(c_name)s, "%(name)s", %(errp)s);
Michael Rothc17d9902011-07-19 14:50:42 -0500140''',
Markus Armbrusteree446022015-09-16 13:06:11 +0200141 c_name=c_name(memb.name), name=memb.name,
142 errp=errparg)
Markus Armbruster297a3642014-05-07 09:53:54 +0200143 ret += gen_err_check(errarg)
144 ret += mcgen('''
145if (has_%(c_name)s) {
146''',
Markus Armbrusteree446022015-09-16 13:06:11 +0200147 c_name=c_name(memb.name))
Michael Rothc17d9902011-07-19 14:50:42 -0500148 push_indent()
149 ret += mcgen('''
Markus Armbrustere98859a2015-09-16 13:06:16 +0200150visit_type_%(c_type)s(v, &%(c_name)s, "%(name)s", %(errp)s);
Michael Rothc17d9902011-07-19 14:50:42 -0500151''',
Markus Armbrusteree446022015-09-16 13:06:11 +0200152 c_name=c_name(memb.name), name=memb.name,
Markus Armbrustere98859a2015-09-16 13:06:16 +0200153 c_type=memb.type.c_name(), errp=errparg)
Markus Armbruster297a3642014-05-07 09:53:54 +0200154 ret += gen_err_check(errarg)
Markus Armbrusteree446022015-09-16 13:06:11 +0200155 if memb.optional:
Michael Rothc17d9902011-07-19 14:50:42 -0500156 pop_indent()
157 ret += mcgen('''
158}
Markus Armbrustere2cd0f42014-05-07 09:53:46 +0200159''')
Michael Rothc17d9902011-07-19 14:50:42 -0500160
161 if dealloc:
162 ret += mcgen('''
163qapi_dealloc_visitor_cleanup(md);
164''')
Michael Rothc17d9902011-07-19 14:50:42 -0500165 pop_indent()
Markus Armbruster1f9a7a12015-06-27 17:49:34 +0200166 return ret
Michael Rothc17d9902011-07-19 14:50:42 -0500167
Markus Armbrustere98859a2015-09-16 13:06:16 +0200168
Markus Armbruster5aa05d32015-06-28 21:36:26 +0200169def gen_marshal_output(name, ret_type):
Markus Armbrusterf1538012015-09-16 13:06:18 +0200170 return mcgen('''
Markus Armbrusteree446022015-09-16 13:06:11 +0200171
Markus Armbrustere98859a2015-09-16 13:06:16 +0200172static void qmp_marshal_output_%(c_cmd_name)s(%(c_type)s ret_in, QObject **ret_out, Error **errp)
Michael Rothc17d9902011-07-19 14:50:42 -0500173{
Markus Armbruster297a3642014-05-07 09:53:54 +0200174 Error *local_err = NULL;
Michael Rothc17d9902011-07-19 14:50:42 -0500175 QmpOutputVisitor *mo = qmp_output_visitor_new();
Markus Armbrusterf9bee752014-05-07 09:53:44 +0200176 QapiDeallocVisitor *md;
Michael Rothc17d9902011-07-19 14:50:42 -0500177 Visitor *v;
178
179 v = qmp_output_get_visitor(mo);
Markus Armbrustere98859a2015-09-16 13:06:16 +0200180 visit_type_%(c_name)s(v, &ret_in, "unused", &local_err);
Markus Armbruster297a3642014-05-07 09:53:54 +0200181 if (local_err) {
182 goto out;
Michael Rothc17d9902011-07-19 14:50:42 -0500183 }
Markus Armbruster297a3642014-05-07 09:53:54 +0200184 *ret_out = qmp_output_get_qobject(mo);
185
186out:
187 error_propagate(errp, local_err);
Michael Rothc17d9902011-07-19 14:50:42 -0500188 qmp_output_visitor_cleanup(mo);
Markus Armbrusterf9bee752014-05-07 09:53:44 +0200189 md = qapi_dealloc_visitor_new();
Michael Rothc17d9902011-07-19 14:50:42 -0500190 v = qapi_dealloc_get_visitor(md);
Markus Armbrustere98859a2015-09-16 13:06:16 +0200191 visit_type_%(c_name)s(v, &ret_in, "unused", NULL);
Michael Rothc17d9902011-07-19 14:50:42 -0500192 qapi_dealloc_visitor_cleanup(md);
193}
194''',
Markus Armbrusterf1538012015-09-16 13:06:18 +0200195 c_type=ret_type.c_type(), c_cmd_name=c_name(name),
196 c_name=ret_type.c_name())
Michael Rothc17d9902011-07-19 14:50:42 -0500197
Markus Armbrustere98859a2015-09-16 13:06:16 +0200198
Markus Armbrusterf1538012015-09-16 13:06:18 +0200199def gen_marshal_proto(name):
Markus Armbruster7fad30f2015-09-16 13:06:19 +0200200 ret = 'void qmp_marshal_%s(QDict *args, QObject **ret, Error **errp)' % c_name(name)
Markus Armbruster485febc2015-03-13 17:25:50 +0100201 if not middle_mode:
Markus Armbrustere98859a2015-09-16 13:06:16 +0200202 ret = 'static ' + ret
Markus Armbruster485febc2015-03-13 17:25:50 +0100203 return ret
Anthony Liguori776574d2011-09-02 12:34:46 -0500204
Markus Armbrustere98859a2015-09-16 13:06:16 +0200205
Markus Armbrusterf1538012015-09-16 13:06:18 +0200206def gen_marshal_decl(name):
207 return mcgen('''
208%(proto)s;
209''',
210 proto=gen_marshal_proto(name))
Anthony Liguori776574d2011-09-02 12:34:46 -0500211
Markus Armbrusterf1538012015-09-16 13:06:18 +0200212
213def gen_marshal(name, arg_type, ret_type):
Michael Rothc17d9902011-07-19 14:50:42 -0500214 ret = mcgen('''
Markus Armbrusteree446022015-09-16 13:06:11 +0200215
Markus Armbrusterf1538012015-09-16 13:06:18 +0200216%(proto)s
Michael Rothc17d9902011-07-19 14:50:42 -0500217{
218''',
Markus Armbrusterf1538012015-09-16 13:06:18 +0200219 proto=gen_marshal_proto(name))
Anthony Liguori776574d2011-09-02 12:34:46 -0500220
Markus Armbrusterf1538012015-09-16 13:06:18 +0200221 ret += gen_marshal_vars(arg_type, ret_type)
222 ret += gen_marshal_input_visit(arg_type)
Markus Armbrustere98859a2015-09-16 13:06:16 +0200223 ret += gen_call(name, arg_type, ret_type)
Markus Armbruster1f9a7a12015-06-27 17:49:34 +0200224
Markus Armbrustere98859a2015-09-16 13:06:16 +0200225 if re.search('^ *goto out;', ret, re.MULTILINE):
Markus Armbruster297a3642014-05-07 09:53:54 +0200226 ret += mcgen('''
Michael Rothc17d9902011-07-19 14:50:42 -0500227
228out:
229''')
230 ret += mcgen('''
Markus Armbruster485febc2015-03-13 17:25:50 +0100231 error_propagate(errp, local_err);
Markus Armbruster1f9a7a12015-06-27 17:49:34 +0200232''')
Markus Armbrusterf1538012015-09-16 13:06:18 +0200233 ret += gen_marshal_input_visit(arg_type, dealloc=True)
Markus Armbruster1f9a7a12015-06-27 17:49:34 +0200234 ret += mcgen('''
Markus Armbruster485febc2015-03-13 17:25:50 +0100235}
Markus Armbruster1f9a7a12015-06-27 17:49:34 +0200236''')
Michael Rothc17d9902011-07-19 14:50:42 -0500237 return ret
238
Markus Armbrustere98859a2015-09-16 13:06:16 +0200239
Markus Armbrusteree446022015-09-16 13:06:11 +0200240def gen_register_command(name, success_response):
Michael Rothc17d9902011-07-19 14:50:42 -0500241 push_indent()
Markus Armbrusteree446022015-09-16 13:06:11 +0200242 options = 'QCO_NO_OPTIONS'
243 if not success_response:
244 options = 'QCO_NO_SUCCESS_RESP'
Luiz Capitulinod34b8672012-05-08 14:24:44 -0300245
Markus Armbrusteree446022015-09-16 13:06:11 +0200246 ret = mcgen('''
Markus Armbruster7fad30f2015-09-16 13:06:19 +0200247qmp_register_command("%(name)s", qmp_marshal_%(c_name)s, %(opts)s);
Michael Rothc17d9902011-07-19 14:50:42 -0500248''',
Markus Armbrustere98859a2015-09-16 13:06:16 +0200249 name=name, c_name=c_name(name),
250 opts=options)
Michael Rothc17d9902011-07-19 14:50:42 -0500251 pop_indent()
Markus Armbrusteree446022015-09-16 13:06:11 +0200252 return ret
253
Markus Armbrustere98859a2015-09-16 13:06:16 +0200254
Markus Armbrusteree446022015-09-16 13:06:11 +0200255def gen_registry(registry):
Michael Rothc17d9902011-07-19 14:50:42 -0500256 ret = mcgen('''
Markus Armbrusteree446022015-09-16 13:06:11 +0200257
Michael Rothc17d9902011-07-19 14:50:42 -0500258static void qmp_init_marshal(void)
259{
Markus Armbruster1f9a7a12015-06-27 17:49:34 +0200260''')
261 ret += registry
262 ret += mcgen('''
Michael Rothc17d9902011-07-19 14:50:42 -0500263}
264
265qapi_init(qmp_init_marshal);
Markus Armbruster1f9a7a12015-06-27 17:49:34 +0200266''')
Michael Rothc17d9902011-07-19 14:50:42 -0500267 return ret
268
Markus Armbrusteree446022015-09-16 13:06:11 +0200269
270class QAPISchemaGenCommandVisitor(QAPISchemaVisitor):
271 def __init__(self):
272 self.decl = None
273 self.defn = None
274 self._regy = None
275
276 def visit_begin(self, schema):
277 self.decl = ''
278 self.defn = ''
279 self._regy = ''
280
281 def visit_end(self):
282 if not middle_mode:
283 self.defn += gen_registry(self._regy)
284 self._regy = None
285
286 def visit_command(self, name, info, arg_type, ret_type,
287 gen, success_response):
288 if not gen:
289 return
Markus Armbrustere98859a2015-09-16 13:06:16 +0200290 self.decl += gen_command_decl(name, arg_type, ret_type)
Markus Armbrusteree446022015-09-16 13:06:11 +0200291 if ret_type:
292 self.defn += gen_marshal_output(name, ret_type)
293 if middle_mode:
Markus Armbrusterf1538012015-09-16 13:06:18 +0200294 self.decl += gen_marshal_decl(name)
295 self.defn += gen_marshal(name, arg_type, ret_type)
Markus Armbrusteree446022015-09-16 13:06:11 +0200296 if not middle_mode:
297 self._regy += gen_register_command(name, success_response)
298
299
Anthony Liguori776574d2011-09-02 12:34:46 -0500300middle_mode = False
Michael Rothc17d9902011-07-19 14:50:42 -0500301
Markus Armbruster2114f5a2015-04-02 13:12:21 +0200302(input_file, output_dir, do_c, do_h, prefix, opts) = \
303 parse_command_line("m", ["middle"])
Avi Kivity8d3bc512011-12-27 16:02:16 +0200304
Michael Rothc17d9902011-07-19 14:50:42 -0500305for o, a in opts:
Markus Armbruster2114f5a2015-04-02 13:12:21 +0200306 if o in ("-m", "--middle"):
Anthony Liguori776574d2011-09-02 12:34:46 -0500307 middle_mode = True
Michael Rothc17d9902011-07-19 14:50:42 -0500308
Markus Armbruster12f8e1b2015-04-02 14:46:39 +0200309c_comment = '''
310/*
311 * schema-defined QMP->QAPI command dispatch
312 *
313 * Copyright IBM, Corp. 2011
314 *
315 * Authors:
316 * Anthony Liguori <aliguori@us.ibm.com>
317 *
318 * This work is licensed under the terms of the GNU LGPL, version 2.1 or later.
319 * See the COPYING.LIB file in the top-level directory.
320 *
321 */
322'''
323h_comment = '''
324/*
325 * schema-defined QAPI function prototypes
326 *
327 * Copyright IBM, Corp. 2011
328 *
329 * Authors:
330 * Anthony Liguori <aliguori@us.ibm.com>
331 *
332 * This work is licensed under the terms of the GNU LGPL, version 2.1 or later.
333 * See the COPYING.LIB file in the top-level directory.
334 *
335 */
336'''
337
338(fdef, fdecl) = open_output(output_dir, do_c, do_h, prefix,
339 'qmp-marshal.c', 'qmp-commands.h',
340 c_comment, h_comment)
341
Markus Armbruster41809782015-04-02 14:52:55 +0200342fdef.write(mcgen('''
343#include "qemu-common.h"
344#include "qemu/module.h"
Markus Armbruster41809782015-04-02 14:52:55 +0200345#include "qapi/qmp/types.h"
346#include "qapi/qmp/dispatch.h"
347#include "qapi/visitor.h"
348#include "qapi/qmp-output-visitor.h"
349#include "qapi/qmp-input-visitor.h"
350#include "qapi/dealloc-visitor.h"
351#include "%(prefix)sqapi-types.h"
352#include "%(prefix)sqapi-visit.h"
353#include "%(prefix)sqmp-commands.h"
354
355''',
Markus Armbrustere98859a2015-09-16 13:06:16 +0200356 prefix=prefix))
Markus Armbruster41809782015-04-02 14:52:55 +0200357
358fdecl.write(mcgen('''
359#include "%(prefix)sqapi-types.h"
360#include "qapi/qmp/qdict.h"
361#include "qapi/error.h"
362
363''',
Markus Armbrusteree446022015-09-16 13:06:11 +0200364 prefix=prefix))
Markus Armbruster72aaa732015-04-02 11:41:22 +0200365
Markus Armbrusteree446022015-09-16 13:06:11 +0200366schema = QAPISchema(input_file)
367gen = QAPISchemaGenCommandVisitor()
368schema.visit(gen)
369fdef.write(gen.defn)
370fdecl.write(gen.decl)
Anthony Liguori776574d2011-09-02 12:34:46 -0500371
Markus Armbruster12f8e1b2015-04-02 14:46:39 +0200372close_output(fdef, fdecl)