qapi: Reorder check_FOO() parameters for consistency

Most check_FOO() take the thing being checked as first argument.
check_name(), check_type(), check_known_keys() don't.  Clean that up.

While there, drop a "Todo" comment that should have been dropped in
commit 87adbbffd4 "qapi: add a dictionary form for TYPE".

Signed-off-by: Markus Armbruster <armbru@redhat.com>
Reviewed-by: Eric Blake <eblake@redhat.com>
Message-Id: <20190927134639.4284-9-armbru@redhat.com>
This commit is contained in:
Markus Armbruster 2019-09-27 15:46:21 +02:00
parent 481a6bd15c
commit c9efc984ca

View File

@ -706,7 +706,7 @@ valid_name = re.compile(r'^(__[a-zA-Z0-9.-]+_)?'
'[a-zA-Z][a-zA-Z0-9_-]*$')
def check_name(info, source, name,
def check_name(name, info, source,
allow_optional=False, enum_member=False, permit_upper=False):
global valid_name
membername = name
@ -734,7 +734,7 @@ def check_name(info, source, name,
def add_name(name, info, meta):
global all_names
check_name(info, "'%s'" % meta, name, permit_upper=True)
check_name(name, info, "'%s'" % meta, permit_upper=True)
# FIXME should reject names that differ only in '_' vs. '.'
# vs. '-', because they're liable to clash in generated C.
if name in all_names:
@ -768,7 +768,7 @@ def check_if(expr, info):
check_if_str(ifcond, info)
def check_type(info, source, value,
def check_type(value, info, source,
allow_array=False, allow_dict=False, allow_metas=[]):
global all_names
@ -806,19 +806,17 @@ def check_type(info, source, value,
# value is a dictionary, check that each member is okay
for (key, arg) in value.items():
check_name(info, "member of %s" % source, key,
check_name(key, info, "member of %s" % source,
allow_optional=True, permit_upper=permit_upper)
if c_name(key, False) == 'u' or c_name(key, False).startswith('has_'):
raise QAPISemError(
info, "member of %s uses reserved name '%s'" % (source, key))
# Todo: allow dictionaries to represent default values of
# an optional argument.
check_known_keys(info, "member '%s' of %s" % (key, source),
arg, ['type'], ['if'])
check_known_keys(arg, info, "member '%s' of %s" % (key, source),
['type'], ['if'])
check_if(arg, info)
normalize_if(arg)
check_type(info, "member '%s' of %s" % (key, source),
arg['type'], allow_array=True,
check_type(arg['type'], info, "member '%s' of %s" % (key, source),
allow_array=True,
allow_metas=['built-in', 'union', 'alternate', 'struct',
'enum'])
@ -830,15 +828,15 @@ def check_command(expr, info):
args_meta = ['struct']
if boxed:
args_meta += ['union']
check_type(info, "'data' for command '%s'" % name,
expr.get('data'), allow_dict=not boxed,
allow_metas=args_meta)
check_type(expr.get('data'), info,
"'data' for command '%s'" % name,
allow_dict=not boxed, allow_metas=args_meta)
returns_meta = ['union', 'struct']
if name in returns_whitelist:
returns_meta += ['built-in', 'alternate', 'enum']
check_type(info, "'returns' for command '%s'" % name,
expr.get('returns'), allow_array=True,
allow_metas=returns_meta)
check_type(expr.get('returns'), info,
"'returns' for command '%s'" % name,
allow_array=True, allow_metas=returns_meta)
def check_event(expr, info):
@ -848,9 +846,9 @@ def check_event(expr, info):
meta = ['struct']
if boxed:
meta += ['union']
check_type(info, "'data' for event '%s'" % name,
expr.get('data'), allow_dict=not boxed,
allow_metas=meta)
check_type(expr.get('data'), info,
"'data' for event '%s'" % name,
allow_dict=not boxed, allow_metas=meta)
def enum_get_names(expr):
@ -876,9 +874,8 @@ def check_union(expr, info):
# Else, it's a flat union.
else:
# The object must have a string or dictionary 'base'.
check_type(info, "'base' for union '%s'" % name,
base, allow_dict=name,
allow_metas=['struct'])
check_type(base, info, "'base' for union '%s'" % name,
allow_dict=name, allow_metas=['struct'])
if not base:
raise QAPISemError(
info, "flat union '%s' must have a base" % name)
@ -887,8 +884,8 @@ def check_union(expr, info):
# The value of member 'discriminator' must name a non-optional
# member of the base struct.
check_name(info, "discriminator of flat union '%s'" % name,
discriminator)
check_name(discriminator, info,
"discriminator of flat union '%s'" % name)
discriminator_value = base_members.get(discriminator)
if not discriminator_value:
raise QAPISemError(info,
@ -913,15 +910,16 @@ def check_union(expr, info):
raise QAPISemError(info, "union '%s' has no branches" % name)
for (key, value) in members.items():
check_name(info, "member of union '%s'" % name, key)
check_name(key, info, "member of union '%s'" % name)
check_known_keys(info, "member '%s' of union '%s'" % (key, name),
value, ['type'], ['if'])
check_known_keys(value, info,
"member '%s' of union '%s'" % (key, name),
['type'], ['if'])
check_if(value, info)
normalize_if(value)
# Each value must name a known type
check_type(info, "member '%s' of union '%s'" % (key, name),
value['type'],
check_type(value['type'], info,
"member '%s' of union '%s'" % (key, name),
allow_array=not base, allow_metas=allow_metas)
# If the discriminator names an enum type, then all members
@ -943,16 +941,16 @@ def check_alternate(expr, info):
raise QAPISemError(info,
"alternate '%s' cannot have empty 'data'" % name)
for (key, value) in members.items():
check_name(info, "member of alternate '%s'" % name, key)
check_known_keys(info,
check_name(key, info, "member of alternate '%s'" % name)
check_known_keys(value, info,
"member '%s' of alternate '%s'" % (key, name),
value, ['type'], ['if'])
['type'], ['if'])
check_if(value, info)
normalize_if(value)
typ = value['type']
# Ensure alternates have no type conflicts.
check_type(info, "member '%s' of alternate '%s'" % (key, name), typ,
check_type(typ, info, "member '%s' of alternate '%s'" % (key, name),
allow_metas=['built-in', 'union', 'struct', 'enum'])
qtype = find_alternate_member_qtype(typ)
if not qtype:
@ -997,11 +995,11 @@ def check_enum(expr, info):
permit_upper = name in name_case_whitelist
for member in members:
check_known_keys(info, "member of enum '%s'" % name, member,
check_known_keys(member, info, "member of enum '%s'" % name,
['name'], ['if'])
check_if(member, info)
normalize_if(member)
check_name(info, "member of enum '%s'" % name, member['name'],
check_name(member['name'], info, "member of enum '%s'" % name,
enum_member=True, permit_upper=permit_upper)
@ -1010,9 +1008,9 @@ def check_struct(expr, info):
members = expr['data']
features = expr.get('features')
check_type(info, "'data' for struct '%s'" % name, members,
check_type(members, info, "'data' for struct '%s'" % name,
allow_dict=name)
check_type(info, "'base' for struct '%s'" % name, expr.get('base'),
check_type(expr.get('base'), info, "'base' for struct '%s'" % name,
allow_metas=['struct'])
if features:
@ -1021,15 +1019,15 @@ def check_struct(expr, info):
info, "struct '%s' requires an array for 'features'" % name)
for f in features:
assert isinstance(f, dict)
check_known_keys(info, "feature of struct %s" % name, f,
check_known_keys(f, info, "feature of struct %s" % name,
['name'], ['if'])
check_if(f, info)
normalize_if(f)
check_name(info, "feature of struct %s" % name, f['name'])
check_name(f['name'], info, "feature of struct %s" % name)
def check_known_keys(info, source, value, required, optional):
def check_known_keys(value, info, source, required, optional):
def pprint(elems):
return ', '.join("'" + e + "'" for e in sorted(elems))
@ -1057,7 +1055,7 @@ def check_keys(expr, info, meta, required, optional=[]):
raise QAPISemError(info, "'%s' key must have a string value" % meta)
required = required + [meta]
source = "%s '%s'" % (meta, name)
check_known_keys(info, source, expr, required, optional)
check_known_keys(expr, info, source, required, optional)
for (key, value) in expr.items():
if key in ['gen', 'success-response'] and value is not False:
raise QAPISemError(info,