/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: 2010-05-06 11:08:10 UTC
  • mto: This revision was merged to the branch mainline in revision 5223.
  • Revision ID: robertc@robertcollins.net-20100506110810-h3j07fh5gmw54s25
Cleaner matcher matching revised unlocking protocol.

Show diffs side-by-side

added added

removed removed

Lines of Context:
bzrlib/merge3.py
14
14
# along with this program; if not, write to the Free Software
15
15
# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
16
16
 
17
 
from __future__ import absolute_import
18
17
 
19
18
# mbp: "you know that thing where cvs gives you conflict markers?"
20
19
# s: "i hate that."
21
20
 
22
 
from . import (
 
21
from bzrlib import (
23
22
    errors,
24
23
    patiencediff,
25
24
    textfile,
26
25
    )
27
26
 
28
27
 
29
 
class CantReprocessAndShowBase(errors.BzrError):
30
 
 
31
 
    _fmt = ("Can't reprocess and show base, because reprocessing obscures "
32
 
            "the relationship of conflicting lines to the base")
33
 
 
34
 
 
35
28
def intersect(ra, rb):
36
29
    """Given two ranges return the range where they intersect or None.
37
30
 
57
50
def compare_range(a, astart, aend, b, bstart, bend):
58
51
    """Compare a[astart:aend] == b[bstart:bend], without slicing.
59
52
    """
60
 
    if (aend - astart) != (bend - bstart):
 
53
    if (aend-astart) != (bend-bstart):
61
54
        return False
62
 
    for ia, ib in zip(range(astart, aend), range(bstart, bend)):
 
55
    for ia, ib in zip(xrange(astart, aend), xrange(bstart, bend)):
63
56
        if a[ia] != b[ib]:
64
57
            return False
65
58
    else:
66
59
        return True
67
60
 
68
61
 
 
62
 
 
63
 
69
64
class Merge3(object):
70
65
    """3-way merge of texts.
71
66
 
99
94
                    name_a=None,
100
95
                    name_b=None,
101
96
                    name_base=None,
102
 
                    start_marker=b'<<<<<<<',
103
 
                    mid_marker=b'=======',
104
 
                    end_marker=b'>>>>>>>',
 
97
                    start_marker='<<<<<<<',
 
98
                    mid_marker='=======',
 
99
                    end_marker='>>>>>>>',
105
100
                    base_marker=None,
106
101
                    reprocess=False):
107
102
        """Return merge in cvs-like form.
108
103
        """
109
 
        newline = b'\n'
 
104
        newline = '\n'
110
105
        if len(self.a) > 0:
111
 
            if self.a[0].endswith(b'\r\n'):
112
 
                newline = b'\r\n'
113
 
            elif self.a[0].endswith(b'\r'):
114
 
                newline = b'\r'
 
106
            if self.a[0].endswith('\r\n'):
 
107
                newline = '\r\n'
 
108
            elif self.a[0].endswith('\r'):
 
109
                newline = '\r'
115
110
        if base_marker and reprocess:
116
 
            raise CantReprocessAndShowBase()
 
111
            raise errors.CantReprocessAndShowBase()
117
112
        if name_a:
118
 
            start_marker = start_marker + b' ' + name_a
 
113
            start_marker = start_marker + ' ' + name_a
119
114
        if name_b:
120
 
            end_marker = end_marker + b' ' + name_b
 
115
            end_marker = end_marker + ' ' + name_b
121
116
        if name_base and base_marker:
122
 
            base_marker = base_marker + b' ' + name_base
 
117
            base_marker = base_marker + ' ' + name_base
123
118
        merge_regions = self.merge_regions()
124
119
        if reprocess is True:
125
120
            merge_regions = self.reprocess_merge_regions(merge_regions)
248
243
            #   matchlen == (bend - bmatch)
249
244
            len_a = amatch - ia
250
245
            len_b = bmatch - ib
 
246
            len_base = zmatch - iz
251
247
            # invariants:
252
248
            # assert len_a >= 0
253
249
            # assert len_b >= 0
 
250
            # assert len_base >= 0
254
251
 
255
 
            # print 'unmatched a=%d, b=%d' % (len_a, len_b)
 
252
            #print 'unmatched a=%d, b=%d' % (len_a, len_b)
256
253
 
257
254
            if len_a or len_b:
258
255
                # try to avoid actually slicing the lists
273
270
                    elif not equal_a and not equal_b:
274
271
                        if self.is_cherrypick:
275
272
                            for node in self._refine_cherrypick_conflict(
276
 
                                    iz, zmatch, ia, amatch,
277
 
                                    ib, bmatch):
 
273
                                                    iz, zmatch, ia, amatch,
 
274
                                                    ib, bmatch):
278
275
                                yield node
279
276
                        else:
280
 
                            yield ('conflict', iz, zmatch, ia, amatch, ib,
281
 
                                   bmatch)
 
277
                            yield 'conflict', iz, zmatch, ia, amatch, ib, bmatch
282
278
                    else:
283
 
                        raise AssertionError(
284
 
                            "can't handle a=b=base but unmatched")
 
279
                        raise AssertionError("can't handle a=b=base but unmatched")
285
280
 
286
281
                ia = amatch
287
282
                ib = bmatch
301
296
                ia = aend
302
297
                ib = bend
303
298
 
