mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-13 01:40:14 +08:00
GlobalNamespace doesn't use a lot of attributes - remove them
This commit is contained in:
1 parent
c4896f767c
commit
ea25b1489a
1 file changed
-10
@@ -41,18 +41,8 @@ class ImportPath(pr.Base):
|
|||||||
"""
|
"""
|
||||||
class _GlobalNamespace(object):
|
class _GlobalNamespace(object):
|
||||||
def __init__(self):
|
def __init__(self):
|
||||||
self.start_pos = 0, 0
|
|
||||||
self.line_offset = 0
|
self.line_offset = 0
|
||||||
|
|
||||||
def get_defined_names(self):
|
|
||||||
return []
|
|
||||||
|
|
||||||
def get_imports(self):
|
|
||||||
return []
|
|
||||||
|
|
||||||
def get_parent_until(self):
|
|
||||||
return None
|
|
||||||
|
|
||||||
GlobalNamespace = _GlobalNamespace()
|
GlobalNamespace = _GlobalNamespace()
|
||||||
|
|
||||||
def __init__(self, import_stmt, is_like_search=False, kill_count=0,
|
def __init__(self, import_stmt, is_like_search=False, kill_count=0,
|
||||||
|
|||||||
Reference in new issue
Block a user