15
19
# along with this program; if not, write to the Free Software
16
20
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
18
# TODO: Check ancestries are correct for every revision: includes
19
# every committed so far, and in a reasonable order.
21
# TODO: Also check non-mainline revisions mentioned as parents.
23
# TODO: Check for extra files in the control directory.
25
# TODO: Check revision, inventory and entry objects have all
30
from bzrlib.trace import note, warning
31
from bzrlib.osutils import rename, sha_string, fingerprint_file
32
from bzrlib.trace import mutter
33
from bzrlib.errors import BzrCheckError, NoSuchRevision
34
from bzrlib.inventory import ROOT_ID
35
from bzrlib.branch import gen_root_id
40
def __init__(self, branch):
44
branch.weave_store.enable_cache = True
45
branch.control_weaves.enable_cache = True
49
branch.weave_store.enable_cache = False
50
branch.control_weaves.enable_cache = False
57
self.checked_text_cnt = 0
58
self.checked_rev_cnt = 0
59
self.repeated_text_cnt = 0
60
self.missing_inventory_sha_cnt = 0
61
self.missing_revision_cnt = 0
62
# maps (file-id, version) -> sha1
63
self.checked_texts = {}
65
history = branch.revision_history()
67
revcount = len(history)
70
self.progress = bzrlib.ui.ui_factory.progress_bar()
71
for rev_id in history:
72
self.progress.update('checking revision', revno, revcount)
74
self.check_one_rev(rev_id, last_rev_id)
80
def report_results(self):
81
note('checked branch %s format %d',
83
self.branch._branch_format)
85
note('%6d revisions', self.checked_rev_cnt)
86
note('%6d unique file texts', self.checked_text_cnt)
87
note('%6d repeated file texts', self.repeated_text_cnt)
88
if self.missing_inventory_sha_cnt:
89
note('%d revisions are missing inventory_sha1',
90
self.missing_inventory_sha_cnt)
91
if self.missing_revision_cnt:
92
note('%d revisions are mentioned but not present',
93
self.missing_revision_cnt)
96
def check_one_rev(self, rev_id, last_rev_id):
97
"""Check one revision.
99
rev_id - the one to check
101
last_rev_id - the previous one on the mainline, if any.
104
# mutter(' revision {%s}' % rev_id)
106
rev = branch.get_revision(rev_id)
107
if rev.revision_id != rev_id:
108
raise BzrCheckError('wrong internal revision id in revision {%s}'
111
# check the previous history entry is a parent of this entry
113
if last_rev_id is None:
114
raise BzrCheckError("revision {%s} has %d parents, but is the "
115
"start of the branch"
116
% (rev_id, len(rev.parent_ids)))
117
for parent_id in rev.parent_ids:
118
if parent_id == last_rev_id:
121
raise BzrCheckError("previous revision {%s} not listed among "
123
% (last_rev_id, rev_id))
125
raise BzrCheckError("revision {%s} has no parents listed "
126
"but preceded by {%s}"
127
% (rev_id, last_rev_id))
129
if rev.inventory_sha1:
130
inv_sha1 = branch.get_inventory_sha1(rev_id)
131
if inv_sha1 != rev.inventory_sha1:
132
raise BzrCheckError('Inventory sha1 hash doesn\'t match'
133
' value in revision {%s}' % rev_id)
135
missing_inventory_sha_cnt += 1
136
mutter("no inventory_sha1 on revision {%s}" % rev_id)
137
self._check_revision_tree(rev_id)
138
self.checked_rev_cnt += 1
140
def _check_revision_tree(self, rev_id):
141
tree = self.branch.revision_tree(rev_id)
145
if file_id in seen_ids:
146
raise BzrCheckError('duplicated file_id {%s} '
147
'in inventory for revision {%s}'
149
seen_ids[file_id] = True
152
ie.check(self, rev_id, inv, tree)
154
for path, ie in inv.iter_entries():
155
if path in seen_names:
156
raise BzrCheckError('duplicated path %s '
157
'in inventory for revision {%s}'
159
seen_names[path] = True
163
"""Run consistency checks on a branch."""
24
######################################################################
28
"""Consistency check of tree."""
30
mutter("checking tree")
32
check_patch_chaining()
33
check_patch_uniqueness()
35
mutter("tree looks OK")
36
## TODO: Check that previous-inventory and previous-manifest
37
## are the same as those stored in the previous changeset.
39
## TODO: Check all patches present in patch directory are
40
## mentioned in patch history; having an orphaned patch only gives
43
## TODO: Check cached data is consistent with data reconstructed
46
## TODO: Check no control files are versioned.
48
## TODO: Check that the before-hash of each file in a later
49
## revision matches the after-hash in the previous revision to
53
def check_inventory():
54
mutter("checking inventory file and ids...")
58
for l in controlfile('inventory').readlines():
61
bailout("malformed inventory line: " + `l`)
64
if file_id in seen_ids:
65
bailout("duplicated file id " + file_id)
68
if name in seen_names:
69
bailout("duplicated file name in inventory: " + quotefn(name))
72
if is_control_file(name):
73
raise BzrError("control file %s present in inventory" % quotefn(name))
76
def check_patches_exist():
77
"""Check constraint of current version: all patches exist"""
78
mutter("checking all patches are present...")
79
for pid in revision_history():
80
read_patch_header(pid)
83
def check_patch_chaining():
84
"""Check ancestry of patches and history file is consistent"""
85
mutter("checking patch chaining...")
87
for pid in revision_history():
88
log_prev = read_patch_header(pid).precursor
90
bailout("inconsistent precursor links on " + pid)
94
def check_patch_uniqueness():
95
"""Make sure no patch is listed twice in the history.
97
This should be implied by having correct ancestry but I'll check it
99
mutter("checking history for duplicates...")
101
for pid in revision_history():
103
bailout("patch " + pid + " appears twice in history")
added
removed
bzrlib/check.py
