mirror of
https://github.com/davidhalter/jedi.git
synced 2026-03-01 13:46:50 +08:00
improvement for pickling
This commit is contained in:
@@ -1187,6 +1187,9 @@ class NamePart(str):
|
|||||||
def end_pos(self):
|
def end_pos(self):
|
||||||
return self.start_pos[0], self.start_pos[1] + len(self)
|
return self.start_pos[0], self.start_pos[1] + len(self)
|
||||||
|
|
||||||
|
def __getnewargs__(self):
|
||||||
|
return self.__class__, self.parent, self._start_pos
|
||||||
|
|
||||||
|
|
||||||
class Name(Simple):
|
class Name(Simple):
|
||||||
"""
|
"""
|
||||||
|
|||||||
Reference in New Issue
Block a user