diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2022-08-31 10:31:39 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2022-08-31 10:35:26 +0200 |
commit | 97425807f4c052456386bbac9c315986108762fb (patch) | |
tree | cb2fecb4e6e65dd1a267a5a42cc12480a35058cd | |
parent | spec: Move flush filter stop to flush fifo (diff) | |
download | rtems-central-97425807f4c052456386bbac9c315986108762fb.tar.bz2 |
specview.py: Simplify _validate()
-rwxr-xr-x | specview.py | 21 |
1 files changed, 10 insertions, 11 deletions
diff --git a/specview.py b/specview.py index 235b09b3..c20096a0 100755 --- a/specview.py +++ b/specview.py @@ -172,17 +172,13 @@ _VALIDATION_LEAF = [ "validation", ] - -def _validation_count(item: Item, enabled: List[str]) -> int: - return len( - list(child for child in item.children("validation") - if child.is_enabled(enabled))) +_VALIDATION_ROLES = _CHILD_ROLES + ["validation"] def _validate(item: Item, enabled: List[str]) -> bool: - count = _validation_count(item, enabled) validated = True - for child in item.children(_CHILD_ROLES): + count = 0 + for child in item.children(_VALIDATION_ROLES): if child.is_enabled(enabled): validated = _validate(child, enabled) and validated count += 1 @@ -193,14 +189,17 @@ def _validate(item: Item, enabled: List[str]) -> bool: pre_qualified = is_pre_qualified(item) item["_pre_qualified"] = pre_qualified if count == 0: - if not pre_qualified: - validated = True - else: - validated = item.type in _VALIDATION_LEAF + validated = (not pre_qualified) or (item.type in _VALIDATION_LEAF) item["_validated"] = validated return validated +def _validation_count(item: Item, enabled: List[str]) -> int: + return len( + list(child for child in item.children("validation") + if child.is_enabled(enabled))) + + def _no_validation(item: Item, path: List[str], enabled: List[str]) -> List[str]: path_2 = path + [item.uid] |