~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/weave.py

Late bind to PatienceSequenceMatcher to allow plugin to override.

Show diffs side-by-side

added added

removed removed

Lines of Context:
66
66
# be done fairly efficiently because the sequence numbers constrain
67
67
# the possible relationships.
68
68
 
 
69
# FIXME: the conflict markers should be *7* characters
69
70
 
 
71
from copy import copy
 
72
from cStringIO import StringIO
 
73
import os
70
74
import sha
71
 
from difflib import SequenceMatcher
 
75
import time
72
76
 
73
77
from bzrlib.trace import mutter
74
 
 
75
 
 
76
 
class WeaveError(Exception):
77
 
    """Exception in processing weave"""
78
 
 
79
 
 
80
 
class WeaveFormatError(WeaveError):
81
 
    """Weave invariant violated"""
82
 
 
83
 
 
84
 
class WeaveParentMismatch(WeaveError):
85
 
    """Parents are mismatched between two revisions."""
86
 
    
87
 
 
88
 
class Weave(object):
 
78
from bzrlib.errors import (WeaveError, WeaveFormatError, WeaveParentMismatch,
 
79
        RevisionAlreadyPresent,
 
80
        RevisionNotPresent,
 
81
        WeaveRevisionAlreadyPresent,
 
82
        WeaveRevisionNotPresent,
 
83
        )
 
84
import bzrlib.errors as errors
 
85
from bzrlib.osutils import sha_strings
 
86
import bzrlib.patiencediff
 
87
from bzrlib.symbol_versioning import *
 
88
from bzrlib.tsort import topo_sort
 
89
from bzrlib.versionedfile import VersionedFile, InterVersionedFile
 
90
from bzrlib.weavefile import _read_weave_v5, write_weave_v5
 
91
 
 
92
 
 
93
class Weave(VersionedFile):
89
94
    """weave - versioned text file storage.
90
95
    
91
96
    A Weave manages versions of line-based text files, keeping track
175
180
    """
176
181
 
177
182
    __slots__ = ['_weave', '_parents', '_sha1s', '_names', '_name_map',
178
 
                 '_weave_name']
 
183
                 '_weave_name', '_matcher']
179
184
    
180
 
    def __init__(self, weave_name=None):
 
185
    def __init__(self, weave_name=None, access_mode='w', matcher=None):
 
186
        super(Weave, self).__init__(access_mode)
181
187
        self._weave = []
182
188
        self._parents = []
183
189
        self._sha1s = []
184
190
        self._names = []
185
191
        self._name_map = {}
186
192
        self._weave_name = weave_name
 
193
        if matcher is None:
 
194
            self._matcher = bzrlib.patiencediff.PatienceSequenceMatcher
 
195
        else:
 
196
            self._matcher = matcher
187
197
 
 
198
    def __repr__(self):
 
199
        return "Weave(%r)" % self._weave_name
188
200
 
189
201
    def copy(self):
190
202
        """Return a deep copy of self.
205
217
        return self._parents == other._parents \
206
218
               and self._weave == other._weave \
207
219
               and self._sha1s == other._sha1s 
208
 
 
209
220
    
210
221
    def __ne__(self, other):
211
222
        return not self.__eq__(other)
212
223
 
213
 
 
214
 
    def maybe_lookup(self, name_or_index):
215
 
        """Convert possible symbolic name to index, or pass through indexes."""
216
 
        if isinstance(name_or_index, (int, long)):
217
 
            return name_or_index
218
 
        else:
219
 
            return self.lookup(name_or_index)
220
 
 
221
 
        
 
224
    @deprecated_method(zero_eight)
 
225
    def idx_to_name(self, index):
 
226
        """Old public interface, the public interface is all names now."""
 
227
        return index
 
228
 
 
229
    def _idx_to_name(self, version):
 
230
        return self._names[version]
 
231
 
 
232
    @deprecated_method(zero_eight)
222
233
    def lookup(self, name):
 
234
        """Backwards compatability thunk:
 
235
 
 
236
        Return name, as name is valid in the api now, and spew deprecation
 
237
        warnings everywhere.
 
