139a18158SMarkus Armbruster# -*- Mode: Python -*- 239a18158SMarkus Armbruster# 339a18158SMarkus Armbruster# Copyright (C) 2015 Red Hat, Inc. 439a18158SMarkus Armbruster# 539a18158SMarkus Armbruster# Authors: 639a18158SMarkus Armbruster# Markus Armbruster <armbru@redhat.com> 739a18158SMarkus Armbruster# 839a18158SMarkus Armbruster# This work is licensed under the terms of the GNU GPL, version 2 or later. 939a18158SMarkus Armbruster# See the COPYING file in the top-level directory. 1039a18158SMarkus Armbruster 1139a18158SMarkus Armbruster## 12a885cd39SMarkus Armbruster# = QMP introspection 13a885cd39SMarkus Armbruster## 14a885cd39SMarkus Armbruster 15a885cd39SMarkus Armbruster## 165072f7b3SMarc-André Lureau# @query-qmp-schema: 1739a18158SMarkus Armbruster# 1839a18158SMarkus Armbruster# Command query-qmp-schema exposes the QMP wire ABI as an array of 1939a18158SMarkus Armbruster# SchemaInfo. This lets QMP clients figure out what commands and 2039a18158SMarkus Armbruster# events are available in this QEMU, and their parameters and results. 2139a18158SMarkus Armbruster# 2239a18158SMarkus Armbruster# However, the SchemaInfo can't reflect all the rules and restrictions 2339a18158SMarkus Armbruster# that apply to QMP. It's interface introspection (figuring out 2439a18158SMarkus Armbruster# what's there), not interface specification. The specification is in 2539a18158SMarkus Armbruster# the QAPI schema. 2639a18158SMarkus Armbruster# 2739a65e2cSEric Blake# Furthermore, while we strive to keep the QMP wire format 2839a65e2cSEric Blake# backwards-compatible across qemu versions, the introspection output 2939a65e2cSEric Blake# is not guaranteed to have the same stability. For example, one 3039a65e2cSEric Blake# version of qemu may list an object member as an optional 3139a65e2cSEric Blake# non-variant, while another lists the same member only through the 3239a65e2cSEric Blake# object's variants; or the type of a member may change from a generic 3339a65e2cSEric Blake# string into a specific enum or from one specific type into an 3439a65e2cSEric Blake# alternate that includes the original type alongside something else. 3539a65e2cSEric Blake# 3639a18158SMarkus Armbruster# Returns: array of @SchemaInfo, where each element describes an 3739a18158SMarkus Armbruster# entity in the ABI: command, event, type, ... 3839a18158SMarkus Armbruster# 39f5455044SEric Blake# The order of the various SchemaInfo is unspecified; however, all 40f5455044SEric Blake# names are guaranteed to be unique (no name will be duplicated with 41f5455044SEric Blake# different meta-types). 42f5455044SEric Blake# 4339a18158SMarkus Armbruster# Note: the QAPI schema is also used to help define *internal* 4439a18158SMarkus Armbruster# interfaces, by defining QAPI types. These are not part of the QMP 4539a18158SMarkus Armbruster# wire ABI, and therefore not returned by this command. 4639a18158SMarkus Armbruster# 4739a18158SMarkus Armbruster# Since: 2.5 4839a18158SMarkus Armbruster## 4939a18158SMarkus Armbruster{ 'command': 'query-qmp-schema', 5039a18158SMarkus Armbruster 'returns': [ 'SchemaInfo' ], 5139a18158SMarkus Armbruster 'gen': false } # just to simplify qmp_query_json() 5239a18158SMarkus Armbruster 5339a18158SMarkus Armbruster## 545072f7b3SMarc-André Lureau# @SchemaMetaType: 5539a18158SMarkus Armbruster# 5639a18158SMarkus Armbruster# This is a @SchemaInfo's meta type, i.e. the kind of entity it 5739a18158SMarkus Armbruster# describes. 5839a18158SMarkus Armbruster# 5939a18158SMarkus Armbruster# @builtin: a predefined type such as 'int' or 'bool'. 6039a18158SMarkus Armbruster# 6139a18158SMarkus Armbruster# @enum: an enumeration type 6239a18158SMarkus Armbruster# 6339a18158SMarkus Armbruster# @array: an array type 6439a18158SMarkus Armbruster# 6539a18158SMarkus Armbruster# @object: an object type (struct or union) 6639a18158SMarkus Armbruster# 6739a18158SMarkus Armbruster# @alternate: an alternate type 6839a18158SMarkus Armbruster# 6939a18158SMarkus Armbruster# @command: a QMP command 7039a18158SMarkus Armbruster# 7139a18158SMarkus Armbruster# @event: a QMP event 7239a18158SMarkus Armbruster# 7339a18158SMarkus Armbruster# Since: 2.5 7439a18158SMarkus Armbruster## 7539a18158SMarkus Armbruster{ 'enum': 'SchemaMetaType', 7639a18158SMarkus Armbruster 'data': [ 'builtin', 'enum', 'array', 'object', 'alternate', 7739a18158SMarkus Armbruster 'command', 'event' ] } 7839a18158SMarkus Armbruster 7939a18158SMarkus Armbruster## 805072f7b3SMarc-André Lureau# @SchemaInfo: 8139a18158SMarkus Armbruster# 8239a18158SMarkus Armbruster# @name: the entity's name, inherited from @base. 835807ff88SMarc-André Lureau# The SchemaInfo is always referenced by this name. 841a9a507bSMarkus Armbruster# Commands and events have the name defined in the QAPI schema. 851a9a507bSMarkus Armbruster# Unlike command and event names, type names are not part of 861a9a507bSMarkus Armbruster# the wire ABI. Consequently, type names are meaningless 87f5455044SEric Blake# strings here, although they are still guaranteed unique 88f5455044SEric Blake# regardless of @meta-type. 8939a18158SMarkus Armbruster# 9039a18158SMarkus Armbruster# @meta-type: the entity's meta type, inherited from @base. 9139a18158SMarkus Armbruster# 92013b4efcSMarkus Armbruster# @features: names of features associated with the entity, in no 93013b4efcSMarkus Armbruster# particular order. 94013b4efcSMarkus Armbruster# (since 4.1 for object types, 4.2 for commands, 5.0 for 95013b4efcSMarkus Armbruster# the rest) 96013b4efcSMarkus Armbruster# 9739a18158SMarkus Armbruster# Additional members depend on the value of @meta-type. 9839a18158SMarkus Armbruster# 9939a18158SMarkus Armbruster# Since: 2.5 10039a18158SMarkus Armbruster## 10139a18158SMarkus Armbruster{ 'union': 'SchemaInfo', 102013b4efcSMarkus Armbruster 'base': { 'name': 'str', 'meta-type': 'SchemaMetaType', 103013b4efcSMarkus Armbruster '*features': [ 'str' ] }, 10439a18158SMarkus Armbruster 'discriminator': 'meta-type', 10539a18158SMarkus Armbruster 'data': { 10639a18158SMarkus Armbruster 'builtin': 'SchemaInfoBuiltin', 10739a18158SMarkus Armbruster 'enum': 'SchemaInfoEnum', 10839a18158SMarkus Armbruster 'array': 'SchemaInfoArray', 10939a18158SMarkus Armbruster 'object': 'SchemaInfoObject', 11039a18158SMarkus Armbruster 'alternate': 'SchemaInfoAlternate', 11139a18158SMarkus Armbruster 'command': 'SchemaInfoCommand', 11239a18158SMarkus Armbruster 'event': 'SchemaInfoEvent' } } 11339a18158SMarkus Armbruster 11439a18158SMarkus Armbruster## 1155072f7b3SMarc-André Lureau# @SchemaInfoBuiltin: 11639a18158SMarkus Armbruster# 11739a18158SMarkus Armbruster# Additional SchemaInfo members for meta-type 'builtin'. 11839a18158SMarkus Armbruster# 11939a18158SMarkus Armbruster# @json-type: the JSON type used for this type on the wire. 12039a18158SMarkus Armbruster# 12139a18158SMarkus Armbruster# Since: 2.5 12239a18158SMarkus Armbruster## 12339a18158SMarkus Armbruster{ 'struct': 'SchemaInfoBuiltin', 12439a18158SMarkus Armbruster 'data': { 'json-type': 'JSONType' } } 12539a18158SMarkus Armbruster 12639a18158SMarkus Armbruster## 1275072f7b3SMarc-André Lureau# @JSONType: 12839a18158SMarkus Armbruster# 12937aded92SMarkus Armbruster# The four primitive and two structured types according to RFC 8259 13039a18158SMarkus Armbruster# section 1, plus 'int' (split off 'number'), plus the obvious top 13139a18158SMarkus Armbruster# type 'value'. 13239a18158SMarkus Armbruster# 13339a18158SMarkus Armbruster# Since: 2.5 13439a18158SMarkus Armbruster## 13539a18158SMarkus Armbruster{ 'enum': 'JSONType', 13639a18158SMarkus Armbruster 'data': [ 'string', 'number', 'int', 'boolean', 'null', 13739a18158SMarkus Armbruster 'object', 'array', 'value' ] } 13839a18158SMarkus Armbruster 13939a18158SMarkus Armbruster## 1405072f7b3SMarc-André Lureau# @SchemaInfoEnum: 14139a18158SMarkus Armbruster# 14239a18158SMarkus Armbruster# Additional SchemaInfo members for meta-type 'enum'. 14339a18158SMarkus Armbruster# 144f5455044SEric Blake# @values: the enumeration type's values, in no particular order. 14539a18158SMarkus Armbruster# 14639a18158SMarkus Armbruster# Values of this type are JSON string on the wire. 14739a18158SMarkus Armbruster# 14839a18158SMarkus Armbruster# Since: 2.5 14939a18158SMarkus Armbruster## 15039a18158SMarkus Armbruster{ 'struct': 'SchemaInfoEnum', 15139a18158SMarkus Armbruster 'data': { 'values': ['str'] } } 15239a18158SMarkus Armbruster 15339a18158SMarkus Armbruster## 1545072f7b3SMarc-André Lureau# @SchemaInfoArray: 15539a18158SMarkus Armbruster# 15639a18158SMarkus Armbruster# Additional SchemaInfo members for meta-type 'array'. 15739a18158SMarkus Armbruster# 15839a18158SMarkus Armbruster# @element-type: the array type's element type. 15939a18158SMarkus Armbruster# 16039a18158SMarkus Armbruster# Values of this type are JSON array on the wire. 16139a18158SMarkus Armbruster# 16239a18158SMarkus Armbruster# Since: 2.5 16339a18158SMarkus Armbruster## 16439a18158SMarkus Armbruster{ 'struct': 'SchemaInfoArray', 16539a18158SMarkus Armbruster 'data': { 'element-type': 'str' } } 16639a18158SMarkus Armbruster 16739a18158SMarkus Armbruster## 1685072f7b3SMarc-André Lureau# @SchemaInfoObject: 16939a18158SMarkus Armbruster# 17039a18158SMarkus Armbruster# Additional SchemaInfo members for meta-type 'object'. 17139a18158SMarkus Armbruster# 172f5455044SEric Blake# @members: the object type's (non-variant) members, in no particular order. 17339a18158SMarkus Armbruster# 1741d8bda12SMarkus Armbruster# @tag: the name of the member serving as type tag. 17539a18158SMarkus Armbruster# An element of @members with this name must exist. 17639a18158SMarkus Armbruster# 1771d8bda12SMarkus Armbruster# @variants: variant members, i.e. additional members that 17839a18158SMarkus Armbruster# depend on the type tag's value. Present exactly when 179f5455044SEric Blake# @tag is present. The variants are in no particular order, 180f5455044SEric Blake# and may even differ from the order of the values of the 181f5455044SEric Blake# enum type of the @tag. 18239a18158SMarkus Armbruster# 18339a18158SMarkus Armbruster# Values of this type are JSON object on the wire. 18439a18158SMarkus Armbruster# 18539a18158SMarkus Armbruster# Since: 2.5 18639a18158SMarkus Armbruster## 18739a18158SMarkus Armbruster{ 'struct': 'SchemaInfoObject', 18839a18158SMarkus Armbruster 'data': { 'members': [ 'SchemaInfoObjectMember' ], 18939a18158SMarkus Armbruster '*tag': 'str', 190013b4efcSMarkus Armbruster '*variants': [ 'SchemaInfoObjectVariant' ] } } 19139a18158SMarkus Armbruster 19239a18158SMarkus Armbruster## 1935072f7b3SMarc-André Lureau# @SchemaInfoObjectMember: 19439a18158SMarkus Armbruster# 19539a18158SMarkus Armbruster# An object member. 19639a18158SMarkus Armbruster# 19739a18158SMarkus Armbruster# @name: the member's name, as defined in the QAPI schema. 19839a18158SMarkus Armbruster# 19939a18158SMarkus Armbruster# @type: the name of the member's type. 20039a18158SMarkus Armbruster# 2011d8bda12SMarkus Armbruster# @default: default when used as command parameter. 20239a18158SMarkus Armbruster# If absent, the parameter is mandatory. 20339a18158SMarkus Armbruster# If present, the value must be null. The parameter is 20439a18158SMarkus Armbruster# optional, and behavior when it's missing is not specified 20539a18158SMarkus Armbruster# here. 20639a18158SMarkus Armbruster# Future extension: if present and non-null, the parameter 20739a18158SMarkus Armbruster# is optional, and defaults to this value. 20839a18158SMarkus Armbruster# 209*84ab0086SMarkus Armbruster# @features: names of features associated with the member, in no 210*84ab0086SMarkus Armbruster# particular order. (since 5.0) 211*84ab0086SMarkus Armbruster# 21239a18158SMarkus Armbruster# Since: 2.5 21339a18158SMarkus Armbruster## 21439a18158SMarkus Armbruster{ 'struct': 'SchemaInfoObjectMember', 215*84ab0086SMarkus Armbruster 'data': { 'name': 'str', 'type': 'str', '*default': 'any', 21639a18158SMarkus Armbruster# @default's type must be null or match @type 217*84ab0086SMarkus Armbruster '*features': [ 'str' ] } } 21839a18158SMarkus Armbruster 21939a18158SMarkus Armbruster## 2205072f7b3SMarc-André Lureau# @SchemaInfoObjectVariant: 22139a18158SMarkus Armbruster# 22239a18158SMarkus Armbruster# The variant members for a value of the type tag. 22339a18158SMarkus Armbruster# 22439a18158SMarkus Armbruster# @case: a value of the type tag. 22539a18158SMarkus Armbruster# 22639a18158SMarkus Armbruster# @type: the name of the object type that provides the variant members 22739a18158SMarkus Armbruster# when the type tag has value @case. 22839a18158SMarkus Armbruster# 22939a18158SMarkus Armbruster# Since: 2.5 23039a18158SMarkus Armbruster## 23139a18158SMarkus Armbruster{ 'struct': 'SchemaInfoObjectVariant', 23239a18158SMarkus Armbruster 'data': { 'case': 'str', 'type': 'str' } } 23339a18158SMarkus Armbruster 23439a18158SMarkus Armbruster## 2355072f7b3SMarc-André Lureau# @SchemaInfoAlternate: 23639a18158SMarkus Armbruster# 23739a18158SMarkus Armbruster# Additional SchemaInfo members for meta-type 'alternate'. 23839a18158SMarkus Armbruster# 239f5455044SEric Blake# @members: the alternate type's members, in no particular order. 24039a18158SMarkus Armbruster# The members' wire encoding is distinct, see 241b3125e73SPhilippe Mathieu-Daudé# docs/devel/qapi-code-gen.txt section Alternate types. 24239a18158SMarkus Armbruster# 24339a18158SMarkus Armbruster# On the wire, this can be any of the members. 24439a18158SMarkus Armbruster# 24539a18158SMarkus Armbruster# Since: 2.5 24639a18158SMarkus Armbruster## 24739a18158SMarkus Armbruster{ 'struct': 'SchemaInfoAlternate', 24839a18158SMarkus Armbruster 'data': { 'members': [ 'SchemaInfoAlternateMember' ] } } 24939a18158SMarkus Armbruster 25039a18158SMarkus Armbruster## 2515072f7b3SMarc-André Lureau# @SchemaInfoAlternateMember: 25239a18158SMarkus Armbruster# 25339a18158SMarkus Armbruster# An alternate member. 25439a18158SMarkus Armbruster# 25539a18158SMarkus Armbruster# @type: the name of the member's type. 25639a18158SMarkus Armbruster# 25739a18158SMarkus Armbruster# Since: 2.5 25839a18158SMarkus Armbruster## 25939a18158SMarkus Armbruster{ 'struct': 'SchemaInfoAlternateMember', 26039a18158SMarkus Armbruster 'data': { 'type': 'str' } } 26139a18158SMarkus Armbruster 26239a18158SMarkus Armbruster## 2635072f7b3SMarc-André Lureau# @SchemaInfoCommand: 26439a18158SMarkus Armbruster# 26539a18158SMarkus Armbruster# Additional SchemaInfo members for meta-type 'command'. 26639a18158SMarkus Armbruster# 26739a18158SMarkus Armbruster# @arg-type: the name of the object type that provides the command's 26839a18158SMarkus Armbruster# parameters. 26939a18158SMarkus Armbruster# 27039a18158SMarkus Armbruster# @ret-type: the name of the command's result type. 27139a18158SMarkus Armbruster# 27225b1ef31SMarkus Armbruster# @allow-oob: whether the command allows out-of-band execution, 27325b1ef31SMarkus Armbruster# defaults to false (Since: 2.12) 274876c6751SPeter Xu# 275e22da431SMarc-André Lureau# TODO: @success-response (currently irrelevant, because it's QGA, not QMP) 27639a18158SMarkus Armbruster# 27739a18158SMarkus Armbruster# Since: 2.5 27839a18158SMarkus Armbruster## 27939a18158SMarkus Armbruster{ 'struct': 'SchemaInfoCommand', 280876c6751SPeter Xu 'data': { 'arg-type': 'str', 'ret-type': 'str', 281013b4efcSMarkus Armbruster '*allow-oob': 'bool' } } 28239a18158SMarkus Armbruster 28339a18158SMarkus Armbruster## 2845072f7b3SMarc-André Lureau# @SchemaInfoEvent: 28539a18158SMarkus Armbruster# 28639a18158SMarkus Armbruster# Additional SchemaInfo members for meta-type 'event'. 28739a18158SMarkus Armbruster# 28839a18158SMarkus Armbruster# @arg-type: the name of the object type that provides the event's 28939a18158SMarkus Armbruster# parameters. 29039a18158SMarkus Armbruster# 29139a18158SMarkus Armbruster# Since: 2.5 29239a18158SMarkus Armbruster## 29339a18158SMarkus Armbruster{ 'struct': 'SchemaInfoEvent', 29439a18158SMarkus Armbruster 'data': { 'arg-type': 'str' } } 295