15ddeec83SMarkus Armbruster""" 25ddeec83SMarkus ArmbrusterQAPI event generator 35ddeec83SMarkus Armbruster 45ddeec83SMarkus ArmbrusterCopyright (c) 2014 Wenchao Xia 55ddeec83SMarkus ArmbrusterCopyright (c) 2015-2018 Red Hat Inc. 65ddeec83SMarkus Armbruster 75ddeec83SMarkus ArmbrusterAuthors: 85ddeec83SMarkus Armbruster Wenchao Xia <wenchaoqemu@gmail.com> 95ddeec83SMarkus Armbruster Markus Armbruster <armbru@redhat.com> 105ddeec83SMarkus Armbruster 115ddeec83SMarkus ArmbrusterThis work is licensed under the terms of the GNU GPL, version 2. 125ddeec83SMarkus ArmbrusterSee the COPYING file in the top-level directory. 135ddeec83SMarkus Armbruster""" 1421cd70dfSWenchao Xia 15*3cc01c54SJohn Snowfrom typing import List, Optional 16d1b21b39SJohn Snow 17e6a34cd7SJohn Snowfrom .common import c_enum_const, c_name, mcgen 18e6a34cd7SJohn Snowfrom .gen import QAPISchemaModularCVisitor, build_params, ifcontext 19d1b21b39SJohn Snowfrom .schema import ( 20d1b21b39SJohn Snow QAPISchema, 21d1b21b39SJohn Snow QAPISchemaEnumMember, 22d1b21b39SJohn Snow QAPISchemaFeature, 23d1b21b39SJohn Snow QAPISchemaObjectType, 24d1b21b39SJohn Snow) 25d1b21b39SJohn Snowfrom .source import QAPISourceInfo 267137a960SJohn Snowfrom .types import gen_enum, gen_enum_lookup 2721cd70dfSWenchao Xia 28e98859a9SMarkus Armbruster 29d1b21b39SJohn Snowdef build_event_send_proto(name: str, 30*3cc01c54SJohn Snow arg_type: Optional[QAPISchemaObjectType], 31d1b21b39SJohn Snow boxed: bool) -> str: 3203b4367aSMarkus Armbruster return 'void qapi_event_send_%(c_name)s(%(param)s)' % { 3303b4367aSMarkus Armbruster 'c_name': c_name(name.lower()), 343ab72385SPeter Xu 'param': build_params(arg_type, boxed)} 3521cd70dfSWenchao Xia 3621cd70dfSWenchao Xia 37d1b21b39SJohn Snowdef gen_event_send_decl(name: str, 38*3cc01c54SJohn Snow arg_type: Optional[QAPISchemaObjectType], 39d1b21b39SJohn Snow boxed: bool) -> str: 4021cd70dfSWenchao Xia return mcgen(''' 4121cd70dfSWenchao Xia 42e98859a9SMarkus Armbruster%(proto)s; 4321cd70dfSWenchao Xia''', 44086ee7a6SMarc-André Lureau proto=build_event_send_proto(name, arg_type, boxed)) 4521cd70dfSWenchao Xia 4621cd70dfSWenchao Xia 47d1b21b39SJohn Snowdef gen_param_var(typ: QAPISchemaObjectType) -> str: 481a503761SJohn Snow """ 491a503761SJohn Snow Generate a struct variable holding the event parameters. 501a503761SJohn Snow 511a503761SJohn Snow Initialize it with the function arguments defined in `gen_event_send`. 521a503761SJohn Snow """ 530949e95bSEric Blake assert not typ.variants 540949e95bSEric Blake ret = mcgen(''' 550949e95bSEric Blake %(c_name)s param = { 560949e95bSEric Blake''', 570949e95bSEric Blake c_name=typ.c_name()) 580949e95bSEric Blake sep = ' ' 590949e95bSEric Blake for memb in typ.members: 600949e95bSEric Blake ret += sep 610949e95bSEric Blake sep = ', ' 620949e95bSEric Blake if memb.optional: 630949e95bSEric Blake ret += 'has_' + c_name(memb.name) + sep 640949e95bSEric Blake if memb.type.name == 'str': 65086ee7a6SMarc-André Lureau # Cast away const added in build_params() 660949e95bSEric Blake ret += '(char *)' 670949e95bSEric Blake ret += c_name(memb.name) 680949e95bSEric Blake ret += mcgen(''' 690949e95bSEric Blake 700949e95bSEric Blake }; 710949e95bSEric Blake''') 724d0b268fSEric Blake if not typ.is_implicit(): 734d0b268fSEric Blake ret += mcgen(''' 744d0b268fSEric Blake %(c_name)s *arg = ¶m; 754d0b268fSEric Blake''', 764d0b268fSEric Blake c_name=typ.c_name()) 770949e95bSEric Blake return ret 780949e95bSEric Blake 790949e95bSEric Blake 80d1b21b39SJohn Snowdef gen_event_send(name: str, 81*3cc01c54SJohn Snow arg_type: Optional[QAPISchemaObjectType], 82d1b21b39SJohn Snow boxed: bool, 83d1b21b39SJohn Snow event_enum_name: str, 84d1b21b39SJohn Snow event_emit: str) -> str: 850949e95bSEric Blake # FIXME: Our declaration of local variables (and of 'errp' in the 860949e95bSEric Blake # parameter list) can collide with exploded members of the event's 870949e95bSEric Blake # data type passed in as parameters. If this collision ever hits in 880949e95bSEric Blake # practice, we can rename our local variables with a leading _ prefix, 890949e95bSEric Blake # or split the code into a wrapper function that creates a boxed 900949e95bSEric Blake # 'param' object then calls another to do the real work. 91675b214bSMarkus Armbruster have_args = boxed or (arg_type and not arg_type.is_empty()) 92675b214bSMarkus Armbruster 93e98859a9SMarkus Armbruster ret = mcgen(''' 94e98859a9SMarkus Armbruster 95e98859a9SMarkus Armbruster%(proto)s 9621cd70dfSWenchao Xia{ 9721cd70dfSWenchao Xia QDict *qmp; 98e98859a9SMarkus Armbruster''', 99086ee7a6SMarc-André Lureau proto=build_event_send_proto(name, arg_type, boxed)) 10021cd70dfSWenchao Xia 101675b214bSMarkus Armbruster if have_args: 102*3cc01c54SJohn Snow assert arg_type is not None 103e98859a9SMarkus Armbruster ret += mcgen(''' 1043b098d56SEric Blake QObject *obj; 10521cd70dfSWenchao Xia Visitor *v; 106e98859a9SMarkus Armbruster''') 107c818408eSEric Blake if not boxed: 1080949e95bSEric Blake ret += gen_param_var(arg_type) 10921cd70dfSWenchao Xia 110e98859a9SMarkus Armbruster ret += mcgen(''' 1110949e95bSEric Blake 112e98859a9SMarkus Armbruster qmp = qmp_event_build_dict("%(name)s"); 11321cd70dfSWenchao Xia 114e98859a9SMarkus Armbruster''', 115e98859a9SMarkus Armbruster name=name) 11621cd70dfSWenchao Xia 117675b214bSMarkus Armbruster if have_args: 118*3cc01c54SJohn Snow assert arg_type is not None 119e98859a9SMarkus Armbruster ret += mcgen(''' 1207d5e199aSDaniel P. Berrange v = qobject_output_visitor_new(&obj); 1214d0b268fSEric Blake''') 1224d0b268fSEric Blake if not arg_type.is_implicit(): 1234d0b268fSEric Blake ret += mcgen(''' 1243ab72385SPeter Xu visit_type_%(c_name)s(v, "%(name)s", &arg, &error_abort); 1254d0b268fSEric Blake''', 1264d0b268fSEric Blake name=name, c_name=arg_type.c_name()) 1274d0b268fSEric Blake else: 1284d0b268fSEric Blake ret += mcgen(''' 12921cd70dfSWenchao Xia 1303ab72385SPeter Xu visit_start_struct(v, "%(name)s", NULL, 0, &error_abort); 1313ab72385SPeter Xu visit_type_%(c_name)s_members(v, ¶m, &error_abort); 1323ab72385SPeter Xu visit_check_struct(v, &error_abort); 1331158bb2aSEric Blake visit_end_struct(v, NULL); 1344d0b268fSEric Blake''', 1354d0b268fSEric Blake name=name, c_name=arg_type.c_name()) 1364d0b268fSEric Blake ret += mcgen(''' 13721cd70dfSWenchao Xia 1383b098d56SEric Blake visit_complete(v, &obj); 1393b098d56SEric Blake qdict_put_obj(qmp, "data", obj); 1404d0b268fSEric Blake''') 14121cd70dfSWenchao Xia 142e98859a9SMarkus Armbruster ret += mcgen(''' 143a9529100SMarkus Armbruster %(event_emit)s(%(c_enum)s, qmp); 14421cd70dfSWenchao Xia 145e98859a9SMarkus Armbruster''', 146a9529100SMarkus Armbruster event_emit=event_emit, 147e98859a9SMarkus Armbruster c_enum=c_enum_const(event_enum_name, name)) 14821cd70dfSWenchao Xia 149675b214bSMarkus Armbruster if have_args: 150e98859a9SMarkus Armbruster ret += mcgen(''' 1512c0ef9f4SEric Blake visit_free(v); 152e98859a9SMarkus Armbruster''') 153e98859a9SMarkus Armbruster ret += mcgen(''' 154cb3e7f08SMarc-André Lureau qobject_unref(qmp); 15521cd70dfSWenchao Xia} 156e98859a9SMarkus Armbruster''') 15721cd70dfSWenchao Xia return ret 15821cd70dfSWenchao Xia 15905f43a96SMarkus Armbruster 160252dc310SMarkus Armbrusterclass QAPISchemaGenEventVisitor(QAPISchemaModularCVisitor): 16171b3f045SMarkus Armbruster 162d1b21b39SJohn Snow def __init__(self, prefix: str): 1632cae67bcSMarkus Armbruster super().__init__( 1642cae67bcSMarkus Armbruster prefix, 'qapi-events', 1653bef3aaeSMarkus Armbruster ' * Schema-defined QAPI/QMP events', None, __doc__) 1661962bd39SMarc-André Lureau self._event_enum_name = c_name(prefix + 'QAPIEvent', protect=False) 167d1b21b39SJohn Snow self._event_enum_members: List[QAPISchemaEnumMember] = [] 168a9529100SMarkus Armbruster self._event_emit_name = c_name(prefix + 'qapi_event_emit') 169252dc310SMarkus Armbruster 170d1b21b39SJohn Snow def _begin_user_module(self, name: str) -> None: 1715d75648bSMarkus Armbruster events = self._module_basename('qapi-events', name) 1729af23989SMarkus Armbruster types = self._module_basename('qapi-types', name) 1739af23989SMarkus Armbruster visit = self._module_basename('qapi-visit', name) 17471b3f045SMarkus Armbruster self._genc.add(mcgen(''' 1759167ebd9SEric Blake#include "qemu/osdep.h" 1765d75648bSMarkus Armbruster#include "%(prefix)sqapi-emit-events.h" 1775d75648bSMarkus Armbruster#include "%(events)s.h" 1789af23989SMarkus Armbruster#include "%(visit)s.h" 179e688df6bSMarkus Armbruster#include "qapi/error.h" 180452fcdbcSMarkus Armbruster#include "qapi/qmp/qdict.h" 181b3db211fSDaniel P. Berrange#include "qapi/qobject-output-visitor.h" 18221cd70dfSWenchao Xia#include "qapi/qmp-event.h" 18321cd70dfSWenchao Xia 18421cd70dfSWenchao Xia''', 1855d75648bSMarkus Armbruster events=events, visit=visit, 1865d75648bSMarkus Armbruster prefix=self._prefix)) 18771b3f045SMarkus Armbruster self._genh.add(mcgen(''' 1885b5f825dSMarkus Armbruster#include "qapi/util.h" 1899af23989SMarkus Armbruster#include "%(types)s.h" 19021cd70dfSWenchao Xia''', 1919af23989SMarkus Armbruster types=types)) 19221cd70dfSWenchao Xia 193d1b21b39SJohn Snow def visit_end(self) -> None: 1945d75648bSMarkus Armbruster self._add_system_module('emit', ' * QAPI Events emission') 1955d75648bSMarkus Armbruster self._genc.preamble_add(mcgen(''' 1965d75648bSMarkus Armbruster#include "qemu/osdep.h" 1975d75648bSMarkus Armbruster#include "%(prefix)sqapi-emit-events.h" 1985d75648bSMarkus Armbruster''', 1995d75648bSMarkus Armbruster prefix=self._prefix)) 2005d75648bSMarkus Armbruster self._genh.preamble_add(mcgen(''' 2015d75648bSMarkus Armbruster#include "qapi/util.h" 2025d75648bSMarkus Armbruster''')) 2035d75648bSMarkus Armbruster self._genh.add(gen_enum(self._event_enum_name, 204a9529100SMarkus Armbruster self._event_enum_members)) 2055d75648bSMarkus Armbruster self._genc.add(gen_enum_lookup(self._event_enum_name, 2061962bd39SMarc-André Lureau self._event_enum_members)) 2075d75648bSMarkus Armbruster self._genh.add(mcgen(''' 208a9529100SMarkus Armbruster 209a9529100SMarkus Armbrustervoid %(event_emit)s(%(event_enum)s event, QDict *qdict); 210a9529100SMarkus Armbruster''', 211a9529100SMarkus Armbruster event_emit=self._event_emit_name, 212a9529100SMarkus Armbruster event_enum=self._event_enum_name)) 21371b3f045SMarkus Armbruster 214d1b21b39SJohn Snow def visit_event(self, 215d1b21b39SJohn Snow name: str, 216d1b21b39SJohn Snow info: QAPISourceInfo, 217d1b21b39SJohn Snow ifcond: List[str], 218d1b21b39SJohn Snow features: List[QAPISchemaFeature], 219*3cc01c54SJohn Snow arg_type: Optional[QAPISchemaObjectType], 220d1b21b39SJohn Snow boxed: bool) -> None: 221c3cd6aa0SMarc-André Lureau with ifcontext(ifcond, self._genh, self._genc): 22271b3f045SMarkus Armbruster self._genh.add(gen_event_send_decl(name, arg_type, boxed)) 223c3cd6aa0SMarc-André Lureau self._genc.add(gen_event_send(name, arg_type, boxed, 224a9529100SMarkus Armbruster self._event_enum_name, 225a9529100SMarkus Armbruster self._event_emit_name)) 226093e3679SMarkus Armbruster # Note: we generate the enum member regardless of @ifcond, to 227093e3679SMarkus Armbruster # keep the enumeration usable in target-independent code. 228e6f9678dSMarkus Armbruster self._event_enum_members.append(QAPISchemaEnumMember(name, None)) 22971b3f045SMarkus Armbruster 23071b3f045SMarkus Armbruster 231d1b21b39SJohn Snowdef gen_events(schema: QAPISchema, 232d1b21b39SJohn Snow output_dir: str, 233d1b21b39SJohn Snow prefix: str) -> None: 23493b564c4SMarkus Armbruster vis = QAPISchemaGenEventVisitor(prefix) 235d46eec42SMarkus Armbruster schema.visit(vis) 23671b3f045SMarkus Armbruster vis.write(output_dir) 237