Skip to main content

Module diagnostics

Module diagnostics 

Source
Expand description

Python’s semantic diagnostics: conservative unresolved-name reporting.

The analyzer facts this needs are the PythonSource the import resolver already takes, plus a BoundedDefinitionLookup for “is this fqn indexed”. analyzer/python/diagnostics.rs in brokk-bifrost-analysis keeps the downcast that produces them.

Structs§

PythonSemanticDiagnostic

Constants§

MAX_PYTHON_SEMANTIC_DIAGNOSTICS
PYTHON_SEMANTIC_DIAGNOSTIC_SOURCE
PYTHON_UNRECOGNIZED_SYMBOL

Functions§

collect_python_semantic_diagnostics
Collect conservative Python unresolved-name diagnostics.