l0_diagnostics.py

l0_diagnostics.py

Module: l0_diagnostics

Source: compiler/stage1_py/l0_diagnostics.py Language: Python

Symbols

Namespace l0_diagnostics

Variable l0_diagnostics.DIAGNOSTIC_CODE_FAMILIES

1
dict l0_diagnostics.DIAGNOSTIC_CODE_FAMILIES

Function l0_diagnostics.diag_from_node

1
Diagnostic l0_diagnostics.diag_from_node(str kind, str message, *Optional[str] module_name, Optional[str] filename, Optional[Node] node)

Create a Diagnostic from an AST node.

Parameters:

  • kind: The kind of diagnostic (“error” or “warning”).
  • message: The diagnostic message.
  • module_name: Optional module name.
  • filename: Optional filename.
  • node: Optional AST node providing span information.

Returns: A new Diagnostic instance.

Function l0_diagnostics.diag_from_token

1
Diagnostic l0_diagnostics.diag_from_token(str kind, str message, *Optional[str] module_name, Optional[str] filename, Optional["Token"] token)

Create a Diagnostic from a lexer token.

Parameters:

  • kind: The kind of diagnostic (“error” or “warning”).
  • message: The diagnostic message.
  • module_name: Optional module name.
  • filename: Optional filename.
  • token: Optional lexer token providing location information.

Returns: A new Diagnostic instance.

Class l0_diagnostics::Diagnostic

Represents a compiler diagnostic (error or warning).

Member Data l0_diagnostics.Diagnostic.kind

1
str kind

Member Data l0_diagnostics.Diagnostic.message

1
str message

Member Data l0_diagnostics.Diagnostic.module_name

1
Optional module_name

Member Data l0_diagnostics.Diagnostic.filename

1
Optional filename

Member Data l0_diagnostics.Diagnostic.line

1
Optional line

Member Data l0_diagnostics.Diagnostic.column

1
Optional column

Member Data l0_diagnostics.Diagnostic.end_line

1
Optional end_line

Member Data l0_diagnostics.Diagnostic.end_column

1
Optional end_column

Function l0_diagnostics.Diagnostic.format

1
str l0_diagnostics.Diagnostic.format(self)

Format the diagnostic as a one-line string header.

Returns: A formatted string containing location, kind, and message.