[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH v2 20/26] qapi: Improve reporting of missing / unknown definition
From: |
Markus Armbruster |
Subject: |
[PATCH v2 20/26] qapi: Improve reporting of missing / unknown definition keys |
Date: |
Fri, 27 Sep 2019 15:46:33 +0200 |
Have check_exprs() call check_keys() later, so its error messages gain
an "in definition" line.
Both check_keys() and check_name_is_str() check the definition's name
is a string. Since check_keys() now runs after check_name_is_str()
rather than before, its check is dead. Bury it. Checking values in
check_keys() is unclean anyway.
Signed-off-by: Markus Armbruster <address@hidden>
Reviewed-by: Eric Blake <address@hidden>
---
scripts/qapi/common.py | 40 ++++++++++++-------------
tests/qapi-schema/alternate-base.err | 1 +
tests/qapi-schema/bad-type-bool.err | 2 +-
tests/qapi-schema/bad-type-dict.err | 2 +-
tests/qapi-schema/double-type.err | 1 +
tests/qapi-schema/enum-missing-data.err | 1 +
tests/qapi-schema/unknown-expr-key.err | 1 +
7 files changed, 25 insertions(+), 23 deletions(-)
diff --git a/scripts/qapi/common.py b/scripts/qapi/common.py
index 4f67b73684..42b9c2e36b 100644
--- a/scripts/qapi/common.py
+++ b/scripts/qapi/common.py
@@ -910,8 +910,6 @@ def check_known_keys(value, info, source, required,
optional):
def check_keys(expr, info, meta, required, optional=[]):
name = expr[meta]
- if not isinstance(name, str):
- raise QAPISemError(info, "'%s' key must have a string value" % meta)
required = required + [meta]
source = "%s '%s'" % (meta, name)
check_known_keys(expr, info, source, required, optional)
@@ -969,37 +967,18 @@ def check_exprs(exprs):
if 'enum' in expr:
meta = 'enum'
- check_keys(expr, info, 'enum', ['data'], ['if', 'prefix'])
- normalize_enum(expr)
elif 'union' in expr:
meta = 'union'
- check_keys(expr, info, 'union', ['data'],
- ['base', 'discriminator', 'if'])
- normalize_members(expr.get('base'))
- normalize_members(expr['data'])
elif 'alternate' in expr:
meta = 'alternate'
- check_keys(expr, info, 'alternate', ['data'], ['if'])
- normalize_members(expr['data'])
elif 'struct' in expr:
meta = 'struct'
- check_keys(expr, info, 'struct', ['data'],
- ['base', 'if', 'features'])
- normalize_members(expr['data'])
- normalize_features(expr.get('features'))
elif 'command' in expr:
meta = 'command'
- check_keys(expr, info, 'command', [],
- ['data', 'returns', 'gen', 'success-response',
- 'boxed', 'allow-oob', 'allow-preconfig', 'if'])
- normalize_members(expr.get('data'))
elif 'event' in expr:
meta = 'event'
- check_keys(expr, info, 'event', [], ['data', 'boxed', 'if'])
- normalize_members(expr.get('data'))
else:
raise QAPISemError(info, "expression is missing metatype")
- normalize_if(expr)
name = expr[meta]
check_name_is_str(name, info, "'%s'" % meta)
@@ -1013,20 +992,39 @@ def check_exprs(exprs):
% (name, doc.symbol))
if meta == 'enum':
+ check_keys(expr, info, 'enum', ['data'], ['if', 'prefix'])
+ normalize_enum(expr)
check_enum(expr, info)
elif meta == 'union':
+ check_keys(expr, info, 'union', ['data'],
+ ['base', 'discriminator', 'if'])
+ normalize_members(expr.get('base'))
+ normalize_members(expr['data'])
check_union(expr, info)
elif meta == 'alternate':
+ check_keys(expr, info, 'alternate', ['data'], ['if'])
+ normalize_members(expr['data'])
check_alternate(expr, info)
elif meta == 'struct':
+ check_keys(expr, info, 'struct', ['data'],
+ ['base', 'if', 'features'])
+ normalize_members(expr['data'])
+ normalize_features(expr.get('features'))
check_struct(expr, info)
elif meta == 'command':
+ check_keys(expr, info, 'command', [],
+ ['data', 'returns', 'gen', 'success-response',
+ 'boxed', 'allow-oob', 'allow-preconfig', 'if'])
+ normalize_members(expr.get('data'))
check_command(expr, info)
elif meta == 'event':
+ check_keys(expr, info, 'event', [], ['data', 'boxed', 'if'])
+ normalize_members(expr.get('data'))
check_event(expr, info)
else:
assert False, 'unexpected meta type'
+ normalize_if(expr)
check_if(expr, info)
check_flags(expr, info)
diff --git a/tests/qapi-schema/alternate-base.err
b/tests/qapi-schema/alternate-base.err
index 4c9158db02..6290665ac2 100644
--- a/tests/qapi-schema/alternate-base.err
+++ b/tests/qapi-schema/alternate-base.err
@@ -1,2 +1,3 @@
+tests/qapi-schema/alternate-base.json: In alternate 'Alt':
tests/qapi-schema/alternate-base.json:4: unknown key 'base' in alternate 'Alt'
Valid keys are 'alternate', 'data', 'if'.
diff --git a/tests/qapi-schema/bad-type-bool.err
b/tests/qapi-schema/bad-type-bool.err
index 62fd70baaf..984a77c4e3 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:2: 'struct' key must have a string value
+tests/qapi-schema/bad-type-bool.json:2: 'struct' requires a string name
diff --git a/tests/qapi-schema/bad-type-dict.err
b/tests/qapi-schema/bad-type-dict.err
index 0b2a2aeac4..e83b8cfb41 100644
--- a/tests/qapi-schema/bad-type-dict.err
+++ b/tests/qapi-schema/bad-type-dict.err
@@ -1 +1 @@
-tests/qapi-schema/bad-type-dict.json:2: 'command' key must have a string value
+tests/qapi-schema/bad-type-dict.json:2: 'command' requires a string name
diff --git a/tests/qapi-schema/double-type.err
b/tests/qapi-schema/double-type.err
index 44a9dfdd55..ddb22af638 100644
--- a/tests/qapi-schema/double-type.err
+++ b/tests/qapi-schema/double-type.err
@@ -1,2 +1,3 @@
+tests/qapi-schema/double-type.json: In struct 'bar':
tests/qapi-schema/double-type.json:2: unknown key 'command' in struct 'bar'
Valid keys are 'base', 'data', 'features', 'if', 'struct'.
diff --git a/tests/qapi-schema/enum-missing-data.err
b/tests/qapi-schema/enum-missing-data.err
index 3c3c52d037..ffde1082c3 100644
--- a/tests/qapi-schema/enum-missing-data.err
+++ b/tests/qapi-schema/enum-missing-data.err
@@ -1 +1,2 @@
+tests/qapi-schema/enum-missing-data.json: In enum 'MyEnum':
tests/qapi-schema/enum-missing-data.json:2: key 'data' is missing from enum
'MyEnum'
diff --git a/tests/qapi-schema/unknown-expr-key.err
b/tests/qapi-schema/unknown-expr-key.err
index 07558edb78..e401efe148 100644
--- a/tests/qapi-schema/unknown-expr-key.err
+++ b/tests/qapi-schema/unknown-expr-key.err
@@ -1,2 +1,3 @@
+tests/qapi-schema/unknown-expr-key.json: In struct 'bar':
tests/qapi-schema/unknown-expr-key.json:2: unknown keys 'bogus', 'phony' in
struct 'bar'
Valid keys are 'base', 'data', 'features', 'if', 'struct'.
--
2.21.0
- [PATCH v2 12/26] qapi: Move check for reserved names out of add_name(), (continued)
- [PATCH v2 12/26] qapi: Move check for reserved names out of add_name(), Markus Armbruster, 2019/09/27
- [PATCH v2 21/26] qapi: Avoid redundant definition references in error messages, Markus Armbruster, 2019/09/27
- [PATCH v2 04/26] qapi: Prefix frontend errors with an "in definition" line, Markus Armbruster, 2019/09/27
- [PATCH v2 18/26] qapi: Improve reporting of invalid 'if' errors, Markus Armbruster, 2019/09/27
- [PATCH v2 08/26] qapi: Reorder check_FOO() parameters for consistency, Markus Armbruster, 2019/09/27
- [PATCH v2 05/26] qapi: Clean up member name case checking, Markus Armbruster, 2019/09/27
- [PATCH v2 16/26] qapi: Move context-sensitive checking to the proper place, Markus Armbruster, 2019/09/27
- [PATCH v2 23/26] qapi: Eliminate check_keys(), rename check_known_keys(), Markus Armbruster, 2019/09/27
- [PATCH v2 14/26] qapi: Plumb info to the QAPISchemaMember, Markus Armbruster, 2019/09/27
- [PATCH v2 24/26] qapi: Improve reporting of missing documentation comment, Markus Armbruster, 2019/09/27
- [PATCH v2 20/26] qapi: Improve reporting of missing / unknown definition keys,
Markus Armbruster <=
- [PATCH v2 26/26] qapi: Improve source file read error handling, Markus Armbruster, 2019/09/27
- [PATCH v2 06/26] qapi: Change frontend error messages to start with lower case, Markus Armbruster, 2019/09/27