diff mbox series

[9/9] docs: update the documentation about schema configuration

Message ID 20201015165255.1573897-10-marcandre.lureau@redhat.com
State Superseded
Headers show
Series qapi: untie 'if' conditions from C preprocessor | expand

Commit Message

Marc-André Lureau Oct. 15, 2020, 4:52 p.m. UTC
From: Marc-André Lureau <marcandre.lureau@redhat.com>

Signed-off-by: Marc-André Lureau <marcandre.lureau@redhat.com>
---
 docs/devel/qapi-code-gen.txt | 26 +++++++++++++++-----------
 1 file changed, 15 insertions(+), 11 deletions(-)

Comments

Marc-André Lureau Oct. 15, 2020, 5:02 p.m. UTC | #1
On Thu, Oct 15, 2020 at 8:54 PM <marcandre.lureau@redhat.com> wrote:
>

> From: Marc-André Lureau <marcandre.lureau@redhat.com>

>

> Signed-off-by: Marc-André Lureau <marcandre.lureau@redhat.com>

> ---

>  docs/devel/qapi-code-gen.txt | 26 +++++++++++++++-----------

>  1 file changed, 15 insertions(+), 11 deletions(-)

>

> diff --git a/docs/devel/qapi-code-gen.txt b/docs/devel/qapi-code-gen.txt

> index 3d22a7ae21..517bc29507 100644

> --- a/docs/devel/qapi-code-gen.txt

> +++ b/docs/devel/qapi-code-gen.txt

> @@ -772,26 +772,30 @@ downstream command __com.redhat_drive-mirror.

>  === Configuring the schema ===

>

>  Syntax:

> -    COND = STRING

> -         | [ STRING, ... ]

> +    COND = CFG-ID

> +         | [ CFG-ID, ... ]

> +         | { 'all: [ CFG-ID, ... ] }

> +         | { 'any: [ CFG-ID, ... ] }

> +         | { 'not': COND }


Btw, I realized while writing that, the doc is actually quite
faithfull with the currently limited supported expressions, but I will
probably improve on that in v2 (unless it's considered a feature :)

>

> -All definitions take an optional 'if' member.  Its value must be a

> -string or a list of strings.  A string is shorthand for a list

> -containing just that string.  The code generated for the definition

> -will then be guarded by #if STRING for each STRING in the COND list.

> +    CFG-ID = STRING

> +

> +All definitions take an optional 'if' member. Its value must be a string, a list

> +of strings or an object with a single member 'all', 'any' or 'not'. A string is

> +shorthand for a list containing just that string. A list is a shorthand for a

> +'all'-member object. The C code generated for the definition will then be guarded

> +by an #if precessor expression.

>

>  Example: a conditional struct

>

>   { 'struct': 'IfStruct', 'data': { 'foo': 'int' },

> -   'if': ['CONFIG_FOO', 'HAVE_BAR'] }

> +   'if': { 'all': [ 'CONFIG_FOO', 'HAVE_BAR' ] } }

>

>  gets its generated code guarded like this:

>

> - #if defined(CONFIG_FOO)

> - #if defined(HAVE_BAR)

> + #if defined(CONFIG_FOO) && defined(HAVE_BAR)

>   ... generated code ...

> - #endif /* defined(HAVE_BAR) */

> - #endif /* defined(CONFIG_FOO) */

> + #endif /* defined(HAVE_BAR) && defined(CONFIG_FOO) */

>

>  Individual members of complex types, commands arguments, and

>  event-specific data can also be made conditional.  This requires the

> --

> 2.28.0

>
diff mbox series

Patch

diff --git a/docs/devel/qapi-code-gen.txt b/docs/devel/qapi-code-gen.txt
index 3d22a7ae21..517bc29507 100644
--- a/docs/devel/qapi-code-gen.txt
+++ b/docs/devel/qapi-code-gen.txt
@@ -772,26 +772,30 @@  downstream command __com.redhat_drive-mirror.
 === Configuring the schema ===
 
 Syntax:
-    COND = STRING
-         | [ STRING, ... ]
+    COND = CFG-ID
+         | [ CFG-ID, ... ]
+         | { 'all: [ CFG-ID, ... ] }
+         | { 'any: [ CFG-ID, ... ] }
+         | { 'not': COND }
 
-All definitions take an optional 'if' member.  Its value must be a
-string or a list of strings.  A string is shorthand for a list
-containing just that string.  The code generated for the definition
-will then be guarded by #if STRING for each STRING in the COND list.
+    CFG-ID = STRING
+
+All definitions take an optional 'if' member. Its value must be a string, a list
+of strings or an object with a single member 'all', 'any' or 'not'. A string is
+shorthand for a list containing just that string. A list is a shorthand for a
+'all'-member object. The C code generated for the definition will then be guarded
+by an #if precessor expression.
 
 Example: a conditional struct
 
  { 'struct': 'IfStruct', 'data': { 'foo': 'int' },
-   'if': ['CONFIG_FOO', 'HAVE_BAR'] }
+   'if': { 'all': [ 'CONFIG_FOO', 'HAVE_BAR' ] } }
 
 gets its generated code guarded like this:
 
- #if defined(CONFIG_FOO)
- #if defined(HAVE_BAR)
+ #if defined(CONFIG_FOO) && defined(HAVE_BAR)
  ... generated code ...
- #endif /* defined(HAVE_BAR) */
- #endif /* defined(CONFIG_FOO) */
+ #endif /* defined(HAVE_BAR) && defined(CONFIG_FOO) */
 
 Individual members of complex types, commands arguments, and
 event-specific data can also be made conditional.  This requires the