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