Diagnostic class
Defined in module l0_diagnostics (l0_diagnostics.py).
Represents a compiler diagnostic (error or warning).
Public static attributes
- static str kind
- static str message
- static str module_name
- static str filename
- static int line
- static int column
- static int end_line
- static int end_column
Public functions
- auto format(self) -> str
- Format the diagnostic as a one-line string header.
Function documentation
str l0_diagnostics:: Diagnostic:: format(self)
Format the diagnostic as a one-line string header.
| Returns | A formatted string containing location, kind, and message. |
|---|