~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/commit.py

  • Committer: Martin Pool
  • Date: 2005-09-12 09:50:44 UTC
  • Revision ID: mbp@sourcefrog.net-20050912095044-6acfdb5611729987
- no tests in bzrlib.fetch anymore

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
1
# Copyright (C) 2005 Canonical Ltd
2
 
#
 
2
 
3
3
# This program is free software; you can redistribute it and/or modify
4
4
# it under the terms of the GNU General Public License as published by
5
5
# the Free Software Foundation; either version 2 of the License, or
6
6
# (at your option) any later version.
7
 
#
 
7
 
8
8
# This program is distributed in the hope that it will be useful,
9
9
# but WITHOUT ANY WARRANTY; without even the implied warranty of
10
10
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
11
11
# GNU General Public License for more details.
12
 
#
 
12
 
13
13
# You should have received a copy of the GNU General Public License
14
14
# along with this program; if not, write to the Free Software
15
15
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
16
16
 
17
17
 
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.
21
 
 
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?)
27
 
 
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.
34
 
 
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.
43
 
 
44
 
# TODO: Update hashcache before and after - or does the WorkingTree
45
 
# look after that?
46
 
 
47
 
# TODO: Rather than mashing together the ancestry and storing it back,
48
 
# perhaps the weave should have single method which does it all in one
49
 
# go, avoiding a lot of redundant work.
50
 
 
51
 
# TODO: Perhaps give a warning if one of the revisions marked as
52
 
# merged is already in the ancestry, and then don't record it as a
53
 
# distinct parent.
54
 
 
55
 
# TODO: If the file is newly merged but unchanged from the version it
56
 
# merges from, then it should still be reported as newly added
57
 
# relative to the basis revision.
 
18
## XXX: Can we do any better about making interrupted commits change
 
19
## nothing?
 
20
 
 
21
## XXX: If we merged two versions of a file then we still need to
 
22
## create a new version representing that merge, even if it didn't
 
23
## change from the parent.
 
24
 
 
25
## TODO: Read back the just-generated changeset, and make sure it
 
26
## applies and recreates the right state.
 
27
 
 
28
 
58
29
 
59
30
 
60
31
import os
61
 
import re
62
32
import sys
63
33
import time
64
 
import pdb
 
34
import tempfile
 
35
import sha
65
36
 
66
37
from binascii import hexlify
67
38
from cStringIO import StringIO
69
40
from bzrlib.osutils import (local_time_offset, username,
70
41
                            rand_bytes, compact_date, user_email,
71
42
                            kind_marker, is_inside_any, quotefn,
72
 
                            sha_string, sha_strings, sha_file, isdir, isfile,
73
 
                            split_lines)
 
43
                            sha_string, sha_file, isdir, isfile)
74
44
from bzrlib.branch import gen_file_id
75
 
from bzrlib.errors import (BzrError, PointlessCommit,
76
 
                           HistoryMissing,
77
 
                           ConflictsInTree
78
 
                           )
79
 
from bzrlib.revision import Revision
80
 
from bzrlib.trace import mutter, note, warning
 
45
from bzrlib.errors import BzrError, PointlessCommit
 
46
from bzrlib.revision import Revision, RevisionReference
 
47
from bzrlib.trace import mutter, note
81
48
from bzrlib.xml5 import serializer_v5
82
 
from bzrlib.inventory import Inventory, ROOT_ID
 
49
from bzrlib.inventory import Inventory
 
50
from bzrlib.delta import compare_trees
83
51
from bzrlib.weave import Weave
84
52
from bzrlib.weavefile import read_weave, write_weave_v5
85
53
from bzrlib.atomicfile import AtomicFile
92
60
 
93
61
    New code should use the Commit class instead.
