~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/commit.py

  • Committer: Martin Pool
  • Date: 2005-09-30 05:15:03 UTC
  • mto: (1185.14.2)
  • mto: This revision was merged to the branch mainline in revision 1396.
  • Revision ID: mbp@sourcefrog.net-20050930051503-9c049325215ddd1c
- fix up Branch.open_downlevel for Transport

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
# Copyright (C) 2005 Canonical Ltd
 
2
#
 
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.
 
7
#
 
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.
 
12
#
 
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
 
16
 
 
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
# 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
 
51
 
 
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.
 
55
 
 
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
 
58
# distinct parent.
 
59
 
 
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.
 
63
 
 
64
 
 
65
import os
 
66
import re
 
67
import sys
 
68
import time
 
69
import pdb
 
70
 
 
71
from binascii import hexlify
 
72
from cStringIO import StringIO
 
73
 
 
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,
 
78
                            split_lines)
 
79
from bzrlib.branch import gen_file_id
 
80
from bzrlib.errors import (BzrError, PointlessCommit,
 
81
                           HistoryMissing,
 
82
                           )
 
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
 
90
 
 
91
 
 
92
def commit(*args, **kwargs):
 
93
    """Commit a new revision to a branch.
 
94
 
 
95
    Function-style interface for convenience of old callers.
 
96
 
 
97
    New code should use the Commit class instead.
 
98
    """
 
99
    ## XXX: Remove this in favor of Branch.commit?
 
100
    Commit().commit(*args, **kwargs)
 
101
 
 
102
 
 
103
class NullCommitReporter(object):
 
104
    """I report on progress of a commit."""
 
105
    def added(self, path):
 
106
        pass
 
107
 
 
108
    def removed(self, path):
 
109
        pass
 
110
 
 
111
    def renamed(self, old_path, new_path):
 
112
        pass
 
113
 
 
114
 
 
115
class ReportCommitToLog(NullCommitReporter):
 
116
    def added(self, path):
 
117
        note('added %s', path)
 
118
 
 
119
    def removed(self, path):
 
120
        note('removed %s', path)
 
121
 
 
122
    def renamed(self, old_path, new_path):
 
123
        note('renamed %s => %s', old_path, new_path)
 
124
 
 
125
 
 
126
class Commit(object):
 
127
    """Task of committing a new revision.
 
128
 
 
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.
 
132
 
 
133
            missing_ids
 
134
            Modified to hold a list of files that have been deleted from
 
135
            the working directory; these should be removed from the
 
136
            working inventory.
 
137
    """
 
138
    def __init__(self,
 
139
                 reporter=None):
 
140
        if reporter is not None:
 
141
            self.reporter = reporter
 
142
        else:
 
143
            self.reporter = NullCommitReporter()
 
144
 
 
145
        
 
146
    def commit(self,
 
147
               branch, message,
 
148
               timestamp=None,
 
149
               timezone=None,
 
150
               committer=None,
 
151
               specific_files=None,
 
152
               rev_id=None,
 
153
               allow_pointless=True,
 
154
               verbose=False):
 
155
        """Commit working copy as a new revision.
 
156
 
 
157
        timestamp -- if not None, seconds-since-epoch for a
 
158
             postdated/predated commit.
 
159
 
 
160
        specific_files -- If true, commit only those files.
 
161
 
 
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.
 
167
 
 
168
        allow_pointless -- If true (default), commit even if nothing
 
169
            has changed and no merges are recorded.
 
170
        """
 
171
        mutter('preparing to commit')
 
172
 
 
173
        self.branch = branch
 
174
        self.weave_store = branch.weave_store
 
175
        self.rev_id = rev_id
 
176
        self.specific_files = specific_files
 
177
        self.allow_pointless = allow_pointless
 
178
 
 
179
        if timestamp is None:
 
180
            self.timestamp = time.time()
 
181
        else:
 
182
            self.timestamp = long(timestamp)
 
183
            
 
184
        if rev_id is None:
 
185
            self.rev_id = _gen_revision_id(self.branch, self.timestamp)
 
186
        else:
 
187
            self.rev_id = rev_id
 
188
 
 
189
        if committer is None:
 
190
            self.committer = username(self.branch)
 
191
        else:
 
192
            assert isinstance(committer, basestring), type(committer)
 
193
            self.committer = committer
 
194
 
 
195
        if timezone is None:
 
196
            self.timezone = local_time_offset()
 
197
        else:
 
198
            self.timezone = int(timezone)
 