238
        """
 
239
        return name
 
240
 
 
241
    def _lookup(self, name):
223
242
        """Convert symbolic version name to index."""
224
243
        try:
225
244
            return self._name_map[name]
226
245
        except KeyError:
227
 
            raise WeaveError("name %r not present in weave %r" %
228
 
                             (name, self._weave_name))
229
 
 
230
 
 
 
246
            raise RevisionNotPresent(name, self._weave_name)
 
247
 
 
248
    @deprecated_method(zero_eight)
231
249
    def iter_names(self):
232
 
        """Yield a list of all names in this weave."""
233
 
        return iter(self._names)
234
 
 
235
 
    def idx_to_name(self, version):
236
 
        return self._names[version]
237
 
 
 
250
        """Deprecated convenience function, please see VersionedFile.names()."""
 
251
        return iter(self.names())
 
252
 
 
253
    @deprecated_method(zero_eight)
 
254
    def names(self):
 
255
        """See Weave.versions for the current api."""
 
256
        return self.versions()
 
257
 
 
258
    def versions(self):
 
259
        """See VersionedFile.versions."""
 
260
        return self._names[:]
 
261
 
 
262
    def has_version(self, version_id):
 
263
        """See VersionedFile.has_version."""
 
264
        return self._name_map.has_key(version_id)
 
265
 
 
266
    __contains__ = has_version
 
267
 
 
268
    def get_delta(self, version_id):
 
269
        """See VersionedFile.get_delta."""
 
270
        return self.get_deltas([version_id])[version_id]
 
271
 
 
272
    def get_deltas(self, version_ids):
 
273
        """See VersionedFile.get_deltas."""
 
274
        version_ids = self.get_ancestry(version_ids)
 
275
        for version_id in version_ids:
 
276
            if not self.has_version(version_id):
 
277
                raise RevisionNotPresent(version_id, self)
 
278
        # try extracting all versions; parallel extraction is used
 
279
        nv = self.num_versions()
 
280
        sha1s = {}
 
281
        deltas = {}
 
282
        texts = {}
 
283
        inclusions = {}
 
284
        noeols = {}
 
285
        last_parent_lines = {}
 
286
        parents = {}
 
287
        parent_inclusions = {}
 
288
        parent_linenums = {}
 
289
        parent_noeols = {}
 
290
        current_hunks = {}
 
291
        diff_hunks = {}
 
292
        # its simplest to generate a full set of prepared variables.
 
293
        for i in range(nv):
 
294
            name = self._names[i]
 
295
            sha1s[name] = self.get_sha1(name)
 
296
            parents_list = self.get_parents(name)
 
297
            try:
 
298
                parent = parents_list[0]
 
299
                parents[name] = parent
 
300
                parent_inclusions[name] = inclusions[parent]
 
301
            except IndexError:
 
302
                parents[name] = None
 
303
                parent_inclusions[name] = set()
 
304
            # we want to emit start, finish, replacement_length, replacement_lines tuples.
 
305
            diff_hunks[name] = []
 
306
            current_hunks[name] = [0, 0, 0, []] # #start, finish, repl_length, repl_tuples
 
307
            parent_linenums[name] = 0
 
308
            noeols[name] = False
 
309
            parent_noeols[name] = False
 
310
            last_parent_lines[name] = None
 
311
            new_inc = set([name])
 
312
            for p in self._parents[i]:
 
313
                new_inc.update(inclusions[self._idx_to_name(p)])
 
314
            # debug only, known good so far.
 
315
            #assert set(new_inc) == set(self.get_ancestry(name)), \
 
316
            #    'failed %s != %s' % (set(new_inc), set(self.get_ancestry(name)))
 
317
            inclusions[name] = new_inc
 
318
 
 
319
        nlines = len(self._weave)
 
320
 
 
321
        for lineno, inserted, deletes, line in self._walk_internal():
 
322
            # a line is active in a version if:
 
323
            # insert is in the versions inclusions
 
324
            # and
 
325
            # deleteset & the versions inclusions is an empty set.
 
326
            # so - if we have a included by mapping - version is included by
 
327
            # children, we get a list of children to examine for deletes affect
 
328
            # ing them, which is less than the entire set of children.
 
329
            for version_id in version_ids:  
 
330
                # The active inclusion must be an ancestor,
 
331
                # and no ancestors must have deleted this line,
 
332
                # because we don't support resurrection.
 
333
                parent_inclusion = parent_inclusions[version_id]
 
334
                inclusion = inclusions[version_id]
 
335
                parent_active = inserted in parent_inclusion and not (deletes & parent_inclusion)
 
336
                version_active = inserted in inclusion and not (deletes & inclusion)
 
337
                if not parent_active and not version_active:
 
338
                    # unrelated line of ancestry
 
339
                    continue
 
340
                elif parent_active and version_active:
 
341
                    # shared line
 
342
                    parent_linenum = parent_linenums[version_id]
 
343
                    if current_hunks[version_id] != [parent_linenum, parent_linenum, 0, []]:
 
344
                        diff_hunks[version_id].append(tuple(current_hunks[version_id]))
 
345
                    parent_linenum += 1
 
346
                    current_hunks[version_id] = [parent_linenum, parent_linenum, 0, []]
 
347
                    parent_linenums[version_id] = parent_linenum
 
348
                    try:
 
349
                        if line[-1] != '\n':
 
350
                            noeols[version_id] = True
 
351
                    except IndexError:
 
352
                        pass
 
353
                elif parent_active and not version_active:
 
354
                    # deleted line
 
355
                    current_hunks[version_id][1] += 1
 
356
                    parent_linenums[version_id] += 1
 
357
                    last_parent_lines[version_id] = line
 
358
                elif not parent_active and version_active:
 
359
                    # replacement line
 
360
                    # noeol only occurs at the end of a file because we 
 
361
                    # diff linewise. We want to show noeol changes as a
 
362
                    # empty diff unless the actual eol-less content changed.
 
363
                    theline = line
 
364
                    try:
 
365
                        if last_parent_lines[version_id][-1] != '\n':
 
366
                            parent_noeols[version_id] = True
 
367
                    except (TypeError, IndexError):
 
368
                        pass
 
369
                    try:
 
370
                        if theline[-1] != '\n':
 
371
                            noeols[version_id] = True
 
372
                    except IndexError:
 
373
                        pass
 
374
                    new_line = False
 
375
                    parent_should_go = False
 
376
 
 
377
                    if parent_noeols[version_id] == noeols[version_id]:
 
378
                        # no noeol toggle, so trust the weaves statement
 
379
                        # that this line is changed.
 
380
                        new_line = True
 
381
                        if parent_noeols[version_id]:
 
382
                            theline = theline + '\n'
 
383
                    elif parent_noeols[version_id]:
 
384
                        # parent has no eol, we do:
 
385
                        # our line is new, report as such..
 
386
                        new_line = True
 
387
                    elif noeols[version_id]:
 
388
                        # append a eol so that it looks like
 
389
                        # a normalised delta
 
390
                        theline = theline + '\n'
 
391
                        if parents[version_id] is not None:
 
392
                        #if last_parent_lines[version_id] is not None:
 
393
                            parent_should_go = True
 
394
                        if last_parent_lines[version_id] != theline:
 
395
                            # but changed anyway
 
396
                            new_line = True
 
397
                            #parent_should_go = False
 
398
                    if new_line:
 
399
                        current_hunks[version_id][2] += 1
 
400
                        current_hunks[version_id][3].append((inserted, theline))
 
401
                    if parent_should_go:
 
402
                        # last hunk last parent line is not eaten
 
403
                        current_hunks[version_id][1] -= 1
 
404
                    if current_hunks[version_id][1] < 0:
 
405
                        current_hunks[version_id][1] = 0
 
406
                        # import pdb;pdb.set_trace()
 
407
                    # assert current_hunks[version_id][1] >= 0
 
408
 
 
409
        # flush last hunk
 
410
        for i in range(nv):
 
411
            version = self._idx_to_name(i)
 
412
            if current_hunks[version] != [0, 0, 0, []]:
 
413
                diff_hunks[version].append(tuple(current_hunks[version]))
 
414
        result = {}
 
415
        for version_id in version_ids:
 
416
            result[version_id] = (
 
417
                                  parents[version_id],
 
418
                                  sha1s[version_id],
 
419
                                  noeols[version_id],
 
420
                                  diff_hunks[version_id],
 
421
                                  )
 
422
        return result
 
423
 
 
424
    def get_parents(self, version_id):
 
425
        """See VersionedFile.get_parent."""
 
426
        return map(self._idx_to_name, self._parents[self._lookup(version_id)])
238
427
 
239
428
    def _check_repeated_add(self, name, parents, text, sha1):
240
429
        """Check that a duplicated add is OK.
241
430
 
242
431
        If it is, return the (old) index; otherwise raise an exception.
243
432
        """
244
 
        idx = self.lookup(name)
245
 
        if sorted(self._parents[idx]) != sorted(parents):
246
 
            raise WeaveError("name \"%s\" already present in weave "
247
 
                             "with different parents" % name)
248
 
        if sha1 != self._sha1s[idx]:
249
 
            raise WeaveError("name \"%s\" already present in weave "
250
 
                             "with different text" % name)            
 
433
        idx = self._lookup(name)
 
434
        if sorted(self._parents[idx]) != sorted(parents) \
 
435
            or sha1 != self._sha1s[idx]:
 
436
            raise RevisionAlreadyPresent(name, self._weave_name)
251
437
        return idx
252
 
        
253
 
 
254
 
        
 
438
 
 
439
    @deprecated_method(zero_eight)
 
440
    def add_identical(self, old_rev_id, new_rev_id, parents):
 
441
        """Please use Weave.clone_text now."""
 
442
        return self.clone_text(new_rev_id, old_rev_id, parents)
 
443
 
 
444
    def _add_lines(self, version_id, parents, lines, parent_texts):
 
445
        """See VersionedFile.add_lines."""
 
446
        return self._add(version_id, lines, map(self._lookup, parents))
 
447
 
 
448
    @deprecated_method(zero_eight)
255
449
    def add(self, name, parents, text, sha1=None):
 
450
        """See VersionedFile.add_lines for the non deprecated api."""
 
451
        return self._add(name, text, map(self._maybe_lookup, parents), sha1)
 
452
 
 
453
    def _add(self, version_id, lines, parents, sha1=None):
256
454
        """Add a single text on top of the weave.
257
455
  
258
456
        Returns the index number of the newly added version.
259
457
 
260
 
        name
 
458
        version_id
261
459
            Symbolic name for this version.
262
460
            (Typically the revision-id of the revision that added it.)
263
461
 
264
462
        parents
265
463
            List or set of direct parent version numbers.
266
464
            
267
 
        text
 
465
        lines
268
466
            Sequence of lines to be added in the new version.
269
 
 
270
 
        sha -- SHA-1 of the file, if known.  This is trusted to be
271
 
            correct if supplied.
