← Back to branch summary

~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/merge3.py

  • Committer: Max Bowsher
  • Date: 2010-10-31 14:31:17 UTC
  • mto: This revision was merged to the branch mainline in revision 5521.
  • Revision ID: maxb@f2s.com-20101031143117-57vrfu630yq8a3k2
Fix a slightly odd style of ConfigObj construction to match the prevailing style in bzrlib.

Show diffs side-by-side

added added

removed removed

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