fprime-fpp-python 3.3.19__tar.gz → 3.3.20__tar.gz

{fprime_fpp_python-3.3.19 → fprime_fpp_python-3.3.20}/Cargo.lock

@@ -352,7 +352,7 @@ dependencies = [
 
 [[package]]
 name = "fpp"
-version = "3.3.19"
+version = "3.3.20"
 dependencies = [
  "fpp_analysis",
  "fpp_core",
@@ -363,7 +363,7 @@ dependencies = [
 
 [[package]]
 name = "fpp_analysis"
-version = "3.3.19"
+version = "3.3.20"
 dependencies = [
  "fpp_ast",
  "fpp_core",
@@ -378,7 +378,7 @@ dependencies = [
 
 [[package]]
 name = "fpp_ast"
-version = "3.3.19"
+version = "3.3.20"
 dependencies = [
  "fpp_core",
  "fpp_macros",
@@ -386,7 +386,7 @@ dependencies = [
 
 [[package]]
 name = "fpp_core"
-version = "3.3.19"
+version = "3.3.20"
 dependencies = [
  "line-index",
  "rustc-hash 2.1.1",
@@ -395,7 +395,7 @@ dependencies = [
 
 [[package]]
 name = "fpp_diagram"
-version = "3.3.19"
+version = "3.3.20"
 dependencies = [
  "clap",
  "fpp_analysis",
@@ -412,7 +412,7 @@ dependencies = [
 
 [[package]]
 name = "fpp_errors"
-version = "3.3.19"
+version = "3.3.20"
 dependencies = [
  "annotate-snippets",
  "anstream",
@@ -421,7 +421,7 @@ dependencies = [
 
 [[package]]
 name = "fpp_format"
-version = "3.3.19"
+version = "3.3.20"
 dependencies = [
  "clap",
  "fpp_lsp_parser",
@@ -430,14 +430,14 @@ dependencies = [
 
 [[package]]
 name = "fpp_fs"
-version = "3.3.19"
+version = "3.3.20"
 dependencies = [
  "fpp_core",
 ]
 
 [[package]]
 name = "fpp_lexer"
-version = "3.3.19"
+version = "3.3.20"
 dependencies = [
  "memchr",
  "pretty_assertions",
@@ -446,7 +446,7 @@ dependencies = [
 
 [[package]]
 name = "fpp_lsp_parser"
-version = "3.3.19"
+version = "3.3.20"
 dependencies = [
  "drop_bomb",
  "fpp_lexer",
@@ -456,7 +456,7 @@ dependencies = [
 
 [[package]]
 name = "fpp_lsp_server"
-version = "3.3.19"
+version = "3.3.20"
 dependencies = [
  "anyhow",
  "clap",
@@ -485,7 +485,7 @@ dependencies = [
 
 [[package]]
 name = "fpp_macros"
-version = "3.3.19"
+version = "3.3.20"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -495,7 +495,7 @@ dependencies = [
 
 [[package]]
 name = "fpp_parser"
-version = "3.3.19"
+version = "3.3.20"
 dependencies = [
  "fpp_ast",
  "fpp_core",
@@ -508,7 +508,7 @@ dependencies = [
 
 [[package]]
 name = "fpp_python"
-version = "3.3.19"
+version = "3.3.20"
 dependencies = [
  "fpp_analysis",
  "fpp_ast",
@@ -524,7 +524,7 @@ dependencies = [
 
 [[package]]
 name = "fpp_python_bindgen"
-version = "3.3.19"
+version = "3.3.20"
 dependencies = [
  "rustdoc-json",
  "rustdoc-types",
@@ -534,7 +534,7 @@ dependencies = [
 
 [[package]]
 name = "fpp_python_macros"
-version = "3.3.19"
+version = "3.3.20"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -543,7 +543,7 @@ dependencies = [
 
 [[package]]
 name = "fpp_util"
-version = "3.3.19"
+version = "3.3.20"
 
 [[package]]
 name = "getopts"

{fprime_fpp_python-3.3.19 → fprime_fpp_python-3.3.20}/Cargo.toml

@@ -4,7 +4,7 @@ members = ["fpp_analysis", "fpp_ast", "fpp_core", "fpp_errors", "fpp_fs", "fpp_l
 resolver = "2"
 
 [workspace.package]
-version = "3.3.19"
+version = "3.3.20"
 edition = "2024"
 authors = ["Andrei Tumbar"]
 license = "Apache-2.0"

{fprime_fpp_python-3.3.19 → fprime_fpp_python-3.3.20}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: fprime-fpp-python
-Version: 3.3.19
+Version: 3.3.20
 Classifier: Programming Language :: Rust
 Classifier: Programming Language :: Python :: 3
 Classifier: Topic :: Software Development :: Compilers
@@ -107,7 +107,7 @@ any node's `span`, add child annotations and notes, and `print` it.
 ```python
 node = model.lookup("M.answer").definition
 print(fpp.Diagnostic(
-    fpp.DiagnosticLevel.Warning, "answer is unused",
+    "answer is unused", level=fpp.DiagnosticLevel.Warning,
     span=node.span,
     children=[fpp.DiagnosticMessage("delete it")],
 ))
@@ -119,6 +119,18 @@ print(fpp.Diagnostic(
 #   = note: delete it
 ```
 
+A check can raise its finding instead of returning it: `fpp.DiagnosticError`
+carries a `Diagnostic`, and everything on that diagnostic stays writable, so each
+handler on the way out can add the context it knows.
+
+```python
+try:
+    check_component(instance.component)
+except fpp.DiagnosticError as error:
+    error.diagnostic.add_note("in this instance", span=instance.node.span)
+    raise
+```
+
 `fpp.pyi` is the reference for the rest — every class, getter and return type —
 and the docstrings carry the contracts: `help(fpp.analyze)`, `help(fpp.Model)`,
 `help(fpp.NodeVisitor)`.

{fprime_fpp_python-3.3.19/fpp_python → fprime_fpp_python-3.3.20}/README.md

@@ -91,7 +91,7 @@ any node's `span`, add child annotations and notes, and `print` it.
 ```python
 node = model.lookup("M.answer").definition
 print(fpp.Diagnostic(
-    fpp.DiagnosticLevel.Warning, "answer is unused",
+    "answer is unused", level=fpp.DiagnosticLevel.Warning,
     span=node.span,
     children=[fpp.DiagnosticMessage("delete it")],
 ))
@@ -103,6 +103,18 @@ print(fpp.Diagnostic(
 #   = note: delete it
 ```
 
+A check can raise its finding instead of returning it: `fpp.DiagnosticError`
+carries a `Diagnostic`, and everything on that diagnostic stays writable, so each
+handler on the way out can add the context it knows.
+
+```python
+try:
+    check_component(instance.component)
+except fpp.DiagnosticError as error:
+    error.diagnostic.add_note("in this instance", span=instance.node.span)
+    raise
+```
+
 `fpp.pyi` is the reference for the rest — every class, getter and return type —
 and the docstrings carry the contracts: `help(fpp.analyze)`, `help(fpp.Model)`,
 `help(fpp.NodeVisitor)`.

{fprime_fpp_python-3.3.19 → fprime_fpp_python-3.3.20}/fpp_analysis/Cargo.toml

@@ -13,11 +13,11 @@ repository.workspace = true
 disabled-tests = []
 
 [dependencies]
-fpp_ast = { path = "../fpp_ast", version = "=3.3.19" }
-fpp_core = { path = "../fpp_core", version = "=3.3.19" }
-fpp_util = { path = "../fpp_util", version = "=3.3.19" }
-fpp_macros = { path = "../fpp_macros", version = "=3.3.19" }
-fpp_parser = { path = "../fpp_parser", version = "=3.3.19" }
+fpp_ast = { path = "../fpp_ast", version = "=3.3.20" }
+fpp_core = { path = "../fpp_core", version = "=3.3.20" }
+fpp_util = { path = "../fpp_util", version = "=3.3.20" }
+fpp_macros = { path = "../fpp_macros", version = "=3.3.20" }
+fpp_parser = { path = "../fpp_parser", version = "=3.3.20" }
 rustc-hash = "2.1.1"
 
 [dev-dependencies]

{fprime_fpp_python-3.3.19 → fprime_fpp_python-3.3.20}/fpp_ast/Cargo.toml

@@ -9,5 +9,5 @@ license.workspace = true
 repository.workspace = true
 
 [dependencies]
-fpp_core = { path = "../fpp_core", version = "=3.3.19" }
-fpp_macros = { path = "../fpp_macros", version = "=3.3.19" }
+fpp_core = { path = "../fpp_core", version = "=3.3.20" }
+fpp_macros = { path = "../fpp_macros", version = "=3.3.20" }

{fprime_fpp_python-3.3.19 → fprime_fpp_python-3.3.20}/fpp_errors/Cargo.toml

@@ -11,4 +11,4 @@ repository.workspace = true
 [dependencies]
 annotate-snippets = "0.12.8"
 anstream = "0.6.21"
-fpp_core = { path = "../fpp_core", version = "=3.3.19" }
+fpp_core = { path = "../fpp_core", version = "=3.3.20" }

{fprime_fpp_python-3.3.19 → fprime_fpp_python-3.3.20}/fpp_fs/Cargo.toml

@@ -9,4 +9,4 @@ license.workspace = true
 repository.workspace = true
 
 [dependencies]
-fpp_core = { path = "../fpp_core", version = "=3.3.19" }
+fpp_core = { path = "../fpp_core", version = "=3.3.20" }

{fprime_fpp_python-3.3.19 → fprime_fpp_python-3.3.20}/fpp_parser/Cargo.toml

@@ -10,9 +10,9 @@ repository.workspace = true
 readme = "README.md"
 
 [dependencies]
-fpp_lexer = { path = "../fpp_lexer", version = "=3.3.19" }
-fpp_core = { path = "../fpp_core", version = "=3.3.19" }
-fpp_ast = { path = "../fpp_ast", version = "=3.3.19" }
+fpp_lexer = { path = "../fpp_lexer", version = "=3.3.20" }
+fpp_core = { path = "../fpp_core", version = "=3.3.20" }
+fpp_ast = { path = "../fpp_ast", version = "=3.3.20" }
 rustc-hash = "2.1.1"
 
 [dev-dependencies]

{fprime_fpp_python-3.3.19 → fprime_fpp_python-3.3.20}/fpp_python/Cargo.toml

@@ -37,15 +37,15 @@ pyo3-stub-gen = { version = "0.23", default-features = false, features = [
 ] }
 
 # Attribute macros that remove wrapper boilerplate (in-workspace proc-macro crate).
-fpp_python_macros = { path = "../fpp_python_macros", version = "=3.3.19" }
+fpp_python_macros = { path = "../fpp_python_macros", version = "=3.3.20" }
 
 # FPP compiler crates (in-workspace path deps).
-fpp_core = { path = "../fpp_core", version = "=3.3.19" }
-fpp_ast = { path = "../fpp_ast", version = "=3.3.19" }
-fpp_analysis = { path = "../fpp_analysis", version = "=3.3.19" }
-fpp_parser = { path = "../fpp_parser", version = "=3.3.19" }
-fpp_fs = { path = "../fpp_fs", version = "=3.3.19" }
-fpp_errors = { path = "../fpp_errors", version = "=3.3.19" }
+fpp_core = { path = "../fpp_core", version = "=3.3.20" }
+fpp_ast = { path = "../fpp_ast", version = "=3.3.20" }
+fpp_analysis = { path = "../fpp_analysis", version = "=3.3.20" }
+fpp_parser = { path = "../fpp_parser", version = "=3.3.20" }
+fpp_fs = { path = "../fpp_fs", version = "=3.3.20" }
+fpp_errors = { path = "../fpp_errors", version = "=3.3.20" }
 
 rustc-hash = "2"
 

{fprime_fpp_python-3.3.19 → fprime_fpp_python-3.3.20/fpp_python}/README.md

@@ -91,7 +91,7 @@ any node's `span`, add child annotations and notes, and `print` it.
 ```python
 node = model.lookup("M.answer").definition
 print(fpp.Diagnostic(
-    fpp.DiagnosticLevel.Warning, "answer is unused",
+    "answer is unused", level=fpp.DiagnosticLevel.Warning,
     span=node.span,
     children=[fpp.DiagnosticMessage("delete it")],
 ))
@@ -103,6 +103,18 @@ print(fpp.Diagnostic(
 #   = note: delete it
 ```
 
+A check can raise its finding instead of returning it: `fpp.DiagnosticError`
+carries a `Diagnostic`, and everything on that diagnostic stays writable, so each
+handler on the way out can add the context it knows.
+
+```python
+try:
+    check_component(instance.component)
+except fpp.DiagnosticError as error:
+    error.diagnostic.add_note("in this instance", span=instance.node.span)
+    raise
+```
+
 `fpp.pyi` is the reference for the rest — every class, getter and return type —
 and the docstrings carry the contracts: `help(fpp.analyze)`, `help(fpp.Model)`,
 `help(fpp.NodeVisitor)`.

{fprime_fpp_python-3.3.19 → fprime_fpp_python-3.3.20}/fpp_python/fpp.pyi

@@ -58,6 +58,7 @@ __all__ = [
     "DefTopology",
     "DefaultFormatReplacementKind",
     "Diagnostic",
+    "DiagnosticError",
     "DiagnosticLevel",
     "DiagnosticMessage",
     "DiagnosticMessageKind",
@@ -902,12 +903,16 @@ class Diagnostic:
     
     ```python
     fpp.Diagnostic(
-        fpp.DiagnosticLevel.Error, "component is missing a command port",
+        "component is missing a command port",
         span=component.node.span,
         children=[fpp.DiagnosticMessage("declared here", span=other.node.span)],
     )
     ```
     
+    Raise one with `DiagnosticError`, which carries it. Every part of a
+    `Diagnostic` is writable, so a check can raise one and each caller that
+    catches it can add the context it knows before re-raising.
+    
     `str()` renders it the way the `fpp` compiler renders a diagnostic on the
     console — source excerpt, carets, and all — while
     `display` is the one-line form.
@@ -917,8 +922,12 @@ class Diagnostic:
         r"""
         This diagnostic's severity.
         """
+    @level.setter
+    def level(self, value: DiagnosticLevel) -> None: ...
     @property
     def message(self) -> builtins.str: ...
+    @message.setter
+    def message(self, value: builtins.str) -> None: ...
     @property
     def location(self) -> typing.Optional[Loc]:
         r"""
@@ -939,7 +948,12 @@ class Diagnostic:
     def children(self) -> builtins.list[DiagnosticMessage]:
         r"""
         The child messages, in the order they were added.
+        
+        A fresh list each read, so `diagnostic.children.append(...)` appends to a
+        copy and changes nothing — use `add_child` (or assign to `children`).
         """
+    @children.setter
+    def children(self, value: typing.Sequence[DiagnosticMessage]) -> None: ...
     @property
     def display(self) -> builtins.str:
         r"""
@@ -949,7 +963,30 @@ class Diagnostic:
         
         The children are not part of it — see `render` for the full rendering.
         """
-    def __new__(cls, level: DiagnosticLevel, message: builtins.str, *, span: typing.Optional[Span] = None, children: typing.Sequence[DiagnosticMessage] = []) -> Diagnostic: ...
+    def __new__(cls, message: builtins.str, *, level: DiagnosticLevel = DiagnosticLevel.Error, span: typing.Optional[Span] = None, children: typing.Sequence[DiagnosticMessage] = []) -> Diagnostic: ...
+    def add_child(self, child: DiagnosticMessage) -> None:
+        r"""
+        Append `child` to `children`.
+        """
+    def add_note(self, message: builtins.str, *, span: typing.Optional[Span] = None) -> None:
+        r"""
+        Append a child note: a remark under this diagnostic, pointing at `span`
+        if it is given.
+        """
+    def add_annotation(self, message: builtins.str, *, span: typing.Optional[Span] = None) -> None:
+        r"""
+        Append a child annotation: a further message at this diagnostic's own
+        level, pointing at `span` if it is given.
+        """
+    def set_span(self, span: typing.Optional[Span]) -> None:
+        r"""
+        Point this diagnostic at `span`'s source instead of wherever it pointed
+        before, or at nothing for `span=None`.
+        
+        A method rather than a `span` property: a diagnostic keeps only the
+        resolved source excerpt (see `location`/`source`), not the `Span` it came
+        from, so there is nothing for a getter to return.
+        """
     def render(self, *, color: builtins.bool = False) -> builtins.str:
         r"""
         This diagnostic as the compiler renders it on the console: the message,
@@ -960,6 +997,39 @@ class Diagnostic:
     def __str__(self) -> builtins.str: ...
     def __repr__(self) -> builtins.str: ...
 
+class DiagnosticError(builtins.Exception):
+    r"""
+    A raised `Diagnostic`, in the `diagnostic` attribute.
+    
+    A `Diagnostic` cannot be an exception itself: the extension is built against
+    Python's stable ABI (one wheel for CPython >= 3.10), which does not let a
+    native class inherit from `Exception` before 3.12. So a check raises this:
+    
+    ```python
+    raise fpp.DiagnosticError(
+        fpp.Diagnostic("component is missing a command port", span=component.node.span)
+    )
+    ```
+    
+    The diagnostic stays writable while the exception propagates, so a caller can
+    add the context it knows and re-raise:
+    
+    ```python
+    try:
+        check_component(instance.component)
+    except fpp.DiagnosticError as error:
+        error.diagnostic.add_note("in this instance", span=instance.node.span)
+        raise
+    ```
+    
+    `str()` of the error is the diagnostic's console rendering.
+    """
+    @property
+    def diagnostic(self) -> Diagnostic:
+        r"""
+        The diagnostic this error was raised with.
+        """
+
 @typing.final
 class DiagnosticMessage:
     r"""
@@ -1463,6 +1533,9 @@ class Model:
     def diagnostics(self) -> builtins.list[Diagnostic]:
         r"""
         The diagnostics (errors, warnings, notes) emitted during analysis.
+        
+        Freshly built on each read, so writing to one of them (a `Diagnostic` is
+        mutable) changes nothing in the model.
         """
     @property
     def analysis(self) -> Analysis:
@@ -3047,6 +3120,7 @@ class DiagnosticLevel:
         The compiler's spelling of this level: `"error"`, `"warning"`, `"note"`
         or `"help"`.
         """
+    def __repr__(self) -> builtins.str: ...
 
 @typing.final
 class DiagnosticMessageKind:
@@ -3068,6 +3142,7 @@ class DiagnosticMessageKind:
         r"""
         The same string as `name` (`enum.StrEnum`).
         """
+    def __repr__(self) -> builtins.str: ...
 
 @typing.final
 class Direction: