equal
deleted
inserted
replaced
2494 """show data and statistics about a revlog""" |
2494 """show data and statistics about a revlog""" |
2495 r = cmdutil.openrevlog(repo, 'debugrevlog', file_, opts) |
2495 r = cmdutil.openrevlog(repo, 'debugrevlog', file_, opts) |
2496 |
2496 |
2497 if opts.get("dump"): |
2497 if opts.get("dump"): |
2498 numrevs = len(r) |
2498 numrevs = len(r) |
2499 ui.write("# rev p1rev p2rev start end deltastart base p1 p2" |
2499 ui.write("# rev p1rev p2rev start end deltastart base p1 p2" |
2500 " rawsize totalsize compression heads\n") |
2500 " rawsize totalsize compression heads\n") |
2501 ts = 0 |
2501 ts = 0 |
2502 heads = set() |
2502 heads = set() |
2503 for rev in xrange(numrevs): |
2503 for rev in xrange(numrevs): |
2504 dbase = r.deltaparent(rev) |
2504 dbase = r.deltaparent(rev) |
2508 p1, p2 = r.parentrevs(rev) |
2508 p1, p2 = r.parentrevs(rev) |
2509 rs = r.rawsize(rev) |
2509 rs = r.rawsize(rev) |
2510 ts = ts + rs |
2510 ts = ts + rs |
2511 heads -= set(r.parentrevs(rev)) |
2511 heads -= set(r.parentrevs(rev)) |
2512 heads.add(rev) |
2512 heads.add(rev) |
2513 ui.write("%d %d %d %d %d %d %d %d %d %d %d %d %d\n" % |
2513 ui.write("%5d %5d %5d %5d %5d %10d %4d %4d %4d %7d %9d %11d %5d\n" % |
2514 (rev, p1, p2, r.start(rev), r.end(rev), |
2514 (rev, p1, p2, r.start(rev), r.end(rev), |
2515 r.start(dbase), r.start(cbase), |
2515 r.start(dbase), r.start(cbase), |
2516 r.start(p1), r.start(p2), |
2516 r.start(p1), r.start(p2), |
2517 rs, ts, ts / r.end(rev), len(heads))) |
2517 rs, ts, ts / r.end(rev), len(heads))) |
2518 return 0 |
2518 return 0 |