diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-24 17:24:37 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-25 07:43:59 +0100 |
commit | cef12a31f66e35b2e4b05fd18e881ebabe51de97 (patch) | |
tree | 56b7c35c2a7f76a19e5fae13c2122c57fbebec47 | |
parent | spec: Fix math formats (diff) | |
download | rtems-central-cef12a31f66e35b2e4b05fd18e881ebabe51de97.tar.bz2 |
specview.py: More attribute substitutions
-rwxr-xr-x | specview.py | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/specview.py b/specview.py index 964bacfa..5c5813c1 100755 --- a/specview.py +++ b/specview.py @@ -91,6 +91,17 @@ def _info(item: Item) -> str: return "" +_TEXT_ATTRIBUTES = [ + "brief", + "description", + "notes", + "rationale", + "test-brief", + "test-description", + "text", +] + + def _visit_item(item: Item, level: int, role: Optional[str], validated_filter: str) -> bool: validated = item.get("_validated", True) @@ -101,7 +112,7 @@ def _visit_item(item: Item, level: int, role: Optional[str], role_info = "" if role is None else f", role={role}" print( f"{' ' * level}{item.uid} (type={item.type}{role_info}{_info(item)})") - for name in ["text", "brief", "description", "notes", "rationale"]: + for name in _TEXT_ATTRIBUTES: if name in item: _MAPPER.substitute(item[name], item) try: |