94
62
    """
95
 
    ## XXX: Remove this in favor of Branch.commit?
96
63
    Commit().commit(*args, **kwargs)
97
64
 
98
65
 
99
66
class NullCommitReporter(object):
100
67
    """I report on progress of a commit."""
101
 
 
102
 
    def snapshot_change(self, change, path):
103
 
        pass
104
 
 
105
 
    def completed(self, revno, rev_id):
106
 
        pass
107
 
 
108
 
    def deleted(self, file_id):
109
 
        pass
110
 
 
111
 
    def escaped(self, escape_count, message):
112
 
        pass
113
 
 
114
 
    def missing(self, path):
115
 
        pass
 
68
    def added(self, path):
 
69
        pass
 
70
 
 
71
    def removed(self, path):
 
72
        pass
 
73
 
 
74
    def renamed(self, old_path, new_path):
 
75
        pass
 
76
 
116
77
 
117
78
class ReportCommitToLog(NullCommitReporter):
118
 
 
119
 
    def snapshot_change(self, change, path):
120
 
        note("%s %s", change, path)
121
 
 
122
 
    def completed(self, revno, rev_id):
123
 
        note('committed r%d {%s}', revno, rev_id)
124
 
    
125
 
    def deleted(self, file_id):
126
 
        note('deleted %s', file_id)
127
 
 
128
 
    def escaped(self, escape_count, message):
129
 
        note("replaced %d control characters in message", escape_count)
130
 
 
131
 
    def missing(self, path):
132
 
        note('missing %s', path)
 
79
    def added(self, path):
 
80
        note('added %s', path)
 
81
 
 
82
    def removed(self, path):
 
83
        note('removed %s', path)
 
84
 
 
85
    def renamed(self, old_path, new_path):
 
86
        note('renamed %s => %s', old_path, new_path)
 
87
 
133
88
 
134
89
class Commit(object):
135
90
    """Task of committing a new revision.
158
113
               committer=None,
159
114
               specific_files=None,
160
115
               rev_id=None,
161
 
               allow_pointless=True,
162
 
               verbose=False):
 
116
               allow_pointless=True):
163
117
        """Commit working copy as a new revision.
164
118
 
 
119
        The basic approach is to add all the file texts into the
 
120
        store, then the inventory, then make a new revision pointing
 
121
        to that inventory and store that.
 
122
 
 
123
        This is not quite safe if the working copy changes during the
 
124
        commit; for the moment that is simply not allowed.  A better
 
125
        approach is to make a temporary copy of the files before
 
126
        computing their hashes, and then add those hashes in turn to
 
127
        the inventory.  This should mean at least that there are no
 
128
        broken hash pointers.  There is no way we can get a snapshot
 
129
        of the whole directory at an instant.  This would also have to
 
130
        be robust against files disappearing, moving, etc.  So the
 
131
        whole thing is a bit hard.
 
132
 
 
133
        This raises PointlessCommit if there are no changes, no new merges,
 
134
        and allow_pointless  is false.
 
135
 
165
136
        timestamp -- if not None, seconds-since-epoch for a
166
137
             postdated/predated commit.
167
138
 
168
 
        specific_files -- If true, commit only those files.
 
139
        specific_files
 
140
            If true, commit only those files.
169
141
 
170
 
        rev_id -- If set, use this as the new revision id.
 
142
        rev_id
 
143
            If set, use this as the new revision id.
171
144
            Useful for test or import commands that need to tightly
172
145
            control what revisions are assigned.  If you duplicate
173
146
            a revision id that exists elsewhere it is your own fault.
174
147
            If null (default), a time/random revision id is generated.
175
 
 
176
 
        allow_pointless -- If true (default), commit even if nothing
177
 
            has changed and no merges are recorded.
178
148
        """
179
 
        mutter('preparing to commit')
180
149
 
181
150
        self.branch = branch
182
 
        self.weave_store = branch.weave_store
 
151
        self.branch.lock_write()
183
152
        self.rev_id = rev_id
184
153
        self.specific_files = specific_files
185
154
        self.allow_pointless = allow_pointless
189
158
        else:
190
159
            self.timestamp = long(timestamp)
191
160
            
192
 
        if rev_id is None:
193
 
            self.rev_id = _gen_revision_id(self.branch, self.timestamp)
