specware 1.3.2__tar.gz → 1.3.3__tar.gz

{specware-1.3.2 → specware-1.3.3}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: specware
-Version: 1.3.2
+Version: 1.3.3
 Summary: Provides utilities to specify software.
 Keywords: certification,documentation,markdown,qualification,requirements-management,traceability
 Author: The specware Authors

{specware-1.3.2 → specware-1.3.3}/pyproject.toml

@@ -4,7 +4,7 @@
 
 [project]
 name = "specware"
-version = "1.3.2"
+version = "1.3.3"
 description = "Provides utilities to specify software."
 authors = [
     {name = "The specware Authors", email = "specthings@embedded-brains.de"}

{specware-1.3.2 → specware-1.3.3}/src/specware/transitionmap.py

@@ -714,7 +714,10 @@ class TransitionMap:
                 enumerators.append(self._get_entry(ident, transitions[0]))
                 enumerators.append("#endif")
                 entries.append("\n".join(enumerators))
-        content.add([f"static const {ident}_Entry", f"{ident}_Entries[] = {{"])
+        content.add([
+            "/* clang-format off */", "", f"static const {ident}_Entry",
+            f"{ident}_Entries[] = {{"
+        ])
         entries[-1] = entries[-1].replace("},", "}")
         content.append(entries)
         integer_type = get_integer_type(len(self._entries))
@@ -728,7 +731,7 @@ class TransitionMap:
         wrapper.subsequent_indent = "  "
         wrapper.width = 79
         content.append(wrapper.wrap(text))
-        content.append("};")
+        content.append(["};", "", "/* clang-format on */"])
 
     def get_post_entry_member(self, co_idx: int) -> str:
         """