mirror of
https://github.com/davidhalter/jedi.git
synced 2026-05-20 07:19:40 +08:00
small internal change for Script, _source_path to _orig_path
This commit is contained in:
@@ -65,7 +65,7 @@ class Script(object):
|
|||||||
if source_path is not None:
|
if source_path is not None:
|
||||||
warnings.warn("Use path instead of source_path.", DeprecationWarning)
|
warnings.warn("Use path instead of source_path.", DeprecationWarning)
|
||||||
path = source_path
|
path = source_path
|
||||||
self._source_path = path
|
self._orig_path = path
|
||||||
self.path = None if path is None else os.path.abspath(path)
|
self.path = None if path is None else os.path.abspath(path)
|
||||||
|
|
||||||
if source is None:
|
if source is None:
|
||||||
@@ -104,7 +104,7 @@ class Script(object):
|
|||||||
return self.path
|
return self.path
|
||||||
|
|
||||||
def __repr__(self):
|
def __repr__(self):
|
||||||
return '<%s: %s>' % (self.__class__.__name__, repr(self._source_path))
|
return '<%s: %s>' % (self.__class__.__name__, repr(self._orig_path))
|
||||||
|
|
||||||
def completions(self):
|
def completions(self):
|
||||||
"""
|
"""
|
||||||
|
|||||||
Reference in New Issue
Block a user