mirror of
https://github.com/davidhalter/jedi.git
synced 2026-05-11 09:08:43 +08:00
Fix flow analysis a bit in static analysis cases.
This commit is contained in:
@@ -114,7 +114,11 @@ class NameFinder(object):
|
|||||||
# TODO rename scopes to names_dicts
|
# TODO rename scopes to names_dicts
|
||||||
|
|
||||||
names = self.filter_name(filters)
|
names = self.filter_name(filters)
|
||||||
if self._found_predefined_types is not None:
|
if self._found_predefined_types is not None and names:
|
||||||
|
check = flow_analysis.reachability_check(
|
||||||
|
self._context, self._context.get_node(), self._name)
|
||||||
|
if check is flow_analysis.UNREACHABLE:
|
||||||
|
return set()
|
||||||
return self._found_predefined_types
|
return self._found_predefined_types
|
||||||
|
|
||||||
types = self._names_to_types(names, attribute_lookup)
|
types = self._names_to_types(names, attribute_lookup)
|
||||||
@@ -258,11 +262,11 @@ class NameFinder(object):
|
|||||||
continue
|
continue
|
||||||
else:
|
else:
|
||||||
self._found_predefined_types = types
|
self._found_predefined_types = types
|
||||||
return []
|
break
|
||||||
|
|
||||||
for filter in filters:
|
for filter in filters:
|
||||||
names = filter.get(self._name)
|
names = filter.get(self._name)
|
||||||
if names:
|
if names:
|
||||||
self._last_used_filter = filter
|
|
||||||
break
|
break
|
||||||
debug.dbg('finder.filter_name "%s" in (%s): %s@%s', self._string_name,
|
debug.dbg('finder.filter_name "%s" in (%s): %s@%s', self._string_name,
|
||||||
self._context, names, self._position)
|
self._context, names, self._position)
|
||||||
|
|||||||
Reference in New Issue
Block a user