194
 
        else:
195
 
            self.rev_id = rev_id
196
 
 
197
161
        if committer is None:
198
162
            self.committer = username(self.branch)
199
163
        else:
207
171
 
208
172
        assert isinstance(message, basestring), type(message)
209
173
        self.message = message
210
 
        self._escape_commit_message()
211
174
 
212
 
        self.branch.lock_write()
213
175
        try:
 
176
            # First walk over the working inventory; and both update that
 
177
            # and also build a new revision inventory.  The revision
 
178
            # inventory needs to hold the text-id, sha1 and size of the
 
179
            # actual file versions committed in the revision.  (These are
 
180
            # not present in the working inventory.)  We also need to
 
181
            # detect missing/deleted files, and remove them from the
 
182
            # working inventory.
 
183
 
214
184
            self.work_tree = self.branch.working_tree()
215
185
            self.work_inv = self.work_tree.inventory
216
186
            self.basis_tree = self.branch.basis_tree()
217
187
            self.basis_inv = self.basis_tree.inventory
218
188
 
219
 
            self._gather_parents()
220
 
            if len(self.parents) > 1 and self.specific_files:
221
 
                raise NotImplementedError('selected-file commit of merges is not supported yet')
222
 
            self._check_parents_present()
 
189
            self.pending_merges = self.branch.pending_merges()
 
190
            if self.pending_merges:
 
191
                raise NotImplementedError("sorry, can't commit merges to the weave format yet")
223
192
            
 
193
            if self.rev_id is None:
 
194
                self.rev_id = _gen_revision_id(self.branch, time.time())
 
195
 
 
196
            # todo: update hashcache
 
197
            self.delta = compare_trees(self.basis_tree, self.work_tree,
 
198
                                       specific_files=self.specific_files)
 
199
 
 
200
            if not (self.delta.has_changed()
 
201
                    or self.allow_pointless
 
202
                    or self.pending_merges):
 
203
                raise PointlessCommit()
 
204
 
 
205
            self.new_inv = self.basis_inv.copy()
 
206
 
 
207
            self.delta.show(sys.stdout)
 
208
 
224
209
            self._remove_deleted()
225
 
            self._populate_new_inv()
226
 
            self._store_snapshot()
227
 
            self._report_deletes()
228
 
 
229
 
            if not (self.allow_pointless
230
 
                    or len(self.parents) > 1
231
 
                    or self.new_inv != self.basis_inv):
232
 
                raise PointlessCommit()
233
 
 
234
 
            if len(list(self.work_tree.iter_conflicts()))>0:
235
 
                raise ConflictsInTree
236
 
 
 
210
            self._store_files()
 
211
 
 
212
            self.branch._write_inventory(self.work_inv)
237
213
            self._record_inventory()
 
214
 
238
215
            self._make_revision()
239
 
            self.reporter.completed(self.branch.revno()+1, self.rev_id)
 
216
            note('committted r%d {%s}', (self.branch.revno() + 1),
 
217
                 self.rev_id)
240
218
            self.branch.append_revision(self.rev_id)
241
219
            self.branch.set_pending_merges([])
242
220
        finally:
243
221
            self.branch.unlock()
244
222
 
 
223
 
245
224
    def _record_inventory(self):
246
 
        """Store the inventory for the new revision."""
247
 
        inv_text = serializer_v5.write_inventory_to_string(self.new_inv)
248
 
        self.inv_sha1 = sha_string(inv_text)
249
 
        s = self.branch.control_weaves
250
 
        s.add_text('inventory', self.rev_id,
251
 
                   split_lines(inv_text), self.present_parents,
252
 
                   self.branch.get_transaction())
253
 
 
254
 
    def _escape_commit_message(self):
255
 
        """Replace xml-incompatible control characters."""
256
 
        # Python strings can include characters that can't be
257
 
        # represented in well-formed XML; escape characters that
258
 
        # aren't listed in the XML specification
259
 
        # (http://www.w3.org/TR/REC-xml/#NT-Char).
