generate unique IDs

SamsungDS · Feb 22, 2024 · 18025ad · 18025ad
1 parent ea3c526
commit 18025ad
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/src/spex/jsonspec/document.py b/src/spex/jsonspec/document.py
@@ -68,6 +68,7 @@ def __init__(self, args: ParserArgs, doc: "ElementTree", spec: str, revision: st
         self.__linter = DocLinter()
         self.__post_init__()
         self._unwind_parse_error = False
+        self.__fig_id_missing_counter = 0
 
     def __post_init__(self) -> None:
         ...
@@ -147,9 +148,12 @@ def _on_extract_figure_id(self, figure_title: str) -> str:
                 ULog.ERROR,
                 f"failed extracting title from figure header {figure_title!r}",
             )
+            fig_id = self.__fig_id_missing_counter
+            self.__fig_id_missing_counter = fig_id + 1
+
             self.linter.add_issue(
                 LintErr.TBL_FIG_ID_EXTRACT_ERR,
-                "FIG_ID_MISSING",
+                f"FIG_ID_MISSING[{fig_id}]",
                 ctx={"title": figure_title},
             )
             raise RuntimeError(f"failed to extract figure ID from {figure_title!r}")