| from __future__ import annotations |
| |
| from typing import Callable |
| |
| from mypy.plugin import MethodContext, MethodSigContext, Plugin |
| from mypy.types import CallableType, NoneType, Type, get_proper_type |
| |
| |
| class DescriptorPlugin(Plugin): |
| def get_method_hook(self, fullname: str) -> Callable[[MethodContext], Type] | None: |
| if fullname == "__main__.Desc.__get__": |
| return get_hook |
| return None |
| |
| def get_method_signature_hook( |
| self, fullname: str |
| ) -> Callable[[MethodSigContext], CallableType] | None: |
| if fullname == "__main__.Desc.__set__": |
| return set_hook |
| return None |
| |
| |
| def get_hook(ctx: MethodContext) -> Type: |
| arg = get_proper_type(ctx.arg_types[0][0]) |
| if isinstance(arg, NoneType): |
| return ctx.api.named_generic_type("builtins.str", []) |
| return ctx.api.named_generic_type("builtins.int", []) |
| |
| |
| def set_hook(ctx: MethodSigContext) -> CallableType: |
| return CallableType( |
| [ |
| ctx.api.named_generic_type("__main__.Cls", []), |
| ctx.api.named_generic_type("builtins.int", []), |
| ], |
| ctx.default_signature.arg_kinds, |
| ctx.default_signature.arg_names, |
| ctx.default_signature.ret_type, |
| ctx.default_signature.fallback, |
| ) |
| |
| |
| def plugin(version: str) -> type[DescriptorPlugin]: |
| return DescriptorPlugin |