304
 
    def _refine_cherrypick_conflict(self, zstart, zend, astart, aend, bstart,
305
 
                                    bend):
 
299
    def _refine_cherrypick_conflict(self, zstart, zend, astart, aend, bstart, bend):
306
300
        """When cherrypicking b => a, ignore matches with b and base."""
307
301
        # Do not emit regions which match, only regions which do not match
308
 
        matches = patiencediff.PatienceSequenceMatcher(
309
 
            None, self.base[zstart:zend], self.b[bstart:bend]
310
 
            ).get_matching_blocks()
 
302
        matches = patiencediff.PatienceSequenceMatcher(None,
 
303
            self.base[zstart:zend], self.b[bstart:bend]).get_matching_blocks()
311
304
        last_base_idx = 0
312
305
        last_b_idx = 0
313
306
        last_b_idx = 0
314
307
        yielded_a = False
315
308
        for base_idx, b_idx, match_len in matches:
 
309
            conflict_z_len = base_idx - last_base_idx
316
310
            conflict_b_len = b_idx - last_b_idx
317
 
            if conflict_b_len == 0:  # There are no lines in b which conflict,
 
311
            if conflict_b_len == 0: # There are no lines in b which conflict,
318
312
                                    # so skip it
319
313
                pass
320
314
            else:
326
320
                    # The first conflict gets the a-range
327
321
                    yielded_a = True
328
322
                    yield ('conflict', zstart + last_base_idx, zstart +
329
 
                           base_idx,
 
323
                    base_idx,
330
324
                           astart, aend, bstart + last_b_idx, bstart + b_idx)
331
325
            last_base_idx = base_idx + match_len
332
326
            last_b_idx = b_idx + match_len
356
350
            a_region = self.a[ia:amatch]
357
351
            b_region = self.b[ib:bmatch]
358
352
            matches = patiencediff.PatienceSequenceMatcher(
359
 
                None, a_region, b_region).get_matching_blocks()
 
353
                    None, a_region, b_region).get_matching_blocks()
360
354
            next_a = ia
361
355
            next_b = ib
362
356
            for region_ia, region_ib, region_len in matches[:-1]:
366
360
                                           region_ib)
367
361
                if reg is not None:
368
362
                    yield reg
369
 
                yield 'same', region_ia, region_len + region_ia
 
363
                yield 'same', region_ia, region_len+region_ia
370
364
                next_a = region_ia + region_len
371
365
                next_b = region_ib + region_len
372
366
            reg = self.mismatch_region(next_a, amatch, next_b, bmatch)
374
368
                yield reg
375
369
 
376
370
    @staticmethod
377
 
    def mismatch_region(next_a, region_ia, next_b, region_ib):
 
371
    def mismatch_region(next_a, region_ia,  next_b, region_ib):
378
372
        if next_a < region_ia or next_b < region_ib:
379
373
            return 'conflict', None, None, next_a, region_ia, next_b, region_ib
380
374
 
387
381
 
388
382
        ia = ib = 0
389
383
        amatches = patiencediff.PatienceSequenceMatcher(
390
 
            None, self.base, self.a).get_matching_blocks()
 
384
                None, self.base, self.a).get_matching_blocks()
391
385
        bmatches = patiencediff.PatienceSequenceMatcher(
392
 
            None, self.base, self.b).get_matching_blocks()
 
386
                None, self.base, self.b).get_matching_blocks()
393
387
        len_a = len(amatches)
394
388
        len_b = len(bmatches)
395
389
 
401
395
 
402
396
            # there is an unconflicted block at i; how long does it
403
397
            # extend?  until whichever one ends earlier.
404
 
            i = intersect((abase, abase + alen), (bbase, bbase + blen))
 
398
            i = intersect((abase, abase+alen), (bbase, bbase+blen))
405
399
            if i:
406
400
                intbase = i[0]
407
401
                intend = i[1]
442
436
    def find_unconflicted(self):
443
437
        """Return a list of ranges in base that are not conflicted."""
444
438
        am = patiencediff.PatienceSequenceMatcher(
445
 
            None, self.base, self.a).get_matching_blocks()
 
439
                None, self.base, self.a).get_matching_blocks()
446
440
        bm = patiencediff.PatienceSequenceMatcher(
447
 
            None, self.base, self.b).get_matching_blocks()
 
441
                None, self.base, self.b).get_matching_blocks()
448
442
 
449
443
        unc = []
450
444
 
469
463
 
470
464
def main(argv):
471
465
    # as for diff3 and meld the syntax is "MINE BASE OTHER"
472
 
    with open(argv[1], 'rt') as f:
473
 
        a = f.readlines()
474
 
    with open(argv[2], 'rt') as f:
475
 
        base = f.readlines()
476
 
    with open(argv[3], 'rt') as f:
477
 
        b = f.readlines()
 
466
    a = file(argv[1], 'rt').readlines()
 
467
    base = file(argv[2], 'rt').readlines()
 
468
    b = file(argv[3], 'rt').readlines()
478
469
 
479
470
    m3 = Merge3(base, a, b)
480
471
 
481
 
    # for sr in m3.find_sync_regions():
 
472
    #for sr in m3.find_sync_regions():
482
473
    #    print sr
483
474
 
484
475
    # sys.stdout.writelines(m3.merge_lines(name_a=argv[1], name_b=argv[3]))