MCPcopy Create free account
hub / github.com/BasisResearch/lean.py / __init__

Method __init__

lean_py/exceptions.py:70–77  ·  view source on GitHub ↗
(self, python_type: str, python_message: str)

Source from the content-addressed store, hash-verified

68 __slots__ = ("python_type", "python_message")
69
70 def __init__(self, python_type: str, python_message: str) -> None:
71 self.python_type = python_type
72 self.python_message = python_message
73 super().__init__(
74 kind="python",
75 message=f"{python_type}: {python_message}",
76 context={"python_type": python_type, "python_message": python_message},
77 )
78
79
80def parse_io_error_message(raw: str) -> tuple[str, str]:

Callers

nothing calls this directly

Calls 1

__init__Method · 0.45

Tested by

no test coverage detected