/brz/remove-bazaar

To get this branch, use:
bzr branch http://gegoxaren.bato24.eu/bzr/brz/remove-bazaar

« back to all changes in this revision

Viewing changes to bzrlib/merge3.py

  • Committer: Robert Collins
  • Date: 2005-10-29 23:48:45 UTC
  • Revision ID: robertc@robertcollins.net-20051029234845-7ae4e7d118bdd3ed
Implement a 'bzr push' command, with saved locations; update diff to return 1.

    * 'bzr diff' now returns 1 when there are changes in the working 
      tree.

    * 'bzr push' now exists and can push changes to a remote location. 
      This uses the transport infrastructure, and can store the remote
      location in the ~/.bazaar/branches.conf configuration file.

    * WorkingTree.pull has been split across Branch and WorkingTree,
      to allow Branch only pulls.

    * commands.display_command now returns the result of the decorated 
      function.

    * LocationConfig now has a set_user_option(key, value) call to save
      a setting in its matching location section (a new one is created
      if needed).

    * Branch has two new methods, get_push_location and set_push_location
      to respectively, get and set the push location.

Show diffs side-by-side

added added

removed removed

Lines of Context:
bzrlib/merge3.py
1
 
# Copyright (C) 2005-2010 Canonical Ltd
2
 
#
 
1
# Copyright (C) 2004, 2005 by Canonical Ltd
 
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
 
# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
 
15
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
16
16
 
17
17
 
18
18
# mbp: "you know that thing where cvs gives you conflict markers?"
19
19
# s: "i hate that."
20
20
 
21
 
from bzrlib import (
22
 
    errors,
23
 
    patiencediff,
24
 
    textfile,
25
 
    )
26
21
 
 
22
from difflib import SequenceMatcher
27
23
 
28
24
def intersect(ra, rb):
29
25
    """Given two ranges return the range where they intersect or None.
37
33
    >>> intersect((0, 9), (7, 15))
38
34
    (7, 9)
39
35
    """
40
 
    # preconditions: (ra[0] <= ra[1]) and (rb[0] <= rb[1])
41
 
 
 
36
    assert ra[0] <= ra[1]
 
37
    assert rb[0] <= rb[1]
 
38
    
42
39
    sa = max(ra[0], rb[0])
43
40
    sb = min(ra[1], rb[1])
44
41
    if sa < sb:
57
54
            return False
58
55
    else:
59
56
        return True
60
 
 
 
57
        
61
58
 
62
59
 
63
60
 
67
64
    Given BASE, OTHER, THIS, tries to produce a combined text
68
65
    incorporating the changes from both BASE->OTHER and BASE->THIS.
69
66
    All three will typically be sequences of lines."""
70
 
 
71
 
    def __init__(self, base, a, b, is_cherrypick=False, allow_objects=False):
72
 
        """Constructor.
73
 
 
74
 
        :param base: lines in BASE
75
 
        :param a: lines in A
76
 
        :param b: lines in B
77
 
        :param is_cherrypick: flag indicating if this merge is a cherrypick.
78
 
            When cherrypicking b => a, matches with b and base do not conflict.
79
 
        :param allow_objects: if True, do not require that base, a and b are
80
 
            plain Python strs.  Also prevents BinaryFile from being raised.
81
 
            Lines can be any sequence of comparable and hashable Python
82
 
            objects.
83
 
        """
84
 
        if not allow_objects:
85
 
            textfile.check_text_lines(base)
86
 
            textfile.check_text_lines(a)
87
 
            textfile.check_text_lines(b)
 
67
    def __init__(self, base, a, b):
88
68
        self.base = base
89
69
        self.a = a
90
70
        self.b = b
91
 
        self.is_cherrypick = is_cherrypick
 
71
 
 
72
 
92
73
 
93
74
    def merge_lines(self,
94
75
                    name_a=None,
97
78
                    start_marker='<<<<<<<',
98
79
                    mid_marker='=======',
99
80
                    end_marker='>>>>>>>',
100
 
                    base_marker=None,
101
 
                    reprocess=False):
 
81
                    base_marker=None):
102
82
        """Return merge in cvs-like form.
