papyri
{ } Raw JSON

bundles / papyri latest / papyri / error_collector / Diagnostics

class

papyri.error_collector:Diagnostics

source: /papyri/error_collector.py:306

Signature

class Diagnostics(config: DiagnosticConfig, log: logging.Logger) → None

Members

Summary

Collects coded gen-time diagnostics and resolves their severities.

Extended Summary

emit is the single entry point: it resolves the severity for the current target, logs at the matching level (unless IGNORE), and records the diagnostic for the manifest. has_errors drives the non-zero exit of papyri gen.

Aliases

  • papyri.error_collector.Diagnostics