API reference
python:irx:irx.diagnostics.SourceLocation
class SourceLocation
SourceLocation(line: int | None = None, col: int | None = None, end_line: int | None = None, end_col: int | None = None)
Source: packages/irx/src/irx/diagnostics.py:132
One best-effort source location.
Attributes
-
line — Type: int | None
-
col — Type: int | None
-
end_line — Type: int | None
-
end_col — Type: int | None
Methods
-
__init__ —
-
format — Render one location without module identity.
-
is_known — Return whether any source position is known.