1
# Copyright (C) 2005 Canonical Ltd
3
# This program is free software; you can redistribute it and/or modify
4
# it under the terms of the GNU General Public License as published by
5
# the Free Software Foundation; either version 2 of the License, or
6
# (at your option) any later version.
8
# This program is distributed in the hope that it will be useful,
9
# but WITHOUT ANY WARRANTY; without even the implied warranty of
10
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
11
# GNU General Public License for more details.
13
# You should have received a copy of the GNU General Public License
14
# along with this program; if not, write to the Free Software
15
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
18
# XXX: Can we do any better about making interrupted commits change
19
# nothing? Perhaps the best approach is to integrate commit of
20
# AtomicFiles with releasing the lock on the Branch.
22
# TODO: Separate 'prepare' phase where we find a list of potentially
23
# committed files. We then can then pause the commit to prompt for a
24
# commit message, knowing the summary will be the same as what's
25
# actually used for the commit. (But perhaps simpler to simply get
26
# the tree status, then use that for a selective commit?)
28
# The newly committed revision is going to have a shape corresponding
29
# to that of the working inventory. Files that are not in the
30
# working tree and that were in the predecessor are reported as
31
# removed --- this can include files that were either removed from the
32
# inventory or deleted in the working tree. If they were only
33
# deleted from disk, they are removed from the working inventory.
35
# We then consider the remaining entries, which will be in the new
36
# version. Directory entries are simply copied across. File entries
37
# must be checked to see if a new version of the file should be
38
# recorded. For each parent revision inventory, we check to see what
39
# version of the file was present. If the file was present in at
40
# least one tree, and if it was the same version in all the trees,
41
# then we can just refer to that version. Otherwise, a new version
42
# representing the merger of the file versions must be added.
44
# TODO: Update hashcache before and after - or does the WorkingTree
47
# This code requires all merge parents to be present in the branch.
48
# We could relax this but for the sake of simplicity the constraint is
49
# here for now. It's not totally clear to me how we'd know which file
50
# need new text versions if some parents are absent. -- mbp 20050915
52
# TODO: Rather than mashing together the ancestry and storing it back,
53
# perhaps the weave should have single method which does it all in one
54
# go, avoiding a lot of redundant work.
56
# TODO: Perhaps give a warning if one of the revisions marked as
57
# merged is already in the ancestry, and then don't record it as a
60
# TODO: If the file is newly merged but unchanged from the version it
61
# merges from, then it should still be reported as newly added
62
# relative to the basis revision.
71
from binascii import hexlify
72
from cStringIO import StringIO
74
from bzrlib.osutils import (local_time_offset, username,
75
rand_bytes, compact_date, user_email,
76
kind_marker, is_inside_any, quotefn,
77
sha_string, sha_strings, sha_file, isdir, isfile,
79
from bzrlib.branch import gen_file_id
80
from bzrlib.errors import (BzrError, PointlessCommit,
83
from bzrlib.revision import Revision
84
from bzrlib.trace import mutter, note, warning
85
from bzrlib.xml5 import serializer_v5
86
from bzrlib.inventory import Inventory
87
from bzrlib.weave import Weave
88
from bzrlib.weavefile import read_weave, write_weave_v5
89
from bzrlib.atomicfile import AtomicFile
92
def commit(*args, **kwargs):
93
"""Commit a new revision to a branch.
95
Function-style interface for convenience of old callers.
97
New code should use the Commit class instead.
99
## XXX: Remove this in favor of Branch.commit?
100
Commit().commit(*args, **kwargs)
103
class NullCommitReporter(object):
104
"""I report on progress of a commit."""
105
def added(self, path):
108
def removed(self, path):
111
def renamed(self, old_path, new_path):
115
class ReportCommitToLog(NullCommitReporter):
116
def added(self, path):
117
note('added %s', path)
119
def removed(self, path):
120
note('removed %s', path)
122
def renamed(self, old_path, new_path):
123
note('renamed %s => %s', old_path, new_path)
126
class Commit(object):
127
"""Task of committing a new revision.
129
This is a MethodObject: it accumulates state as the commit is
130
prepared, and then it is discarded. It doesn't represent
131
historical revisions, just the act of recording a new one.
134
Modified to hold a list of files that have been deleted from
135
the working directory; these should be removed from the
140
if reporter is not None:
141
self.reporter = reporter
143
self.reporter = NullCommitReporter()
153
allow_pointless=True,
155
"""Commit working copy as a new revision.
157
timestamp -- if not None, seconds-since-epoch for a
158
postdated/predated commit.
160
specific_files -- If true, commit only those files.
162
rev_id -- If set, use this as the new revision id.
163
Useful for test or import commands that need to tightly
164
control what revisions are assigned. If you duplicate
165
a revision id that exists elsewhere it is your own fault.
166
If null (default), a time/random revision id is generated.
168
allow_pointless -- If true (default), commit even if nothing
169
has changed and no merges are recorded.
171
mutter('preparing to commit')
174
self.weave_store = branch.weave_store
176
self.specific_files = specific_files
177
self.allow_pointless = allow_pointless
179
if timestamp is None:
180
self.timestamp = time.time()
182
self.timestamp = long(timestamp)
185
self.rev_id = _gen_revision_id(self.branch, self.timestamp)
189
if committer is None:
190
self.committer = username(self.branch)
192
assert isinstance(committer, basestring), type(committer)
193
self.committer = committer
196
self.timezone = local_time_offset()
198
self.timezone = int(timezone)
200
assert isinstance(message, basestring), type(message)
201
self.message = message
202
self._escape_commit_message()
204
self.branch.lock_write()
206
self.work_tree = self.branch.working_tree()
207
self.work_inv = self.work_tree.inventory
208
self.basis_tree = self.branch.basis_tree()
209
self.basis_inv = self.basis_tree.inventory
211
self._gather_parents()
212
if len(self.parents) > 1 and self.specific_files:
213
raise NotImplementedError('selected-file commit of merges is not supported yet')
214
self._check_parents_present()
216
self._remove_deleted()
217
self._populate_new_inv()
218
self._store_snapshot()
219
self._report_deletes()
221
if not (self.allow_pointless
222
or len(self.parents) > 1
223
or self.new_inv != self.basis_inv):
224
raise PointlessCommit()
226
self._record_inventory()
227
self._record_ancestry()
228
self._make_revision()
229
note('committed r%d {%s}', (self.branch.revno() + 1),
231
self.branch.append_revision(self.rev_id)
232
self.branch.set_pending_merges([])
236
def _record_inventory(self):
237
"""Store the inventory for the new revision."""
238
inv_text = serializer_v5.write_inventory_to_string(self.new_inv)
239
self.inv_sha1 = sha_string(inv_text)
240
s = self.branch.control_weaves
241
s.add_text('inventory', self.rev_id,
242
split_lines(inv_text), self.present_parents)
244
def _escape_commit_message(self):
245
"""Replace xml-incompatible control characters."""
246
# Python strings can include characters that can't be
247
# represented in well-formed XML; escape characters that
248
# aren't listed in the XML specification
249
# (http://www.w3.org/TR/REC-xml/#NT-Char).
250
if isinstance(self.message, unicode):
251
char_pattern = u'[^\x09\x0A\x0D\u0020-\uD7FF\uE000-\uFFFD]'
253
# Use a regular 'str' as pattern to avoid having re.subn
254
# return 'unicode' results.
255
char_pattern = '[^x09\x0A\x0D\x20-\xFF]'
256
self.message, escape_count = re.subn(
258
lambda match: match.group(0).encode('unicode_escape'),
261
note("replaced %d control characters in message", escape_count)
263
def _record_ancestry(self):
264
"""Append merged revision ancestry to the ancestry file.
266
This should be the merged ancestry of all parents, plus the
268
s = self.branch.control_weaves
269
w = s.get_weave_or_empty('ancestry')
270
lines = self._make_ancestry(w)
271
w.add(self.rev_id, self.present_parents, lines)
272
s.put_weave('ancestry', w)
274
def _make_ancestry(self, ancestry_weave):
275
"""Return merged ancestry lines.
277
The lines are revision-ids followed by newlines."""
278
parent_ancestries = [ancestry_weave.get(p) for p in self.present_parents]
279
new_lines = merge_ancestry_lines(self.rev_id, parent_ancestries)
280
mutter('merged ancestry of {%s}:\n%s', self.rev_id, ''.join(new_lines))
283
def _gather_parents(self):
284
"""Record the parents of a merge for merge detection."""
285
pending_merges = self.branch.pending_merges()
287
self.parent_trees = []
288
self.present_parents = []
289
precursor_id = self.branch.last_revision()
291
self.parents.append(precursor_id)
292
self.parents += pending_merges
293
for revision in self.parents:
294
if self.branch.has_revision(revision):
295
self.parent_trees.append(self.branch.revision_tree(revision))
296
self.present_parents.append(revision)
298
def _check_parents_present(self):
299
for parent_id in self.parents:
300
mutter('commit parent revision {%s}', parent_id)
301
if not self.branch.has_revision(parent_id):
302
if parent_id == self.branch.last_revision():
303
warning("parent is pissing %r", parent_id)
304
raise HistoryMissing(self.branch, 'revision', parent_id)
306
mutter("commit will ghost revision %r", parent_id)
308
def _make_revision(self):
309
"""Record a new revision object for this commit."""
310
self.rev = Revision(timestamp=self.timestamp,
311
timezone=self.timezone,
312
committer=self.committer,
313
message=self.message,
314
inventory_sha1=self.inv_sha1,
315
revision_id=self.rev_id)
316
self.rev.parent_ids = self.parents
318
serializer_v5.write_revision(self.rev, rev_tmp)
320
self.branch.revision_store.add(rev_tmp, self.rev_id)
321
mutter('new revision_id is {%s}', self.rev_id)
324
def _remove_deleted(self):
325
"""Remove deleted files from the working inventories.
327
This is done prior to taking the working inventory as the
328
basis for the new committed inventory.
330
This returns true if any files
331
*that existed in the basis inventory* were deleted.
332
Files that were added and deleted
333
in the working copy don't matter.
335
specific = self.specific_files
337
for path, ie in self.work_inv.iter_entries():
338
if specific and not is_inside_any(specific, path):
340
if not self.work_tree.has_filename(path):
341
note('missing %s', path)
342
deleted_ids.append((path, ie.file_id))
344
deleted_ids.sort(reverse=True)
345
for path, file_id in deleted_ids:
346
del self.work_inv[file_id]
347
self.branch._write_inventory(self.work_inv)
350
def _find_entry_parents(self, file_id):
351
"""Return the text versions and hashes for all file parents.
353
Returned as a map from text version to inventory entry.
355
This is a set containing the file versions in all parents
356
revisions containing the file. If the file is new, the set
359
for tree in self.parent_trees:
360
if file_id in tree.inventory:
361
ie = tree.inventory[file_id]
362
assert ie.file_id == file_id
364
assert r[ie.revision] == ie
369
def _store_snapshot(self):
370
"""Pass over inventory and record a snapshot.
372
Entries get a new revision when they are modified in
373
any way, which includes a merge with a new set of
374
parents that have the same entry. Currently we do not
375
check for that set being ancestors of each other - and
376
we should - only parallel children should count for this
377
test see find_entry_parents to correct this. FIXME <---
378
I.e. if we are merging in revision FOO, and our
379
copy of file id BAR is identical to FOO.BAR, we should
380
generate a new revision of BAR IF and only IF FOO is
381
neither a child of our current tip, nor an ancestor of
382
our tip. The presence of FOO in our store should not
383
affect this logic UNLESS we are doing a merge of FOO,
386
# XXX: Need to think more here about when the user has
387
# made a specific decision on a particular value -- c.f.
389
for path, ie in self.new_inv.iter_entries():
390
previous_entries = self._find_entry_parents(ie. file_id)
391
if ie.revision is None:
392
change = ie.snapshot(self.rev_id, path, previous_entries,
393
self.work_tree, self.weave_store)
396
note("%s %s", change, path)
398
def _populate_new_inv(self):
399
"""Build revision inventory.
401
This creates a new empty inventory. Depending on
402
which files are selected for commit, and what is present in the
403
current tree, the new inventory is populated. inventory entries
404
which are candidates for modification have their revision set to
405
None; inventory entries that are carried over untouched have their
406
revision set to their prior value.
408
mutter("Selecting files for commit with filter %s", self.specific_files)
409
self.new_inv = Inventory()
410
for path, new_ie in self.work_inv.iter_entries():
411
file_id = new_ie.file_id
412
mutter('check %s {%s}', path, new_ie.file_id)
413
if self.specific_files:
414
if not is_inside_any(self.specific_files, path):
415
mutter('%s not selected for commit', path)
416
self._carry_file(file_id)
418
mutter('%s selected for commit', path)
423
def _carry_file(self, file_id):
424
"""Carry the file unchanged from the basis revision."""
425
if self.basis_inv.has_id(file_id):
426
self.new_inv.add(self.basis_inv[file_id].copy())
428
def _report_deletes(self):
429
for file_id in self.basis_inv:
430
if file_id not in self.new_inv:
431
note('deleted %s', self.basis_inv.id2path(file_id))
435
def _gen_revision_id(branch, when):
436
"""Return new revision-id."""
437
s = '%s-%s-' % (user_email(branch), compact_date(when))
438
s += hexlify(rand_bytes(8))
444
def merge_ancestry_lines(rev_id, ancestries):
445
"""Return merged ancestry lines.
447
rev_id -- id of the new revision
449
ancestries -- a sequence of ancestries for parent revisions,
450
as newline-terminated line lists.
452
if len(ancestries) == 0:
453
return [rev_id + '\n']
454
seen = set(ancestries[0])
455
ancs = ancestries[0][:]
456
for parent_ancestry in ancestries[1:]:
457
for line in parent_ancestry:
458
assert line[-1] == '\n'
added
removed
bzrlib/commit.py
