[rtems-central commit] specview.py: Do not print N/A states
Sebastian Huber
sebh at rtems.org
Mon Jul 12 12:57:20 UTC 2021
Module: rtems-central
Branch: master
Commit: eb97b54a6c8314775396f19e4c4e58968844693a
Changeset: http://git.rtems.org/rtems-central/commit/?id=eb97b54a6c8314775396f19e4c4e58968844693a
Author: Sebastian Huber <sebastian.huber at embedded-brains.de>
Date: Sat Jun 26 17:13:39 2021 +0200
specview.py: Do not print N/A states
---
specview.py | 14 ++++++++++----
1 file changed, 10 insertions(+), 4 deletions(-)
diff --git a/specview.py b/specview.py
index 86dc20e..2d980dc 100755
--- a/specview.py
+++ b/specview.py
@@ -194,9 +194,14 @@ def _action_list(enabled: List[str], item: Item) -> None:
if post_cond[0]:
print(transition_map.skip_idx_to_name(post_cond[0]))
else:
- print(", ".join(
- _to_name(transition_map, co_idx, st_idx)
- for co_idx, st_idx in enumerate(post_cond[1:])))
+ names = [] # type: List[str]
+ for co_idx, st_idx in enumerate(post_cond[1:]):
+ st_name = transition_map.post_co_idx_st_idx_to_st_name(
+ co_idx, st_idx)
+ if st_name != "NA":
+ co_name = transition_map.post_co_idx_to_co_name(co_idx)
+ names.append(f"{co_name} = {st_name}")
+ print(", ".join(names))
for row in pre_conds:
entries = []
for co_idx, co_states in enumerate(row):
@@ -206,7 +211,8 @@ def _action_list(enabled: List[str], item: Item) -> None:
co_idx, st_idx) for st_idx in set(co_states)
]
if len(states) == 1:
- entries.append(f"{co_name} = {states[0]}")
+ if states[0] != "NA":
+ entries.append(f"{co_name} = {states[0]}")
else:
entries.append(f"{co_name} = {{ " + ", ".join(states) +
" }")
More information about the vc
mailing list