| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643 |
- # Licensed under the LGPL: https://www.gnu.org/licenses/old-licenses/lgpl-2.1.en.html
- # For details: https://github.com/PyCQA/astroid/blob/main/LICENSE
- # Copyright (c) https://github.com/PyCQA/astroid/blob/main/CONTRIBUTORS.txt
- """this module contains a set of functions to create astroid trees from scratch
- (build_* functions) or from living object (object_build_* functions)
- """
- from __future__ import annotations
- import builtins
- import inspect
- import io
- import logging
- import os
- import sys
- import types
- import warnings
- from collections.abc import Iterable
- from contextlib import redirect_stderr, redirect_stdout
- from typing import Any, Union
- from astroid import bases, nodes
- from astroid.const import _EMPTY_OBJECT_MARKER, IS_PYPY
- from astroid.manager import AstroidManager
- from astroid.nodes import node_classes
- logger = logging.getLogger(__name__)
- _FunctionTypes = Union[
- types.FunctionType,
- types.MethodType,
- types.BuiltinFunctionType,
- types.WrapperDescriptorType,
- types.MethodDescriptorType,
- types.ClassMethodDescriptorType,
- ]
- # the keys of CONST_CLS eg python builtin types
- _CONSTANTS = tuple(node_classes.CONST_CLS)
- _BUILTINS = vars(builtins)
- TYPE_NONE = type(None)
- TYPE_NOTIMPLEMENTED = type(NotImplemented)
- TYPE_ELLIPSIS = type(...)
- def _attach_local_node(parent, node, name: str) -> None:
- node.name = name # needed by add_local_node
- parent.add_local_node(node)
- def _add_dunder_class(func, member) -> None:
- """Add a __class__ member to the given func node, if we can determine it."""
- python_cls = member.__class__
- cls_name = getattr(python_cls, "__name__", None)
- if not cls_name:
- return
- cls_bases = [ancestor.__name__ for ancestor in python_cls.__bases__]
- ast_klass = build_class(cls_name, cls_bases, python_cls.__doc__)
- func.instance_attrs["__class__"] = [ast_klass]
- def attach_dummy_node(node, name: str, runtime_object=_EMPTY_OBJECT_MARKER) -> None:
- """create a dummy node and register it in the locals of the given
- node with the specified name
- """
- enode = nodes.EmptyNode()
- enode.object = runtime_object
- _attach_local_node(node, enode, name)
- def attach_const_node(node, name: str, value) -> None:
- """create a Const node and register it in the locals of the given
- node with the specified name
- """
- if name not in node.special_attributes:
- _attach_local_node(node, nodes.const_factory(value), name)
- def attach_import_node(node, modname: str, membername: str) -> None:
- """create a ImportFrom node and register it in the locals of the given
- node with the specified name
- """
- from_node = nodes.ImportFrom(modname, [(membername, None)])
- _attach_local_node(node, from_node, membername)
- def build_module(name: str, doc: str | None = None) -> nodes.Module:
- """create and initialize an astroid Module node"""
- node = nodes.Module(name, pure_python=False, package=False)
- node.postinit(
- body=[],
- doc_node=nodes.Const(value=doc) if doc else None,
- )
- return node
- def build_class(
- name: str, basenames: Iterable[str] = (), doc: str | None = None
- ) -> nodes.ClassDef:
- """Create and initialize an astroid ClassDef node."""
- node = nodes.ClassDef(name)
- node.postinit(
- bases=[nodes.Name(name=base, parent=node) for base in basenames],
- body=[],
- decorators=None,
- doc_node=nodes.Const(value=doc) if doc else None,
- )
- return node
- def build_function(
- name: str,
- args: list[str] | None = None,
- posonlyargs: list[str] | None = None,
- defaults: list[Any] | None = None,
- doc: str | None = None,
- kwonlyargs: list[str] | None = None,
- kwonlydefaults: list[Any] | None = None,
- ) -> nodes.FunctionDef:
- """create and initialize an astroid FunctionDef node"""
- # first argument is now a list of decorators
- func = nodes.FunctionDef(name)
- argsnode = nodes.Arguments(parent=func)
- # If args is None we don't have any information about the signature
- # (in contrast to when there are no arguments and args == []). We pass
- # this to the builder to indicate this.
- if args is not None:
- arguments = [nodes.AssignName(name=arg, parent=argsnode) for arg in args]
- else:
- arguments = None
- default_nodes: list[nodes.NodeNG] | None = []
- if defaults is not None:
- for default in defaults:
- default_node = nodes.const_factory(default)
- default_node.parent = argsnode
- default_nodes.append(default_node)
- else:
- default_nodes = None
- kwonlydefault_nodes: list[nodes.NodeNG | None] | None = []
- if kwonlydefaults is not None:
- for kwonlydefault in kwonlydefaults:
- kwonlydefault_node = nodes.const_factory(kwonlydefault)
- kwonlydefault_node.parent = argsnode
- kwonlydefault_nodes.append(kwonlydefault_node)
- else:
- kwonlydefault_nodes = None
- argsnode.postinit(
- args=arguments,
- defaults=default_nodes,
- kwonlyargs=[
- nodes.AssignName(name=arg, parent=argsnode) for arg in kwonlyargs or ()
- ],
- kw_defaults=kwonlydefault_nodes,
- annotations=[],
- posonlyargs=[
- nodes.AssignName(name=arg, parent=argsnode) for arg in posonlyargs or ()
- ],
- )
- func.postinit(
- args=argsnode,
- body=[],
- doc_node=nodes.Const(value=doc) if doc else None,
- )
- if args:
- register_arguments(func)
- return func
- def build_from_import(fromname: str, names: list[str]) -> nodes.ImportFrom:
- """create and initialize an astroid ImportFrom import statement"""
- return nodes.ImportFrom(fromname, [(name, None) for name in names])
- def register_arguments(func: nodes.FunctionDef, args: list | None = None) -> None:
- """add given arguments to local
- args is a list that may contains nested lists
- (i.e. def func(a, (b, c, d)): ...)
- """
- # If no args are passed in, get the args from the function.
- if args is None:
- if func.args.vararg:
- func.set_local(func.args.vararg, func.args)
- if func.args.kwarg:
- func.set_local(func.args.kwarg, func.args)
- args = func.args.args
- # If the function has no args, there is nothing left to do.
- if args is None:
- return
- for arg in args:
- if isinstance(arg, nodes.AssignName):
- func.set_local(arg.name, arg)
- else:
- register_arguments(func, arg.elts)
- def object_build_class(
- node: nodes.Module | nodes.ClassDef, member: type, localname: str
- ) -> nodes.ClassDef:
- """create astroid for a living class object"""
- basenames = [base.__name__ for base in member.__bases__]
- return _base_class_object_build(node, member, basenames, localname=localname)
- def _get_args_info_from_callable(
- member: _FunctionTypes,
- ) -> tuple[list[str], list[str], list[Any], list[str], list[Any]]:
- """Returns args, posonlyargs, defaults, kwonlyargs.
- :note: currently ignores the return annotation.
- """
- signature = inspect.signature(member)
- args: list[str] = []
- defaults: list[Any] = []
- posonlyargs: list[str] = []
- kwonlyargs: list[str] = []
- kwonlydefaults: list[Any] = []
- for param_name, param in signature.parameters.items():
- if param.kind == inspect.Parameter.POSITIONAL_ONLY:
- posonlyargs.append(param_name)
- elif param.kind == inspect.Parameter.POSITIONAL_OR_KEYWORD:
- args.append(param_name)
- elif param.kind == inspect.Parameter.VAR_POSITIONAL:
- args.append(param_name)
- elif param.kind == inspect.Parameter.VAR_KEYWORD:
- args.append(param_name)
- elif param.kind == inspect.Parameter.KEYWORD_ONLY:
- kwonlyargs.append(param_name)
- if param.default is not inspect.Parameter.empty:
- kwonlydefaults.append(param.default)
- continue
- if param.default is not inspect.Parameter.empty:
- defaults.append(param.default)
- return args, posonlyargs, defaults, kwonlyargs, kwonlydefaults
- def object_build_function(
- node: nodes.Module | nodes.ClassDef, member: _FunctionTypes, localname: str
- ) -> None:
- """create astroid for a living function object"""
- (
- args,
- posonlyargs,
- defaults,
- kwonlyargs,
- kwonly_defaults,
- ) = _get_args_info_from_callable(member)
- func = build_function(
- getattr(member, "__name__", None) or localname,
- args,
- posonlyargs,
- defaults,
- member.__doc__,
- kwonlyargs=kwonlyargs,
- kwonlydefaults=kwonly_defaults,
- )
- node.add_local_node(func, localname)
- def object_build_datadescriptor(
- node: nodes.Module | nodes.ClassDef, member: type, name: str
- ) -> nodes.ClassDef:
- """create astroid for a living data descriptor object"""
- return _base_class_object_build(node, member, [], name)
- def object_build_methoddescriptor(
- node: nodes.Module | nodes.ClassDef,
- member: _FunctionTypes,
- localname: str,
- ) -> None:
- """create astroid for a living method descriptor object"""
- # FIXME get arguments ?
- func = build_function(
- getattr(member, "__name__", None) or localname, doc=member.__doc__
- )
- node.add_local_node(func, localname)
- _add_dunder_class(func, member)
- def _base_class_object_build(
- node: nodes.Module | nodes.ClassDef,
- member: type,
- basenames: list[str],
- name: str | None = None,
- localname: str | None = None,
- ) -> nodes.ClassDef:
- """create astroid for a living class object, with a given set of base names
- (e.g. ancestors)
- """
- class_name = name or getattr(member, "__name__", None) or localname
- assert isinstance(class_name, str)
- klass = build_class(
- class_name,
- basenames,
- member.__doc__,
- )
- klass._newstyle = isinstance(member, type)
- node.add_local_node(klass, localname)
- try:
- # limit the instantiation trick since it's too dangerous
- # (such as infinite test execution...)
- # this at least resolves common case such as Exception.args,
- # OSError.errno
- if issubclass(member, Exception):
- instdict = member().__dict__
- else:
- raise TypeError
- except TypeError:
- pass
- else:
- for item_name, obj in instdict.items():
- valnode = nodes.EmptyNode()
- valnode.object = obj
- valnode.parent = klass
- valnode.lineno = 1
- klass.instance_attrs[item_name] = [valnode]
- return klass
- def _build_from_function(
- node: nodes.Module | nodes.ClassDef,
- name: str,
- member: _FunctionTypes,
- module: types.ModuleType,
- ) -> None:
- # verify this is not an imported function
- try:
- code = member.__code__ # type: ignore[union-attr]
- except AttributeError:
- # Some implementations don't provide the code object,
- # such as Jython.
- code = None
- filename = getattr(code, "co_filename", None)
- if filename is None:
- assert isinstance(member, object)
- object_build_methoddescriptor(node, member, name)
- elif filename != getattr(module, "__file__", None):
- attach_dummy_node(node, name, member)
- else:
- object_build_function(node, member, name)
- def _safe_has_attribute(obj, member: str) -> bool:
- """Required because unexpected RunTimeError can be raised.
- See https://github.com/PyCQA/astroid/issues/1958
- """
- try:
- return hasattr(obj, member)
- except Exception: # pylint: disable=broad-except
- return False
- class InspectBuilder:
- """class for building nodes from living object
- this is actually a really minimal representation, including only Module,
- FunctionDef and ClassDef nodes and some others as guessed.
- """
- def __init__(self, manager_instance: AstroidManager | None = None) -> None:
- self._manager = manager_instance or AstroidManager()
- self._done: dict[types.ModuleType | type, nodes.Module | nodes.ClassDef] = {}
- self._module: types.ModuleType
- def inspect_build(
- self,
- module: types.ModuleType,
- modname: str | None = None,
- path: str | None = None,
- ) -> nodes.Module:
- """build astroid from a living module (i.e. using inspect)
- this is used when there is no python source code available (either
- because it's a built-in module or because the .py is not available)
- """
- self._module = module
- if modname is None:
- modname = module.__name__
- try:
- node = build_module(modname, module.__doc__)
- except AttributeError:
- # in jython, java modules have no __doc__ (see #109562)
- node = build_module(modname)
- if path is None:
- node.path = node.file = path
- else:
- node.path = [os.path.abspath(path)]
- node.file = node.path[0]
- node.name = modname
- self._manager.cache_module(node)
- node.package = hasattr(module, "__path__")
- self._done = {}
- self.object_build(node, module)
- return node
- def object_build(
- self, node: nodes.Module | nodes.ClassDef, obj: types.ModuleType | type
- ) -> None:
- """recursive method which create a partial ast from real objects
- (only function, class, and method are handled)
- """
- if obj in self._done:
- return None
- self._done[obj] = node
- for name in dir(obj):
- # inspect.ismethod() and inspect.isbuiltin() in PyPy return
- # the opposite of what they do in CPython for __class_getitem__.
- pypy__class_getitem__ = IS_PYPY and name == "__class_getitem__"
- try:
- with warnings.catch_warnings():
- warnings.simplefilter("ignore")
- member = getattr(obj, name)
- except AttributeError:
- # damned ExtensionClass.Base, I know you're there !
- attach_dummy_node(node, name)
- continue
- if inspect.ismethod(member) and not pypy__class_getitem__:
- member = member.__func__
- if inspect.isfunction(member):
- _build_from_function(node, name, member, self._module)
- elif inspect.isbuiltin(member) or pypy__class_getitem__:
- if self.imported_member(node, member, name):
- continue
- object_build_methoddescriptor(node, member, name)
- elif inspect.isclass(member):
- if self.imported_member(node, member, name):
- continue
- if member in self._done:
- class_node = self._done[member]
- assert isinstance(class_node, nodes.ClassDef)
- if class_node not in node.locals.get(name, ()):
- node.add_local_node(class_node, name)
- else:
- class_node = object_build_class(node, member, name)
- # recursion
- self.object_build(class_node, member)
- if name == "__class__" and class_node.parent is None:
- class_node.parent = self._done[self._module]
- elif inspect.ismethoddescriptor(member):
- object_build_methoddescriptor(node, member, name)
- elif inspect.isdatadescriptor(member):
- object_build_datadescriptor(node, member, name)
- elif isinstance(member, _CONSTANTS):
- attach_const_node(node, name, member)
- elif inspect.isroutine(member):
- # This should be called for Jython, where some builtin
- # methods aren't caught by isbuiltin branch.
- _build_from_function(node, name, member, self._module)
- elif _safe_has_attribute(member, "__all__"):
- module = build_module(name)
- _attach_local_node(node, module, name)
- # recursion
- self.object_build(module, member)
- else:
- # create an empty node so that the name is actually defined
- attach_dummy_node(node, name, member)
- return None
- def imported_member(self, node, member, name: str) -> bool:
- """verify this is not an imported class or handle it"""
- # /!\ some classes like ExtensionClass doesn't have a __module__
- # attribute ! Also, this may trigger an exception on badly built module
- # (see http://www.logilab.org/ticket/57299 for instance)
- try:
- modname = getattr(member, "__module__", None)
- except TypeError:
- modname = None
- if modname is None:
- if name in {"__new__", "__subclasshook__"}:
- # Python 2.5.1 (r251:54863, Sep 1 2010, 22:03:14)
- # >>> print object.__new__.__module__
- # None
- modname = builtins.__name__
- else:
- attach_dummy_node(node, name, member)
- return True
- # On PyPy during bootstrapping we infer _io while _module is
- # builtins. In CPython _io names itself io, see http://bugs.python.org/issue18602
- # Therefore, this basically checks whether we are not in PyPy.
- if modname == "_io" and not self._module.__name__ == "builtins":
- return False
- real_name = {"gtk": "gtk_gtk"}.get(modname, modname)
- if real_name != self._module.__name__:
- # check if it sounds valid and then add an import node, else use a
- # dummy node
- try:
- with redirect_stderr(io.StringIO()) as stderr, redirect_stdout(
- io.StringIO()
- ) as stdout:
- getattr(sys.modules[modname], name)
- stderr_value = stderr.getvalue()
- if stderr_value:
- logger.error(
- "Captured stderr while getting %s from %s:\n%s",
- name,
- sys.modules[modname],
- stderr_value,
- )
- stdout_value = stdout.getvalue()
- if stdout_value:
- logger.info(
- "Captured stdout while getting %s from %s:\n%s",
- name,
- sys.modules[modname],
- stdout_value,
- )
- except (KeyError, AttributeError):
- attach_dummy_node(node, name, member)
- else:
- attach_import_node(node, modname, name)
- return True
- return False
- # astroid bootstrapping ######################################################
- _CONST_PROXY: dict[type, nodes.ClassDef] = {}
- def _set_proxied(const) -> nodes.ClassDef:
- # TODO : find a nicer way to handle this situation;
- return _CONST_PROXY[const.value.__class__]
- def _astroid_bootstrapping() -> None:
- """astroid bootstrapping the builtins module"""
- # this boot strapping is necessary since we need the Const nodes to
- # inspect_build builtins, and then we can proxy Const
- builder = InspectBuilder()
- astroid_builtin = builder.inspect_build(builtins)
- for cls, node_cls in node_classes.CONST_CLS.items():
- if cls is TYPE_NONE:
- proxy = build_class("NoneType")
- proxy.parent = astroid_builtin
- elif cls is TYPE_NOTIMPLEMENTED:
- proxy = build_class("NotImplementedType")
- proxy.parent = astroid_builtin
- elif cls is TYPE_ELLIPSIS:
- proxy = build_class("Ellipsis")
- proxy.parent = astroid_builtin
- else:
- proxy = astroid_builtin.getattr(cls.__name__)[0]
- assert isinstance(proxy, nodes.ClassDef)
- if cls in (dict, list, set, tuple):
- node_cls._proxied = proxy
- else:
- _CONST_PROXY[cls] = proxy
- # Set the builtin module as parent for some builtins.
- nodes.Const._proxied = property(_set_proxied)
- _GeneratorType = nodes.ClassDef(types.GeneratorType.__name__)
- _GeneratorType.parent = astroid_builtin
- generator_doc_node = (
- nodes.Const(value=types.GeneratorType.__doc__)
- if types.GeneratorType.__doc__
- else None
- )
- _GeneratorType.postinit(
- bases=[],
- body=[],
- decorators=None,
- doc_node=generator_doc_node,
- )
- bases.Generator._proxied = _GeneratorType
- builder.object_build(bases.Generator._proxied, types.GeneratorType)
- if hasattr(types, "AsyncGeneratorType"):
- _AsyncGeneratorType = nodes.ClassDef(types.AsyncGeneratorType.__name__)
- _AsyncGeneratorType.parent = astroid_builtin
- async_generator_doc_node = (
- nodes.Const(value=types.AsyncGeneratorType.__doc__)
- if types.AsyncGeneratorType.__doc__
- else None
- )
- _AsyncGeneratorType.postinit(
- bases=[],
- body=[],
- decorators=None,
- doc_node=async_generator_doc_node,
- )
- bases.AsyncGenerator._proxied = _AsyncGeneratorType
- builder.object_build(bases.AsyncGenerator._proxied, types.AsyncGeneratorType)
- if hasattr(types, "UnionType"):
- _UnionTypeType = nodes.ClassDef(types.UnionType.__name__)
- _UnionTypeType.parent = astroid_builtin
- union_type_doc_node = (
- nodes.Const(value=types.UnionType.__doc__)
- if types.UnionType.__doc__
- else None
- )
- _UnionTypeType.postinit(
- bases=[],
- body=[],
- decorators=None,
- doc_node=union_type_doc_node,
- )
- bases.UnionType._proxied = _UnionTypeType
- builder.object_build(bases.UnionType._proxied, types.UnionType)
- builtin_types = (
- types.GetSetDescriptorType,
- types.GeneratorType,
- types.MemberDescriptorType,
- TYPE_NONE,
- TYPE_NOTIMPLEMENTED,
- types.FunctionType,
- types.MethodType,
- types.BuiltinFunctionType,
- types.ModuleType,
- types.TracebackType,
- )
- for _type in builtin_types:
- if _type.__name__ not in astroid_builtin:
- klass = nodes.ClassDef(_type.__name__)
- klass.parent = astroid_builtin
- klass.postinit(
- bases=[],
- body=[],
- decorators=None,
- doc_node=nodes.Const(value=_type.__doc__) if _type.__doc__ else None,
- )
- builder.object_build(klass, _type)
- astroid_builtin[_type.__name__] = klass
- _astroid_bootstrapping()
|