103
83
        """
104
 
        newline = '\n'
105
 
        if len(self.a) > 0:
106
 
            if self.a[0].endswith('\r\n'):
107
 
                newline = '\r\n'
108
 
            elif self.a[0].endswith('\r'):
109
 
                newline = '\r'
110
 
        if base_marker and reprocess:
111
 
            raise errors.CantReprocessAndShowBase()
112
84
        if name_a:
113
85
            start_marker = start_marker + ' ' + name_a
114
86
        if name_b:
115
87
            end_marker = end_marker + ' ' + name_b
116
88
        if name_base and base_marker:
117
89
            base_marker = base_marker + ' ' + name_base
118
 
        merge_regions = self.merge_regions()
119
 
        if reprocess is True:
120
 
            merge_regions = self.reprocess_merge_regions(merge_regions)
121
 
        for t in merge_regions:
 
90
            
 
91
        for t in self.merge_regions():
122
92
            what = t[0]
123
93
            if what == 'unchanged':
124
94
                for i in range(t[1], t[2]):
130
100
                for i in range(t[1], t[2]):
131
101
                    yield self.b[i]
132
102
            elif what == 'conflict':
133
 
                yield start_marker + newline
 
103
                yield start_marker + '\n'
134
104
                for i in range(t[3], t[4]):
135
105
                    yield self.a[i]
136
106
                if base_marker is not None:
137
 
                    yield base_marker + newline
 
107
                    yield base_marker + '\n'
138
108
                    for i in range(t[1], t[2]):
139
109
                        yield self.base[i]
140
 
                yield mid_marker + newline
 
110
                yield mid_marker + '\n'
141
111
                for i in range(t[5], t[6]):
142
112
                    yield self.b[i]
143
 
                yield end_marker + newline
 
113
                yield end_marker + '\n'
144
114
            else:
145
115
                raise ValueError(what)
 
116
        
 
117
        
 
118
 
 
119
 
146
120
 
147
121
    def merge_annotated(self):
148
122
        """Return merge with conflicts, showing origin of lines.
149
123
 
150
 
        Most useful for debugging merge.
 
124
        Most useful for debugging merge.        
151
125
        """
152
126
        for t in self.merge_regions():
153
127
            what = t[0]
170
144
                yield '>>>>\n'
171
145
            else:
172
146
                raise ValueError(what)
 
147
        
 
148
        
 
149
 
 
150
 
173
151
 
174
152
    def merge_groups(self):
175
153
        """Yield sequence of line groups.  Each one is a tuple:
205
183
            else:
206
184
                raise ValueError(what)
207
185
 
 
186
 
208
187
    def merge_regions(self):
