mutation

Resolve assignment and mutation targets, including class-field mutation handling.

Classes:

• ExpressionMutationVisitorMixin –

ExpressionMutationVisitorMixin

Bases: ClassMemberFormattingVisitorMixin

Methods:

• visit –

visit

visit(node: VariableAssignment) -> None

Source code in packages/irx/src/irx/analysis/handlers/_expressions/mutation.py

@SemanticAnalyzerCore.visit.dispatch
def visit(self, node: astx.VariableAssignment) -> None:
    """
    title: Visit VariableAssignment nodes.
    parameters:
      node:
        type: astx.VariableAssignment
    """
    self.visit(node.value)
    symbol = self.context.scopes.resolve(node.name)
    if symbol is None:
        self.context.diagnostics.add(
            f"cannot assign to unresolved name '{node.name}'",
            node=node,
            code=DiagnosticCodes.SEMANTIC_UNRESOLVED_NAME,
        )
        return
    if not symbol.is_mutable:
        self.context.diagnostics.add(
            f"Cannot assign to '{node.name}': declared as constant",
            node=node,
            code=DiagnosticCodes.SEMANTIC_INVALID_ASSIGNMENT_TARGET,
        )
    if self._require_value_expression(
        node.value,
        context=f"Assignment to '{node.name}'",
    ):
        validate_assignment(
            self.context.diagnostics,
            target_name=node.name,
            target_type=symbol.type_,
            value_type=self._expr_type(node.value),
            node=node,
        )
    self._set_symbol(node, symbol)
    self._set_assignment(node, symbol)
    self._set_type(node, symbol.type_)