From ea25b1489adfca0005b82348ada16d10c0841e25 Mon Sep 17 00:00:00 2001 From: David Halter Date: Mon, 7 Oct 2013 23:47:06 +0430 Subject: [PATCH] GlobalNamespace doesn't use a lot of attributes - remove them --- jedi/imports.py | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/jedi/imports.py b/jedi/imports.py index d0ffc2bb..e187f265 100644 --- a/jedi/imports.py +++ b/jedi/imports.py @@ -41,18 +41,8 @@ class ImportPath(pr.Base): """ class _GlobalNamespace(object): def __init__(self): - self.start_pos = 0, 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() def __init__(self, import_stmt, is_like_search=False, kill_count=0,