specware 1.2.2__tar.gz → 1.2.4__tar.gz

{specware-1.2.2 → specware-1.2.4}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: specware
-Version: 1.2.2
+Version: 1.2.4
 Summary: Provides utilities to specify software.
 Keywords: certification,documentation,markdown,qualification,requirements-management,traceability
 Author: The specware Authors
@@ -20,7 +20,7 @@ Classifier: Topic :: Software Development :: Quality Assurance
 Classifier: Topic :: Software Development :: Testing :: Acceptance
 Classifier: Topic :: Text Processing :: Markup
 Classifier: Typing :: Typed
-Requires-Dist: specitems>=1.4.5
+Requires-Dist: specitems>=1.5.0
 Requires-Python: >=3.11
 Project-URL: Source Code, https://github.com/specthings/specware
 Project-URL: Bug Tracker, https://github.com/specthings/specware/issues

{specware-1.2.2 → specware-1.2.4}/pyproject.toml

@@ -4,7 +4,7 @@
 
 [project]
 name = "specware"
-version = "1.2.2"
+version = "1.2.4"
 description = "Provides utilities to specify software."
 authors = [
     {name = "The specware Authors", email = "specthings@embedded-brains.de"}
@@ -13,7 +13,7 @@ license = "BSD-2-Clause"
 readme = "README.md"
 requires-python = ">=3.11"
 dependencies = [
-    "specitems >=1.4.5",
+    "specitems >=1.5.0",
 ]
 keywords = [
   "certification",

{specware-1.2.2 → specware-1.2.4}/src/specware/cliview.py

@@ -261,9 +261,9 @@ def _states(transition_map: TransitionMap, co_idx: int,
 def _action_compact_table(item: Item) -> None:
     transition_map = TransitionMap(item, "N/A")
     rows: list[Iterable[str | int]] = [
-        ("Pre-Conditions", ) + (ROW_SPAN, ) *
+        ("Pre-Conditions", ) + (COL_SPAN, ) *
         (transition_map.pre_co_count - 1) + ("Post-Conditions", ) +
-        (ROW_SPAN, ) * (transition_map.post_co_count - 1)
+        (COL_SPAN, ) * (transition_map.post_co_count - 1)
     ]
     rows.append(
         tuple(
@@ -274,16 +274,16 @@ def _action_compact_table(item: Item) -> None:
             item.cache.enabled_set):
         if post_co[0]:
             post_co_row = ((transition_map.skip_idx_to_name(post_co[0]), ) +
-                           (ROW_SPAN, ) * (transition_map.post_co_count - 1))
+                           (COL_SPAN, ) * (transition_map.post_co_count - 1))
             post_co_col_span: tuple[str | int,
-                                    ...] = ((COL_SPAN, ) +
-                                            (COL_SPAN | ROW_SPAN, ) *
+                                    ...] = ((ROW_SPAN, ) +
+                                            (ROW_SPAN | COL_SPAN, ) *
                                             (transition_map.post_co_count - 1))
         else:
             post_co_row = tuple(
                 transition_map.post_co_idx_st_idx_to_st_name(co_idx, st_idx)
                 for co_idx, st_idx in enumerate(post_co[1:]))
-            post_co_col_span = (COL_SPAN, ) * transition_map.post_co_count
+            post_co_col_span = (ROW_SPAN, ) * transition_map.post_co_count
         for pre_co in pre_co_collection:
             pre_co_row = tuple(
                 _states(transition_map, co_idx, co_states)