272
467
        """
273
 
        from bzrlib.osutils import sha_strings
274
 
 
275
 
        assert isinstance(name, basestring)
276
 
        if sha1 is None:
277
 
            sha1 = sha_strings(text)
278
 
        if name in self._name_map:
279
 
            return self._check_repeated_add(name, parents, text, sha1)
280
 
 
281
 
        parents = map(self.maybe_lookup, parents)
 
468
 
 
469
        assert isinstance(version_id, basestring)
 
470
        self._check_lines_not_unicode(lines)
 
471
        self._check_lines_are_lines(lines)
 
472
        if not sha1:
 
473
            sha1 = sha_strings(lines)
 
474
        if version_id in self._name_map:
 
475
            return self._check_repeated_add(version_id, parents, lines, sha1)
 
476
 
282
477
        self._check_versions(parents)
283
 
        ## self._check_lines(text)
 
478
        ## self._check_lines(lines)
284
479
        new_version = len(self._parents)
285
480
 
286
 
 
287
481
        # if we abort after here the (in-memory) weave will be corrupt because only
288
482
        # some fields are updated
 
483
        # XXX: FIXME implement a succeed-or-fail of the rest of this routine.
 
484
        #      - Robert Collins 20060226
289
485
        self._parents.append(parents[:])
290
486
        self._sha1s.append(sha1)
291
 
        self._names.append(name)
292
 
        self._name_map[name] = new_version
 
487
        self._names.append(version_id)
 
488
        self._name_map[version_id] = new_version
293
489
 
294
490
            
295
491
        if not parents:
297
493
            # this more quickly by just appending unconditionally.
298
494
            # even more specially, if we're adding an empty text we
299
495
            # need do nothing at all.
300
 
            if text:
 
496
            if lines:
301
497
                self._weave.append(('{', new_version))
302
 
                self._weave.extend(text)
 
498
                self._weave.extend(lines)
303
499
                self._weave.append(('}', None))
304
 
        
305
500
            return new_version
306
501
 
307
502
        if len(parents) == 1:
311
506
                return new_version
312
507
            
313
508
 
314
 
        ancestors = self.inclusions(parents)
 
509
        ancestors = self._inclusions(parents)
315
510
 
316
511
        l = self._weave
317
512
 
324
519
 
325
520
        # another small special case: a merge, producing the same text
326
521
        # as auto-merge
327
 
        if text == basis_lines:
 
522
        if lines == basis_lines:
328
523
            return new_version            
329
524
 
330
525
        # add a sentinal, because we can also match against the final line
337
532
        #print 'basis_lines:', basis_lines
338
533
        #print 'new_lines:  ', lines
339
534
 
340
 
        s = SequenceMatcher(None, basis_lines, text)
 
535
        s = self._matcher(None, basis_lines, lines)
341
536
 
342
537
        # offset gives the number of lines that have been inserted
343
538
        # into the weave up to the current point; if the original edit instruction
354
549
            i1 = basis_lineno[i1]
355
550
            i2 = basis_lineno[i2]
356
551
 
357
 
            assert 0 <= j1 <= j2 <= len(text)
 
552
            assert 0 <= j1 <= j2 <= len(lines)
358
553
 
359
554
            #print tag, i1, i2, j1, j2
360
555
 
371
566
                # we don't destroy ourselves
372
567
                i = i2 + offset
373
568
                self._weave[i:i] = ([('{', new_version)] 
374
 
                                    + text[j1:j2] 
 
569
                                    + lines[j1:j2] 
375
570
                                    + [('}', None)])
376
571
                offset += 2 + (j2 - j1)
377
 
 
378
572
        return new_version
379
573
 
380
 
    def add_identical(self, old_rev_id, new_rev_id, parents):
381
 
        """Add an identical text to old_rev_id as new_rev_id."""
382
 
        old_lines = self.get(self.lookup(old_rev_id))
383
 
        self.add(new_rev_id, parents, old_lines)
 
574
    def _clone_text(self, new_version_id, old_version_id, parents):
 
575
        """See VersionedFile.clone_text."""
 
576
        old_lines = self.get_text(old_version_id)
 
577
        self.add_lines(new_version_id, parents, old_lines)
384
578
 
385
 
    def inclusions(self, versions):
 
579
    def _inclusions(self, versions):
386
580
        """Return set of all ancestors of given version(s)."""
 
581
        if not len(versions):
 
582
            return []
387
583
        i = set(versions)
388
584
        for v in xrange(max(versions), 0, -1):
389
585
            if v in i:
393
589
        ## except IndexError:
394
590
        ##     raise ValueError("version %d not present in weave" % v)
395
591
 
396
 
 
397
 
    def parents(self, version):
398
 
        return self._parents[version]
399
 
 
400
 
 
401
 
    def parent_names(self, version):
402
 
        """Return version names for parents of a version."""
403
 
        return map(self.idx_to_name, self._parents[self.lookup(version)])
404
 
 
405
 
 
406
 
    def minimal_parents(self, version):
407
 
        """Find the minimal set of parents for the version."""
408
 
        included = self._parents[version]
409
 
        if not included:
 
592
    @deprecated_method(zero_eight)
 
593
    def inclusions(self, version_ids):
 
594
        """Deprecated - see VersionedFile.get_ancestry for the replacement."""
 
595
        if not version_ids:
410
596
            return []
411
 
        
412
 
        li = list(included)
413
 
        li.sort(reverse=True)
414
 
 
415
 
        mininc = []
416
 
        gotit = set()
417
 
 
418
 
        for pv in li:
419
 
            if pv not in gotit:
420
 
                mininc.append(pv)
421
 
                gotit.update(self.inclusions(pv))
422
 
 
423
 
        assert mininc[0] >= 0
424
 
        assert mininc[-1] < version
425
 
        return mininc
426
 
 
427
 
 
 
597
        if isinstance(version_ids[0], int):
 
598
            return [self._idx_to_name(v) for v in self._inclusions(version_ids)]
 
599
        else:
 
600
            return self.get_ancestry(version_ids)
 
601
 
 
602
    def get_ancestry(self, version_ids):
 
603
        """See VersionedFile.get_ancestry."""
 
604
        if isinstance(version_ids, basestring):
 
605
            version_ids = [version_ids]
 
606
        i = self._inclusions([self._lookup(v) for v in version_ids])
 
607
        return [self._idx_to_name(v) for v in i]
428
608
 
429
609
    def _check_lines(self, text):
430
610
        if not isinstance(text, list):
445
625
            except IndexError:
446
626
                raise IndexError("invalid version number %r" % i)
447
627
 
 
628
    def _compatible_parents(self, my_parents, other_parents):
 
629
        """During join check that other_parents are joinable with my_parents.
 
630
 
 
631
        Joinable is defined as 'is a subset of' - supersets may require 
 
632
        regeneration of diffs, but subsets do not.
 
633
        """
 
634
        return len(other_parents.difference(my_parents)) == 0
 
635
 
 
636
    def annotate(self, version_id):
 
637
        if isinstance(version_id, int):
 
638
            warn('Weave.annotate(int) is deprecated. Please use version names'
 
639
                 ' in all circumstances as of 0.8',
 
640
                 DeprecationWarning,
 
641
                 stacklevel=2
 
642
                 )
 
643
            result = []
 
644
            for origin, lineno, text in self._extract([version_id]):
 
645
                result.append((origin, text))
 
646
            return result
 
647
        else:
 
648
            return super(Weave, self).annotate(version_id)
448
649
    
449
 
    def annotate(self, name_or_index):
450
 
        return list(self.annotate_iter(name_or_index))
451
 
 
452
 
 
453
 
    def annotate_iter(self, name_or_index):
454
 
        """Yield list of (index-id, line) pairs for the specified version.
 
650
    def annotate_iter(self, version_id):
 
651
        """Yield list of (version-id, line) pairs for the specified version.
455
652
 
456
653
        The index indicates when the line originated in the weave."""
457
 
        incls = [self.maybe_lookup(name_or_index)]
 
654
        incls = [self._lookup(version_id)]
458
655
        for origin, lineno, text in self._extract(incls):
459
 
            yield origin, text
460
 
 
461
 
 
 
656
            yield self._idx_to_name(origin), text
 
657
 
 
658
    @deprecated_method(zero_eight)
462
659
    def _walk(self):
463
 
        """Walk the weave.
464
 
 
465
 
        Yields sequence of
466
 
        (lineno, insert, deletes, text)
467
 
        for each literal line.
468
 
        """
 
660
        """_walk has become visit, a supported api."""
 
661
        return self._walk_internal()
 
662
 
 
663
    def iter_lines_added_or_present_in_versions(self, version_ids=None):
 
664
        """See VersionedFile.iter_lines_added_or_present_in_versions()."""
 
665
        if version_ids is None:
 
666
            version_ids = self.versions()
 
667
        version_ids = set(version_ids)
 
668
        for lineno, inserted, deletes, line in self._walk_internal(version_ids):
 
669
            # if inserted not in version_ids then it was inserted before the
 
670
            # versions we care about, but because weaves cannot represent ghosts
 
671
            # properly, we do not filter down to that
 
672
            # if inserted not in version_ids: continue
 
673
            if line[-1] != '\n':
 
674
                yield line + '\n'
 
675
            else:
 
676
                yield line
 
