specware 1.3.2__tar.gz → 1.3.4__tar.gz

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

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: specware
-Version: 1.3.2
+Version: 1.3.4
 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.4}/pyproject.toml

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

{specware-1.3.2 → specware-1.3.4}/src/specware/contentc.py

@@ -573,7 +573,7 @@ def get_value_double_colon(ctx: ItemGetValueContext) -> Any:
 
 def get_value_header_file(ctx: ItemGetValueContext) -> Any:
     """ Get the value formatted as a header file. """
-    return f"``<{ctx.value[ctx.key]}>``"
+    return f"`<{ctx.value[ctx.key]}>`"
 
 
 def get_value_hash(ctx: ItemGetValueContext) -> Any:

{specware-1.3.2 → specware-1.3.4}/src/specware/interfacemapper.py

@@ -110,6 +110,11 @@ def get_value_sphinx_param(ctx: ItemGetValueContext) -> str:
     return f"``{sanitize_name(ctx.value[ctx.key])}``"
 
 
+def get_value_sphinx_header_file(ctx: ItemGetValueContext) -> str:
+    """ Gets a header file. """
+    return f"``<{ctx.value[ctx.key]}>``"
+
+
 class SphinxInterfaceMapper(SphinxMapper):
     """ Sphinx item mapper for the interface documentation. """
 
@@ -135,7 +140,7 @@ class SphinxInterfaceMapper(SphinxMapper):
                            get_value_sphinx_param)
         self.add_get_value("interface/group:/name", self._get_group)
         self.add_get_value("interface/header-file:/path",
-                           get_value_header_file)
+                           get_value_sphinx_header_file)
         self.add_get_value("interface/macro:/name", self._get_function)
         self.add_get_value("interface/macro:/params/name",
                            get_value_sphinx_param)

{specware-1.3.2 → specware-1.3.4}/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:
         """