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 15d1b21b39SJohn Snowfrom typing import List 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, 30d1b21b39SJohn Snow arg_type: 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, 38d1b21b39SJohn Snow arg_type: 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: 48*1a503761SJohn Snow """ 49*1a503761SJohn Snow Generate a struct variable holding the event parameters. 50*1a503761SJohn Snow 51*1a503761SJohn Snow Initialize it with the function arguments defined in `gen_event_send`. 52*1a503761SJohn 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, 81d1b21b39SJohn Snow arg_type: 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: 102e98859a9SMarkus Armbruster ret += mcgen(''' 1033b098d56SEric Blake QObject *obj; 10421cd70dfSWenchao Xia Visitor *v; 105e98859a9SMarkus Armbruster''') 106c818408eSEric Blake if not boxed: 1070949e95bSEric Blake ret += gen_param_var(arg_type) 10821cd70dfSWenchao Xia 109e98859a9SMarkus Armbruster ret += mcgen(''' 1100949e95bSEric Blake 111e98859a9SMarkus Armbruster qmp = qmp_event_build_dict("%(name)s"); 11221cd70dfSWenchao Xia 113e98859a9SMarkus Armbruster''', 114e98859a9SMarkus Armbruster name=name) 11521cd70dfSWenchao Xia 116675b214bSMarkus Armbruster if have_args: 117e98859a9SMarkus Armbruster ret += mcgen(''' 1187d5e199aSDaniel P. Berrange v = qobject_output_visitor_new(&obj); 1194d0b268fSEric Blake''') 1204d0b268fSEric Blake if not arg_type.is_implicit(): 1214d0b268fSEric Blake ret += mcgen(''' 1223ab72385SPeter Xu visit_type_%(c_name)s(v, "%(name)s", &arg, &error_abort); 1234d0b268fSEric Blake''', 1244d0b268fSEric Blake name=name, c_name=arg_type.c_name()) 1254d0b268fSEric Blake else: 1264d0b268fSEric Blake ret += mcgen(''' 12721cd70dfSWenchao Xia 1283ab72385SPeter Xu visit_start_struct(v, "%(name)s", NULL, 0, &error_abort); 1293ab72385SPeter Xu visit_type_%(c_name)s_members(v, ¶m, &error_abort); 1303ab72385SPeter Xu visit_check_struct(v, &error_abort); 1311158bb2aSEric Blake visit_end_struct(v, NULL); 1324d0b268fSEric Blake''', 1334d0b268fSEric Blake name=name, c_name=arg_type.c_name()) 1344d0b268fSEric Blake ret += mcgen(''' 13521cd70dfSWenchao Xia 1363b098d56SEric Blake visit_complete(v, &obj); 1373b098d56SEric Blake qdict_put_obj(qmp, "data", obj); 1384d0b268fSEric Blake''') 13921cd70dfSWenchao Xia 140e98859a9SMarkus Armbruster ret += mcgen(''' 141a9529100SMarkus Armbruster %(event_emit)s(%(c_enum)s, qmp); 14221cd70dfSWenchao Xia 143e98859a9SMarkus Armbruster''', 144a9529100SMarkus Armbruster event_emit=event_emit, 145e98859a9SMarkus Armbruster c_enum=c_enum_const(event_enum_name, name)) 14621cd70dfSWenchao Xia 147675b214bSMarkus Armbruster if have_args: 148e98859a9SMarkus Armbruster ret += mcgen(''' 1492c0ef9f4SEric Blake visit_free(v); 150e98859a9SMarkus Armbruster''') 151e98859a9SMarkus Armbruster ret += mcgen(''' 152cb3e7f08SMarc-André Lureau qobject_unref(qmp); 15321cd70dfSWenchao Xia} 154e98859a9SMarkus Armbruster''') 15521cd70dfSWenchao Xia return ret 15621cd70dfSWenchao Xia 15705f43a96SMarkus Armbruster 158252dc310SMarkus Armbrusterclass QAPISchemaGenEventVisitor(QAPISchemaModularCVisitor): 15971b3f045SMarkus Armbruster 160d1b21b39SJohn Snow def __init__(self, prefix: str): 1612cae67bcSMarkus Armbruster super().__init__( 1622cae67bcSMarkus Armbruster prefix, 'qapi-events', 1633bef3aaeSMarkus Armbruster ' * Schema-defined QAPI/QMP events', None, __doc__) 1641962bd39SMarc-André Lureau self._event_enum_name = c_name(prefix + 'QAPIEvent', protect=False) 165d1b21b39SJohn Snow self._event_enum_members: List[QAPISchemaEnumMember] = [] 166a9529100SMarkus Armbruster self._event_emit_name = c_name(prefix + 'qapi_event_emit') 167252dc310SMarkus Armbruster 168d1b21b39SJohn Snow def _begin_user_module(self, name: str) -> None: 1695d75648bSMarkus Armbruster events = self._module_basename('qapi-events', name) 1709af23989SMarkus Armbruster types = self._module_basename('qapi-types', name) 1719af23989SMarkus Armbruster visit = self._module_basename('qapi-visit', name) 17271b3f045SMarkus Armbruster self._genc.add(mcgen(''' 1739167ebd9SEric Blake#include "qemu/osdep.h" 1745d75648bSMarkus Armbruster#include "%(prefix)sqapi-emit-events.h" 1755d75648bSMarkus Armbruster#include "%(events)s.h" 1769af23989SMarkus Armbruster#include "%(visit)s.h" 177e688df6bSMarkus Armbruster#include "qapi/error.h" 178452fcdbcSMarkus Armbruster#include "qapi/qmp/qdict.h" 179b3db211fSDaniel P. Berrange#include "qapi/qobject-output-visitor.h" 18021cd70dfSWenchao Xia#include "qapi/qmp-event.h" 18121cd70dfSWenchao Xia 18221cd70dfSWenchao Xia''', 1835d75648bSMarkus Armbruster events=events, visit=visit, 1845d75648bSMarkus Armbruster prefix=self._prefix)) 18571b3f045SMarkus Armbruster self._genh.add(mcgen(''' 1865b5f825dSMarkus Armbruster#include "qapi/util.h" 1879af23989SMarkus Armbruster#include "%(types)s.h" 18821cd70dfSWenchao Xia''', 1899af23989SMarkus Armbruster types=types)) 19021cd70dfSWenchao Xia 191d1b21b39SJohn Snow def visit_end(self) -> None: 1925d75648bSMarkus Armbruster self._add_system_module('emit', ' * QAPI Events emission') 1935d75648bSMarkus Armbruster self._genc.preamble_add(mcgen(''' 1945d75648bSMarkus Armbruster#include "qemu/osdep.h" 1955d75648bSMarkus Armbruster#include "%(prefix)sqapi-emit-events.h" 1965d75648bSMarkus Armbruster''', 1975d75648bSMarkus Armbruster prefix=self._prefix)) 1985d75648bSMarkus Armbruster self._genh.preamble_add(mcgen(''' 1995d75648bSMarkus Armbruster#include "qapi/util.h" 2005d75648bSMarkus Armbruster''')) 2015d75648bSMarkus Armbruster self._genh.add(gen_enum(self._event_enum_name, 202a9529100SMarkus Armbruster self._event_enum_members)) 2035d75648bSMarkus Armbruster self._genc.add(gen_enum_lookup(self._event_enum_name, 2041962bd39SMarc-André Lureau self._event_enum_members)) 2055d75648bSMarkus Armbruster self._genh.add(mcgen(''' 206a9529100SMarkus Armbruster 207a9529100SMarkus Armbrustervoid %(event_emit)s(%(event_enum)s event, QDict *qdict); 208a9529100SMarkus Armbruster''', 209a9529100SMarkus Armbruster event_emit=self._event_emit_name, 210a9529100SMarkus Armbruster event_enum=self._event_enum_name)) 21171b3f045SMarkus Armbruster 212d1b21b39SJohn Snow def visit_event(self, 213d1b21b39SJohn Snow name: str, 214d1b21b39SJohn Snow info: QAPISourceInfo, 215d1b21b39SJohn Snow ifcond: List[str], 216d1b21b39SJohn Snow features: List[QAPISchemaFeature], 217d1b21b39SJohn Snow arg_type: QAPISchemaObjectType, 218d1b21b39SJohn Snow boxed: bool) -> None: 219c3cd6aa0SMarc-André Lureau with ifcontext(ifcond, self._genh, self._genc): 22071b3f045SMarkus Armbruster self._genh.add(gen_event_send_decl(name, arg_type, boxed)) 221c3cd6aa0SMarc-André Lureau self._genc.add(gen_event_send(name, arg_type, boxed, 222a9529100SMarkus Armbruster self._event_enum_name, 223a9529100SMarkus Armbruster self._event_emit_name)) 224093e3679SMarkus Armbruster # Note: we generate the enum member regardless of @ifcond, to 225093e3679SMarkus Armbruster # keep the enumeration usable in target-independent code. 226e6f9678dSMarkus Armbruster self._event_enum_members.append(QAPISchemaEnumMember(name, None)) 22771b3f045SMarkus Armbruster 22871b3f045SMarkus Armbruster 229d1b21b39SJohn Snowdef gen_events(schema: QAPISchema, 230d1b21b39SJohn Snow output_dir: str, 231d1b21b39SJohn Snow prefix: str) -> None: 23293b564c4SMarkus Armbruster vis = QAPISchemaGenEventVisitor(prefix) 233d46eec42SMarkus Armbruster schema.visit(vis) 23471b3f045SMarkus Armbruster vis.write(output_dir) 235