677
 
 
678
    #@deprecated_method(zero_eight)
 
679
    def walk(self, version_ids=None):
 
680
        """See VersionedFile.walk."""
 
681
        return self._walk_internal(version_ids)
 
682
 
 
683
    def _walk_internal(self, version_ids=None):
 
684
        """Helper method for weave actions."""
469
685
        
470
686
        istack = []
471
687
        dset = set()
473
689
        lineno = 0         # line of weave, 0-based
474
690
 
475
691
        for l in self._weave:
476
 
            if isinstance(l, tuple):
 
692
            if l.__class__ == tuple:
477
693
                c, v = l
478
694
                isactive = None
479
695
                if c == '{':
480
 
                    istack.append(v)
 
696
                    istack.append(self._names[v])
481
697
                elif c == '}':
482
698
                    istack.pop()
483
699
                elif c == '[':
484
 
                    assert v not in dset
485
 
                    dset.add(v)
 
700
                    assert self._names[v] not in dset
 
701
                    dset.add(self._names[v])
486
702
                elif c == ']':
487
 
                    dset.remove(v)
 
703
                    dset.remove(self._names[v])
488
704
                else:
489
 
                    raise WeaveFormatError('unexpected instruction %r'
490
 
                                           % v)
 
705
                    raise WeaveFormatError('unexpected instruction %r' % v)
491
706
            else:
492
 
                assert isinstance(l, basestring)
 
707
                assert l.__class__ in (str, unicode)
493
708
                assert istack
494
 
                yield lineno, istack[-1], dset, l
 
709
                yield lineno, istack[-1], frozenset(dset), l
495
710
            lineno += 1
496
711
 
497
 
 
 
712
        if istack:
 
713
            raise WeaveFormatError("unclosed insertion blocks "
 
714
                    "at end of weave: %s" % istack)
 
715
        if dset:
 
716
            raise WeaveFormatError("unclosed deletion blocks at end of weave: %s"
 
717
                                   % dset)
 
718
 
 
719
    def plan_merge(self, ver_a, ver_b):
 
720
        """Return pseudo-annotation indicating how the two versions merge.
 
721
 
 
722
        This is computed between versions a and b and their common
 
723
        base.
 
724
 
 
725
        Weave lines present in none of them are skipped entirely.
 
726
        """
 
727
        inc_a = set(self.get_ancestry([ver_a]))
 
728
        inc_b = set(self.get_ancestry([ver_b]))
 
729
        inc_c = inc_a & inc_b
 
730
 
 
731
        for lineno, insert, deleteset, line in\
 
732
            self.walk([ver_a, ver_b]):
 
733
            if deleteset & inc_c:
 
734
                # killed in parent; can't be in either a or b
 
735
                # not relevant to our work
 
736
                yield 'killed-base', line
 
737
            elif insert in inc_c:
 
738
                # was inserted in base
 
739
                killed_a = bool(deleteset & inc_a)
 
740
                killed_b = bool(deleteset & inc_b)
 
741
                if killed_a and killed_b:
 
742
                    yield 'killed-both', line
 
743
                elif killed_a:
 
744
                    yield 'killed-a', line
 
745
                elif killed_b:
 
746
                    yield 'killed-b', line
 
747
                else:
 
748
                    yield 'unchanged', line
 
749
            elif insert in inc_a:
 
750
                if deleteset & inc_a:
 
751
                    yield 'ghost-a', line
 
752
                else:
 
753
                    # new in A; not in B
 
754
                    yield 'new-a', line
 
755
            elif insert in inc_b:
 
756
                if deleteset & inc_b:
 
757
                    yield 'ghost-b', line
 
758
                else:
 
759
                    yield 'new-b', line
 
760
            else:
 
761
                # not in either revision
 
762
                yield 'irrelevant', line
 
763
 
 
764
        yield 'unchanged', ''           # terminator
498
765
 
499
766
    def _extract(self, versions):
500
767
        """Yield annotation of lines in included set.
509
776
            if not isinstance(i, int):
510
777
                raise ValueError(i)
511
778
            
512
 
        included = self.inclusions(versions)
 
779
        included = self._inclusions(versions)
513
780
 
514
781
        istack = []
 
782
        iset = set()
515
783
        dset = set()
516
784
 
517
785
        lineno = 0         # line of weave, 0-based
522
790
 
523
791
        WFE = WeaveFormatError
524
792
 
 
793
        # wow. 
 
794
        #  449       0   4474.6820   2356.5590   bzrlib.weave:556(_extract)
 
795
        #  +285282   0   1676.8040   1676.8040   +<isinstance>
 
796
        # 1.6 seconds in 'isinstance'.
 
797
        # changing the first isinstance:
 
798
        #  449       0   2814.2660   1577.1760   bzrlib.weave:556(_extract)
 
799
        #  +140414   0    762.8050    762.8050   +<isinstance>
 
800
        # note that the inline time actually dropped (less function calls)
 
801
        # and total processing time was halved.
 
802
        # we're still spending ~1/4 of the method in isinstance though.
 
803
        # so lets hard code the acceptable string classes we expect:
 
804
        #  449       0   1202.9420    786.2930   bzrlib.weave:556(_extract)
 
805
        # +71352     0    377.5560    377.5560   +<method 'append' of 'list' 
 
806
        #                                          objects>
 
807
        # yay, down to ~1/4 the initial extract time, and our inline time
 
808
        # has shrunk again, with isinstance no longer dominating.
 
809
        # tweaking the stack inclusion test to use a set gives:
 
810
        #  449       0   1122.8030    713.0080   bzrlib.weave:556(_extract)
 
811
        # +71352     0    354.9980    354.9980   +<method 'append' of 'list' 
 
812
        #                                          objects>
 
813
        # - a 5% win, or possibly just noise. However with large istacks that
 
814
        # 'in' test could dominate, so I'm leaving this change in place -
 
815
        # when its fast enough to consider profiling big datasets we can review.
 
816
 
 
817
              
 
818
             
 
819
 
525
820
        for l in self._weave:
526
 
            if isinstance(l, tuple):
 
821
            if l.__class__ == tuple:
527
822
                c, v = l
528
823
                isactive = None
529
824
                if c == '{':
530
 
                    assert v not in istack
 
825
                    assert v not in iset
531
826
                    istack.append(v)
 
827
                    iset.add(v)
532
828
                elif c == '}':
533
 
                    istack.pop()
 
829
                    iset.remove(istack.pop())
534
830
                elif c == '[':
535
831
                    if v in included:
536
832
                        assert v not in dset
541
837
                        assert v in dset
542
838
                        dset.remove(v)
543
839
            else:
544
 
                assert isinstance(l, basestring)
 
840
                assert l.__class__ in (str, unicode)
545
841
                if isactive is None:
546
842
                    isactive = (not dset) and istack and (istack[-1] in included)
547
843
                if isactive:
548
844
                    result.append((istack[-1], lineno, l))
549
845
            lineno += 1
550
 
 
551
846
        if istack:
552
 
            raise WFE("unclosed insertion blocks at end of weave",
553
 
                                   istack)
 
847
            raise WeaveFormatError("unclosed insertion blocks "
 
848
                    "at end of weave: %s" % istack)
554
849
        if dset:
555
 
            raise WFE("unclosed deletion blocks at end of weave",
556
 
                                   dset)
557
 
 
 
850
            raise WeaveFormatError("unclosed deletion blocks at end of weave: %s"
 
851
                                   % dset)
558
852
        return result
559
 
    
560
 
 
561
 
 
 
853
 
 
854
    @deprecated_method(zero_eight)
562
855
    def get_iter(self, name_or_index):
563
 
        """Yield lines for the specified version."""
564
 
        incls = [self.maybe_lookup(name_or_index)]
565
 
        for origin, lineno, line in self._extract(incls):
566
 
            yield line
567
 
 
568
 
 
569
 
    def get_text(self, name_or_index):
570
 
        return ''.join(self.get_iter(name_or_index))
571
 
        assert isinstance(version, int)
572
 
 
573
 
 
574
 
    def get_lines(self, name_or_index):
575
 
        return list(self.get_iter(name_or_index))
576
 
 
577
 
 
578
 
    get = get_lines
579
 
 
580
 
 
581
 
    def mash_iter(self, included):
582
 
        """Return composed version of multiple included versions."""
583
 
        included = map(self.maybe_lookup, included)
584
 
        for origin, lineno, text in self._extract(included):
585
 
            yield text
586
 
 
587
 
 
588
 
    def dump(self, to_file):
589
 
        from pprint import pprint
590
 
        print >>to_file, "Weave._weave = ",
591
 
        pprint(self._weave, to_file)
592
 
        print >>to_file, "Weave._parents = ",
593
 
        pprint(self._parents, to_file)
594
 
 
595
 
 
596
 
 
 
856
        """Deprecated, please do not use. Lookups are not not needed.
 
