specware 1.2.8__tar.gz → 1.2.10__tar.gz

{specware-1.2.8 → specware-1.2.10}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: specware
-Version: 1.2.8
+Version: 1.2.10
 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.6.2
+Requires-Dist: specitems>=1.6.3
 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.8 → specware-1.2.10}/pyproject.toml

@@ -4,7 +4,7 @@
 
 [project]
 name = "specware"
-version = "1.2.8"
+version = "1.2.10"
 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.6.2",
+    "specitems >=1.6.3",
 ]
 keywords = [
   "certification",

{specware-1.2.8 → specware-1.2.10}/src/specware/interface.py

@@ -757,6 +757,19 @@ class _Node:
                                      f"@retval {retval['value']} "))
                 content.wrap(self.substitute_text(ret["return"]),
                              initial_indent="@return ")
+            errnos = list(item.links_to_parents("errno"))
+            if errnos:
+                content.add([
+                    "@par Errors", "@parblock", "<table>",
+                    "<tr><th>Error Number</th><th>Description</th></tr>"
+                ])
+                for link in errnos:
+                    errno = self.substitute_text(f"${{{link.item.uid}:/name}}")
+                    content.append(f"<tr><td>{errno}</td><td>")
+                    content.gap = False
+                    content.wrap(self.substitute_text(link["description"]))
+                    content.append("</td></tr>")
+                content.append(["</table>", "@endparblock"])
             content.add_paragraph("Notes", self.substitute_text(item["notes"]))
             constraints = [
                 self.substitute_text(parent["text"], parent)

{specware-1.2.8 → specware-1.2.10}/src/specware/interfacedoc.py

@@ -157,6 +157,13 @@ def _add_return(content: TextContent, mapper: ItemMapper, item: Item,
             content.add_definition_item(
                 value, mapper.substitute(retval["description"], item))
         content.wrap(mapper.substitute(ret["return"], item))
+    errnos = list(item.links_to_parents("errno"))
+    if errnos:
+        content.add_rubric("ERRORS:")
+        for link in errnos:
+            content.add_definition_item(
+                mapper.substitute(f"${{{link.item.uid}:/name}}", item),
+                mapper.substitute(link["description"], item))
 
 
 def _document_directive(content: TextContent, mapper: ItemMapper,