specware 1.3.3__tar.gz → 1.3.4__tar.gz

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

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

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

{specware-1.3.3 → 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.3 → 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)