857
        
 
858
        Please use get_lines now.
 
859
        """
 
860
        return iter(self.get_lines(self._maybe_lookup(name_or_index)))
 
861
 
 
862
    @deprecated_method(zero_eight)
 
863
    def maybe_lookup(self, name_or_index):
 
864
        """Deprecated, please do not use. Lookups are not not needed."""
 
865
        return self._maybe_lookup(name_or_index)
 
866
 
 
867
    def _maybe_lookup(self, name_or_index):
 
868
        """Convert possible symbolic name to index, or pass through indexes.
 
869
        
 
870
        NOT FOR PUBLIC USE.
 
871
        """
 
872
        if isinstance(name_or_index, (int, long)):
 
873
            return name_or_index
 
874
        else:
 
875
            return self._lookup(name_or_index)
 
876
 
 
877
    @deprecated_method(zero_eight)
 
878
    def get(self, version_id):
 
879
        """Please use either Weave.get_text or Weave.get_lines as desired."""
 
880
        return self.get_lines(version_id)
 
881
 
 
882
    def get_lines(self, version_id):
 
883
        """See VersionedFile.get_lines()."""
 
884
        int_index = self._maybe_lookup(version_id)
 
885
        result = [line for (origin, lineno, line) in self._extract([int_index])]
 
886
        expected_sha1 = self._sha1s[int_index]
 
887
        measured_sha1 = sha_strings(result)
 
888
        if measured_sha1 != expected_sha1:
 
889
            raise errors.WeaveInvalidChecksum(
 
890
                    'file %s, revision %s, expected: %s, measured %s' 
 
891
                    % (self._weave_name, version_id,
 
892
                       expected_sha1, measured_sha1))
 
893
        return result
 
894
 
 
895
    def get_sha1(self, version_id):
 
896
        """See VersionedFile.get_sha1()."""
 
897
        return self._sha1s[self._lookup(version_id)]
 
898
 
 
899
    @deprecated_method(zero_eight)
597
900
    def numversions(self):
 
901
        """How many versions are in this weave?
 
902
 
 
903
        Deprecated in favour of num_versions.
 
904
        """
 
905
        return self.num_versions()
 
906
 
 
907
    def num_versions(self):
 
908
        """How many versions are in this weave?"""
598
909
        l = len(self._parents)
599
910
        assert l == len(self._sha1s)
600
911
        return l
601
912
 
602
 
 
603
 
    def __len__(self):
604
 
        return self.numversions()
605
 
 
 
913
    __len__ = num_versions
606
914
 
607
915
    def check(self, progress_bar=None):
608
 
        # check no circular inclusions
609
 
        for version in range(self.numversions()):
 
916
        # TODO evaluate performance hit of using string sets in this routine.
 
917
        # TODO: check no circular inclusions
 
918
        # TODO: create a nested progress bar
 
919
        for version in range(self.num_versions()):
610
920
            inclusions = list(self._parents[version])
611
921
            if inclusions:
612
922
                inclusions.sort()
614
924
                    raise WeaveFormatError("invalid included version %d for index %d"
615
925
                                           % (inclusions[-1], version))
616
926
 
617
 
        # try extracting all versions; this is a bit slow and parallel
618
 
        # extraction could be used
619
 
        nv = self.numversions()
620
 
        for version in range(nv):
 
927
        # try extracting all versions; parallel extraction is used
 
928
        nv = self.num_versions()
 
929
        sha1s = {}
 
930
        texts = {}
 
931
        inclusions = {}
 
932
        for i in range(nv):
 
933
            # For creating the ancestry, IntSet is much faster (3.7s vs 0.17s)
 
934
            # The problem is that set membership is much more expensive
 
935
            name = self._idx_to_name(i)
 
936
            sha1s[name] = sha.new()
 
937
            texts[name] = []
 
938
            new_inc = set([name])
 
939
            for p in self._parents[i]:
 
940
                new_inc.update(inclusions[self._idx_to_name(p)])
 
941
 
 
942
            assert set(new_inc) == set(self.get_ancestry(name)), \
 
943
                'failed %s != %s' % (set(new_inc), set(self.get_ancestry(name)))
 
944
            inclusions[name] = new_inc
 
945
 
 
946
        nlines = len(self._weave)
 
947
 
 
948
        update_text = 'checking weave'
 
949
        if self._weave_name:
 
950
            short_name = os.path.basename(self._weave_name)
 
951
            update_text = 'checking %s' % (short_name,)
 
952
            update_text = update_text[:25]
 
953
 
 
954
        for lineno, insert, deleteset, line in self._walk_internal():
621
955
            if progress_bar:
622
 
                progress_bar.update('checking text', version, nv)
623
 
            s = sha.new()
624
 
            for l in self.get_iter(version):
625
 
                s.update(l)
626
 
            hd = s.hexdigest()
627
 
            expected = self._sha1s[version]
 
956
                progress_bar.update(update_text, lineno, nlines)
 
957
 
 
958
            for name, name_inclusions in inclusions.items():
 
959
                # The active inclusion must be an ancestor,
 
960
                # and no ancestors must have deleted this line,
 
961
                # because we don't support resurrection.
 
962
                if (insert in name_inclusions) and not (deleteset & name_inclusions):
 
963
                    sha1s[name].update(line)
 
964
 
 
965
        for i in range(nv):
 
966
            version = self._idx_to_name(i)
 
967
            hd = sha1s[version].hexdigest()
 
968
            expected = self._sha1s[i]
628
969
            if hd != expected:
629
 
                raise WeaveError("mismatched sha1 for version %d; "
630
 
                                 "got %s, expected %s"
631
 
                                 % (version, hd, expected))
 
970
                raise errors.WeaveInvalidChecksum(
 
971
                        "mismatched sha1 for version %s: "
 
972
                        "got %s, expected %s"
 
973
                        % (version, hd, expected))
632
974
 
633
975
        # TODO: check insertions are properly nested, that there are
634
976
        # no lines outside of insertion blocks, that deletions are
635
977
        # properly paired, etc.
636
978
 
637
 
 
638
 
 
639
 
    def merge(self, merge_versions):
640
 
        """Automerge and mark conflicts between versions.
641
 
 
642
 
        This returns a sequence, each entry describing alternatives
643
 
        for a chunk of the file.  Each of the alternatives is given as
644
 
        a list of lines.
645
 
 
646
 
        If there is a chunk of the file where there's no diagreement,
647
 
        only one alternative is given.
648
 
        """
649
 
        # approach: find the included versions common to all the
650
 
        # merged versions
651
 
        raise NotImplementedError()
652
 
 
653
 
 
654
 
 
655
 
    def _delta(self, included, lines):
656
 
        """Return changes from basis to new revision.
657
 
 
658
 
        The old text for comparison is the union of included revisions.
659
 
 
660
 
        This is used in inserting a new text.
661
 
 
662
 
        Delta is returned as a sequence of
663
 
        (weave1, weave2, newlines).
664
 
 
665
 
        This indicates that weave1:weave2 of the old weave should be
666
 
        replaced by the sequence of lines in newlines.  Note that
667
 
        these line numbers are positions in the total weave and don't
668
 
        correspond to the lines in any extracted version, or even the
669
 
        extracted union of included versions.
670
 
 
671
 
        If line1=line2, this is a pure insert; if newlines=[] this is a
672
 
        pure delete.  (Similar to difflib.)