199
 
 
200
        assert isinstance(message, basestring), type(message)
 
201
        self.message = message
 
202
        self._escape_commit_message()
 
203
 
 
204
        self.branch.lock_write()
 
205
        try:
 
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
 
210
 
 
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()
 
215
            
 
216
            self._remove_deleted()
 
217
            self.new_inv = Inventory()
 
218
            self._store_entries()
 
219
            self._report_deletes()
 
220
            self._set_name_versions()
 
221
 
 
222
            if not (self.allow_pointless
 
223
                    or len(self.parents) > 1
 
224
                    or self.new_inv != self.basis_inv):
 
225
                raise PointlessCommit()
 
226
 
 
227
            self._record_inventory()
 
228
            self._record_ancestry()
 
229
            self._make_revision()
 
230
            note('committed r%d {%s}', (self.branch.revno() + 1),
 
231
                 self.rev_id)
 
232
            self.branch.append_revision(self.rev_id)
 
233
            self.branch.set_pending_merges([])
 
234
        finally:
 
235
            self.branch.unlock()
 
236
 
 
237
 
 
238
 
 
239
    def _record_inventory(self):
 
240
        """Store the inventory for the new revision."""
 
241
        inv_text = serializer_v5.write_inventory_to_string(self.new_inv)
 
242
        self.inv_sha1 = sha_string(inv_text)
 
243
        s = self.branch.control_weaves
 
244
        s.add_text('inventory', self.rev_id,
 
245
                   split_lines(inv_text), self.parents)
 
246
 
 
247
    def _escape_commit_message(self):
 
248
        """Replace xml-incompatible control characters."""
 
249
        # Python strings can include characters that can't be
 
250
        # represented in well-formed XML; escape characters that
 
251
        # aren't listed in the XML specification
 
252
        # (http://www.w3.org/TR/REC-xml/#NT-Char).
 
253
        if isinstance(self.message, unicode):
 
254
            char_pattern = u'[^\x09\x0A\x0D\u0020-\uD7FF\uE000-\uFFFD]'
 
255
        else:
 
256
            # Use a regular 'str' as pattern to avoid having re.subn
 
257
            # return 'unicode' results.
 
258
            char_pattern = '[^x09\x0A\x0D\x20-\xFF]'
 
259
        self.message, escape_count = re.subn(
 
260
            char_pattern,
 
261
            lambda match: match.group(0).encode('unicode_escape'),
 
262
            self.message)
 
263
        if escape_count:
 
264
            note("replaced %d control characters in message", escape_count)
 
265
 
 
266
    def _record_ancestry(self):
 
267
        """Append merged revision ancestry to the ancestry file.
 
268
 
 
269
        This should be the merged ancestry of all parents, plus the
 
270
        new revision id."""
 
271
        s = self.branch.control_weaves
 
272
        w = s.get_weave_or_empty('ancestry')
 
273
        lines = self._make_ancestry(w)
 
274
        w.add(self.rev_id, self.parents, lines)
 
275
        s.put_weave('ancestry', w)
 
276
 
 
277
 
 
278
    def _make_ancestry(self, ancestry_weave):
 
279
        """Return merged ancestry lines.
 
280
 
 
281
        The lines are revision-ids followed by newlines."""
 
282
        parent_ancestries = [ancestry_weave.get(p) for p in self.parents]
 
283
        new_lines = merge_ancestry_lines(self.rev_id, parent_ancestries)
 
284
        mutter('merged ancestry of {%s}:\n%s', self.rev_id, ''.join(new_lines))
 
285
        return new_lines
 
286
 
 
287
 
 
288
    def _gather_parents(self):
 
289
        pending_merges = self.branch.pending_merges()
 
290
        self.parents = []
 
291
        self.parent_trees = []
 
292
        precursor_id = self.branch.last_revision()
 
293
        if precursor_id:
 
294
            self.parents.append(precursor_id)
 
295
            self.parent_trees.append(self.basis_tree)
 
296
        self.parents += pending_merges
 
297
        self.parent_trees.extend(map(self.branch.revision_tree, pending_merges))
 
298
 
 
299
 
 
300
    def _check_parents_present(self):
 
301
        for parent_id in self.parents:
 
302
            mutter('commit parent revision {%s}', parent_id)
 
303
            if not self.branch.has_revision(parent_id):
 
304
                warning("can't commit a merge from an absent parent")
 
305
                raise HistoryMissing(self.branch, 'revision', parent_id)
 
306
 
 
307
            
 
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
 
