[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