673
 
        """
674
 
        raise NotImplementedError()
675
 
 
676
 
            
677
 
    def plan_merge(self, ver_a, ver_b):
678
 
        """Return pseudo-annotation indicating how the two versions merge.
679
 
 
680
 
        This is computed between versions a and b and their common
681
 
        base.
682
 
 
683
 
        Weave lines present in none of them are skipped entirely.
684
 
        """
685
 
        inc_a = self.inclusions([ver_a])
686
 
        inc_b = self.inclusions([ver_b])
687
 
        inc_c = inc_a & inc_b
688
 
 
689
 
        for lineno, insert, deleteset, line in self._walk():
690
 
            if deleteset & inc_c:
691
 
                # killed in parent; can't be in either a or b
692
 
                # not relevant to our work
693
 
                yield 'killed-base', line
694
 
            elif insert in inc_c:
695
 
                # was inserted in base
696
 
                killed_a = bool(deleteset & inc_a)
697
 
                killed_b = bool(deleteset & inc_b)
698
 
                if killed_a and killed_b:
699
 
                    yield 'killed-both', line
700
 
                elif killed_a:
701
 
                    yield 'killed-a', line
702
 
                elif killed_b:
703
 
                    yield 'killed-b', line
704
 
                else:
705
 
                    yield 'unchanged', line
706
 
            elif insert in inc_a:
707
 
                if deleteset & inc_a:
708
 
                    yield 'ghost-a', line
709
 
                else:
710
 
                    # new in A; not in B
711
 
                    yield 'new-a', line
712
 
            elif insert in inc_b:
713
 
                if deleteset & inc_b:
714
 
                    yield 'ghost-b', line
715
 
                else:
716
 
                    yield 'new-b', line
717
 
            else:
718
 
                # not in either revision
719
 
                yield 'irrelevant', line
720
 
 
721
 
        yield 'unchanged', ''           # terminator
722
 
 
723
 
 
724
 
 
725
 
    def weave_merge(self, plan):
726
 
        lines_a = []
727
 
        lines_b = []
728
 
        ch_a = ch_b = False
729
 
 
730
 
        for state, line in plan:
731
 
            if state == 'unchanged' or state == 'killed-both':
732
 
                # resync and flush queued conflicts changes if any
733
 
                if not lines_a and not lines_b:
734
 
                    pass
735
 
                elif ch_a and not ch_b:
736
 
                    # one-sided change:                    
737
 
                    for l in lines_a: yield l
738
 
                elif ch_b and not ch_a:
739
 
                    for l in lines_b: yield l
740
 
                elif lines_a == lines_b:
741
 
                    for l in lines_a: yield l
742
 
                else:
743
 
                    yield '<<<<\n'
744
 
                    for l in lines_a: yield l
745
 
                    yield '====\n'
746
 
                    for l in lines_b: yield l
747
 
                    yield '>>>>\n'
748
 
 
749
 
                del lines_a[:]
750
 
                del lines_b[:]
751
 
                ch_a = ch_b = False
752
 
                
753
 
            if state == 'unchanged':
754
 
                if line:
755
 
                    yield line
756
 
            elif state == 'killed-a':
757
 
                ch_a = True
758
 
                lines_b.append(line)
759
 
            elif state == 'killed-b':
760
 
                ch_b = True
761
 
                lines_a.append(line)
762
 
            elif state == 'new-a':
763
 
                ch_a = True
764
 
                lines_a.append(line)
765
 
            elif state == 'new-b':
766
 
                ch_b = True
767
 
                lines_b.append(line)
768
 
            else:
769
 
                assert state in ('irrelevant', 'ghost-a', 'ghost-b', 'killed-base',
770
 
                                 'killed-both'), \
771
 
                       state
772
 
 
773
 
                
774
 
    def join(self, other):
775
 
        """Integrate versions from other into this weave.
776
 
 
777
 
        The resulting weave contains all the history of both weaves; 
778
 
        any version you could retrieve from either self or other can be 
779
 
        retrieved from self after this call.
780
 
 
781
 
        It is illegal for the two weaves to contain different values 
782
 
        or different parents for any version.  See also reweave().
783
 
        """
784
 
        if other.numversions() == 0:
 
979
    def _join(self, other, pb, msg, version_ids, ignore_missing):
 
980
        """Worker routine for join()."""
 
981
        if not other.versions():
785
982
            return          # nothing to update, easy
 
983
 
 
984
        if not version_ids:
 
985
            # versions is never none, InterWeave checks this.
 
986
            return 0
 
987
 
786
988
        # two loops so that we do not change ourselves before verifying it
787
989
        # will be ok
788
990
        # work through in index order to make sure we get all dependencies
789
 
        for other_idx, name in enumerate(other._names):
790
 
            if self._check_version_consistent(other, other_idx, name):
791
 
                continue
792
 
        for other_idx, name in enumerate(other._names):
793
 
            # TODO: If all the parents of the other version are already 
 
991
        names_to_join = []
 
992
        processed = 0
 
993
        # get the selected versions only that are in other.versions.
 
994
        version_ids = set(other.versions()).intersection(set(version_ids))
 
995
        # pull in the referenced graph.
 
996
        version_ids = other.get_ancestry(version_ids)
 
997
        pending_graph = [(version, other.get_parents(version)) for
 
998
                         version in version_ids]
 
999
        for name in topo_sort(pending_graph):
 
1000
            other_idx = other._name_map[name]
 
1001
            # returns True if we have it, False if we need it.
 
1002
            if not self._check_version_consistent(other, other_idx, name):
 
1003
                names_to_join.append((other_idx, name))
 
1004
            processed += 1
 
1005
 
 
1006
 
 
1007
        if pb and not msg:
 
1008
            msg = 'weave join'
 
1009
 
 
1010
        merged = 0
 
1011
        time0 = time.time()
 
1012
        for other_idx, name in names_to_join:
 
1013
            # TODO: If all the parents of the other version are already
794
1014
            # present then we can avoid some work by just taking the delta
795
1015
            # and adjusting the offsets.
796
1016
            new_parents = self._imported_parents(other, other_idx)
 
1017
            sha1 = other._sha1s[other_idx]
 
1018
 
 
1019
            merged += 1
 
1020
 
 
1021
            if pb:
 
1022
                pb.update(msg, merged, len(names_to_join))
 
1023
           
797
1024
            lines = other.get_lines(other_idx)
798
 
            sha1 = other._sha1s[other_idx]
799
 
            self.add(name, new_parents, lines, sha1)
800
 
 
801
 
 
 
1025
            self._add(name, lines, new_parents, sha1)
 
1026
 
 
1027
        mutter("merged = %d, processed = %d, file_id=%s; deltat=%d"%(
 
1028
                merged, processed, self._weave_name, time.time()-time0))
 
1029
 
802
1030
    def _imported_parents(self, other, other_idx):
803
1031
        """Return list of parents in self corresponding to indexes in other."""
804
1032
        new_parents = []
805
1033
        for parent_idx in other._parents[other_idx]:
806
1034
            parent_name = other._names[parent_idx]
807
 
            if parent_name not in self._names:
 
1035
            if parent_name not in self._name_map:
808
1036
                # should not be possible
809
1037
                raise WeaveError("missing parent {%s} of {%s} in %r" 
810
1038
                                 % (parent_name, other._name_map[other_idx], self))
826
1054
        this_idx = self._name_map.get(name, -1)
827
1055
        if this_idx != -1:
828
1056
            if self._sha1s[this_idx] != other._sha1s[other_idx]:
829
 
                raise WeaveError("inconsistent texts for version {%s} "
830
 
                                 "when joining weaves"
831
 
                                 % (name))
 
1057
                raise errors.WeaveTextDiffers(name, self, other)
832
1058
            self_parents = self._parents[this_idx]
833
1059
            other_parents = other._parents[other_idx]
834
 
            n1 = [self._names[i] for i in self_parents]
835
 
            n2 = [other._names[i] for i in other_parents]
836
 
            n1.sort()
837
 
            n2.sort()
838
 
            if n1 != n2:
 
1060
            n1 = set([self._names[i] for i in self_parents])
 
1061
            n2 = set([other._names[i] for i in other_parents])
 
1062
            if not self._compatible_parents(n1, n2):
839
1063
                raise WeaveParentMismatch("inconsistent parents "
840
1064
                    "for version {%s}: %s vs %s" % (name, n1, n2))
841
1065
            else:
843
1067
        else:
844
1068
            return False
845
1069
 
846
 
    def reweave(self, other):
847
 
        """Reweave self with other."""
848
 
        new_weave = reweave(self, other)
 
1070
    @deprecated_method(zero_eight)
 
1071
    def reweave(self, other, pb=None, msg=None):
 
1072
        """reweave has been superceded by plain use of join."""
 
1073
        return self.join(other, pb, msg)
 
1074
 
 
1075
    def _reweave(self, other, pb, msg):
 
1076
        """Reweave self with other - internal helper for join().
 
