equal
deleted
inserted
replaced
318 return int(self.index[rev][0] >> 16) |
318 return int(self.index[rev][0] >> 16) |
319 def end(self, rev): |
319 def end(self, rev): |
320 return self.start(rev) + self.length(rev) |
320 return self.start(rev) + self.length(rev) |
321 def length(self, rev): |
321 def length(self, rev): |
322 return self.index[rev][1] |
322 return self.index[rev][1] |
323 def base(self, rev): |
|
324 return self.index[rev][3] |
|
325 def chainbase(self, rev): |
323 def chainbase(self, rev): |
326 index = self.index |
324 index = self.index |
327 base = index[rev][3] |
325 base = index[rev][3] |
328 while base != rev: |
326 while base != rev: |
329 rev = base |
327 rev = base |