1fb0bc835SMarkus Armbruster""" 2fb0bc835SMarkus ArmbrusterQAPI introspection generator 3fb0bc835SMarkus Armbruster 4cf26906cSJohn SnowCopyright (C) 2015-2021 Red Hat, Inc. 5fb0bc835SMarkus Armbruster 6fb0bc835SMarkus ArmbrusterAuthors: 7fb0bc835SMarkus Armbruster Markus Armbruster <armbru@redhat.com> 8cf26906cSJohn Snow John Snow <jsnow@redhat.com> 9fb0bc835SMarkus Armbruster 10fb0bc835SMarkus ArmbrusterThis work is licensed under the terms of the GNU GPL, version 2. 11fb0bc835SMarkus ArmbrusterSee the COPYING file in the top-level directory. 12fb0bc835SMarkus Armbruster""" 13fb0bc835SMarkus Armbruster 149db27346SJohn Snowfrom typing import ( 159db27346SJohn Snow Any, 169db27346SJohn Snow Dict, 174f7f97a7SJohn Snow Generic, 189db27346SJohn Snow List, 199db27346SJohn Snow Optional, 2082b52f6bSJohn Snow Sequence, 214f7f97a7SJohn Snow TypeVar, 229db27346SJohn Snow Union, 239db27346SJohn Snow) 245f50cedeSJohn Snow 25*1889e57aSMarkus Armbrusterfrom .common import c_name, mcgen 267137a960SJohn Snowfrom .gen import QAPISchemaMonolithicCVisitor 2767fea575SJohn Snowfrom .schema import ( 2882b52f6bSJohn Snow QAPISchema, 2967fea575SJohn Snow QAPISchemaArrayType, 3067fea575SJohn Snow QAPISchemaBuiltinType, 3182b52f6bSJohn Snow QAPISchemaEntity, 3282b52f6bSJohn Snow QAPISchemaEnumMember, 3382b52f6bSJohn Snow QAPISchemaFeature, 34f17539c8SMarc-André Lureau QAPISchemaIfCond, 3582b52f6bSJohn Snow QAPISchemaObjectType, 3682b52f6bSJohn Snow QAPISchemaObjectTypeMember, 3767fea575SJohn Snow QAPISchemaType, 3882b52f6bSJohn Snow QAPISchemaVariant, 3982b52f6bSJohn Snow QAPISchemaVariants, 4067fea575SJohn Snow) 4182b52f6bSJohn Snowfrom .source import QAPISourceInfo 42fb0bc835SMarkus Armbruster 43fb0bc835SMarkus Armbruster 449db27346SJohn Snow# This module constructs a tree data structure that is used to 459db27346SJohn Snow# generate the introspection information for QEMU. It is shaped 469db27346SJohn Snow# like a JSON value. 479db27346SJohn Snow# 489db27346SJohn Snow# A complexity over JSON is that our values may or may not be annotated. 499db27346SJohn Snow# 509db27346SJohn Snow# Un-annotated values may be: 519db27346SJohn Snow# Scalar: str, bool, None. 529db27346SJohn Snow# Non-scalar: List, Dict 539db27346SJohn Snow# _value = Union[str, bool, None, Dict[str, JSONValue], List[JSONValue]] 549db27346SJohn Snow# 559db27346SJohn Snow# With optional annotations, the type of all values is: 569db27346SJohn Snow# JSONValue = Union[_Value, Annotated[_Value]] 579db27346SJohn Snow# 589db27346SJohn Snow# Sadly, mypy does not support recursive types; so the _Stub alias is used to 599db27346SJohn Snow# mark the imprecision in the type model where we'd otherwise use JSONValue. 609db27346SJohn Snow_Stub = Any 619db27346SJohn Snow_Scalar = Union[str, bool, None] 629db27346SJohn Snow_NonScalar = Union[Dict[str, _Stub], List[_Stub]] 639db27346SJohn Snow_Value = Union[_Scalar, _NonScalar] 644f7f97a7SJohn SnowJSONValue = Union[_Value, 'Annotated[_Value]'] 659db27346SJohn Snow 6682b52f6bSJohn Snow# These types are based on structures defined in QEMU's schema, so we 6782b52f6bSJohn Snow# lack precise types for them here. Python 3.6 does not offer 6882b52f6bSJohn Snow# TypedDict constructs, so they are broadly typed here as simple 6982b52f6bSJohn Snow# Python Dicts. 7082b52f6bSJohn SnowSchemaInfo = Dict[str, object] 7182b52f6bSJohn SnowSchemaInfoObject = Dict[str, object] 7282b52f6bSJohn SnowSchemaInfoObjectVariant = Dict[str, object] 7382b52f6bSJohn SnowSchemaInfoObjectMember = Dict[str, object] 7482b52f6bSJohn SnowSchemaInfoCommand = Dict[str, object] 7582b52f6bSJohn Snow 769db27346SJohn Snow 774f7f97a7SJohn Snow_ValueT = TypeVar('_ValueT', bound=_Value) 784f7f97a7SJohn Snow 794f7f97a7SJohn Snow 804f7f97a7SJohn Snowclass Annotated(Generic[_ValueT]): 814f7f97a7SJohn Snow """ 824f7f97a7SJohn Snow Annotated generally contains a SchemaInfo-like type (as a dict), 834f7f97a7SJohn Snow But it also used to wrap comments/ifconds around scalar leaf values, 844f7f97a7SJohn Snow for the benefit of features and enums. 854f7f97a7SJohn Snow """ 864f7f97a7SJohn Snow # TODO: Remove after Python 3.7 adds @dataclass: 874f7f97a7SJohn Snow # pylint: disable=too-few-public-methods 88f17539c8SMarc-André Lureau def __init__(self, value: _ValueT, ifcond: QAPISchemaIfCond, 894f7f97a7SJohn Snow comment: Optional[str] = None): 904f7f97a7SJohn Snow self.value = value 914f7f97a7SJohn Snow self.comment: Optional[str] = comment 92f17539c8SMarc-André Lureau self.ifcond = ifcond 9324cfd6adSMarkus Armbruster 9424cfd6adSMarkus Armbruster 9582b52f6bSJohn Snowdef _tree_to_qlit(obj: JSONValue, 9682b52f6bSJohn Snow level: int = 0, 9782b52f6bSJohn Snow dict_value: bool = False) -> str: 985444dedfSJohn Snow """ 995444dedfSJohn Snow Convert the type tree into a QLIT C string, recursively. 1005444dedfSJohn Snow 1015444dedfSJohn Snow :param obj: The value to convert. 1025444dedfSJohn Snow This value may not be Annotated when dict_value is True. 1035444dedfSJohn Snow :param level: The indentation level for this particular value. 1045444dedfSJohn Snow :param dict_value: True when the value being processed belongs to a 1055444dedfSJohn Snow dict key; which suppresses the output indent. 1065444dedfSJohn Snow """ 1077d0f982bSMarc-André Lureau 10882b52f6bSJohn Snow def indent(level: int) -> str: 1097d0f982bSMarc-André Lureau return level * 4 * ' ' 1107d0f982bSMarc-André Lureau 1114f7f97a7SJohn Snow if isinstance(obj, Annotated): 11205556960SJohn Snow # NB: _tree_to_qlit is called recursively on the values of a 11305556960SJohn Snow # key:value pair; those values can't be decorated with 11405556960SJohn Snow # comments or conditionals. 11505556960SJohn Snow msg = "dict values cannot have attached comments or if-conditionals." 11605556960SJohn Snow assert not dict_value, msg 11705556960SJohn Snow 1188c643361SEric Blake ret = '' 1194f7f97a7SJohn Snow if obj.comment: 120c0e8d9f3SJohn Snow ret += indent(level) + f"/* {obj.comment} */\n" 12133aa3267SMarc-André Lureau if obj.ifcond.is_present(): 122*1889e57aSMarkus Armbruster ret += obj.ifcond.gen_if() 1234f7f97a7SJohn Snow ret += _tree_to_qlit(obj.value, level) 12433aa3267SMarc-André Lureau if obj.ifcond.is_present(): 125*1889e57aSMarkus Armbruster ret += '\n' + obj.ifcond.gen_endif() 126d626b6c1SMarc-André Lureau return ret 127d626b6c1SMarc-André Lureau 1287d0f982bSMarc-André Lureau ret = '' 12905556960SJohn Snow if not dict_value: 1307d0f982bSMarc-André Lureau ret += indent(level) 131c0e8d9f3SJohn Snow 132c0e8d9f3SJohn Snow # Scalars: 133fb0bc835SMarkus Armbruster if obj is None: 1347d0f982bSMarc-André Lureau ret += 'QLIT_QNULL' 135fb0bc835SMarkus Armbruster elif isinstance(obj, str): 136c0e8d9f3SJohn Snow ret += f"QLIT_QSTR({to_c_string(obj)})" 137c0e8d9f3SJohn Snow elif isinstance(obj, bool): 138c0e8d9f3SJohn Snow ret += f"QLIT_QBOOL({str(obj).lower()})" 139c0e8d9f3SJohn Snow 140c0e8d9f3SJohn Snow # Non-scalars: 141fb0bc835SMarkus Armbruster elif isinstance(obj, list): 1427d0f982bSMarc-André Lureau ret += 'QLIT_QLIST(((QLitObject[]) {\n' 143c0e8d9f3SJohn Snow for value in obj: 144c0e8d9f3SJohn Snow ret += _tree_to_qlit(value, level + 1).strip('\n') + '\n' 145c0e8d9f3SJohn Snow ret += indent(level + 1) + '{}\n' 1467d0f982bSMarc-André Lureau ret += indent(level) + '}))' 147fb0bc835SMarkus Armbruster elif isinstance(obj, dict): 1487d0f982bSMarc-André Lureau ret += 'QLIT_QDICT(((QLitDictEntry[]) {\n' 149c0e8d9f3SJohn Snow for key, value in sorted(obj.items()): 150c0e8d9f3SJohn Snow ret += indent(level + 1) + "{{ {:s}, {:s} }},\n".format( 151c0e8d9f3SJohn Snow to_c_string(key), 152c0e8d9f3SJohn Snow _tree_to_qlit(value, level + 1, dict_value=True) 153c0e8d9f3SJohn Snow ) 154c0e8d9f3SJohn Snow ret += indent(level + 1) + '{}\n' 1557d0f982bSMarc-André Lureau ret += indent(level) + '}))' 156fb0bc835SMarkus Armbruster else: 1572a6c161bSJohn Snow raise NotImplementedError( 1582a6c161bSJohn Snow f"type '{type(obj).__name__}' not implemented" 1592a6c161bSJohn Snow ) 160c0e8d9f3SJohn Snow 16140bb1376SMarc-André Lureau if level > 0: 16240bb1376SMarc-André Lureau ret += ',' 163fb0bc835SMarkus Armbruster return ret 164fb0bc835SMarkus Armbruster 165fb0bc835SMarkus Armbruster 16682b52f6bSJohn Snowdef to_c_string(string: str) -> str: 167fb0bc835SMarkus Armbruster return '"' + string.replace('\\', r'\\').replace('"', r'\"') + '"' 168fb0bc835SMarkus Armbruster 169fb0bc835SMarkus Armbruster 17071b3f045SMarkus Armbrusterclass QAPISchemaGenIntrospectVisitor(QAPISchemaMonolithicCVisitor): 171fb0bc835SMarkus Armbruster 17282b52f6bSJohn Snow def __init__(self, prefix: str, unmask: bool): 1732cae67bcSMarkus Armbruster super().__init__( 1742cae67bcSMarkus Armbruster prefix, 'qapi-introspect', 17571b3f045SMarkus Armbruster ' * QAPI/QMP schema introspection', __doc__) 17671b3f045SMarkus Armbruster self._unmask = unmask 17782b52f6bSJohn Snow self._schema: Optional[QAPISchema] = None 17882b52f6bSJohn Snow self._trees: List[Annotated[SchemaInfo]] = [] 17982b52f6bSJohn Snow self._used_types: List[QAPISchemaType] = [] 18082b52f6bSJohn Snow self._name_map: Dict[str, str] = {} 18171b3f045SMarkus Armbruster self._genc.add(mcgen(''' 18271b3f045SMarkus Armbruster#include "qemu/osdep.h" 183eb815e24SMarkus Armbruster#include "%(prefix)sqapi-introspect.h" 18471b3f045SMarkus Armbruster 18571b3f045SMarkus Armbruster''', 18671b3f045SMarkus Armbruster prefix=prefix)) 18771b3f045SMarkus Armbruster 18882b52f6bSJohn Snow def visit_begin(self, schema: QAPISchema) -> None: 18971b3f045SMarkus Armbruster self._schema = schema 190fb0bc835SMarkus Armbruster 19182b52f6bSJohn Snow def visit_end(self) -> None: 192fb0bc835SMarkus Armbruster # visit the types that are actually used 193fb0bc835SMarkus Armbruster for typ in self._used_types: 194fb0bc835SMarkus Armbruster typ.visit(self) 195fb0bc835SMarkus Armbruster # generate C 1967d0f982bSMarc-André Lureau name = c_name(self._prefix, protect=False) + 'qmp_schema_qlit' 19771b3f045SMarkus Armbruster self._genh.add(mcgen(''' 1987d0f982bSMarc-André Lureau#include "qapi/qmp/qlit.h" 1997d0f982bSMarc-André Lureau 2007d0f982bSMarc-André Lureauextern const QLitObject %(c_name)s; 201fb0bc835SMarkus Armbruster''', 20271b3f045SMarkus Armbruster c_name=c_name(name))) 20371b3f045SMarkus Armbruster self._genc.add(mcgen(''' 2047d0f982bSMarc-André Lureauconst QLitObject %(c_name)s = %(c_string)s; 205fb0bc835SMarkus Armbruster''', 206fb0bc835SMarkus Armbruster c_name=c_name(name), 2072e8a843dSMarkus Armbruster c_string=_tree_to_qlit(self._trees))) 208fb0bc835SMarkus Armbruster self._schema = None 2092e8a843dSMarkus Armbruster self._trees = [] 21071b3f045SMarkus Armbruster self._used_types = [] 21171b3f045SMarkus Armbruster self._name_map = {} 212fb0bc835SMarkus Armbruster 21382b52f6bSJohn Snow def visit_needed(self, entity: QAPISchemaEntity) -> bool: 214fb0bc835SMarkus Armbruster # Ignore types on first pass; visit_end() will pick up used types 215fb0bc835SMarkus Armbruster return not isinstance(entity, QAPISchemaType) 216fb0bc835SMarkus Armbruster 21782b52f6bSJohn Snow def _name(self, name: str) -> str: 218fb0bc835SMarkus Armbruster if self._unmask: 219fb0bc835SMarkus Armbruster return name 220fb0bc835SMarkus Armbruster if name not in self._name_map: 221fb0bc835SMarkus Armbruster self._name_map[name] = '%d' % len(self._name_map) 222fb0bc835SMarkus Armbruster return self._name_map[name] 223fb0bc835SMarkus Armbruster 22482b52f6bSJohn Snow def _use_type(self, typ: QAPISchemaType) -> str: 2256b67bcacSJohn Snow assert self._schema is not None 2266b67bcacSJohn Snow 227fb0bc835SMarkus Armbruster # Map the various integer types to plain int 228fb0bc835SMarkus Armbruster if typ.json_type() == 'int': 229fb0bc835SMarkus Armbruster typ = self._schema.lookup_type('int') 230fb0bc835SMarkus Armbruster elif (isinstance(typ, QAPISchemaArrayType) and 231fb0bc835SMarkus Armbruster typ.element_type.json_type() == 'int'): 232fb0bc835SMarkus Armbruster typ = self._schema.lookup_type('intList') 233fb0bc835SMarkus Armbruster # Add type to work queue if new 234fb0bc835SMarkus Armbruster if typ not in self._used_types: 235fb0bc835SMarkus Armbruster self._used_types.append(typ) 236fb0bc835SMarkus Armbruster # Clients should examine commands and events, not types. Hide 2371aa806ccSEric Blake # type names as integers to reduce the temptation. Also, it 2381aa806ccSEric Blake # saves a few characters on the wire. 239fb0bc835SMarkus Armbruster if isinstance(typ, QAPISchemaBuiltinType): 240fb0bc835SMarkus Armbruster return typ.name 241fb0bc835SMarkus Armbruster if isinstance(typ, QAPISchemaArrayType): 242fb0bc835SMarkus Armbruster return '[' + self._use_type(typ.element_type) + ']' 243fb0bc835SMarkus Armbruster return self._name(typ.name) 244fb0bc835SMarkus Armbruster 24584bece7dSJohn Snow @staticmethod 246cea53c31SJohn Snow def _gen_features(features: Sequence[QAPISchemaFeature] 24782b52f6bSJohn Snow ) -> List[Annotated[str]]: 2484f7f97a7SJohn Snow return [Annotated(f.name, f.ifcond) for f in features] 24984bece7dSJohn Snow 25082b52f6bSJohn Snow def _gen_tree(self, name: str, mtype: str, obj: Dict[str, object], 251f17539c8SMarc-André Lureau ifcond: QAPISchemaIfCond = QAPISchemaIfCond(), 252cea53c31SJohn Snow features: Sequence[QAPISchemaFeature] = ()) -> None: 2535444dedfSJohn Snow """ 2545444dedfSJohn Snow Build and append a SchemaInfo object to self._trees. 2555444dedfSJohn Snow 2565444dedfSJohn Snow :param name: The SchemaInfo's name. 2575444dedfSJohn Snow :param mtype: The SchemaInfo's meta-type. 2585444dedfSJohn Snow :param obj: Additional SchemaInfo members, as appropriate for 2595444dedfSJohn Snow the meta-type. 2605444dedfSJohn Snow :param ifcond: Conditionals to apply to the SchemaInfo. 2615444dedfSJohn Snow :param features: The SchemaInfo's features. 2625444dedfSJohn Snow Will be omitted from the output if empty. 2635444dedfSJohn Snow """ 2645f50cedeSJohn Snow comment: Optional[str] = None 265fb0bc835SMarkus Armbruster if mtype not in ('command', 'event', 'builtin', 'array'): 2668c643361SEric Blake if not self._unmask: 2678c643361SEric Blake # Output a comment to make it easy to map masked names 2688c643361SEric Blake # back to the source when reading the generated output. 2695f50cedeSJohn Snow comment = f'"{self._name(name)}" = {name}' 270fb0bc835SMarkus Armbruster name = self._name(name) 271fb0bc835SMarkus Armbruster obj['name'] = name 272fb0bc835SMarkus Armbruster obj['meta-type'] = mtype 27384bece7dSJohn Snow if features: 27484bece7dSJohn Snow obj['features'] = self._gen_features(features) 2754f7f97a7SJohn Snow self._trees.append(Annotated(obj, ifcond, comment)) 276fb0bc835SMarkus Armbruster 27782b52f6bSJohn Snow def _gen_member(self, member: QAPISchemaObjectTypeMember 27882b52f6bSJohn Snow ) -> Annotated[SchemaInfoObjectMember]: 27982b52f6bSJohn Snow obj: SchemaInfoObjectMember = { 28082b52f6bSJohn Snow 'name': member.name, 28182b52f6bSJohn Snow 'type': self._use_type(member.type) 28282b52f6bSJohn Snow } 283fb0bc835SMarkus Armbruster if member.optional: 28424cfd6adSMarkus Armbruster obj['default'] = None 28584bece7dSJohn Snow if member.features: 28684bece7dSJohn Snow obj['features'] = self._gen_features(member.features) 2874f7f97a7SJohn Snow return Annotated(obj, member.ifcond) 288fb0bc835SMarkus Armbruster 28982b52f6bSJohn Snow def _gen_variant(self, variant: QAPISchemaVariant 29082b52f6bSJohn Snow ) -> Annotated[SchemaInfoObjectVariant]: 29182b52f6bSJohn Snow obj: SchemaInfoObjectVariant = { 29282b52f6bSJohn Snow 'case': variant.name, 29382b52f6bSJohn Snow 'type': self._use_type(variant.type) 29482b52f6bSJohn Snow } 2954f7f97a7SJohn Snow return Annotated(obj, variant.ifcond) 296fb0bc835SMarkus Armbruster 29782b52f6bSJohn Snow def visit_builtin_type(self, name: str, info: Optional[QAPISourceInfo], 29882b52f6bSJohn Snow json_type: str) -> None: 2999b77d946SJohn Snow self._gen_tree(name, 'builtin', {'json-type': json_type}) 300fb0bc835SMarkus Armbruster 30182b52f6bSJohn Snow def visit_enum_type(self, name: str, info: Optional[QAPISourceInfo], 302f17539c8SMarc-André Lureau ifcond: QAPISchemaIfCond, 30382b52f6bSJohn Snow features: List[QAPISchemaFeature], 30482b52f6bSJohn Snow members: List[QAPISchemaEnumMember], 30582b52f6bSJohn Snow prefix: Optional[str]) -> None: 3064f7f97a7SJohn Snow self._gen_tree( 3074f7f97a7SJohn Snow name, 'enum', 3084f7f97a7SJohn Snow {'values': [Annotated(m.name, m.ifcond) for m in members]}, 3094f7f97a7SJohn Snow ifcond, features 3104f7f97a7SJohn Snow ) 311fb0bc835SMarkus Armbruster 31282b52f6bSJohn Snow def visit_array_type(self, name: str, info: Optional[QAPISourceInfo], 313f17539c8SMarc-André Lureau ifcond: QAPISchemaIfCond, 31482b52f6bSJohn Snow element_type: QAPISchemaType) -> None: 315fb0bc835SMarkus Armbruster element = self._use_type(element_type) 3162e8a843dSMarkus Armbruster self._gen_tree('[' + element + ']', 'array', {'element-type': element}, 317cea53c31SJohn Snow ifcond) 318fb0bc835SMarkus Armbruster 31982b52f6bSJohn Snow def visit_object_type_flat(self, name: str, info: Optional[QAPISourceInfo], 320f17539c8SMarc-André Lureau ifcond: QAPISchemaIfCond, 32182b52f6bSJohn Snow features: List[QAPISchemaFeature], 32282b52f6bSJohn Snow members: List[QAPISchemaObjectTypeMember], 32382b52f6bSJohn Snow variants: Optional[QAPISchemaVariants]) -> None: 32482b52f6bSJohn Snow obj: SchemaInfoObject = { 32582b52f6bSJohn Snow 'members': [self._gen_member(m) for m in members] 32682b52f6bSJohn Snow } 327fb0bc835SMarkus Armbruster if variants: 328cf5db214SJohn Snow obj['tag'] = variants.tag_member.name 329cf5db214SJohn Snow obj['variants'] = [self._gen_variant(v) for v in variants.variants] 3302e8a843dSMarkus Armbruster self._gen_tree(name, 'object', obj, ifcond, features) 331fb0bc835SMarkus Armbruster 33282b52f6bSJohn Snow def visit_alternate_type(self, name: str, info: Optional[QAPISourceInfo], 333f17539c8SMarc-André Lureau ifcond: QAPISchemaIfCond, 33482b52f6bSJohn Snow features: List[QAPISchemaFeature], 33582b52f6bSJohn Snow variants: QAPISchemaVariants) -> None: 3364f7f97a7SJohn Snow self._gen_tree( 3374f7f97a7SJohn Snow name, 'alternate', 3384f7f97a7SJohn Snow {'members': [Annotated({'type': self._use_type(m.type)}, 3394f7f97a7SJohn Snow m.ifcond) 340013b4efcSMarkus Armbruster for m in variants.variants]}, 3414f7f97a7SJohn Snow ifcond, features 3424f7f97a7SJohn Snow ) 343fb0bc835SMarkus Armbruster 34482b52f6bSJohn Snow def visit_command(self, name: str, info: Optional[QAPISourceInfo], 345f17539c8SMarc-André Lureau ifcond: QAPISchemaIfCond, 34682b52f6bSJohn Snow features: List[QAPISchemaFeature], 34782b52f6bSJohn Snow arg_type: Optional[QAPISchemaObjectType], 34882b52f6bSJohn Snow ret_type: Optional[QAPISchemaType], gen: bool, 34982b52f6bSJohn Snow success_response: bool, boxed: bool, allow_oob: bool, 35082b52f6bSJohn Snow allow_preconfig: bool, coroutine: bool) -> None: 3516b67bcacSJohn Snow assert self._schema is not None 3526b67bcacSJohn Snow 353fb0bc835SMarkus Armbruster arg_type = arg_type or self._schema.the_empty_object_type 354fb0bc835SMarkus Armbruster ret_type = ret_type or self._schema.the_empty_object_type 35582b52f6bSJohn Snow obj: SchemaInfoCommand = { 35682b52f6bSJohn Snow 'arg-type': self._use_type(arg_type), 35782b52f6bSJohn Snow 'ret-type': self._use_type(ret_type) 35882b52f6bSJohn Snow } 35925b1ef31SMarkus Armbruster if allow_oob: 36025b1ef31SMarkus Armbruster obj['allow-oob'] = allow_oob 3612e8a843dSMarkus Armbruster self._gen_tree(name, 'command', obj, ifcond, features) 36223394b4cSPeter Krempa 36382b52f6bSJohn Snow def visit_event(self, name: str, info: Optional[QAPISourceInfo], 364f17539c8SMarc-André Lureau ifcond: QAPISchemaIfCond, 365f17539c8SMarc-André Lureau features: List[QAPISchemaFeature], 36682b52f6bSJohn Snow arg_type: Optional[QAPISchemaObjectType], 36782b52f6bSJohn Snow boxed: bool) -> None: 3686b67bcacSJohn Snow assert self._schema is not None 36982b52f6bSJohn Snow 370fb0bc835SMarkus Armbruster arg_type = arg_type or self._schema.the_empty_object_type 3712e8a843dSMarkus Armbruster self._gen_tree(name, 'event', {'arg-type': self._use_type(arg_type)}, 372013b4efcSMarkus Armbruster ifcond, features) 373fb0bc835SMarkus Armbruster 374fb0bc835SMarkus Armbruster 37582b52f6bSJohn Snowdef gen_introspect(schema: QAPISchema, output_dir: str, prefix: str, 37682b52f6bSJohn Snow opt_unmask: bool) -> None: 377fb0bc835SMarkus Armbruster vis = QAPISchemaGenIntrospectVisitor(prefix, opt_unmask) 378fb0bc835SMarkus Armbruster schema.visit(vis) 37971b3f045SMarkus Armbruster vis.write(output_dir) 380