1077
 
 
1078
        :param other: The other weave to merge
 
1079
        :param pb: An optional progress bar, indicating how far done we are
 
1080
        :param msg: An optional message for the progress
 
1081
        """
 
1082
        new_weave = _reweave(self, other, pb=pb, msg=msg)
 
1083
        self._copy_weave_content(new_weave)
 
1084
 
 
1085
    def _copy_weave_content(self, otherweave):
 
1086
        """adsorb the content from otherweave."""
849
1087
        for attr in self.__slots__:
850
 
            setattr(self, attr, getattr(new_weave, attr))
851
 
 
852
 
 
853
 
def reweave(wa, wb):
 
1088
            if attr != '_weave_name':
 
1089
                setattr(self, attr, copy(getattr(otherweave, attr)))
 
1090
 
 
1091
 
 
1092
class WeaveFile(Weave):
 
1093
    """A WeaveFile represents a Weave on disk and writes on change."""
 
1094
 
 
1095
    WEAVE_SUFFIX = '.weave'
 
1096
    
 
1097
    def __init__(self, name, transport, filemode=None, create=False, access_mode='w'):
 
1098
        """Create a WeaveFile.
 
1099
        
 
1100
        :param create: If not True, only open an existing knit.
 
1101
        """
 
1102
        super(WeaveFile, self).__init__(name, access_mode)
 
1103
        self._transport = transport
 
1104
        self._filemode = filemode
 
1105
        try:
 
1106
            _read_weave_v5(self._transport.get(name + WeaveFile.WEAVE_SUFFIX), self)
 
1107
        except errors.NoSuchFile:
 
1108
            if not create:
 
1109
                raise
 
1110
            # new file, save it
 
1111
            self._save()
 
1112
 
 
1113
    def _add_lines(self, version_id, parents, lines, parent_texts):
 
1114
        """Add a version and save the weave."""
 
1115
        result = super(WeaveFile, self)._add_lines(version_id, parents, lines,
 
1116
                                                   parent_texts)
 
1117
        self._save()
 
1118
        return result
 
1119
 
 
1120
    def _clone_text(self, new_version_id, old_version_id, parents):
 
1121
        """See VersionedFile.clone_text."""
 
1122
        super(WeaveFile, self)._clone_text(new_version_id, old_version_id, parents)
 
1123
        self._save
 
1124
 
 
1125
    def copy_to(self, name, transport):
 
1126
        """See VersionedFile.copy_to()."""
 
1127
        # as we are all in memory always, just serialise to the new place.
 
1128
        sio = StringIO()
 
1129
        write_weave_v5(self, sio)
 
1130
        sio.seek(0)
 
1131
        transport.put(name + WeaveFile.WEAVE_SUFFIX, sio, self._filemode)
 
1132
 
 
1133
    def create_empty(self, name, transport, filemode=None):
 
1134
        return WeaveFile(name, transport, filemode, create=True)
 
1135
 
 
1136
    def _save(self):
 
1137
        """Save the weave."""
 
1138
        self._check_write_ok()
 
1139
        sio = StringIO()
 
1140
        write_weave_v5(self, sio)
 
1141
        sio.seek(0)
 
1142
        self._transport.put(self._weave_name + WeaveFile.WEAVE_SUFFIX,
 
1143
                            sio,
 
1144
                            self._filemode)
 
1145
 
 
1146
    @staticmethod
 
1147
    def get_suffixes():
 
1148
        """See VersionedFile.get_suffixes()."""
 
1149
        return [WeaveFile.WEAVE_SUFFIX]
 
1150
 
 
1151
    def join(self, other, pb=None, msg=None, version_ids=None,
 
1152
             ignore_missing=False):
 
1153
        """Join other into self and save."""
 
1154
        super(WeaveFile, self).join(other, pb, msg, version_ids, ignore_missing)
 
1155
        self._save()
 
1156
 
 
1157
 
 
1158
@deprecated_function(zero_eight)
 
1159
def reweave(wa, wb, pb=None, msg=None):
 
1160
    """reweaving is deprecation, please just use weave.join()."""
 
1161
    _reweave(wa, wb, pb, msg)
 
1162
 
 
1163
def _reweave(wa, wb, pb=None, msg=None):
854
1164
    """Combine two weaves and return the result.
855
1165
 
856
1166
    This works even if a revision R has different parents in 
861
1171
    might be possible but it should only be necessary to do 
862
1172
    this operation rarely, when a new previously ghost version is 
863
1173
    inserted.
 
1174
 
 
1175
    :param pb: An optional progress bar, indicating how far done we are
 
1176
    :param msg: An optional message for the progress
864
1177
    """
865
1178
    wr = Weave()
866
1179
    ia = ib = 0
867
 
    queue_a = range(wa.numversions())
868
 
    queue_b = range(wb.numversions())
 
1180
    queue_a = range(wa.num_versions())
 
1181
    queue_b = range(wb.num_versions())
869
1182
    # first determine combined parents of all versions
870
1183
    # map from version name -> all parent names
871
1184
    combined_parents = _reweave_parent_graphs(wa, wb)
872
1185
    mutter("combined parents: %r", combined_parents)
873
 
    order = _make_reweave_order(wa._names, wb._names, combined_parents)
 
1186
    order = topo_sort(combined_parents.iteritems())
874
1187
    mutter("order to reweave: %r", order)
875
 
    for name in order:
 
1188
 
 
1189
    if pb and not msg:
 
1190
        msg = 'reweave'
 
1191
 
 
1192
    for idx, name in enumerate(order):
 
1193
        if pb:
 
1194
            pb.update(msg, idx, len(order))
876
1195
        if name in wa._name_map:
877
1196
            lines = wa.get_lines(name)
878
1197
            if name in wb._name_map:
879
 
                assert lines == wb.get_lines(name)
 
1198
                lines_b = wb.get_lines(name)
 
1199
                if lines != lines_b:
 
1200
                    mutter('Weaves differ on content. rev_id {%s}', name)
 
1201
                    mutter('weaves: %s, %s', wa._weave_name, wb._weave_name)
 
1202
                    import difflib
 
1203
                    lines = list(difflib.unified_diff(lines, lines_b,
 
1204
                            wa._weave_name, wb._weave_name))
 
1205
                    mutter('lines:\n%s', ''.join(lines))
 
1206
                    raise errors.WeaveTextDiffers(name, wa, wb)
880
1207
        else:
881
1208
            lines = wb.get_lines(name)
882
 
        wr.add(name, combined_parents[name], lines)
 
1209
        wr._add(name, lines, [wr._lookup(i) for i in combined_parents[name]])
883
1210
    return wr
884
1211
 
885
 
 
886
1212
def _reweave_parent_graphs(wa, wb):
887
1213
    """Return combined parent ancestry for two weaves.
888
1214
    
891
1217
    for weave in [wa, wb]:
892
1218
        for idx, name in enumerate(weave._names):
893
1219
            p = combined.setdefault(name, set())
894
 
            p.update(map(weave.idx_to_name, weave._parents[idx]))
 
1220
            p.update(map(weave._idx_to_name, weave._parents[idx]))
895
1221
    return combined
896
1222
 
897
1223
 
898
 
def _make_reweave_order(wa_order, wb_order, combined_parents):
899
 
    """Return an order to reweave versions respecting parents."""
900
 
    done = set()
901
 
    result = []
