[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PULL 01/10] keyval: Fix and clarify grammar
From: |
Kevin Wolf |
Subject: |
[PULL 01/10] keyval: Fix and clarify grammar |
Date: |
Thu, 15 Oct 2020 16:49:43 +0200 |
From: Markus Armbruster <armbru@redhat.com>
The grammar has a few issues:
* key-fragment = / [^=,.]* /
Prose restricts key fragments: they "must be valid QAPI names or
consist only of decimal digits". Technically, '' consists only of
decimal digits. The code rejects that. Fix the grammar.
* val = { / [^,]* / | ',,' }
Use + instead of *. Accepts the same language.
* val-no-key = / [^=,]* /
The code rejects an empty value. Fix the grammar.
* Section "Additional syntax for use with an implied key" is
confusing. Rewrite it.
Signed-off-by: Markus Armbruster <armbru@redhat.com>
Message-Id: <20201011073505.1185335-2-armbru@redhat.com>
Reviewed-by: Eric Blake <eblake@redhat.com>
Signed-off-by: Kevin Wolf <kwolf@redhat.com>
---
util/keyval.c | 16 ++++++++++------
1 file changed, 10 insertions(+), 6 deletions(-)
diff --git a/util/keyval.c b/util/keyval.c
index 13def4af54..82d8497c71 100644
--- a/util/keyval.c
+++ b/util/keyval.c
@@ -16,8 +16,8 @@
* key-vals = [ key-val { ',' key-val } [ ',' ] ]
* key-val = key '=' val
* key = key-fragment { '.' key-fragment }
- * key-fragment = / [^=,.]* /
- * val = { / [^,]* / | ',,' }
+ * key-fragment = / [^=,.]+ /
+ * val = { / [^,]+ / | ',,' }
*
* Semantics defined by reduction to JSON:
*
@@ -71,12 +71,16 @@
* Awkward. Note that we carefully restrict alternate types to avoid
* similar ambiguity.
*
- * Additional syntax for use with an implied key:
+ * Alternative syntax for use with an implied key:
*
- * key-vals-ik = val-no-key [ ',' key-vals ]
- * val-no-key = / [^=,]* /
+ * key-vals = [ key-val-1st { ',' key-val } [ ',' ] ]
+ * key-val-1st = val-no-key | key-val
+ * val-no-key = / [^=,]+ /
*
- * where no-key is syntactic sugar for implied-key=val-no-key.
+ * where val-no-key is syntactic sugar for implied-key=val-no-key.
+ *
+ * Note that you can't use the sugared form when the value contains
+ * '=' or ','.
*/
#include "qemu/osdep.h"
--
2.28.0
- [PULL 00/10] Block layer patches, Kevin Wolf, 2020/10/15
- [PULL 01/10] keyval: Fix and clarify grammar,
Kevin Wolf <=
- [PULL 02/10] test-keyval: Demonstrate misparse of ', ' with implied key, Kevin Wolf, 2020/10/15
- [PULL 03/10] keyval: Fix parsing of ',' in value of implied key, Kevin Wolf, 2020/10/15
- [PULL 05/10] qom: Factor out helpers from user_creatable_print_help(), Kevin Wolf, 2020/10/15
- [PULL 06/10] qom: Add user_creatable_print_help_from_qdict(), Kevin Wolf, 2020/10/15
- [PULL 09/10] block: drop moderated sheepdog mailing list from MAINTAINERS file, Kevin Wolf, 2020/10/15
- [PULL 04/10] keyval: Parse help options, Kevin Wolf, 2020/10/15
- [PULL 07/10] qemu-storage-daemon: Remove QemuOpts from --object parser, Kevin Wolf, 2020/10/15
- [PULL 08/10] monitor: Fix order in monitor_cleanup(), Kevin Wolf, 2020/10/15
- [PULL 10/10] block: deprecate the sheepdog block driver, Kevin Wolf, 2020/10/15
- Re: [PULL 00/10] Block layer patches, Peter Maydell, 2020/10/16