l0_expr_types::ExpressionTypeChecker class
compiler/stage1_py/l0_expr_types.py

Defined in module l0_expr_types (l0_expr_types.py).

Coordinate expression and statement checking for one analysis result.

Public functions

auto __init__(self, AnalysisResult analysis) -> None
Create the checker state and its semantic collaborators.
auto check(self) -> None
Run expression/type checking for all non-extern functions.

Public attributes

state
lookup
compat
patterns
liveness
expr
flow

Function documentation

None l0_expr_types::ExpressionTypeChecker::__init__(self, AnalysisResult analysis)

Create the checker state and its semantic collaborators.

Parameters
analysis The analysis result whose types and diagnostics are populated.
Exceptions
ValueError If the analysis has no compilation unit.

None l0_expr_types::ExpressionTypeChecker::check(self)

Run expression/type checking for all non-extern functions.

This is the main entry point for expression analysis. It should be called after top-level signature resolution is complete and local scopes have been built.