Class GetAttr

mypyc/ir/ops.py:873–908

obj.attr (for a native object)

@final
class GetAttr(RegisterOp):
    """obj.attr (for a native object)"""

    error_kind = ERR_MAGIC

    def __init__(
        self,
        obj: Value,
        attr: str,
        line: int,
        *,
        borrow: bool = False,
        allow_error_value: bool = False,
    ) -> None:
        super().__init__(line)
        self.obj = obj
        self.attr = attr
        self.allow_error_value = allow_error_value
        assert isinstance(obj.type, RInstance), "Attribute access not supported: %s" % obj.type
        self.class_type = obj.type
        attr_type = obj.type.attr_type(attr)
        self.type = attr_type
        if allow_error_value:
            self.error_kind = ERR_NEVER
        elif attr_type.error_overlap:
            self.error_kind = ERR_MAGIC_OVERLAPPING
        self.is_borrowed = borrow and attr_type.is_refcounted

    def sources(self) -> list[Value]:
        return [self.obj]

    def set_sources(self, new: list[Value]) -> None:
        (self.obj,) = new

    def accept(self, visitor: OpVisitor[T]) -> T:
        return visitor.visit_get_attr(self)


@final