facade

Classes:

• SemanticAnalyzer –

Functions:

• analyze –
• analyze_module –

SemanticAnalyzer

SemanticAnalyzer()

Bases: BaseVisitor

Methods:

• analyze –
• visit –

Source code in src/irx/analysis/facade.py

def __init__(self) -> None:
    """
    title: Initialize SemanticAnalyzer.
    """
    self.context = SemanticContext()

analyze

analyze(node: AST) -> AST

Source code in src/irx/analysis/facade.py

def analyze(self, node: astx.AST) -> astx.AST:
    """
    title: Analyze one AST root.
    parameters:
      node:
        type: astx.AST
    returns:
      type: astx.AST
    """
    if isinstance(node, astx.Module):
        self.visit(node)
    else:
        with self.context.scope("module"):
            self.visit(node)
    self.context.diagnostics.raise_if_errors()
    return node

visit

visit(node: SubscriptExpr) -> None

Source code in src/irx/analysis/facade.py

@dispatch
def visit(self, node: astx.SubscriptExpr) -> None:
    """
    title: Visit SubscriptExpr nodes.
    parameters:
      node:
        type: astx.SubscriptExpr
    """
    self.visit(node.value)
    if not isinstance(node.index, astx.LiteralNone):
        self.visit(node.index)
    value_type = self._expr_type(node.value)
    if isinstance(node.value, astx.LiteralDict):
        if not node.value.elements:
            self.context.diagnostics.add(
                "SubscriptExpr: key lookup on empty dict",
                node=node,
            )
        elif not isinstance(
            node.index,
            (
                astx.LiteralInt8,
                astx.LiteralInt16,
                astx.LiteralInt32,
                astx.LiteralInt64,
                astx.LiteralUInt8,
                astx.LiteralUInt16,
                astx.LiteralUInt32,
                astx.LiteralUInt64,
                astx.LiteralFloat32,
                astx.LiteralFloat64,
                astx.Identifier,
            ),
        ):
            self.context.diagnostics.add(
                "SubscriptExpr: only integer and floating-point "
                "dict keys are supported",
                node=node,
            )
    self._set_type(
        node,
        cast(
            astx.DataType | None,
            getattr(value_type, "value_type", None),
        ),
    )

analyze

analyze(node: AST) -> AST

Source code in src/irx/analysis/facade.py

@public
def analyze(node: astx.AST) -> astx.AST:
    """
    title: Analyze one AST root and attach node.semantic sidecars.
    parameters:
      node:
        type: astx.AST
    returns:
      type: astx.AST
    """
    return SemanticAnalyzer().analyze(node)

analyze_module

analyze_module(module: Module) -> Module

Source code in src/irx/analysis/facade.py

@public
def analyze_module(module: astx.Module) -> astx.Module:
    """
    title: Analyze an AST module.
    parameters:
      module:
        type: astx.Module
    returns:
      type: astx.Module
    """
    return cast(astx.Module, analyze(module))