260
 
        if isinstance(self.message, unicode):
261
 
            char_pattern = u'[^\x09\x0A\x0D\u0020-\uD7FF\uE000-\uFFFD]'
262
 
        else:
263
 
            # Use a regular 'str' as pattern to avoid having re.subn
264
 
            # return 'unicode' results.
265
 
            char_pattern = '[^x09\x0A\x0D\x20-\xFF]'
266
 
        self.message, escape_count = re.subn(
267
 
            char_pattern,
268
 
            lambda match: match.group(0).encode('unicode_escape'),
269
 
            self.message)
270
 
        if escape_count:
271
 
            self.reporter.escaped(escape_count, self.message)
272
 
 
273
 
    def _gather_parents(self):
274
 
        """Record the parents of a merge for merge detection."""
275
 
        pending_merges = self.branch.pending_merges()
276
 
        self.parents = []
277
 
        self.parent_invs = []
278
 
        self.present_parents = []
279
 
        precursor_id = self.branch.last_revision()
280
 
        if precursor_id:
281
 
            self.parents.append(precursor_id)
282
 
        self.parents += pending_merges
283
 
        for revision in self.parents:
284
 
            if self.branch.has_revision(revision):
285
 
                self.parent_invs.append(self.branch.get_inventory(revision))
286
 
                self.present_parents.append(revision)
287
 
 
288
 
    def _check_parents_present(self):
289
 
        for parent_id in self.parents:
290
 
            mutter('commit parent revision {%s}', parent_id)
291
 
            if not self.branch.has_revision(parent_id):
292
 
                if parent_id == self.branch.last_revision():
293
 
                    warning("parent is missing %r", parent_id)
294
 
                    raise HistoryMissing(self.branch, 'revision', parent_id)
295
 
                else:
296
 
                    mutter("commit will ghost revision %r", parent_id)
297
 
            
 
225
        inv_tmp = StringIO()
 
226
        serializer_v5.write_inventory(self.new_inv, inv_tmp)
 
227
        self.inv_sha1 = sha_string(inv_tmp.getvalue())
 
228
        inv_tmp.seek(0)
 
229
        self.branch.inventory_store.add(inv_tmp, self.rev_id)
 
230
 
 
231
 
298
232
    def _make_revision(self):
299
233
        """Record a new revision object for this commit."""
300
234
        self.rev = Revision(timestamp=self.timestamp,
303
237
                            message=self.message,
304
238
                            inventory_sha1=self.inv_sha1,
305
239
                            revision_id=self.rev_id)
306
 
        self.rev.parent_ids = self.parents
307
 
        rev_tmp = StringIO()
 
240
 
 
241
        self.rev.parents = []
 
242
        precursor_id = self.branch.last_patch()
 
243
        if precursor_id:
 
244
            self.rev.parents.append(RevisionReference(precursor_id))
 
245
        for merge_rev in self.pending_merges:
 
246
            rev.parents.append(RevisionReference(merge_rev))
 
247
 
 
248
        rev_tmp = tempfile.TemporaryFile()
308
249
        serializer_v5.write_revision(self.rev, rev_tmp)
309
250
        rev_tmp.seek(0)
310
251
        self.branch.revision_store.add(rev_tmp, self.rev_id)
311
252
        mutter('new revision_id is {%s}', self.rev_id)
312
253
 
 
254
 
313
255
    def _remove_deleted(self):
314
 
        """Remove deleted files from the working inventories.
315
 
 
316
 
        This is done prior to taking the working inventory as the
317
 
        basis for the new committed inventory.
318
 
 
319
 
        This returns true if any files
320
 
        *that existed in the basis inventory* were deleted.
321
 
        Files that were added and deleted
322
 
        in the working copy don't matter.
323
 
        """
324
 
        specific = self.specific_files
325
 
        deleted_ids = []
326
 
        for path, ie in self.work_inv.iter_entries():
327
 
            if specific and not is_inside_any(specific, path):
328
 
                continue
329
 
            if not self.work_tree.has_filename(path):
