mirror of https://github.com/xemu-project/xemu.git
qapi: Move duplicate collision checks to schema check()
With the recent commit 'qapi: Detect collisions in C member names', we have two different locations for detecting clashes - one at parse time, and another at QAPISchema*.check() time. Remove all of the ad hoc parser checks, and delete associated code (for example, the global check_member_clash() method is no longer needed). Testing this showed that the test union-bad-branch wasn't adding much: union-clash-branches also exposes the error message when branches collide, and we've recently fixed things to avoid an implicit collision with max. Likewise, the error for enum-clash-member changes to report our new detection of upper case in a value name, unless we modify the test to use all lower case. The wording of several error messages has changed, but the change is generally an improvement rather than a regression. No change to generated code. Signed-off-by: Eric Blake <eblake@redhat.com> Message-Id: <1449033659-25497-15-git-send-email-eblake@redhat.com> Signed-off-by: Markus Armbruster <armbru@redhat.com>
This commit is contained in:
Eric Blake
Markus Armbruster
parent
893e1f2c51
commit
01cfbaa4c3
|
|
@ -519,21 +519,6 @@ def check_type(expr_info, source, value, allow_array=False,
|
|||
'enum'])
|
||||
|
||||
|
||||
def check_member_clash(expr_info, base_name, data, source=""):
|
||||
base = find_struct(base_name)
|
||||
assert base
|
||||
base_members = base['data']
|
||||
for key in data.keys():
|
||||
if key.startswith('*'):
|
||||
key = key[1:]
|
||||
if key in base_members or "*" + key in base_members:
|
||||
raise QAPIExprError(expr_info,
|
||||
"Member name '%s'%s clashes with base '%s'"
|
||||
% (key, source, base_name))
|
||||
if base.get('base'):
|
||||
check_member_clash(expr_info, base['base'], data, source)
|
||||
|
||||
|
||||
def check_command(expr, expr_info):
|
||||
name = expr['command']
|
||||
|
||||
|
|
@ -563,7 +548,6 @@ def check_union(expr, expr_info):
|
|||
base = expr.get('base')
|
||||
discriminator = expr.get('discriminator')
|
||||
members = expr['data']
|
||||
values = {}
|
||||
|
||||
# Two types of unions, determined by discriminator.
|
||||
|
||||
|
|
@ -610,15 +594,9 @@ def check_union(expr, expr_info):
|
|||
for (key, value) in members.items():
|
||||
check_name(expr_info, "Member of union '%s'" % name, key)
|
||||
|
||||
# Each value must name a known type; furthermore, in flat unions,
|
||||
# branches must be a struct with no overlapping member names
|
||||
# Each value must name a known type
|
||||
check_type(expr_info, "Member '%s' of union '%s'" % (key, name),
|
||||
value, allow_array=not base, allow_metas=allow_metas)
|
||||
if base:
|
||||
branch_struct = find_struct(value)
|
||||
assert branch_struct
|
||||
check_member_clash(expr_info, base, branch_struct['data'],
|
||||
" of branch '%s'" % key)
|
||||
|
||||
# If the discriminator names an enum type, then all members
|
||||
# of 'data' must also be members of the enum type.
|
||||
|
|
@ -629,34 +607,16 @@ def check_union(expr, expr_info):
|
|||
"enum '%s'" %
|
||||
(key, enum_define["enum_name"]))
|
||||
|
||||
# Otherwise, check for conflicts in the generated enum
|
||||
else:
|
||||
c_key = camel_to_upper(key)
|
||||
if c_key in values:
|
||||
raise QAPIExprError(expr_info,
|
||||
"Union '%s' member '%s' clashes with '%s'"
|
||||
% (name, key, values[c_key]))
|
||||
values[c_key] = key
|
||||
|
||||
|
||||
def check_alternate(expr, expr_info):
|
||||
name = expr['alternate']
|
||||
members = expr['data']
|
||||
values = {}
|
||||
types_seen = {}
|
||||
|
||||
# Check every branch
|
||||
for (key, value) in members.items():
|
||||
check_name(expr_info, "Member of alternate '%s'" % name, key)
|
||||
|
||||
# Check for conflicts in the branch names
|
||||
c_key = c_name(key)
|
||||
if c_key in values:
|
||||
raise QAPIExprError(expr_info,
|
||||
"Alternate '%s' member '%s' clashes with '%s'"
|
||||
% (name, key, values[c_key]))
|
||||
values[c_key] = key
|
||||
|
||||
# Ensure alternates have no type conflicts.
|
||||
check_type(expr_info, "Member '%s' of alternate '%s'" % (key, name),
|
||||
value,
|
||||
|
|
@ -675,7 +635,6 @@ def check_enum(expr, expr_info):
|
|||
name = expr['enum']
|
||||
members = expr.get('data')
|
||||
prefix = expr.get('prefix')
|
||||
values = {}
|
||||
|
||||
if not isinstance(members, list):
|
||||
raise QAPIExprError(expr_info,
|
||||
|
|
@ -686,12 +645,6 @@ def check_enum(expr, expr_info):
|
|||
for member in members:
|
||||
check_name(expr_info, "Member of enum '%s'" % name, member,
|
||||
enum_member=True)
|
||||
key = camel_to_upper(member)
|
||||
if key in values:
|
||||
raise QAPIExprError(expr_info,
|
||||
"Enum '%s' member '%s' clashes with '%s'"
|
||||
% (name, member, values[key]))
|
||||
values[key] = member
|
||||
|
||||
|
||||
def check_struct(expr, expr_info):
|
||||
|
|
@ -702,8 +655,6 @@ def check_struct(expr, expr_info):
|
|||
allow_dict=True, allow_optional=True)
|
||||
check_type(expr_info, "'base' for struct '%s'" % name, expr.get('base'),
|
||||
allow_metas=['struct'])
|
||||
if expr.get('base'):
|
||||
check_member_clash(expr_info, expr['base'], expr['data'])
|
||||
|
||||
|
||||
def check_keys(expr_elem, meta, required, optional=[]):
|
||||
|
|
|
|||
|
|
@ -341,7 +341,6 @@ qapi-schema += unclosed-list.json
|
|||
qapi-schema += unclosed-object.json
|
||||
qapi-schema += unclosed-string.json
|
||||
qapi-schema += unicode-str.json
|
||||
qapi-schema += union-bad-branch.json
|
||||
qapi-schema += union-base-no-discriminator.json
|
||||
qapi-schema += union-branch-case.json
|
||||
qapi-schema += union-clash-branches.json
|
||||
|
|
|
|||
|
|
@ -1 +1 @@
|
|||
tests/qapi-schema/alternate-clash.json:7: Alternate 'Alt1' member 'a_b' clashes with 'a-b'
|
||||
tests/qapi-schema/alternate-clash.json:7: 'a_b' (branch of Alt1) collides with 'a-b' (branch of Alt1)
|
||||
|
|
|
|||
|
|
@ -1 +1 @@
|
|||
tests/qapi-schema/enum-clash-member.json:2: Enum 'MyEnum' member 'ONE' clashes with 'one'
|
||||
tests/qapi-schema/enum-clash-member.json:2: 'one_two' (member of MyEnum) collides with 'one-two' (member of MyEnum)
|
||||
|
|
|
|||
|
|
@ -1,2 +1,2 @@
|
|||
# we reject enums where members will clash when mapped to C enum
|
||||
{ 'enum': 'MyEnum', 'data': [ 'one', 'ONE' ] }
|
||||
{ 'enum': 'MyEnum', 'data': [ 'one-two', 'one_two' ] }
|
||||
|
|
|
|||
|
|
@ -1 +1 @@
|
|||
tests/qapi-schema/flat-union-clash-member.json:11: Member name 'name' of branch 'value1' clashes with base 'Base'
|
||||
tests/qapi-schema/flat-union-clash-member.json:11: 'name' (member of Branch1) collides with 'name' (member of Base)
|
||||
|
|
|
|||
|
|
@ -1 +1 @@
|
|||
tests/qapi-schema/struct-base-clash-deep.json:10: Member name 'name' clashes with base 'Base'
|
||||
tests/qapi-schema/struct-base-clash-deep.json:10: 'name' (member of Sub) collides with 'name' (member of Base)
|
||||
|
|
|
|||
|
|
@ -1 +1 @@
|
|||
tests/qapi-schema/struct-base-clash.json:5: Member name 'name' clashes with base 'Base'
|
||||
tests/qapi-schema/struct-base-clash.json:5: 'name' (member of Sub) collides with 'name' (member of Base)
|
||||
|
|
|
|||
|
|
@ -1 +0,0 @@
|
|||
tests/qapi-schema/union-bad-branch.json:6: Union 'MyUnion' member 'ONE' clashes with 'one'
|
||||
|
|
@ -1 +0,0 @@
|
|||
1
|
||||
|
|
@ -1,8 +0,0 @@
|
|||
# we reject normal unions where branches would collide in C
|
||||
{ 'struct': 'One',
|
||||
'data': { 'string': 'str' } }
|
||||
{ 'struct': 'Two',
|
||||
'data': { 'number': 'int' } }
|
||||
{ 'union': 'MyUnion',
|
||||
'data': { 'one': 'One',
|
||||
'ONE': 'Two' } }
|
||||
|
|
@ -1 +1 @@
|
|||
tests/qapi-schema/union-clash-branches.json:4: Union 'TestUnion' member 'a_b' clashes with 'a-b'
|
||||
tests/qapi-schema/union-clash-branches.json:4: 'a_b' (branch of TestUnion) collides with 'a-b' (branch of TestUnion)
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
# Union branch name collision
|
||||
# Reject a union that would result in a collision in generated C names (this
|
||||
# would try to generate two enum values 'TEST_UNION_KIND_A_B').
|
||||
# would try to generate two members 'a_b').
|
||||
{ 'union': 'TestUnion',
|
||||
'data': { 'a-b': 'int', 'a_b': 'str' } }
|
||||
|
|
|
|||
Loading…
Reference in New Issue