902
 
    ia = ib = 0
903
 
    next_a = next_b = None
904
 
    len_a = len(wa_order)
905
 
    len_b = len(wb_order)
906
 
    while ia < len(wa_order) or ib < len(wb_order):
907
 
        if ia < len_a:
908
 
            next_a = wa_order[ia]
909
 
            if next_a in done:
910
 
                ia += 1
911
 
                continue
912
 
            if combined_parents[next_a].issubset(done):
913
 
                ia += 1
914
 
                result.append(next_a)
915
 
                done.add(next_a)
916
 
                continue
917
 
        if ib < len_b:
918
 
            next_b = wb_order[ib]
919
 
            if next_b in done:
920
 
                ib += 1
921
 
                continue
922
 
            elif combined_parents[next_b].issubset(done):
923
 
                ib += 1
924
 
                result.append(next_b)
925
 
                done.add(next_b)
926
 
                continue
927
 
        raise WeaveError("don't know how to reweave at {%s} and {%s}"
928
 
                         % (next_a, next_b))
929
 
    return result
930
 
 
931
 
 
932
1224
def weave_toc(w):
933
1225
    """Show the weave's table-of-contents"""
934
1226
    print '%6s %50s %10s %10s' % ('ver', 'name', 'sha1', 'parents')
935
1227
    for i in (6, 50, 10, 10):
936
1228
        print '-' * i,
937
1229
    print
938
 
    for i in range(w.numversions()):
 
1230
    for i in range(w.num_versions()):
939
1231
        sha1 = w._sha1s[i]
940
1232
        name = w._names[i]
941
1233
        parent_str = ' '.join(map(str, w._parents[i]))
947
1239
    from bzrlib.weavefile import read_weave
948
1240
 
949
1241
    wf = file(weave_file, 'rb')
950
 
    w = read_weave(wf)
 
1242
    w = read_weave(wf, WeaveVersionedFile)
951
1243
    # FIXME: doesn't work on pipes
952
1244
    weave_size = wf.tell()
953
1245
 
988
1280
        Add NEWTEXT, with specified parent versions.
989
1281
    weave annotate WEAVEFILE VERSION
990
1282
        Display origin of each line.
991
 
    weave mash WEAVEFILE VERSION...
992
 
        Display composite of all selected versions.
993
1283
    weave merge WEAVEFILE VERSION1 VERSION2 > OUT
994
1284
        Auto-merge two versions and display conflicts.
995
1285
    weave diff WEAVEFILE VERSION1 VERSION2 
1069
1359
        w = readit()
1070
1360
        sys.stdout.writelines(w.get_iter(int(argv[3])))
1071
1361
        
1072
 
    elif cmd == 'mash': # get composite
1073
 
        w = readit()
1074
 
        sys.stdout.writelines(w.mash_iter(map(int, argv[3:])))
1075
 
 
1076
1362
    elif cmd == 'diff':
1077
 
        from difflib import unified_diff
1078
1363
        w = readit()
1079
1364
        fn = argv[2]
1080
1365
        v1, v2 = map(int, argv[3:5])
1081
1366
        lines1 = w.get(v1)
1082
1367
        lines2 = w.get(v2)
1083
 
        diff_gen = unified_diff(lines1, lines2,
 
1368
        diff_gen = bzrlib.patiencediff.unified_diff(lines1, lines2,
1084
1369
                                '%s version %d' % (fn, v1),
1085
1370
                                '%s version %d' % (fn, v2))
1086
1371
        sys.stdout.writelines(diff_gen)
1109
1394
        pb = ProgressBar()
1110
1395
        w.check(pb)
1111
1396
        pb.clear()
1112
 
        print '%d versions ok' % w.numversions()
 
1397
        print '%d versions ok' % w.num_versions()
1113
1398
 
1114
1399
    elif cmd == 'inclusions':
1115
1400
        w = readit()
1120
1405
        print ' '.join(map(str, w._parents[int(argv[3])]))
1121
1406
 
1122
1407
    elif cmd == 'plan-merge':
 
1408
        # replaced by 'bzr weave-plan-merge'
1123
1409
        w = readit()
1124
1410
        for state, line in w.plan_merge(int(argv[3]), int(argv[4])):
1125
1411
            if line:
1126
1412
                print '%14s | %s' % (state, line),
1127
 
 
1128
1413
    elif cmd == 'merge':
 
1414
        # replaced by 'bzr weave-merge-text'
1129
1415
        w = readit()
1130
1416
        p = w.plan_merge(int(argv[3]), int(argv[4]))
1131
1417
        sys.stdout.writelines(w.weave_merge(p))
1132
 
            
1133
 
    elif cmd == 'mash-merge':
1134
 
        if len(argv) != 5:
1135
 
            usage()
1136
 
            return 1
1137
 
 
1138
 
        w = readit()
1139
 
        v1, v2 = map(int, argv[3:5])
1140
 
 
1141
 
        basis = w.inclusions([v1]).intersection(w.inclusions([v2]))
1142
 
 
1143
 
        base_lines = list(w.mash_iter(basis))
1144
 
        a_lines = list(w.get(v1))
1145
 
        b_lines = list(w.get(v2))
1146
 
 
1147
 
        from bzrlib.merge3 import Merge3
1148
 
        m3 = Merge3(base_lines, a_lines, b_lines)
1149
 
 
1150
 
        name_a = 'version %d' % v1
1151
 
        name_b = 'version %d' % v2
1152
 
        sys.stdout.writelines(m3.merge_lines(name_a=name_a, name_b=name_b))
1153
1418
    else:
1154
1419
        raise ValueError('unknown command %r' % cmd)
1155
1420
    
1156
1421
 
1157
1422
 
1158
 
def profile_main(argv): 
 
1423
def profile_main(argv):
1159
1424
    import tempfile, hotshot, hotshot.stats
1160
1425
 
1161
1426
    prof_f = tempfile.NamedTemporaryFile()
1175
1440
    return ret
1176
1441
 
1177
1442
 
 
1443
def lsprofile_main(argv): 
 
1444
    from bzrlib.lsprof import profile
 
1445
    ret,stats = profile(main, argv)
 
1446
    stats.sort()
 
1447
    stats.pprint()
 
1448
    return ret
 
1449
 
 
1450
 
1178
1451
if __name__ == '__main__':
1179
1452
    import sys
1180
1453
    if '--profile' in sys.argv:
1181
1454
        args = sys.argv[:]
1182
1455
        args.remove('--profile')
1183
1456
        sys.exit(profile_main(args))
 
1457
    elif '--lsprof' in sys.argv:
 
1458
        args = sys.argv[:]
 
1459
        args.remove('--lsprof')
 
1460
        sys.exit(lsprofile_main(args))
1184
1461
    else:
1185
1462
        sys.exit(main(sys.argv))
1186
1463
 
 
1464
 
 
1465
class InterWeave(InterVersionedFile):
 
1466
    """Optimised code paths for weave to weave operations."""
 
1467
    
 
1468
    _matching_file_from_factory = staticmethod(WeaveFile)
 
1469
    _matching_file_to_factory = staticmethod(WeaveFile)
 
1470
    
 
1471
    @staticmethod
 
1472
    def is_compatible(source, target):
 
1473
        """Be compatible with weaves."""
 
1474
        try:
 
1475
            return (isinstance(source, Weave) and
 
1476
                    isinstance(target, Weave))
 
1477
        except AttributeError:
 
1478
            return False
 
1479
 
 
1480
    def join(self, pb=None, msg=None, version_ids=None, ignore_missing=False):
 
1481
        """See InterVersionedFile.join."""
 
1482
        version_ids = self._get_source_version_ids(version_ids, ignore_missing)
 
1483
        if self.target.versions() == [] and version_ids is None:
 
1484
            self.target._copy_weave_content(self.source)
 
1485
            return
 
1486
        try:
 
1487
            self.target._join(self.source, pb, msg, version_ids, ignore_missing)
 
1488
        except errors.WeaveParentMismatch:
 
1489
            self.target._reweave(self.source, pb, msg)
 
1490
 
 
1491
 
 
1492
InterVersionedFile.register_optimiser(InterWeave)