330
 
                self.reporter.missing(path)
331
 
                deleted_ids.append((path, ie.file_id))
332
 
        if deleted_ids:
333
 
            deleted_ids.sort(reverse=True)
334
 
            for path, file_id in deleted_ids:
335
 
                del self.work_inv[file_id]
336
 
            self.branch._write_inventory(self.work_inv)
337
 
 
338
 
    def _store_snapshot(self):
339
 
        """Pass over inventory and record a snapshot.
340
 
 
341
 
        Entries get a new revision when they are modified in 
342
 
        any way, which includes a merge with a new set of
343
 
        parents that have the same entry. 
344
 
        """
345
 
        # XXX: Need to think more here about when the user has
346
 
        # made a specific decision on a particular value -- c.f.
347
 
        # mark-merge.  
348
 
        for path, ie in self.new_inv.iter_entries():
349
 
            previous_entries = ie.find_previous_heads(
350
 
                self.parent_invs, 
351
 
                self.weave_store.get_weave_or_empty(ie.file_id,
352
 
                    self.branch.get_transaction()))
353
 
            if ie.revision is None:
354
 
                change = ie.snapshot(self.rev_id, path, previous_entries,
355
 
                                     self.work_tree, self.weave_store,
356
 
                                     self.branch.get_transaction())
 
256
        """Remove deleted files from the working and stored inventories."""
 
257
        for path, id, kind in self.delta.removed:
 
258
            if self.work_inv.has_id(id):
 
259
                del self.work_inv[id]
 
260
            if self.new_inv.has_id(id):
 
261
                del self.new_inv[id]
 
262
 
 
263
 
 
264
 
 
265
    def _store_files(self):
 
266
        """Store new texts of modified/added files."""
 
267
        # We must make sure that directories are added before anything
 
268
        # inside them is added.  the files within the delta report are
 
269
        # sorted by path so we know the directory will come before its
 
270
        # contents. 
 
271
        for path, file_id, kind in self.delta.added:
 
272
            if kind != 'file':
 
273
                ie = self.work_inv[file_id].copy()
 
274
                self.new_inv.add(ie)
357
275
            else:
358
 
                change = "unchanged"
359
 
            self.reporter.snapshot_change(change, path)
360
 
 
361
 
    def _populate_new_inv(self):
362
 
        """Build revision inventory.
363
 
 
364
 
        This creates a new empty inventory. Depending on
365
 
        which files are selected for commit, and what is present in the
366
 
        current tree, the new inventory is populated. inventory entries 
367
 
        which are candidates for modification have their revision set to
368
 
        None; inventory entries that are carried over untouched have their
369
 
        revision set to their prior value.
370
 
        """
371
 
        mutter("Selecting files for commit with filter %s", self.specific_files)
372
 
        self.new_inv = Inventory()
373
 
        for path, new_ie in self.work_inv.iter_entries():
374
 
            file_id = new_ie.file_id
375
 
            mutter('check %s {%s}', path, new_ie.file_id)
376
 
            if self.specific_files:
377
 
                if not is_inside_any(self.specific_files, path):
378
 
                    mutter('%s not selected for commit', path)
379
 
                    self._carry_entry(file_id)
380
 
                    continue
381
 
                else:
382
 
                    # this is selected, ensure its parents are too.
383
 
                    parent_id = new_ie.parent_id
384
 
                    while parent_id != ROOT_ID:
385
 
                        if not self.new_inv.has_id(parent_id):
386
 
                            ie = self._select_entry(self.work_inv[parent_id])
387
 
                            mutter('%s selected for commit because of %s',
388
 
                                   self.new_inv.id2path(parent_id), path)
389
 
 
390
 
                        ie = self.new_inv[parent_id]
391
 
                        if ie.revision is not None:
392
 
                            ie.revision = None
393
 
                            mutter('%s selected for commit because of %s',
394
 
                                   self.new_inv.id2path(parent_id), path)
395
 
                        parent_id = ie.parent_id
396
 
            mutter('%s selected for commit', path)
