get_module_names: fix "all_scopes=False" handling

Previously, names defined within the scope of first-level classes or functions
were returned.
This commit is contained in:
immerrr
2018-10-18 13:53:47 +03:00
parent a8401f6923
commit 1e8674b51c
2 changed files with 31 additions and 3 deletions

View File

@@ -8,7 +8,7 @@ from contextlib import contextmanager
from parso.python import tree from parso.python import tree
from jedi._compatibility import unicode from jedi._compatibility import unicode
from jedi.parser_utils import get_parent_scope from jedi.parser_utils import get_parent_scope, is_name_of_func_or_class_def
def is_stdlib_path(path): def is_stdlib_path(path):
@@ -166,13 +166,33 @@ def get_module_names(module, all_scopes):
Returns a dictionary with name parts as keys and their call paths as Returns a dictionary with name parts as keys and their call paths as
values. values.
""" """
names = chain.from_iterable(module.get_used_names().values()) names = list(chain.from_iterable(module.get_used_names().values()))
if not all_scopes: if not all_scopes:
# We have to filter all the names that don't have the module as a # We have to filter all the names that don't have the module as a
# parent_scope. There's None as a parent, because nodes in the module # parent_scope. There's None as a parent, because nodes in the module
# node have the parent module and not suite as all the others. # node have the parent module and not suite as all the others.
# Therefore it's important to catch that case. # Therefore it's important to catch that case.
names = [n for n in names if get_parent_scope(n).parent in (module, None)]
def is_module_scope_name(name):
parent_scope = get_parent_scope(name)
if is_name_of_func_or_class_def(name, parent_scope):
# XXX: In syntax tree function- and class-name nodes are immediate children of
# their respective class-definition or function-definition nodes. Technically,
# get_parent_scope(...) for them should return the parent of the definition node,
# because
#
# def foo(...): pass
#
# is equivalent to
#
# foo = lambda(...): None
#
# but that would be a big change that could break type inference, whereas for now
# this discrepancy looks like only a problem for "get_module_names".
parent_scope = parent_scope.parent
return parent_scope in (module, None)
names = [n for n in names if is_module_scope_name(n)]
return names return names

View File

@@ -234,6 +234,14 @@ def is_scope(node):
return node.type in ('file_input', 'classdef', 'funcdef', 'lambdef', 'comp_for') return node.type in ('file_input', 'classdef', 'funcdef', 'lambdef', 'comp_for')
def is_name_of_func_or_class_def(name_node, func_or_class_def_node):
"""Return True if name_node is the name of the func_or_class_def_node."""
return (
name_node.parent is func_or_class_def_node and
name_node.type == 'name' and
func_or_class_def_node.type in ('classdef', 'funcdef'))
def get_parent_scope(node, include_flows=False): def get_parent_scope(node, include_flows=False):
""" """
Returns the underlying scope. Returns the underlying scope.