← Back to branch summary

~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/merge3.py

  • Committer: Robert Collins
  • Date: 2009-07-07 04:32:13 UTC
  • mto: This revision was merged to the branch mainline in revision 4524.
  • Revision ID: robertc@robertcollins.net-20090707043213-4hjjhgr40iq7gk2d
More informative assertions in xml serialisation.

Show diffs side-by-side

added added

removed removed

Lines of Context:
bzrlib/merge3.py
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?"
36
36
    >>> intersect((0, 9), (7, 15))
37
37
    (7, 9)
38
38
    """
39
 
    assert ra[0] <= ra[1]
40
 
    assert rb[0] <= rb[1]
41
 
    
 
39
    # preconditions: (ra[0] <= ra[1]) and (rb[0] <= rb[1])
 
40
 
42
41
    sa = max(ra[0], rb[0])
43
42
    sb = min(ra[1], rb[1])
44
43
    if sa < sb:
57
56
            return False
58
57
    else:
59
58
        return True
60
 
        
 
59
 
61
60
 
62
61
 
63
62
 
67
66
    Given BASE, OTHER, THIS, tries to produce a combined text
68
67
    incorporating the changes from both BASE->OTHER and BASE->THIS.
69
68
    All three will typically be sequences of lines."""
70
 
    def __init__(self, base, a, b):
 
69
    def __init__(self, base, a, b, is_cherrypick=False):
71
70
        check_text_lines(base)
72
71
        check_text_lines(a)
73
72
        check_text_lines(b)
74
73
        self.base = base
75
74
        self.a = a
76
75
        self.b = b
77
 
 
78
 
 
 
76
        self.is_cherrypick = is_cherrypick
79
77
 
