diff options
-rw-r--r-- | rtemsqual/interface.py | 2 | ||||
-rw-r--r-- | rtemsqual/specdoc.py | 2 | ||||
-rw-r--r-- | rtemsqual/specverify.py | 8 |
3 files changed, 6 insertions, 6 deletions
diff --git a/rtemsqual/interface.py b/rtemsqual/interface.py index fe49bccb..83227642 100644 --- a/rtemsqual/interface.py +++ b/rtemsqual/interface.py @@ -493,7 +493,7 @@ class _HeaderFile: nodes_in_dependency_order.insert(0, node) # Sort by UID - for uid in sorted(node.out_edges.keys()): + for uid in sorted(node.out_edges): in_degree[uid] -= 1 if in_degree[uid] == 0: queue.append(self._nodes[uid]) diff --git a/rtemsqual/specdoc.py b/rtemsqual/specdoc.py index d02f21b8..61d503e1 100644 --- a/rtemsqual/specdoc.py +++ b/rtemsqual/specdoc.py @@ -239,7 +239,7 @@ class _Documenter: else: content.add("A value of this type shall be of one of " "the following variants:") - for key in sorted(self._info_map.keys()): + for key in sorted(self._info_map): with content.list_item(""): _DOCUMENT[key](self, content, key, "may", self._info_map[key]) diff --git a/rtemsqual/specverify.py b/rtemsqual/specverify.py index 780fde17..095d1e95 100644 --- a/rtemsqual/specverify.py +++ b/rtemsqual/specverify.py @@ -396,8 +396,8 @@ class _ItemVerifier(_Verifier): self._info_map[type_name]) logging.error( "%s expected value of types %s for type '%s', " - "actual type '%s'", _prefix(path), - str(sorted(list(self._info_map.keys()))), self._name, type_name) + "actual type '%s'", _prefix(path), str(sorted(self._info_map)), + self._name, type_name) return set() def _add_subtype_verifier(self, subtype_key: str, subtype_value: str, @@ -478,11 +478,11 @@ def verify(config: dict, item_cache: ItemCache) -> None: return root_verifier = _create_verifier(root_item, verifier_map) _gather_item_verifiers(root_item, verifier_map) - for name in sorted(verifier_map.keys()): + for name in sorted(verifier_map): logging.info("type: %s", name) verifier_map[name].resolve_type_refinements() logging.info("start specification item verification") - for key in sorted(item_cache.all.keys()): + for key in sorted(item_cache.all): item = item_cache[key] root_verifier.verify(_Path(item, f"{item.uid}:"), item.data) logging.info("finished specification item verification") |