[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Qemu-devel] [PATCH v7 21/39] qapi: Allow true, false and null in schema
From: |
Eric Blake |
Subject: |
[Qemu-devel] [PATCH v7 21/39] qapi: Allow true, false and null in schema json |
Date: |
Wed, 29 Apr 2015 07:06:36 -0600 |
From: Fam Zheng <address@hidden>
In the near term, we will use it for a sensible-looking
'gen':false inside command declarations, instead of the
current ugly 'gen':'no'.
In the long term, it will allow conversion from shorthand
with defaults mentioned only in side-band documentation:
'data':{'*flag':'bool', '*string':'str'}
into an explicit default value documentation, as in:
'data':{'flag':{'type':'bool', 'optional':true, 'default':true},
'string':{'type':'str', 'optional':true, 'default':null}}
We still don't parse integer values (also necessary before
we can allow explicit defaults), but that can come in a later
series.
Update the testsuite to match an improved error message.
Signed-off-by: Fam Zheng <address@hidden>
Signed-off-by: Eric Blake <address@hidden>
Reviewed-by: Markus Armbruster <address@hidden>
---
scripts/qapi.py | 21 ++++++++++++++++++---
tests/qapi-schema/bad-type-bool.err | 2 +-
tests/qapi-schema/bad-type-bool.json | 1 -
3 files changed, 19 insertions(+), 5 deletions(-)
diff --git a/scripts/qapi.py b/scripts/qapi.py
index eea0976..686bc86 100644
--- a/scripts/qapi.py
+++ b/scripts/qapi.py
@@ -158,6 +158,20 @@ class QAPISchema:
return
else:
string += ch
+ elif self.tok in "tfn":
+ val = self.src[self.cursor - 1:]
+ if val.startswith("true"):
+ self.val = True
+ self.cursor += 3
+ return
+ elif val.startswith("false"):
+ self.val = False
+ self.cursor += 4
+ return
+ elif val.startswith("null"):
+ self.val = None
+ self.cursor += 3
+ return
elif self.tok == '\n':
if self.cursor == len(self.src):
self.tok = None
@@ -197,8 +211,9 @@ class QAPISchema:
if self.tok == ']':
self.accept()
return expr
- if not self.tok in [ '{', '[', "'" ]:
- raise QAPISchemaError(self, 'Expected "{", "[", "]" or string')
+ if not self.tok in "{['tfn":
+ raise QAPISchemaError(self, 'Expected "{", "[", "]", string, '
+ 'boolean or "null"')
while True:
expr.append(self.get_expr(True))
if self.tok == ']':
@@ -217,7 +232,7 @@ class QAPISchema:
elif self.tok == '[':
self.accept()
expr = self.get_values()
- elif self.tok == "'":
+ elif self.tok in "'tfn":
expr = self.val
self.accept()
else:
diff --git a/tests/qapi-schema/bad-type-bool.err
b/tests/qapi-schema/bad-type-bool.err
index badb7c2..de6168c 100644
--- a/tests/qapi-schema/bad-type-bool.err
+++ b/tests/qapi-schema/bad-type-bool.err
@@ -1 +1 @@
-tests/qapi-schema/bad-type-bool.json:3:11: Stray "t"
+tests/qapi-schema/bad-type-bool.json:2: 'type' key must have a string value
diff --git a/tests/qapi-schema/bad-type-bool.json
b/tests/qapi-schema/bad-type-bool.json
index 22d6369..e1e9fb0 100644
--- a/tests/qapi-schema/bad-type-bool.json
+++ b/tests/qapi-schema/bad-type-bool.json
@@ -1,3 +1,2 @@
# we reject an expression with a metatype that is not a string
-# FIXME: once the parser understands bool inputs, improve the error message
{ 'type': true, 'data': { } }
--
2.1.0
- [Qemu-devel] [PATCH v7 12/39] qapi: Prepare for catching more semantic parse errors, (continued)
- [Qemu-devel] [PATCH v7 12/39] qapi: Prepare for catching more semantic parse errors, Eric Blake, 2015/04/29
- [Qemu-devel] [PATCH v7 02/39] qapi: Document type-safety considerations, Eric Blake, 2015/04/29
- [Qemu-devel] [PATCH v7 15/39] qapi: Document new 'alternate' meta-type, Eric Blake, 2015/04/29
- [Qemu-devel] [PATCH v7 22/39] qapi: Unify type bypass and add tests, Eric Blake, 2015/04/29
- [Qemu-devel] [PATCH v7 27/39] qapi: More rigorous checking for type safety bypass, Eric Blake, 2015/04/29
- [Qemu-devel] [PATCH v7 26/39] qapi: Whitelist commands that don't return dictionary, Eric Blake, 2015/04/29
- [Qemu-devel] [PATCH v7 14/39] qapi: Rename anonymous union type in test, Eric Blake, 2015/04/29
- [Qemu-devel] [PATCH v7 19/39] qapi: Add tests of redefined expressions, Eric Blake, 2015/04/29
- [Qemu-devel] [PATCH v7 11/39] qapi: Tighten checking of unions, Eric Blake, 2015/04/29
- [Qemu-devel] [PATCH v7 29/39] qapi: Document 'struct' metatype, Eric Blake, 2015/04/29
- [Qemu-devel] [PATCH v7 21/39] qapi: Allow true, false and null in schema json,
Eric Blake <=
- [Qemu-devel] [PATCH v7 16/39] qapi: Use 'alternate' to replace anonymous union, Eric Blake, 2015/04/29
- [Qemu-devel] [PATCH v7 18/39] qapi: Better error messages for bad expressions, Eric Blake, 2015/04/29
- [Qemu-devel] [PATCH v7 13/39] qapi: Segregate anonymous unions into alternates in generator, Eric Blake, 2015/04/29
- [Qemu-devel] [PATCH v7 17/39] qapi: Add some expr tests, Eric Blake, 2015/04/29
- [Qemu-devel] [PATCH v7 33/39] qapi: Drop tests for inline nested structs, Eric Blake, 2015/04/29
- [Qemu-devel] [PATCH v7 23/39] qapi: Add some type check tests, Eric Blake, 2015/04/29
- [Qemu-devel] [PATCH v7 36/39] qapi: Drop support for inline nested types, Eric Blake, 2015/04/29
- [Qemu-devel] [PATCH v7 25/39] qapi: Require valid names, Eric Blake, 2015/04/29
- [Qemu-devel] [PATCH v7 31/39] qapi: Forbid 'type' in schema, Eric Blake, 2015/04/29
- [Qemu-devel] [PATCH v7 35/39] qapi: Drop inline nested structs in query-pci, Eric Blake, 2015/04/29