80
78
    def merge_lines(self,
81
79
                    name_a=None,
130
128
                yield end_marker + newline
131
129
            else:
132
130
                raise ValueError(what)
133
 
        
134
 
        
135
 
 
136
 
 
137
131
 
138
132
    def merge_annotated(self):
139
133
        """Return merge with conflicts, showing origin of lines.
140
134
 
141
 
        Most useful for debugging merge.        
 
135
        Most useful for debugging merge.
142
136
        """
143
137
        for t in self.merge_regions():
144
138
            what = t[0]
161
155
                yield '>>>>\n'
162
156
            else:
163
157
                raise ValueError(what)
164
 
        
165
 
        
166
 
 
167
 
 
168
158
 
169
159
    def merge_groups(self):
170
160
        """Yield sequence of line groups.  Each one is a tuple:
200
190
            else:
201
191
                raise ValueError(what)
202
192
 
203
 
 
204
193
    def merge_regions(self):
205
194
        """Return sequences of matching and conflicting regions.
206
195
 
230
219
 
231
220
        # section a[0:ia] has been disposed of, etc
232
221
        iz = ia = ib = 0
233
 
        
 
222
 
234
223
        for zmatch, zend, amatch, aend, bmatch, bend in self.find_sync_regions():
235
 
            #print 'match base [%d:%d]' % (zmatch, zend)
236
 
            
237
224
            matchlen = zend - zmatch
238
 
            assert matchlen >= 0
239
 
            assert matchlen == (aend - amatch)
240
 
            assert matchlen == (bend - bmatch)
241
 
            
 
225
            # invariants:
 
226
            #   matchlen >= 0
 
227
            #   matchlen == (aend - amatch)
 
228
            #   matchlen == (bend - bmatch)
242
229
            len_a = amatch - ia
243
230
            len_b = bmatch - ib
244
231
            len_base = zmatch - iz
245
 
            assert len_a >= 0
246
 
            assert len_b >= 0
247
 
            assert len_base >= 0
 
232
            # invariants:
 
233
            # assert len_a >= 0
 
234
            # assert len_b >= 0
 
235
            # assert len_base >= 0
248
236
 
249
237
            #print 'unmatched a=%d, b=%d' % (len_a, len_b)
250
238
 
251
239
            if len_a or len_b:
252
240
                # try to avoid actually slicing the lists
253
 
                equal_a = compare_range(self.a, ia, amatch,
254
 
                                        self.base, iz, zmatch)
255
 
                equal_b = compare_range(self.b, ib, bmatch,
256
 
                                        self.base, iz, zmatch)
257
241
                same = compare_range(self.a, ia, amatch,
258
242
                                     self.b, ib, bmatch)
259
243
 
260
244
                if same:
261
245
                    yield 'same', ia, amatch
262
 
                elif equal_a and not equal_b:
263
 
                    yield 'b', ib, bmatch
264
 
                elif equal_b and not equal_a:
265
 
                    yield 'a', ia, amatch
266
 
                elif not equal_a and not equal_b:
267
 
                    yield 'conflict', iz, zmatch, ia, amatch, ib, bmatch
268
246
                else:
269
 
                    raise AssertionError("can't handle a=b=base but unmatched")
 
247
                    equal_a = compare_range(self.a, ia, amatch,
 
248
                                            self.base, iz, zmatch)
 
249
                    equal_b = compare_range(self.b, ib, bmatch,
 
250
                                            self.base, iz, zmatch)
 
251
                    if 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
                        if self.is_cherrypick:
 
257
                            for node in self._refine_cherrypick_conflict(
 
258
                                                    iz, zmatch, ia, amatch,
 
259
                                                    ib, bmatch):
 
260
                                yield node
 
261
                        else:
 
262
                            yield 'conflict', iz, zmatch, ia, amatch, ib, bmatch
 
263
                    else:
 
264
                        raise AssertionError("can't handle a=b=base but unmatched")
270
265
 
271
266
                ia = amatch
272
267
                ib = bmatch
275
270
            # if the same part of the base was deleted on both sides
276
271
            # that's OK, we can just skip it.
277
272
 
278
 
                
279
273
            if matchlen > 0:
280
 
                assert ia == amatch
281
 
                assert ib == bmatch
282
 
                assert iz == zmatch
283
 
                
 
274
                # invariants:
 
275
                # assert ia == amatch
 
276
                # assert ib == bmatch
 
277
                # assert iz == zmatch
 
278
 
284
279
                yield 'unchanged', zmatch, zend
285
280
                iz = zend
286
281
                ia = aend
287
282
                ib = bend
288
 
    
 
283
 
 
284
    def _refine_cherrypick_conflict(self, zstart, zend, astart, aend, bstart, bend):
 
285
        """When cherrypicking b => a, ignore matches with b and base."""
 
286
        # Do not emit regions which match, only regions which do not match
 
287
        matches = bzrlib.patiencediff.PatienceSequenceMatcher(None,
 
288
            self.base[zstart:zend], self.b[bstart:bend]).get_matching_blocks()
 
289
        last_base_idx = 0
 
290
        last_b_idx = 0
 
291
        last_b_idx = 0
 
292
        yielded_a = False
 
293
        for base_idx, b_idx, match_len in matches:
 
294
            conflict_z_len = base_idx - last_base_idx
 
295
            conflict_b_len = b_idx - last_b_idx
 
296
            if conflict_b_len == 0: # There are no lines in b which conflict,
 
297
                                    # so skip it
 
298
                pass
 
299
            else:
 
300
                if yielded_a:
 
301
                    yield ('conflict',
 
302
                           zstart + last_base_idx, zstart + base_idx,
 
303
                           aend, aend, bstart + last_b_idx, bstart + b_idx)
 
304
                else:
 
305
                    # The first conflict gets the a-range
 
306
                    yielded_a = True
 
307
                    yield ('conflict', zstart + last_base_idx, zstart +
 
308
                    base_idx,
 
309
                           astart, aend, bstart + last_b_idx, bstart + b_idx)
 
310
            last_base_idx = base_idx + match_len
 
311
            last_b_idx = b_idx + match_len
 
312
        if last_base_idx != zend - zstart or last_b_idx != bend - bstart:
 
313
            if yielded_a:
 
314
                yield ('conflict', zstart + last_base_idx, zstart + base_idx,
 
315
                       aend, aend, bstart + last_b_idx, bstart + b_idx)
 
316
            else:
 
317
                # The first conflict gets the a-range
 
318
                yielded_a = True
 
319
                yield ('conflict', zstart + last_base_idx, zstart + base_idx,
 
320
                       astart, aend, bstart + last_b_idx, bstart + b_idx)
 
321
        if not yielded_a:
 
322
            yield ('conflict', zstart, zend, astart, aend, bstart, bend)
289
323
 
290
324
    def reprocess_merge_regions(self, merge_regions):
291
325
        """Where there are conflict regions, remove the agreed lines.
292
326
 
293
 
        Lines where both A and B have made the same changes are 
 
327
        Lines where both A and B have made the same changes are
294
328
        eliminated.
295
329
        """
296
330
        for region in merge_regions:
318
352
            if reg is not None:
319
353
                yield reg
320
354
 
321
 
 
322
355
    @staticmethod
323
356
    def mismatch_region(next_a, region_ia,  next_b, region_ib):
324
357
        if next_a < region_ia or next_b < region_ib:
325
358
            return 'conflict', None, None, next_a, region_ia, next_b, region_ib
326
 
            
327
359
 
328
360
    def find_sync_regions(self):
329
361
        """Return a list of sync regions, where both descendents match the base.
356
388
 
357
389
                # found a match of base[i[0], i[1]]; this may be less than
358
390
                # the region that matches in either one
359
 
                assert intlen <= alen
360
 
                assert intlen <= blen
361
 
                assert abase <= intbase
362
 
                assert bbase <= intbase
 
391
                # assert intlen <= alen
 
392
                # assert intlen <= blen
 
393
                # assert abase <= intbase
 
394
                # assert bbase <= intbase
363
395
 
364
396
                asub = amatch + (intbase - abase)
365
397
                bsub = bmatch + (intbase - bbase)
366
398
                aend = asub + intlen
367
399
                bend = bsub + intlen
368
400
 
369
 
                assert self.base[intbase:intend] == self.a[asub:aend], \
370
 
                       (self.base[intbase:intend], self.a[asub:aend])
371
 
 
372
 
                assert self.base[intbase:intend] == self.b[bsub:bend]
 
401
                # assert self.base[intbase:intend] == self.a[asub:aend], \
 
402
                #       (self.base[intbase:intend], self.a[asub:aend])
 
403
                # assert self.base[intbase:intend] == self.b[bsub:bend]
373
404
 
374
405
                sl.append((intbase, intend,
375
406
                           asub, aend,
376
407
                           bsub, bend))
377
 
 
378
408
            # advance whichever one ends first in the base text
379
409
            if (abase + alen) < (bbase + blen):
380
410
                ia += 1
381
411
            else:
382
412
                ib += 1
383
 
            
 
413
 
384
414
        intbase = len(self.base)
385
415
        abase = len(self.a)
386
416
        bbase = len(self.b)
388
418
 
389
419
        return sl
390
420
 
391
 
 
392
 
 
393
421
    def find_unconflicted(self):
394
422
        """Return a list of ranges in base that are not conflicted."""
395
423
        am = bzrlib.patiencediff.PatienceSequenceMatcher(
414
442
                del am[0]
415
443
            else:
416
444
                del bm[0]
417
 
                
 
445
 
418
446
        return unc
419
447
 
420
448