Module

_diagnostic_adapters

Private adapters from existing producer records to canonical diagnostics.

12Functions

Functions

_category_for_code 1 str ▼
Return the public ErrorCode category or an explicit unknown marker.
def _category_for_code(code: str) -> str
Parameters
Name Type Description
code str
Returns
str
convert_template_diagnostic 1 Diagnostic ▼
Losslessly adapt the existing exception payload to the canonical model. ``Temp…
def convert_template_diagnostic(source: TemplateDiagnostic) -> Diagnostic

Losslessly adapt the existing exception payload to the canonical model.

TemplateDiagnosticpredates the canonical model and is documented via UndefinedError.to_diagnostic(). This adapter leaves that payload and all of its renderers unchanged.

Parameters
Name Type Description
source TemplateDiagnostic
Returns
Diagnostic
convert_template_error 1 Diagnostic ▼
Adapt a code-bearing Kida exception without changing its public class.
def convert_template_error(source: TemplateError) -> Diagnostic
Parameters
Name Type Description
source TemplateError
Returns
Diagnostic
convert_template_warning 1 Diagnostic ▼
Adapt a compiler warning while retaining its existing warning API.
def convert_template_warning(source: TemplateWarning) -> Diagnostic
Parameters
Name Type Description
source TemplateWarning
Returns
Diagnostic
convert_call_validation 2 Diagnostic ▼
Adapt one invalid component call result.
def convert_call_validation(source: CallValidation, *, template_name: str | None = None) -> Diagnostic
Parameters
Name Type Description
source CallValidation
template_name str | None Default:None
Returns
Diagnostic
convert_type_mismatch 2 Diagnostic ▼
Adapt one statically proven component literal type mismatch.
def convert_type_mismatch(source: TypeMismatch, *, template_name: str | None = None) -> Diagnostic
Parameters
Name Type Description
source TypeMismatch
template_name str | None Default:None
Returns
Diagnostic
convert_privacy_finding 1 Diagnostic ▼
Adapt a conservative privacy-lint heuristic.
def convert_privacy_finding(source: PrivacyFinding) -> Diagnostic
Parameters
Name Type Description
source PrivacyFinding
Returns
Diagnostic
convert_context_contract_issue 1 Diagnostic ▼
Adapt a deterministic context-contract mismatch.
def convert_context_contract_issue(source: ContextContractIssue) -> Diagnostic
Parameters
Name Type Description
source ContextContractIssue
Returns
Diagnostic
convert_escape_audit_finding 1 Diagnostic ▼
Adapt a deterministic escaping/trusted-markup observation.
def convert_escape_audit_finding(source: EscapeAuditFinding) -> Diagnostic
Parameters
Name Type Description
source EscapeAuditFinding
Returns
Diagnostic
convert_a11y_issue 2 Diagnostic ▼
Adapt a static accessibility heuristic with its registered code.
def convert_a11y_issue(source: A11yIssue, *, template_name: str | None = None) -> Diagnostic
Parameters
Name Type Description
source A11yIssue
template_name str | None Default:None
Returns
Diagnostic
convert_type_issue 2 Diagnostic ▼
Adapt a template-declaration type finding with its registered code.
def convert_type_issue(source: TypeIssue, *, template_name: str | None = None) -> Diagnostic
Parameters
Name Type Description
source TypeIssue
template_name str | None Default:None
Returns
Diagnostic
convert_fragile_path_issue 2 Diagnostic ▼
Adapt a same-folder path suggestion with its registered code.
def convert_fragile_path_issue(source: FragilePathIssue, *, template_name: str | None = None) -> Diagnostic
Parameters
Name Type Description
source FragilePathIssue
template_name str | None Default:None
Returns
Diagnostic