317
        rev_tmp = StringIO()
 
318
        serializer_v5.write_revision(self.rev, rev_tmp)
 
319
        rev_tmp.seek(0)
 
320
        self.branch.revision_store.add(rev_tmp, self.rev_id)
 
321
        mutter('new revision_id is {%s}', self.rev_id)
 
322
 
 
323
 
 
324
    def _remove_deleted(self):
 
325
        """Remove deleted files from the working inventories.
 
326
 
 
327
        This is done prior to taking the working inventory as the
 
328
        basis for the new committed inventory.
 
329
 
 
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.
 
334
        """
 
335
        specific = self.specific_files
 
336
        deleted_ids = []
 
337
        for path, ie in self.work_inv.iter_entries():
 
338
            if specific and not is_inside_any(specific, path):
 
339
                continue
 
340
            if not self.work_tree.has_filename(path):
 
341
                note('missing %s', path)
 
342
                deleted_ids.append(ie.file_id)
 
343
        if deleted_ids:
 
344
            for file_id in deleted_ids:
 
345
                del self.work_inv[file_id]
 
346
            self.branch._write_inventory(self.work_inv)
 
347
 
 
348
 
 
349
    def _find_file_parents(self, file_id):
 
350
        """Return the text versions and hashes for all file parents.
 
351
 
 
352
        Returned as a map from text version to inventory entry.
 
353
 
 
354
        This is a set containing the file versions in all parents
 
355
        revisions containing the file.  If the file is new, the set
 
356
        will be empty."""
 
357
        r = {}
 
358
        for tree in self.parent_trees:
 
359
            if file_id in tree.inventory:
 
360
                ie = tree.inventory[file_id]
 
361
                assert ie.kind == 'file'
 
362
                assert ie.file_id == file_id
 
363
                if ie.text_version in r:
 
364
                    assert r[ie.text_version] == ie
 
365
                else:
 
366
                    r[ie.text_version] = ie
 
367
        return r
 
368
 
 
369
 
 
370
    def _set_name_versions(self):
 
371
        """Pass over inventory and mark new entry version as needed.
 
372
 
 
373
        Files get a new name version when they are new, have a
 
374
        different parent, or a different name from in the
 
375
        basis inventory, or if the file is in a different place
 
376
        to any of the parents."""
 
377
        # XXX: Need to think more here about when the user has
 
378
        # made a specific decision on a particular value -- c.f.
 
379
        # mark-merge.  
 
380
        for path, ie in self.new_inv.iter_entries():
 
381
            old_version = None
 
382
            file_id = ie.file_id
 
383
            for parent_tree in self.parent_trees:
 
384
                parent_inv = parent_tree.inventory
 
385
                if file_id not in parent_inv:
 
386
                    continue
 
387
                parent_ie = parent_inv[file_id]
 
388
                if parent_ie.parent_id != ie.parent_id:
 
389
                    old_version = None
 
390
                    break
 
391
                elif parent_ie.name != ie.name:
 
392
                    old_version = None
 
393
                    break
 
394
                elif old_version is None:
 
395
                    old_version = parent_ie.name_version
 
396
                elif old_version != parent_ie.name_version:
 
397
                    old_version = None
 
398
                    break
 
399
                else:
 
400
                    pass                # so far so good
 
401
            if old_version is None:
 
402
                mutter('new name_version for {%s}', file_id)
 
403
                ie.name_version = self.rev_id
 
404
            else:
 
405
                mutter('name_version for {%s} inherited as {%s}',
 
406
                       file_id, old_version)
 
407
                ie.name_version = old_version
 
408
 
 
409
 
 
410
    def _store_entries(self):
 
411
        """Build revision inventory and store modified files.
 
412
 
 
413
        This is called with new_inv a new empty inventory.  Depending on
 
414
        which files are selected for commit, and which ones have
 
415
        been modified or merged, new inventory entries are built
 
416
        based on the working and parent inventories.
 
417
 
 
418
        As a side-effect this stores new text versions for committed
 
419
        files with text changes or merges.
 
420
 
 
421
        Each entry can have one of several things happen:
 
422
 
 
423
        carry_file -- carried from the previous version (if not
 
424
            selected for commit)
 
425
 
 
426
        commit_nonfile -- no text to worry about
 
427
 
 
428
        commit_old_text -- same text, may have moved
 
429
 
 
430
        commit_file -- new text version
 
431
        """
 
432
        for path, new_ie in self.work_inv.iter_entries():
 