209
188
        """Return sequences of matching and conflicting regions.
210
189
 
234
213
 
235
214
        # section a[0:ia] has been disposed of, etc
236
215
        iz = ia = ib = 0
237
 
 
 
216
        
238
217
        for zmatch, zend, amatch, aend, bmatch, bend in self.find_sync_regions():
 
218
            #print 'match base [%d:%d]' % (zmatch, zend)
 
219
            
239
220
            matchlen = zend - zmatch
240
 
            # invariants:
241
 
            #   matchlen >= 0
242
 
            #   matchlen == (aend - amatch)
243
 
            #   matchlen == (bend - bmatch)
 
221
            assert matchlen >= 0
 
222
            assert matchlen == (aend - amatch)
 
223
            assert matchlen == (bend - bmatch)
 
224
            
244
225
            len_a = amatch - ia
245
226
            len_b = bmatch - ib
246
227
            len_base = zmatch - iz
247
 
            # invariants:
248
 
            # assert len_a >= 0
249
 
            # assert len_b >= 0
250
 
            # assert len_base >= 0
 
228
            assert len_a >= 0
 
229
            assert len_b >= 0
 
230
            assert len_base >= 0
251
231
 
252
232
            #print 'unmatched a=%d, b=%d' % (len_a, len_b)
253
233
 
254
234
            if len_a or len_b:
255
235
                # try to avoid actually slicing the lists
 
236
                equal_a = compare_range(self.a, ia, amatch,
 
237
                                        self.base, iz, zmatch)
 
238
                equal_b = compare_range(self.b, ib, bmatch,
 
239
                                        self.base, iz, zmatch)
256
240
                same = compare_range(self.a, ia, amatch,
257
241
                                     self.b, ib, bmatch)
258
242
 
259
243
                if same:
260
244
                    yield 'same', ia, amatch
 
245
                elif equal_a and not equal_b:
 
246
                    yield 'b', ib, bmatch
 
247
                elif equal_b and not equal_a:
 
248
                    yield 'a', ia, amatch
 
249
                elif not equal_a and not equal_b:
 
250
                    yield 'conflict', iz, zmatch, ia, amatch, ib, bmatch
261
251
                else:
262
 
                    equal_a = compare_range(self.a, ia, amatch,
263
 
                                            self.base, iz, zmatch)
264
 
                    equal_b = compare_range(self.b, ib, bmatch,
265
 
                                            self.base, iz, zmatch)
266
 
                    if equal_a and not equal_b:
267
 
                        yield 'b', ib, bmatch
268
 
                    elif equal_b and not equal_a:
269
 
                        yield 'a', ia, amatch
270
 
                    elif not equal_a and not equal_b:
271
 
                        if self.is_cherrypick:
272
 
                            for node in self._refine_cherrypick_conflict(
273
 
                                                    iz, zmatch, ia, amatch,
274
 
                                                    ib, bmatch):
275
 
                                yield node
276
 
                        else:
277
 
                            yield 'conflict', iz, zmatch, ia, amatch, ib, bmatch
278
 
                    else:
279
 
                        raise AssertionError("can't handle a=b=base but unmatched")
 
252
                    raise AssertionError("can't handle a=b=base but unmatched")
280
253
 
281
254
                ia = amatch
282
255
                ib = bmatch
285
258
            # if the same part of the base was deleted on both sides
286
259
            # that's OK, we can just skip it.
287
260
 
 
261
                
288
262
            if matchlen > 0:
289
 
                # invariants:
290
 
                # assert ia == amatch
291
 
                # assert ib == bmatch
292
 
                # assert iz == zmatch
293
 
 
 
263
                assert ia == amatch
 
264
                assert ib == bmatch
 
265
                assert iz == zmatch
 
266
                
294
267
                yield 'unchanged', zmatch, zend
295
268
                iz = zend
296
269
                ia = aend
297
270
                ib = bend
298
 
 
299
 
    def _refine_cherrypick_conflict(self, zstart, zend, astart, aend, bstart, bend):
300
 
        """When cherrypicking b => a, ignore matches with b and base."""
301
 
        # Do not emit regions which match, only regions which do not match
302
 
        matches = patiencediff.PatienceSequenceMatcher(None,
303
 
            self.base[zstart:zend], self.b[bstart:bend]).get_matching_blocks()
304
 
        last_base_idx = 0
305
 
        last_b_idx = 0
306
 
        last_b_idx = 0
307
 
        yielded_a = False
308
 
        for base_idx, b_idx, match_len in matches:
309
 
            conflict_z_len = base_idx - last_base_idx
310
 
            conflict_b_len = b_idx - last_b_idx
311
 
            if conflict_b_len == 0: # There are no lines in b which conflict,
312
 
                                    # so skip it
313
 
                pass
314
 
            else:
315
 
                if yielded_a:
316
 
                    yield ('conflict',
317
 
                           zstart + last_base_idx, zstart + base_idx,
318
 
                           aend, aend, bstart + last_b_idx, bstart + b_idx)
319
 
                else:
320
 
                    # The first conflict gets the a-range
321
 
                    yielded_a = True
322
 
                    yield ('conflict', zstart + last_base_idx, zstart +
323
 
                    base_idx,
324
 
                           astart, aend, bstart + last_b_idx, bstart + b_idx)
325
 
            last_base_idx = base_idx + match_len
326
 
            last_b_idx = b_idx + match_len
327
 
        if last_base_idx != zend - zstart or last_b_idx != bend - bstart:
328
 
            if yielded_a:
329
 
                yield ('conflict', zstart + last_base_idx, zstart + base_idx,
330
 
                       aend, aend, bstart + last_b_idx, bstart + b_idx)
331
 
            else:
332
 
                # The first conflict gets the a-range
333
 
                yielded_a = True
334
 
                yield ('conflict', zstart + last_base_idx, zstart + base_idx,
335
 
                       astart, aend, bstart + last_b_idx, bstart + b_idx)
336
 
        if not yielded_a:
337
 
            yield ('conflict', zstart, zend, astart, aend, bstart, bend)
338
 
 
339
 
    def reprocess_merge_regions(self, merge_regions):
340
 
        """Where there are conflict regions, remove the agreed lines.
341
 
 
342
 
        Lines where both A and B have made the same changes are
343
 
        eliminated.
