~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/weave.py

  • Committer: Robert Collins
  • Date: 2005-10-18 05:26:22 UTC
  • mto: This revision was merged to the branch mainline in revision 1463.
  • Revision ID: robertc@robertcollins.net-20051018052622-653d638c9e26fde4
fix broken tests

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