nkdsl.compiler.diagnostics.collectorΒΆ

Diagnostics collection and filtering orchestration.

Functions

default_diagnostic_rules()

Builds the default ordered DSL diagnostics rule set.

diagnostic_severity_at_least(severity, minimum)

Checks whether severity is at least minimum.

diagnostic_severity_rank(severity)

Returns the integer rank of one diagnostic-severity value.

filter_diagnostics_by_minimum_severity(...)

Filters diagnostics at or above one severity threshold.

run_default_diagnostics(*, operator, ir, options)

Runs all default diagnostics rules over one compilation input.

Classes

DSLDiagnostic(code, severity, message, ...)

One DSL lint/diagnostic finding produced by compiler diagnostics.

DiagnosticRuleContext(operator, ir, options)

Immutable context passed to diagnostics rules.