433
            file_id = new_ie.file_id
 
434
            mutter('check %s {%s}', path, new_ie.file_id)
 
435
            if self.specific_files:
 
436
                if not is_inside_any(self.specific_files, path):
 
437
                    mutter('%s not selected for commit', path)
 
438
                    self._carry_file(file_id)
 
439
                    continue
 
440
            if new_ie.kind != 'file':
 
441
                self._commit_nonfile(file_id)
 
442
                continue
 
443
            
 
444
            file_parents = self._find_file_parents(file_id)
 
445
            mutter('parents of %s are %r', path, file_parents)
 
446
            if len(file_parents) == 1:
 
447
                parent_ie = file_parents.values()[0]
 
448
                wc_sha1 = self.work_tree.get_file_sha1(file_id)
 
449
                if parent_ie.text_sha1 == wc_sha1:
 
450
                    # text not changed or merged
 
451
                    self._commit_old_text(file_id, parent_ie)
 
452
                    continue
 
453
            # file is either new, or a file merge; need to record
 
454
            # a new version
 
455
            if len(file_parents) > 1:
 
456
                note('merged %s', path)
 
457
            elif len(file_parents) == 0:
 
458
                note('added %s', path)
 
459
            else:
 
460
                note('modified %s', path)
 
461
            self._commit_file(new_ie, file_id, file_parents)
 
462
 
 
463
 
 
464
    def _commit_nonfile(self, file_id):
 
465
        self.new_inv.add(self.work_inv[file_id].copy())
 
466
 
 
467
 
 
468
    def _carry_file(self, file_id):
 
469
        """Carry the file unchanged from the basis revision."""
 
470
        if self.basis_inv.has_id(file_id):
 
471
            self.new_inv.add(self.basis_inv[file_id].copy())
 
472
 
 
473
 
 
474
    def _commit_old_text(self, file_id, parent_ie):
 
475
        """Keep the same text as last time, but possibly a different name."""
 
476
        ie = self.work_inv[file_id].copy()
 
477
        ie.text_version = parent_ie.text_version
 
478
        ie.text_size = parent_ie.text_size
 
479
        ie.text_sha1 = parent_ie.text_sha1
 
480
        self.new_inv.add(ie)
 
481
 
 
482
 
 
483
    def _report_deletes(self):
 
484
        for file_id in self.basis_inv:
 
485
            if file_id not in self.new_inv:
 
486
                note('deleted %s', self.basis_inv.id2path(file_id))
 
487
 
 
488
 
 
489
    def _commit_file(self, new_ie, file_id, file_parents):                    
 
490
        mutter('store new text for {%s} in revision {%s}',
 
491
               file_id, self.rev_id)
 
492
        new_lines = self.work_tree.get_file(file_id).readlines()
 
493
        self._add_text_to_weave(file_id, new_lines, file_parents)
 
494
        new_ie.text_version = self.rev_id
 
495
        new_ie.text_sha1 = sha_strings(new_lines)
 
496
        new_ie.text_size = sum(map(len, new_lines))
 
497
        self.new_inv.add(new_ie)
 
498
 
 
499
 
 
500
    def _add_text_to_weave(self, file_id, new_lines, parents):
 
501
        self.weave_store.add_text(file_id, self.rev_id, new_lines, parents)
 
502
 
 
503
 
 
504
def _gen_revision_id(branch, when):
 
505
    """Return new revision-id."""
 
506
    s = '%s-%s-' % (user_email(branch), compact_date(when))
 
507
    s += hexlify(rand_bytes(8))
 
508
    return s
 
509
 
 
510
 
 
511
 
 
512
    
 
513
def merge_ancestry_lines(rev_id, ancestries):
 
514
    """Return merged ancestry lines.
 
515
 
 
516
    rev_id -- id of the new revision
 
517
    
 
518
    ancestries -- a sequence of ancestries for parent revisions,
 
519
        as newline-terminated line lists.
 
520
    """
 
521
    if len(ancestries) == 0:
 
522
        return [rev_id + '\n']
 
523
    seen = set(ancestries[0])
 
524
    ancs = ancestries[0][:]    
 
525
    for parent_ancestry in ancestries[1:]:
 
526
        for line in parent_ancestry:
 
527
            assert line[-1] == '\n'
 
528
            if line not in seen:
 
529
                ancs.append(line)
 
530
                seen.add(line)
 
531
    r = rev_id + '\n'
 
532
    assert r not in seen
 
533
    ancs.append(r)
 
534
    return ancs