397
 
            self._select_entry(new_ie)
398
 
 
399
 
    def _select_entry(self, new_ie):
400
 
        """Make new_ie be considered for committing."""
401
 
        ie = new_ie.copy()
402
 
        ie.revision = None
403
 
        self.new_inv.add(ie)
404
 
        return ie
405
 
 
406
 
    def _carry_entry(self, file_id):
407
 
        """Carry the file unchanged from the basis revision."""
408
 
        if self.basis_inv.has_id(file_id):
409
 
            self.new_inv.add(self.basis_inv[file_id].copy())
410
 
 
411
 
    def _report_deletes(self):
412
 
        for file_id in self.basis_inv:
413
 
            if file_id not in self.new_inv:
414
 
                self.reporter.deleted(self.basis_inv.id2path(file_id))
 
276
                self._store_file_text(file_id)
 
277
 
 
278
        for path, file_id, kind in self.delta.modified:
 
279
            if kind != 'file':
 
280
                continue
 
281
            self._store_file_text(file_id)
 
282
 
 
283
        for old_path, new_path, file_id, kind, text_modified in self.delta.renamed:
 
284
            if kind != 'file':
 
285
                continue
 
286
            if not text_modified:
 
287
                continue
 
288
            self._store_file_text(file_id)
 
289
 
 
290
 
 
291
    def _store_file_text(self, file_id):
 
292
        """Store updated text for one modified or added file."""
 
293
        note('store new text for {%s} in revision {%s}',
 
294
             file_id, self.rev_id)
 
295
        new_lines = self.work_tree.get_file(file_id).readlines()
 
296
        if file_id in self.new_inv:     # was in basis inventory
 
297
            ie = self.new_inv[file_id]
 
298
            assert ie.file_id == file_id
 
299
            assert file_id in self.basis_inv
 
300
            assert self.basis_inv[file_id].kind == 'file'
 
301
            old_version = self.basis_inv[file_id].text_version
 
302
            file_parents = [old_version]
 
303
        else:                           # new in this revision
 
304
            ie = self.work_inv[file_id].copy()
 
305
            self.new_inv.add(ie)
 
306
            assert file_id not in self.basis_inv
 
307
            file_parents = []
 
308
        assert ie.kind == 'file'
 
309
        self._add_text_to_weave(file_id, new_lines, file_parents)
 
310
        # make a new inventory entry for this file, using whatever
 
311
        # it had in the working copy, plus details on the new text
 
312
        ie.text_sha1 = _sha_strings(new_lines)
 
313
        ie.text_size = sum(map(len, new_lines))
 
314
        ie.text_version = self.rev_id
 
315
        ie.entry_version = self.rev_id
 
316
 
 
317
 
 
318
    def _add_text_to_weave(self, file_id, new_lines, parents):
 
319
        weave_fn = self.branch.controlfilename(['weaves', file_id+'.weave'])
 
320
        if os.path.exists(weave_fn):
 
321
            w = read_weave(file(weave_fn, 'rb'))
 
322
        else:
 
323
            w = Weave()
 
324
        # XXX: Should set the appropriate parents by looking for this file_id
 
325
        # in all revision parents
 
326
        parent_idxs = map(w.lookup, parents)
 
327
        w.add(self.rev_id, parent_idxs, new_lines)
 
328
        af = AtomicFile(weave_fn)
 
329
        try:
 
330
            write_weave_v5(w, af)
 
331
            af.commit()
 
332
        finally:
 
333
            af.close()
 
334
 
415
335
 
416
336
def _gen_revision_id(branch, when):
417
337
    """Return new revision-id."""
418
338
    s = '%s-%s-' % (user_email(branch), compact_date(when))
419
339
    s += hexlify(rand_bytes(8))
420
340
    return s
 
341
 
 
342
 
 
343
def _sha_strings(strings):
 
344
    """Return the sha-1 of concatenation of strings"""
 
345
    s = sha.new()
 
346
    map(s.update, strings)
 
347
    return s.hexdigest()