344
 
        """
345
 
        for region in merge_regions:
346
 
            if region[0] != "conflict":
347
 
                yield region
348
 
                continue
349
 
            type, iz, zmatch, ia, amatch, ib, bmatch = region
350
 
            a_region = self.a[ia:amatch]
351
 
            b_region = self.b[ib:bmatch]
352
 
            matches = patiencediff.PatienceSequenceMatcher(
353
 
                    None, a_region, b_region).get_matching_blocks()
354
 
            next_a = ia
355
 
            next_b = ib
356
 
            for region_ia, region_ib, region_len in matches[:-1]:
357
 
                region_ia += ia
358
 
                region_ib += ib
359
 
                reg = self.mismatch_region(next_a, region_ia, next_b,
360
 
                                           region_ib)
361
 
                if reg is not None:
362
 
                    yield reg
363
 
                yield 'same', region_ia, region_len+region_ia
364
 
                next_a = region_ia + region_len
365
 
                next_b = region_ib + region_len
366
 
            reg = self.mismatch_region(next_a, amatch, next_b, bmatch)
367
 
            if reg is not None:
368
 
                yield reg
369
 
 
370
 
    @staticmethod
371
 
    def mismatch_region(next_a, region_ia,  next_b, region_ib):
372
 
        if next_a < region_ia or next_b < region_ib:
373
 
            return 'conflict', None, None, next_a, region_ia, next_b, region_ib
374
 
 
 
271
        
 
272
 
 
273
        
375
274
    def find_sync_regions(self):
376
275
        """Return a list of sync regions, where both descendents match the base.
377
276
 
380
279
        """
381
280
 
382
281
        ia = ib = 0
383
 
        amatches = patiencediff.PatienceSequenceMatcher(
384
 
                None, self.base, self.a).get_matching_blocks()
385
 
        bmatches = patiencediff.PatienceSequenceMatcher(
386
 
                None, self.base, self.b).get_matching_blocks()
 
282
        amatches = SequenceMatcher(None, self.base, self.a).get_matching_blocks()
 
283
        bmatches = SequenceMatcher(None, self.base, self.b).get_matching_blocks()
387
284
        len_a = len(amatches)
388
285
        len_b = len(bmatches)
389
286
 
403
300
 
404
301
                # found a match of base[i[0], i[1]]; this may be less than
405
302
                # the region that matches in either one
406
 
                # assert intlen <= alen
407
 
                # assert intlen <= blen
408
 
                # assert abase <= intbase
409
 
                # assert bbase <= intbase
 
303
                assert intlen <= alen
 
304
                assert intlen <= blen
 
305
                assert abase <= intbase
 
306
                assert bbase <= intbase
410
307
 
411
308
                asub = amatch + (intbase - abase)
412
309
                bsub = bmatch + (intbase - bbase)
413
310
                aend = asub + intlen
414
311
                bend = bsub + intlen
415
312
 
416
 
                # assert self.base[intbase:intend] == self.a[asub:aend], \
417
 
                #       (self.base[intbase:intend], self.a[asub:aend])
418
 
                # assert self.base[intbase:intend] == self.b[bsub:bend]
 
313
                assert self.base[intbase:intend] == self.a[asub:aend], \
 
314
                       (self.base[intbase:intend], self.a[asub:aend])
 
315
 
 
316
                assert self.base[intbase:intend] == self.b[bsub:bend]
419
317
 
420
318
                sl.append((intbase, intend,
421
319
                           asub, aend,
422
320
                           bsub, bend))
 
321
 
423
322
            # advance whichever one ends first in the base text
424
323
            if (abase + alen) < (bbase + blen):
425
324
                ia += 1
426
325
            else:
427
326
                ib += 1
428
 
 
 
327
            
429
328
        intbase = len(self.base)
430
329
        abase = len(self.a)
431
330
        bbase = len(self.b)
433
332
 
434
333
        return sl
435
334
 
 
335
 
 
336
 
436
337
    def find_unconflicted(self):
437
338
        """Return a list of ranges in base that are not conflicted."""
438
 
        am = patiencediff.PatienceSequenceMatcher(
439
 
                None, self.base, self.a).get_matching_blocks()
440
 
        bm = patiencediff.PatienceSequenceMatcher(
441
 
                None, self.base, self.b).get_matching_blocks()
 
339
 
 
340
        import re
 
341
 
 
342
        # don't sync-up on lines containing only blanks or pounds
 
343
        junk_re = re.compile(r'^[ \t#]*$')
 
344
        
 
345
        am = SequenceMatcher(junk_re.match, self.base, self.a).get_matching_blocks()
 
346
        bm = SequenceMatcher(junk_re.match, self.base, self.b).get_matching_blocks()
442
347
 
443
348
        unc = []
444
349
 
457
362
                del am[0]
458
363
            else:
459
364
                del bm[0]
460
 
 
 
365
                
461
366
        return unc
462
367
 
463
368