blob: 4e99c1de8b76c005a4cf8330f70baea6a426f101 [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 Armbrustere98859a2015-09-16 13:06:16 +020028def gen_call(name, arg_type, ret_type):
29 ret = ''
30
31 argstr = ''
32 if arg_type:
33 for memb in arg_type.members:
Markus Armbrusteree446022015-09-16 13:06:11 +020034 if memb.optional:
Markus Armbrustere98859a2015-09-16 13:06:16 +020035 argstr += 'has_%s, ' % c_name(memb.name)
36 argstr += '%s, ' % c_name(memb.name)
37
38 lhs = ''
39 if ret_type:
40 lhs = 'retval = '
41
Michael Rothc17d9902011-07-19 14:50:42 -050042 ret = mcgen('''
Markus Armbrusterf1538012015-09-16 13:06:18 +020043
Eric Blake05372f72015-09-29 16:21:12 -060044 %(lhs)sqmp_%(c_name)s(%(args)s&err);
Michael Rothc17d9902011-07-19 14:50:42 -050045''',
Markus Armbrustere98859a2015-09-16 13:06:16 +020046 c_name=c_name(name), args=argstr, lhs=lhs)
Michael Rothc17d9902011-07-19 14:50:42 -050047 if ret_type:
Eric Blake1f353342015-09-29 16:21:13 -060048 ret += gen_err_check()
Markus Armbrustere02bca22015-06-27 17:21:12 +020049 ret += mcgen('''
50
Eric Blake05372f72015-09-29 16:21:12 -060051 qmp_marshal_output_%(c_name)s(retval, ret, &err);
Michael Rothc17d9902011-07-19 14:50:42 -050052''',
Markus Armbruster56d92b02015-09-16 13:06:21 +020053 c_name=ret_type.c_name())
Markus Armbruster1f9a7a12015-06-27 17:49:34 +020054 return ret
Michael Rothc17d9902011-07-19 14:50:42 -050055
Markus Armbrustere98859a2015-09-16 13:06:16 +020056
Markus Armbrusterf1538012015-09-16 13:06:18 +020057def gen_marshal_vars(arg_type, ret_type):
58 ret = mcgen('''
Eric Blake2a0f50e2015-09-29 16:21:08 -060059 Error *err = NULL;
Markus Armbrusterf1538012015-09-16 13:06:18 +020060''')
Michael Rothc17d9902011-07-19 14:50:42 -050061
Markus Armbrusterf1538012015-09-16 13:06:18 +020062 if ret_type:
63 ret += mcgen('''
Eric Blake05372f72015-09-29 16:21:12 -060064 %(c_type)s retval;
Markus Armbrusterf1538012015-09-16 13:06:18 +020065''',
66 c_type=ret_type.c_type())
67
Markus Armbrustere98859a2015-09-16 13:06:16 +020068 if arg_type:
Michael Rothc17d9902011-07-19 14:50:42 -050069 ret += mcgen('''
Eric Blake05372f72015-09-29 16:21:12 -060070 QmpInputVisitor *qiv = qmp_input_visitor_new_strict(QOBJECT(args));
71 QapiDeallocVisitor *qdv;
72 Visitor *v;
Markus Armbruster5aa05d32015-06-28 21:36:26 +020073''')
Michael Rothc17d9902011-07-19 14:50:42 -050074
Markus Armbrustere98859a2015-09-16 13:06:16 +020075 for memb in arg_type.members:
Markus Armbrusteree446022015-09-16 13:06:11 +020076 if memb.optional:
77 ret += mcgen('''
Eric Blake05372f72015-09-29 16:21:12 -060078 bool has_%(c_name)s = false;
Michael Rothc17d9902011-07-19 14:50:42 -050079''',
Markus Armbrustere98859a2015-09-16 13:06:16 +020080 c_name=c_name(memb.name))
Markus Armbruster57101532015-09-16 13:06:15 +020081 ret += mcgen('''
Eric Blake05372f72015-09-29 16:21:12 -060082 %(c_type)s %(c_name)s = %(c_null)s;
Michael Rothc17d9902011-07-19 14:50:42 -050083''',
Markus Armbruster57101532015-09-16 13:06:15 +020084 c_name=c_name(memb.name),
85 c_type=memb.type.c_type(),
86 c_null=memb.type.c_null())
Markus Armbrusterf1538012015-09-16 13:06:18 +020087 ret += '\n'
88 else:
89 ret += mcgen('''
90
Eric Blake05372f72015-09-29 16:21:12 -060091 (void)args;
Markus Armbrusterf1538012015-09-16 13:06:18 +020092''')
Michael Rothc17d9902011-07-19 14:50:42 -050093
Markus Armbruster1f9a7a12015-06-27 17:49:34 +020094 return ret
Michael Rothc17d9902011-07-19 14:50:42 -050095
Markus Armbrustere98859a2015-09-16 13:06:16 +020096
Markus Armbrusterf1538012015-09-16 13:06:18 +020097def gen_marshal_input_visit(arg_type, dealloc=False):
Markus Armbrustere98859a2015-09-16 13:06:16 +020098 ret = ''
Luiz Capitulino8f91ad82013-07-11 14:26:56 -040099
Markus Armbrustere98859a2015-09-16 13:06:16 +0200100 if not arg_type:
Michael Rothc17d9902011-07-19 14:50:42 -0500101 return ret
102
Michael Rothc17d9902011-07-19 14:50:42 -0500103 if dealloc:
Luiz Capitulino8f91ad82013-07-11 14:26:56 -0400104 errparg = 'NULL'
Markus Armbrustere98859a2015-09-16 13:06:16 +0200105 errarg = None
Michael Rothc17d9902011-07-19 14:50:42 -0500106 ret += mcgen('''
Eric Blake05372f72015-09-29 16:21:12 -0600107 qmp_input_visitor_cleanup(qiv);
108 qdv = qapi_dealloc_visitor_new();
109 v = qapi_dealloc_get_visitor(qdv);
Michael Rothc17d9902011-07-19 14:50:42 -0500110''')
111 else:
Eric Blake2a0f50e2015-09-29 16:21:08 -0600112 errparg = '&err'
113 errarg = 'err'
Michael Rothc17d9902011-07-19 14:50:42 -0500114 ret += mcgen('''
Eric Blake05372f72015-09-29 16:21:12 -0600115 v = qmp_input_get_visitor(qiv);
Markus Armbrusterf9bee752014-05-07 09:53:44 +0200116''')
Michael Rothc17d9902011-07-19 14:50:42 -0500117
Markus Armbrustere98859a2015-09-16 13:06:16 +0200118 for memb in arg_type.members:
Markus Armbrusteree446022015-09-16 13:06:11 +0200119 if memb.optional:
Michael Rothc17d9902011-07-19 14:50:42 -0500120 ret += mcgen('''
Eric Blake05372f72015-09-29 16:21:12 -0600121 visit_optional(v, &has_%(c_name)s, "%(name)s", %(errp)s);
Michael Rothc17d9902011-07-19 14:50:42 -0500122''',
Markus Armbrusteree446022015-09-16 13:06:11 +0200123 c_name=c_name(memb.name), name=memb.name,
124 errp=errparg)
Eric Blake1f353342015-09-29 16:21:13 -0600125 ret += gen_err_check(err=errarg)
Markus Armbruster297a3642014-05-07 09:53:54 +0200126 ret += mcgen('''
Eric Blake05372f72015-09-29 16:21:12 -0600127 if (has_%(c_name)s) {
Markus Armbruster297a3642014-05-07 09:53:54 +0200128''',
Markus Armbrusteree446022015-09-16 13:06:11 +0200129 c_name=c_name(memb.name))
Michael Rothc17d9902011-07-19 14:50:42 -0500130 push_indent()
131 ret += mcgen('''
Eric Blake05372f72015-09-29 16:21:12 -0600132 visit_type_%(c_type)s(v, &%(c_name)s, "%(name)s", %(errp)s);
Michael Rothc17d9902011-07-19 14:50:42 -0500133''',
Markus Armbrusteree446022015-09-16 13:06:11 +0200134 c_name=c_name(memb.name), name=memb.name,
Markus Armbrustere98859a2015-09-16 13:06:16 +0200135 c_type=memb.type.c_name(), errp=errparg)
Eric Blake1f353342015-09-29 16:21:13 -0600136 ret += gen_err_check(err=errarg)
Markus Armbrusteree446022015-09-16 13:06:11 +0200137 if memb.optional:
Michael Rothc17d9902011-07-19 14:50:42 -0500138 pop_indent()
139 ret += mcgen('''
Eric Blake05372f72015-09-29 16:21:12 -0600140 }
Markus Armbrustere2cd0f42014-05-07 09:53:46 +0200141''')
Michael Rothc17d9902011-07-19 14:50:42 -0500142
143 if dealloc:
144 ret += mcgen('''
Eric Blake05372f72015-09-29 16:21:12 -0600145 qapi_dealloc_visitor_cleanup(qdv);
Michael Rothc17d9902011-07-19 14:50:42 -0500146''')
Markus Armbruster1f9a7a12015-06-27 17:49:34 +0200147 return ret
Michael Rothc17d9902011-07-19 14:50:42 -0500148
Markus Armbrustere98859a2015-09-16 13:06:16 +0200149
Markus Armbruster56d92b02015-09-16 13:06:21 +0200150def gen_marshal_output(ret_type):
Markus Armbrusterf1538012015-09-16 13:06:18 +0200151 return mcgen('''
Markus Armbrusteree446022015-09-16 13:06:11 +0200152
Markus Armbruster56d92b02015-09-16 13:06:21 +0200153static void qmp_marshal_output_%(c_name)s(%(c_type)s ret_in, QObject **ret_out, Error **errp)
Michael Rothc17d9902011-07-19 14:50:42 -0500154{
Eric Blake2a0f50e2015-09-29 16:21:08 -0600155 Error *err = NULL;
Eric Blakef8b7f1a2015-09-29 16:21:09 -0600156 QmpOutputVisitor *qov = qmp_output_visitor_new();
157 QapiDeallocVisitor *qdv;
Michael Rothc17d9902011-07-19 14:50:42 -0500158 Visitor *v;
159
Eric Blakef8b7f1a2015-09-29 16:21:09 -0600160 v = qmp_output_get_visitor(qov);
Eric Blake2a0f50e2015-09-29 16:21:08 -0600161 visit_type_%(c_name)s(v, &ret_in, "unused", &err);
162 if (err) {
Markus Armbruster297a3642014-05-07 09:53:54 +0200163 goto out;
Michael Rothc17d9902011-07-19 14:50:42 -0500164 }
Eric Blakef8b7f1a2015-09-29 16:21:09 -0600165 *ret_out = qmp_output_get_qobject(qov);
Markus Armbruster297a3642014-05-07 09:53:54 +0200166
167out:
Eric Blake2a0f50e2015-09-29 16:21:08 -0600168 error_propagate(errp, err);
Eric Blakef8b7f1a2015-09-29 16:21:09 -0600169 qmp_output_visitor_cleanup(qov);
170 qdv = qapi_dealloc_visitor_new();
171 v = qapi_dealloc_get_visitor(qdv);
Markus Armbrustere98859a2015-09-16 13:06:16 +0200172 visit_type_%(c_name)s(v, &ret_in, "unused", NULL);
Eric Blakef8b7f1a2015-09-29 16:21:09 -0600173 qapi_dealloc_visitor_cleanup(qdv);
Michael Rothc17d9902011-07-19 14:50:42 -0500174}
175''',
Markus Armbruster56d92b02015-09-16 13:06:21 +0200176 c_type=ret_type.c_type(), c_name=ret_type.c_name())
Michael Rothc17d9902011-07-19 14:50:42 -0500177
Markus Armbrustere98859a2015-09-16 13:06:16 +0200178
Markus Armbrusterf1538012015-09-16 13:06:18 +0200179def gen_marshal_proto(name):
Markus Armbruster7fad30f2015-09-16 13:06:19 +0200180 ret = 'void qmp_marshal_%s(QDict *args, QObject **ret, Error **errp)' % c_name(name)
Markus Armbruster485febc2015-03-13 17:25:50 +0100181 if not middle_mode:
Markus Armbrustere98859a2015-09-16 13:06:16 +0200182 ret = 'static ' + ret
Markus Armbruster485febc2015-03-13 17:25:50 +0100183 return ret
Anthony Liguori776574d2011-09-02 12:34:46 -0500184
Markus Armbrustere98859a2015-09-16 13:06:16 +0200185
Markus Armbrusterf1538012015-09-16 13:06:18 +0200186def gen_marshal_decl(name):
187 return mcgen('''
188%(proto)s;
189''',
190 proto=gen_marshal_proto(name))
Anthony Liguori776574d2011-09-02 12:34:46 -0500191
Markus Armbrusterf1538012015-09-16 13:06:18 +0200192
193def gen_marshal(name, arg_type, ret_type):
Michael Rothc17d9902011-07-19 14:50:42 -0500194 ret = mcgen('''
Markus Armbrusteree446022015-09-16 13:06:11 +0200195
Markus Armbrusterf1538012015-09-16 13:06:18 +0200196%(proto)s
Michael Rothc17d9902011-07-19 14:50:42 -0500197{
198''',
Markus Armbrusterf1538012015-09-16 13:06:18 +0200199 proto=gen_marshal_proto(name))
Anthony Liguori776574d2011-09-02 12:34:46 -0500200
Markus Armbrusterf1538012015-09-16 13:06:18 +0200201 ret += gen_marshal_vars(arg_type, ret_type)
202 ret += gen_marshal_input_visit(arg_type)
Markus Armbrustere98859a2015-09-16 13:06:16 +0200203 ret += gen_call(name, arg_type, ret_type)
Markus Armbruster1f9a7a12015-06-27 17:49:34 +0200204
Markus Armbrustere98859a2015-09-16 13:06:16 +0200205 if re.search('^ *goto out;', ret, re.MULTILINE):
Markus Armbruster297a3642014-05-07 09:53:54 +0200206 ret += mcgen('''
Michael Rothc17d9902011-07-19 14:50:42 -0500207
208out:
209''')
210 ret += mcgen('''
Eric Blake2a0f50e2015-09-29 16:21:08 -0600211 error_propagate(errp, err);
Markus Armbruster1f9a7a12015-06-27 17:49:34 +0200212''')
Markus Armbrusterf1538012015-09-16 13:06:18 +0200213 ret += gen_marshal_input_visit(arg_type, dealloc=True)
Markus Armbruster1f9a7a12015-06-27 17:49:34 +0200214 ret += mcgen('''
Markus Armbruster485febc2015-03-13 17:25:50 +0100215}
Markus Armbruster1f9a7a12015-06-27 17:49:34 +0200216''')
Michael Rothc17d9902011-07-19 14:50:42 -0500217 return ret
218
Markus Armbrustere98859a2015-09-16 13:06:16 +0200219
Markus Armbrusteree446022015-09-16 13:06:11 +0200220def gen_register_command(name, success_response):
Markus Armbrusteree446022015-09-16 13:06:11 +0200221 options = 'QCO_NO_OPTIONS'
222 if not success_response:
223 options = 'QCO_NO_SUCCESS_RESP'
Luiz Capitulinod34b8672012-05-08 14:24:44 -0300224
Markus Armbrusteree446022015-09-16 13:06:11 +0200225 ret = mcgen('''
Eric Blake05372f72015-09-29 16:21:12 -0600226 qmp_register_command("%(name)s", qmp_marshal_%(c_name)s, %(opts)s);
Michael Rothc17d9902011-07-19 14:50:42 -0500227''',
Markus Armbrustere98859a2015-09-16 13:06:16 +0200228 name=name, c_name=c_name(name),
229 opts=options)
Markus Armbrusteree446022015-09-16 13:06:11 +0200230 return ret
231
Markus Armbrustere98859a2015-09-16 13:06:16 +0200232
Markus Armbrusteree446022015-09-16 13:06:11 +0200233def gen_registry(registry):
Michael Rothc17d9902011-07-19 14:50:42 -0500234 ret = mcgen('''
Markus Armbrusteree446022015-09-16 13:06:11 +0200235
Michael Rothc17d9902011-07-19 14:50:42 -0500236static void qmp_init_marshal(void)
237{
Markus Armbruster1f9a7a12015-06-27 17:49:34 +0200238''')
239 ret += registry
240 ret += mcgen('''
Michael Rothc17d9902011-07-19 14:50:42 -0500241}
242
243qapi_init(qmp_init_marshal);
Markus Armbruster1f9a7a12015-06-27 17:49:34 +0200244''')
Michael Rothc17d9902011-07-19 14:50:42 -0500245 return ret
246
Markus Armbrusteree446022015-09-16 13:06:11 +0200247
248class QAPISchemaGenCommandVisitor(QAPISchemaVisitor):
249 def __init__(self):
250 self.decl = None
251 self.defn = None
252 self._regy = None
Markus Armbruster56d92b02015-09-16 13:06:21 +0200253 self._visited_ret_types = None
Markus Armbrusteree446022015-09-16 13:06:11 +0200254
255 def visit_begin(self, schema):
256 self.decl = ''
257 self.defn = ''
258 self._regy = ''
Markus Armbruster56d92b02015-09-16 13:06:21 +0200259 self._visited_ret_types = set()
Markus Armbrusteree446022015-09-16 13:06:11 +0200260
261 def visit_end(self):
262 if not middle_mode:
263 self.defn += gen_registry(self._regy)
264 self._regy = None
Markus Armbruster56d92b02015-09-16 13:06:21 +0200265 self._visited_ret_types = None
Markus Armbrusteree446022015-09-16 13:06:11 +0200266
267 def visit_command(self, name, info, arg_type, ret_type,
268 gen, success_response):
269 if not gen:
270 return
Markus Armbrustere98859a2015-09-16 13:06:16 +0200271 self.decl += gen_command_decl(name, arg_type, ret_type)
Markus Armbruster56d92b02015-09-16 13:06:21 +0200272 if ret_type and ret_type not in self._visited_ret_types:
273 self._visited_ret_types.add(ret_type)
274 self.defn += gen_marshal_output(ret_type)
Markus Armbrusteree446022015-09-16 13:06:11 +0200275 if middle_mode:
Markus Armbrusterf1538012015-09-16 13:06:18 +0200276 self.decl += gen_marshal_decl(name)
277 self.defn += gen_marshal(name, arg_type, ret_type)
Markus Armbrusteree446022015-09-16 13:06:11 +0200278 if not middle_mode:
279 self._regy += gen_register_command(name, success_response)
280
281
Anthony Liguori776574d2011-09-02 12:34:46 -0500282middle_mode = False
Michael Rothc17d9902011-07-19 14:50:42 -0500283
Markus Armbruster2114f5a2015-04-02 13:12:21 +0200284(input_file, output_dir, do_c, do_h, prefix, opts) = \
285 parse_command_line("m", ["middle"])
Avi Kivity8d3bc512011-12-27 16:02:16 +0200286
Michael Rothc17d9902011-07-19 14:50:42 -0500287for o, a in opts:
Markus Armbruster2114f5a2015-04-02 13:12:21 +0200288 if o in ("-m", "--middle"):
Anthony Liguori776574d2011-09-02 12:34:46 -0500289 middle_mode = True
Michael Rothc17d9902011-07-19 14:50:42 -0500290
Markus Armbruster12f8e1b2015-04-02 14:46:39 +0200291c_comment = '''
292/*
293 * schema-defined QMP->QAPI command dispatch
294 *
295 * Copyright IBM, Corp. 2011
296 *
297 * Authors:
298 * Anthony Liguori <aliguori@us.ibm.com>
299 *
300 * This work is licensed under the terms of the GNU LGPL, version 2.1 or later.
301 * See the COPYING.LIB file in the top-level directory.
302 *
303 */
304'''
305h_comment = '''
306/*
307 * schema-defined QAPI function prototypes
308 *
309 * Copyright IBM, Corp. 2011
310 *
311 * Authors:
312 * Anthony Liguori <aliguori@us.ibm.com>
313 *
314 * This work is licensed under the terms of the GNU LGPL, version 2.1 or later.
315 * See the COPYING.LIB file in the top-level directory.
316 *
317 */
318'''
319
320(fdef, fdecl) = open_output(output_dir, do_c, do_h, prefix,
321 'qmp-marshal.c', 'qmp-commands.h',
322 c_comment, h_comment)
323
Markus Armbruster41809782015-04-02 14:52:55 +0200324fdef.write(mcgen('''
325#include "qemu-common.h"
326#include "qemu/module.h"
Markus Armbruster41809782015-04-02 14:52:55 +0200327#include "qapi/qmp/types.h"
328#include "qapi/qmp/dispatch.h"
329#include "qapi/visitor.h"
330#include "qapi/qmp-output-visitor.h"
331#include "qapi/qmp-input-visitor.h"
332#include "qapi/dealloc-visitor.h"
333#include "%(prefix)sqapi-types.h"
334#include "%(prefix)sqapi-visit.h"
335#include "%(prefix)sqmp-commands.h"
336
337''',
Markus Armbrustere98859a2015-09-16 13:06:16 +0200338 prefix=prefix))
Markus Armbruster41809782015-04-02 14:52:55 +0200339
340fdecl.write(mcgen('''
341#include "%(prefix)sqapi-types.h"
342#include "qapi/qmp/qdict.h"
343#include "qapi/error.h"
344
345''',
Markus Armbrusteree446022015-09-16 13:06:11 +0200346 prefix=prefix))
Markus Armbruster72aaa732015-04-02 11:41:22 +0200347
Markus Armbrusteree446022015-09-16 13:06:11 +0200348schema = QAPISchema(input_file)
349gen = QAPISchemaGenCommandVisitor()
350schema.visit(gen)
351fdef.write(gen.defn)
352fdecl.write(gen.decl)
Anthony Liguori776574d2011-09-02 12:34:46 -0500353
Markus Armbruster12f8e1b2015-04-02 14:46:39 +0200354close_output(fdef, fdecl)