python_statement_analysis
Analyze simple Python snippets and infer variable type sets.
dataclass
¶
Result of a statement-level name/type analysis.
analyze_python_statement_types(snippet: str, global_env: Mapping[str, object] | None = None, local_types: dict[str, frozenset[TypeInfo]] | None = None) -> StatementAnalysisResult
Return possible types for names introduced by a simple Python snippet.
The analysis is conservative: - supported expressions contribute inferred or unknown local types - unsupported constructs are flagged but do not invalidate unrelated results