l0_diagnostics::Diagnostic class
compiler/stage1_py/l0_diagnostics.py

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 Optional module_name
static Optional filename
static Optional line
static Optional column
static Optional end_line
static Optional 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.