3
# Copyright (C) 2005 Canonical Ltd
 
 
5
# This program is free software; you can redistribute it and/or modify
 
 
6
# it under the terms of the GNU General Public License as published by
 
 
7
# the Free Software Foundation; either version 2 of the License, or
 
 
8
# (at your option) any later version.
 
 
10
# This program is distributed in the hope that it will be useful,
 
 
11
# but WITHOUT ANY WARRANTY; without even the implied warranty of
 
 
12
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 
 
13
# GNU General Public License for more details.
 
 
15
# You should have received a copy of the GNU General Public License
 
 
16
# along with this program; if not, write to the Free Software
 
 
17
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 
 
19
# Author: Martin Pool <mbp@canonical.com>
 
 
22
"""Weave - storage of related text file versions"""
 
 
25
# XXX: If we do weaves this way, will a merge still behave the same
 
 
26
# way if it's done in a different order?  That's a pretty desirable
 
 
29
# TODO: Nothing here so far assumes the lines are really \n newlines,
 
 
30
# rather than being split up in some other way.  We could accomodate
 
 
31
# binaries, perhaps by naively splitting on \n or perhaps using
 
 
32
# something like a rolling checksum.
 
 
34
# TODO: End marker for each version so we can stop reading?
 
 
36
# TODO: Check that no insertion occurs inside a deletion that was
 
 
37
# active in the version of the insertion.
 
 
39
# TODO: In addition to the SHA-1 check, perhaps have some code that
 
 
40
# checks structural constraints of the weave: ie that insertions are
 
 
41
# properly nested, that there is no text outside of an insertion, that
 
 
42
# insertions or deletions are not repeated, etc.
 
 
44
# TODO: Parallel-extract that passes back each line along with a
 
 
45
# description of which revisions include it.  Nice for checking all
 
 
46
# shas or calculating stats in parallel.
 
 
48
# TODO: Using a single _extract routine and then processing the output
 
 
49
# is probably inefficient.  It's simple enough that we can afford to
 
 
50
# have slight specializations for different ways its used: annotate,
 
 
51
# basis for add, get, etc.
 
 
53
# TODO: Probably the API should work only in names to hide the integer
 
 
54
# indexes from the user.
 
 
56
# TODO: Is there any potential performance win by having an add()
 
 
57
# variant that is passed a pre-cooked version of the single basis
 
 
60
# TODO: Reweave can possibly be made faster by remembering diffs
 
 
61
# where the basis and destination are unchanged.
 
 
63
# FIXME: Sometimes we will be given a parents list for a revision
 
 
64
# that includes some redundant parents (i.e. already a parent of 
 
 
65
# something in the list.)  We should eliminate them.  This can 
 
 
66
# be done fairly efficiently because the sequence numbers constrain
 
 
67
# the possible relationships.
 
 
71
from cStringIO import StringIO
 
 
72
from difflib import SequenceMatcher
 
 
77
from bzrlib.trace import mutter
 
 
78
from bzrlib.errors import (WeaveError, WeaveFormatError, WeaveParentMismatch,
 
 
79
        RevisionAlreadyPresent,
 
 
81
        WeaveRevisionAlreadyPresent,
 
 
82
        WeaveRevisionNotPresent,
 
 
84
import bzrlib.errors as errors
 
 
85
from bzrlib.osutils import sha_strings
 
 
86
from bzrlib.symbol_versioning import *
 
 
87
from bzrlib.tsort import topo_sort
 
 
88
from bzrlib.versionedfile import VersionedFile, InterVersionedFile
 
 
89
from bzrlib.weavefile import _read_weave_v5, write_weave_v5
 
 
92
class Weave(VersionedFile):
 
 
93
    """weave - versioned text file storage.
 
 
95
    A Weave manages versions of line-based text files, keeping track
 
 
96
    of the originating version for each line.
 
 
98
    To clients the "lines" of the file are represented as a list of strings.
 
 
99
    These strings  will typically have terminal newline characters, but
 
 
100
    this is not required.  In particular files commonly do not have a newline
 
 
101
    at the end of the file.
 
 
103
    Texts can be identified in either of two ways:
 
 
105
    * a nonnegative index number.
 
 
107
    * a version-id string.
 
 
109
    Typically the index number will be valid only inside this weave and
 
 
110
    the version-id is used to reference it in the larger world.
 
 
112
    The weave is represented as a list mixing edit instructions and
 
 
113
    literal text.  Each entry in _weave can be either a string (or
 
 
114
    unicode), or a tuple.  If a string, it means that the given line
 
 
115
    should be output in the currently active revisions.
 
 
117
    If a tuple, it gives a processing instruction saying in which
 
 
118
    revisions the enclosed lines are active.  The tuple has the form
 
 
119
    (instruction, version).
 
 
121
    The instruction can be '{' or '}' for an insertion block, and '['
 
 
122
    and ']' for a deletion block respectively.  The version is the
 
 
123
    integer version index.  There is no replace operator, only deletes
 
 
124
    and inserts.  For '}', the end of an insertion, there is no
 
 
125
    version parameter because it always closes the most recently
 
 
130
    * A later version can delete lines that were introduced by any
 
 
131
      number of ancestor versions; this implies that deletion
 
 
132
      instructions can span insertion blocks without regard to the
 
 
133
      insertion block's nesting.
 
 
135
    * Similarly, deletions need not be properly nested with regard to
 
 
136
      each other, because they might have been generated by
 
 
137
      independent revisions.
 
 
139
    * Insertions are always made by inserting a new bracketed block
 
 
140
      into a single point in the previous weave.  This implies they
 
 
141
      can nest but not overlap, and the nesting must always have later
 
 
142
      insertions on the inside.
 
 
144
    * It doesn't seem very useful to have an active insertion
 
 
145
      inside an inactive insertion, but it might happen.
 
 
147
    * Therefore, all instructions are always"considered"; that
 
 
148
      is passed onto and off the stack.  An outer inactive block
 
 
149
      doesn't disable an inner block.
 
 
151
    * Lines are enabled if the most recent enclosing insertion is
 
 
152
      active and none of the enclosing deletions are active.
 
 
154
    * There is no point having a deletion directly inside its own
 
 
155
      insertion; you might as well just not write it.  And there
 
 
156
      should be no way to get an earlier version deleting a later
 
 
160
        Text of the weave; list of control instruction tuples and strings.
 
 
163
        List of parents, indexed by version number.
 
 
164
        It is only necessary to store the minimal set of parents for
 
 
165
        each version; the parent's parents are implied.
 
 
168
        List of hex SHA-1 of each version.
 
 
171
        List of symbolic names for each version.  Each should be unique.
 
 
174
        For each name, the version number.
 
 
177
        Descriptive name of this weave; typically the filename if known.
 
 
181
    __slots__ = ['_weave', '_parents', '_sha1s', '_names', '_name_map',
 
 
184
    def __init__(self, weave_name=None, access_mode='w'):
 
 
185
        super(Weave, self).__init__(access_mode)
 
 
191
        self._weave_name = weave_name
 
 
194
        return "Weave(%r)" % self._weave_name
 
 
197
        """Return a deep copy of self.
 
 
199
        The copy can be modified without affecting the original weave."""
 
 
201
        other._weave = self._weave[:]
 
 
202
        other._parents = self._parents[:]
 
 
203
        other._sha1s = self._sha1s[:]
 
 
204
        other._names = self._names[:]
 
 
205
        other._name_map = self._name_map.copy()
 
 
206
        other._weave_name = self._weave_name
 
 
209
    def __eq__(self, other):
 
 
210
        if not isinstance(other, Weave):
 
 
212
        return self._parents == other._parents \
 
 
213
               and self._weave == other._weave \
 
 
214
               and self._sha1s == other._sha1s 
 
 
216
    def __ne__(self, other):
 
 
217
        return not self.__eq__(other)
 
 
219
    @deprecated_method(zero_eight)
 
 
220
    def idx_to_name(self, index):
 
 
221
        """Old public interface, the public interface is all names now."""
 
 
224
    def _idx_to_name(self, version):
 
 
225
        return self._names[version]
 
 
227
    @deprecated_method(zero_eight)
 
 
228
    def lookup(self, name):
 
 
229
        """Backwards compatability thunk:
 
 
231
        Return name, as name is valid in the api now, and spew deprecation
 
 
236
    def _lookup(self, name):
 
 
237
        """Convert symbolic version name to index."""
 
 
239
            return self._name_map[name]
 
 
241
            raise RevisionNotPresent(name, self._weave_name)
 
 
243
    @deprecated_method(zero_eight)
 
 
244
    def iter_names(self):
 
 
245
        """Deprecated convenience function, please see VersionedFile.names()."""
 
 
246
        return iter(self.names())
 
 
248
    @deprecated_method(zero_eight)
 
 
250
        """See Weave.versions for the current api."""
 
 
251
        return self.versions()
 
 
254
        """See VersionedFile.versions."""
 
 
255
        return self._names[:]
 
 
257
    def has_version(self, version_id):
 
 
258
        """See VersionedFile.has_version."""
 
 
259
        return self._name_map.has_key(version_id)
 
 
261
    __contains__ = has_version
 
 
263
    def get_parents(self, version_id):
 
 
264
        """See VersionedFile.get_parent."""
 
 
265
        return map(self._idx_to_name, self._parents[self._lookup(version_id)])
 
 
267
    def _check_repeated_add(self, name, parents, text, sha1):
 
 
268
        """Check that a duplicated add is OK.
 
 
270
        If it is, return the (old) index; otherwise raise an exception.
 
 
272
        idx = self._lookup(name)
 
 
273
        if sorted(self._parents[idx]) != sorted(parents) \
 
 
274
            or sha1 != self._sha1s[idx]:
 
 
275
            raise RevisionAlreadyPresent(name, self._weave_name)
 
 
278
    @deprecated_method(zero_eight)
 
 
279
    def add_identical(self, old_rev_id, new_rev_id, parents):
 
 
280
        """Please use Weave.clone_text now."""
 
 
281
        return self.clone_text(new_rev_id, old_rev_id, parents)
 
 
283
    def _add_lines(self, version_id, parents, lines):
 
 
284
        """See VersionedFile.add_lines."""
 
 
285
        return self._add(version_id, lines, map(self._lookup, parents))
 
 
287
    @deprecated_method(zero_eight)
 
 
288
    def add(self, name, parents, text, sha1=None):
 
 
289
        """See VersionedFile.add_lines for the non deprecated api."""
 
 
290
        return self._add(name, text, map(self._maybe_lookup, parents), sha1)
 
 
292
    def _add(self, version_id, lines, parents, sha1=None):
 
 
293
        """Add a single text on top of the weave.
 
 
295
        Returns the index number of the newly added version.
 
 
298
            Symbolic name for this version.
 
 
299
            (Typically the revision-id of the revision that added it.)
 
 
302
            List or set of direct parent version numbers.
 
 
305
            Sequence of lines to be added in the new version.
 
 
308
        assert isinstance(version_id, basestring)
 
 
310
            sha1 = sha_strings(lines)
 
 
311
        if version_id in self._name_map:
 
 
312
            return self._check_repeated_add(version_id, parents, lines, sha1)
 
 
314
        self._check_versions(parents)
 
 
315
        ## self._check_lines(lines)
 
 
316
        new_version = len(self._parents)
 
 
318
        # if we abort after here the (in-memory) weave will be corrupt because only
 
 
319
        # some fields are updated
 
 
320
        # XXX: FIXME implement a succeed-or-fail of the rest of this routine.
 
 
321
        #      - Robert Collins 20060226
 
 
322
        self._parents.append(parents[:])
 
 
323
        self._sha1s.append(sha1)
 
 
324
        self._names.append(version_id)
 
 
325
        self._name_map[version_id] = new_version
 
 
329
            # special case; adding with no parents revision; can do
 
 
330
            # this more quickly by just appending unconditionally.
 
 
331
            # even more specially, if we're adding an empty text we
 
 
332
            # need do nothing at all.
 
 
334
                self._weave.append(('{', new_version))
 
 
335
                self._weave.extend(lines)
 
 
336
                self._weave.append(('}', None))
 
 
339
        if len(parents) == 1:
 
 
340
            pv = list(parents)[0]
 
 
341
            if sha1 == self._sha1s[pv]:
 
 
342
                # special case: same as the single parent
 
 
346
        ancestors = self._inclusions(parents)
 
 
350
        # basis a list of (origin, lineno, line)
 
 
353
        for origin, lineno, line in self._extract(ancestors):
 
 
354
            basis_lineno.append(lineno)
 
 
355
            basis_lines.append(line)
 
 
357
        # another small special case: a merge, producing the same text
 
 
359
        if lines == basis_lines:
 
 
362
        # add a sentinal, because we can also match against the final line
 
 
363
        basis_lineno.append(len(self._weave))
 
 
365
        # XXX: which line of the weave should we really consider
 
 
366
        # matches the end of the file?  the current code says it's the
 
 
367
        # last line of the weave?
 
 
369
        #print 'basis_lines:', basis_lines
 
 
370
        #print 'new_lines:  ', lines
 
 
372
        s = SequenceMatcher(None, basis_lines, lines)
 
 
374
        # offset gives the number of lines that have been inserted
 
 
375
        # into the weave up to the current point; if the original edit instruction
 
 
376
        # says to change line A then we actually change (A+offset)
 
 
379
        for tag, i1, i2, j1, j2 in s.get_opcodes():
 
 
380
            # i1,i2 are given in offsets within basis_lines; we need to map them
 
 
381
            # back to offsets within the entire weave
 
 
382
            #print 'raw match', tag, i1, i2, j1, j2
 
 
386
            i1 = basis_lineno[i1]
 
 
387
            i2 = basis_lineno[i2]
 
 
389
            assert 0 <= j1 <= j2 <= len(lines)
 
 
391
            #print tag, i1, i2, j1, j2
 
 
393
            # the deletion and insertion are handled separately.
 
 
394
            # first delete the region.
 
 
396
                self._weave.insert(i1+offset, ('[', new_version))
 
 
397
                self._weave.insert(i2+offset+1, (']', new_version))
 
 
401
                # there may have been a deletion spanning up to
 
 
402
                # i2; we want to insert after this region to make sure
 
 
403
                # we don't destroy ourselves
 
 
405
                self._weave[i:i] = ([('{', new_version)] 
 
 
408
                offset += 2 + (j2 - j1)
 
 
411
    def _clone_text(self, new_version_id, old_version_id, parents):
 
 
412
        """See VersionedFile.clone_text."""
 
 
413
        old_lines = self.get_text(old_version_id)
 
 
414
        self.add_lines(new_version_id, parents, old_lines)
 
 
416
    def _inclusions(self, versions):
 
 
417
        """Return set of all ancestors of given version(s)."""
 
 
418
        if not len(versions):
 
 
421
        for v in xrange(max(versions), 0, -1):
 
 
423
                # include all its parents
 
 
424
                i.update(self._parents[v])
 
 
426
        ## except IndexError:
 
 
427
        ##     raise ValueError("version %d not present in weave" % v)
 
 
429
    @deprecated_method(zero_eight)
 
 
430
    def inclusions(self, version_ids):
 
 
431
        """Deprecated - see VersionedFile.get_ancestry for the replacement."""
 
 
434
        if isinstance(version_ids[0], int):
 
 
435
            return [self._idx_to_name(v) for v in self._inclusions(version_ids)]
 
 
437
            return self.get_ancestry(version_ids)
 
 
439
    def get_ancestry(self, version_ids):
 
 
440
        """See VersionedFile.get_ancestry."""
 
 
441
        if isinstance(version_ids, basestring):
 
 
442
            version_ids = [version_ids]
 
 
443
        i = self._inclusions([self._lookup(v) for v in version_ids])
 
 
444
        return [self._idx_to_name(v) for v in i]
 
 
446
    def _check_lines(self, text):
 
 
447
        if not isinstance(text, list):
 
 
448
            raise ValueError("text should be a list, not %s" % type(text))
 
 
451
            if not isinstance(l, basestring):
 
 
452
                raise ValueError("text line should be a string or unicode, not %s"
 
 
457
    def _check_versions(self, indexes):
 
 
458
        """Check everything in the sequence of indexes is valid"""
 
 
463
                raise IndexError("invalid version number %r" % i)
 
 
465
    def _compatible_parents(self, my_parents, other_parents):
 
 
466
        """During join check that other_parents are joinable with my_parents.
 
 
468
        Joinable is defined as 'is a subset of' - supersets may require 
 
 
469
        regeneration of diffs, but subsets do not.
 
 
471
        return len(other_parents.difference(my_parents)) == 0
 
 
473
    def annotate(self, version_id):
 
 
474
        if isinstance(version_id, int):
 
 
475
            warn('Weave.annotate(int) is deprecated. Please use version names'
 
 
476
                 ' in all circumstances as of 0.8',
 
 
481
            for origin, lineno, text in self._extract([version_id]):
 
 
482
                result.append((origin, text))
 
 
485
            return super(Weave, self).annotate(version_id)
 
 
487
    def annotate_iter(self, version_id):
 
 
488
        """Yield list of (version-id, line) pairs for the specified version.
 
 
490
        The index indicates when the line originated in the weave."""
 
 
491
        incls = [self._lookup(version_id)]
 
 
492
        for origin, lineno, text in self._extract(incls):
 
 
493
            yield self._idx_to_name(origin), text
 
 
495
    @deprecated_method(zero_eight)
 
 
497
        """_walk has become visit, a supported api."""
 
 
498
        return self._walk_internal()
 
 
500
    def iter_lines_added_or_present_in_versions(self, version_ids=None):
 
 
501
        """See VersionedFile.iter_lines_added_or_present_in_versions()."""
 
 
502
        if version_ids is None:
 
 
503
            version_ids = self.versions()
 
 
504
        version_ids = set(version_ids)
 
 
505
        for lineno, inserted, deletes, line in self._walk_internal(version_ids):
 
 
506
            # if inserted not in version_ids then it was inserted before the
 
 
507
            # versions we care about, but because weaves cannot represent ghosts
 
 
508
            # properly, we do not filter down to that
 
 
509
            # if inserted not in version_ids: continue
 
 
515
    #@deprecated_method(zero_eight)
 
 
516
    def walk(self, version_ids=None):
 
 
517
        """See VersionedFile.walk."""
 
 
518
        return self._walk_internal(version_ids)
 
 
520
    def _walk_internal(self, version_ids=None):
 
 
521
        """Helper method for weave actions."""
 
 
526
        lineno = 0         # line of weave, 0-based
 
 
528
        for l in self._weave:
 
 
529
            if isinstance(l, tuple):
 
 
533
                    istack.append(self._idx_to_name(v))
 
 
537
                    assert self._idx_to_name(v) not in dset
 
 
538
                    dset.add(self._idx_to_name(v))
 
 
540
                    dset.remove(self._idx_to_name(v))
 
 
542
                    raise WeaveFormatError('unexpected instruction %r' % v)
 
 
544
                assert isinstance(l, basestring)
 
 
546
                yield lineno, istack[-1], dset.copy(), l
 
 
550
            raise WeaveFormatError("unclosed insertion blocks "
 
 
551
                    "at end of weave: %s" % istack)
 
 
553
            raise WeaveFormatError("unclosed deletion blocks at end of weave: %s"
 
 
556
    def _extract(self, versions):
 
 
557
        """Yield annotation of lines in included set.
 
 
559
        Yields a sequence of tuples (origin, lineno, text), where
 
 
560
        origin is the origin version, lineno the index in the weave,
 
 
561
        and text the text of the line.
 
 
563
        The set typically but not necessarily corresponds to a version.
 
 
566
            if not isinstance(i, int):
 
 
569
        included = self._inclusions(versions)
 
 
574
        lineno = 0         # line of weave, 0-based
 
 
580
        WFE = WeaveFormatError
 
 
582
        for l in self._weave:
 
 
583
            if isinstance(l, tuple):
 
 
587
                    assert v not in istack
 
 
601
                assert isinstance(l, basestring)
 
 
603
                    isactive = (not dset) and istack and (istack[-1] in included)
 
 
605
                    result.append((istack[-1], lineno, l))
 
 
608
            raise WeaveFormatError("unclosed insertion blocks "
 
 
609
                    "at end of weave: %s" % istack)
 
 
611
            raise WeaveFormatError("unclosed deletion blocks at end of weave: %s"
 
 
615
    @deprecated_method(zero_eight)
 
 
616
    def get_iter(self, name_or_index):
 
 
617
        """Deprecated, please do not use. Lookups are not not needed.
 
 
619
        Please use get_lines now.
 
 
621
        return self._get_iter(self._maybe_lookup(name_or_index))
 
 
623
    @deprecated_method(zero_eight)
 
 
624
    def maybe_lookup(self, name_or_index):
 
 
625
        """Deprecated, please do not use. Lookups are not not needed."""
 
 
626
        return self._maybe_lookup(name_or_index)
 
 
628
    def _maybe_lookup(self, name_or_index):
 
 
629
        """Convert possible symbolic name to index, or pass through indexes.
 
 
633
        if isinstance(name_or_index, (int, long)):
 
 
636
            return self._lookup(name_or_index)
 
 
638
    def _get_iter(self, version_id):
 
 
639
        """Yield lines for the specified version."""
 
 
640
        incls = [self._maybe_lookup(version_id)]
 
 
645
            # We don't have sha1 sums for multiple entries
 
 
647
        for origin, lineno, line in self._extract(incls):
 
 
652
            expected_sha1 = self._sha1s[index]
 
 
653
            measured_sha1 = cur_sha.hexdigest() 
 
 
654
            if measured_sha1 != expected_sha1:
 
 
655
                raise errors.WeaveInvalidChecksum(
 
 
656
                        'file %s, revision %s, expected: %s, measured %s' 
 
 
657
                        % (self._weave_name, self._names[index],
 
 
658
                           expected_sha1, measured_sha1))
 
 
660
    @deprecated_method(zero_eight)
 
 
661
    def get(self, version_id):
 
 
662
        """Please use either Weave.get_text or Weave.get_lines as desired."""
 
 
663
        return self.get_lines(version_id)
 
 
665
    def get_lines(self, version_id):
 
 
666
        """See VersionedFile.get_lines()."""
 
 
667
        return list(self._get_iter(version_id))
 
 
669
    def get_sha1(self, name):
 
 
670
        """Get the stored sha1 sum for the given revision.
 
 
672
        :param name: The name of the version to lookup
 
 
674
        return self._sha1s[self._lookup(name)]
 
 
676
    @deprecated_method(zero_eight)
 
 
677
    def numversions(self):
 
 
678
        """How many versions are in this weave?
 
 
680
        Deprecated in favour of num_versions.
 
 
682
        return self.num_versions()
 
 
684
    def num_versions(self):
 
 
685
        """How many versions are in this weave?"""
 
 
686
        l = len(self._parents)
 
 
687
        assert l == len(self._sha1s)
 
 
690
    __len__ = num_versions
 
 
692
    def check(self, progress_bar=None):
 
 
693
        # TODO evaluate performance hit of using string sets in this routine.
 
 
694
        # check no circular inclusions
 
 
695
        for version in range(self.num_versions()):
 
 
696
            inclusions = list(self._parents[version])
 
 
699
                if inclusions[-1] >= version:
 
 
700
                    raise WeaveFormatError("invalid included version %d for index %d"
 
 
701
                                           % (inclusions[-1], version))
 
 
703
        # try extracting all versions; parallel extraction is used
 
 
704
        nv = self.num_versions()
 
 
709
            # For creating the ancestry, IntSet is much faster (3.7s vs 0.17s)
 
 
710
            # The problem is that set membership is much more expensive
 
 
711
            name = self._idx_to_name(i)
 
 
712
            sha1s[name] = sha.new()
 
 
714
            new_inc = set([name])
 
 
715
            for p in self._parents[i]:
 
 
716
                new_inc.update(inclusions[self._idx_to_name(p)])
 
 
718
            assert set(new_inc) == set(self.get_ancestry(name)), \
 
 
719
                'failed %s != %s' % (set(new_inc), set(self.get_ancestry(name)))
 
 
720
            inclusions[name] = new_inc
 
 
722
        nlines = len(self._weave)
 
 
724
        update_text = 'checking weave'
 
 
726
            short_name = os.path.basename(self._weave_name)
 
 
727
            update_text = 'checking %s' % (short_name,)
 
 
728
            update_text = update_text[:25]
 
 
730
        for lineno, insert, deleteset, line in self._walk_internal():
 
 
732
                progress_bar.update(update_text, lineno, nlines)
 
 
734
            for name, name_inclusions in inclusions.items():
 
 
735
                # The active inclusion must be an ancestor,
 
 
736
                # and no ancestors must have deleted this line,
 
 
737
                # because we don't support resurrection.
 
 
738
                if (insert in name_inclusions) and not (deleteset & name_inclusions):
 
 
739
                    sha1s[name].update(line)
 
 
742
            version = self._idx_to_name(i)
 
 
743
            hd = sha1s[version].hexdigest()
 
 
744
            expected = self._sha1s[i]
 
 
746
                raise errors.WeaveInvalidChecksum(
 
 
747
                        "mismatched sha1 for version %s: "
 
 
748
                        "got %s, expected %s"
 
 
749
                        % (version, hd, expected))
 
 
751
        # TODO: check insertions are properly nested, that there are
 
 
752
        # no lines outside of insertion blocks, that deletions are
 
 
753
        # properly paired, etc.
 
 
755
    def _join(self, other, pb, msg, version_ids, ignore_missing):
 
 
756
        """Worker routine for join()."""
 
 
757
        if not other.versions():
 
 
758
            return          # nothing to update, easy
 
 
761
            for version_id in version_ids:
 
 
762
                if not other.has_version(version_id) and not ignore_missing:
 
 
763
                    raise RevisionNotPresent(version_id, self._weave_name)
 
 
765
            version_ids = other.versions()
 
 
767
        # two loops so that we do not change ourselves before verifying it
 
 
769
        # work through in index order to make sure we get all dependencies
 
 
772
        # get the selected versions only that are in other.versions.
 
 
773
        version_ids = set(other.versions()).intersection(set(version_ids))
 
 
774
        # pull in the referenced graph.
 
 
775
        version_ids = other.get_ancestry(version_ids)
 
 
776
        pending_graph = [(version, other.get_parents(version)) for
 
 
777
                         version in version_ids]
 
 
778
        for name in topo_sort(pending_graph):
 
 
779
            other_idx = other._name_map[name]
 
 
780
            self._check_version_consistent(other, other_idx, name)
 
 
781
            sha1 = other._sha1s[other_idx]
 
 
785
            if name in self._name_map:
 
 
786
                idx = self._lookup(name)
 
 
787
                n1 = set(map(other._idx_to_name, other._parents[other_idx]))
 
 
788
                n2 = set(map(self._idx_to_name, self._parents[idx]))
 
 
789
                if sha1 ==  self._sha1s[idx] and n1 == n2:
 
 
792
            names_to_join.append((other_idx, name))
 
 
799
        for other_idx, name in names_to_join:
 
 
800
            # TODO: If all the parents of the other version are already
 
 
801
            # present then we can avoid some work by just taking the delta
 
 
802
            # and adjusting the offsets.
 
 
803
            new_parents = self._imported_parents(other, other_idx)
 
 
804
            sha1 = other._sha1s[other_idx]
 
 
809
                pb.update(msg, merged, len(names_to_join))
 
 
811
            lines = other.get_lines(other_idx)
 
 
812
            self._add(name, lines, new_parents, sha1)
 
 
814
        mutter("merged = %d, processed = %d, file_id=%s; deltat=%d"%(
 
 
815
                merged, processed, self._weave_name, time.time()-time0))
 
 
817
    def _imported_parents(self, other, other_idx):
 
 
818
        """Return list of parents in self corresponding to indexes in other."""
 
 
820
        for parent_idx in other._parents[other_idx]:
 
 
821
            parent_name = other._names[parent_idx]
 
 
822
            if parent_name not in self._names:
 
 
823
                # should not be possible
 
 
824
                raise WeaveError("missing parent {%s} of {%s} in %r" 
 
 
825
                                 % (parent_name, other._name_map[other_idx], self))
 
 
826
            new_parents.append(self._name_map[parent_name])
 
 
829
    def _check_version_consistent(self, other, other_idx, name):
 
 
830
        """Check if a version in consistent in this and other.
 
 
832
        To be consistent it must have:
 
 
835
         * the same direct parents (by name, not index, and disregarding
 
 
838
        If present & correct return True;
 
 
839
        if not present in self return False; 
 
 
840
        if inconsistent raise error."""
 
 
841
        this_idx = self._name_map.get(name, -1)
 
 
843
            if self._sha1s[this_idx] != other._sha1s[other_idx]:
 
 
844
                raise errors.WeaveTextDiffers(name, self, other)
 
 
845
            self_parents = self._parents[this_idx]
 
 
846
            other_parents = other._parents[other_idx]
 
 
847
            n1 = set([self._names[i] for i in self_parents])
 
 
848
            n2 = set([other._names[i] for i in other_parents])
 
 
849
            if not self._compatible_parents(n1, n2):
 
 
850
                raise WeaveParentMismatch("inconsistent parents "
 
 
851
                    "for version {%s}: %s vs %s" % (name, n1, n2))
 
 
857
    @deprecated_method(zero_eight)
 
 
858
    def reweave(self, other, pb=None, msg=None):
 
 
859
        """reweave has been superceded by plain use of join."""
 
 
860
        return self.join(other, pb, msg)
 
 
862
    def _reweave(self, other, pb, msg):
 
 
863
        """Reweave self with other - internal helper for join().
 
 
865
        :param other: The other weave to merge
 
 
866
        :param pb: An optional progress bar, indicating how far done we are
 
 
867
        :param msg: An optional message for the progress
 
 
869
        new_weave = _reweave(self, other, pb=pb, msg=msg)
 
 
870
        self._copy_weave_content(new_weave)
 
 
872
    def _copy_weave_content(self, otherweave):
 
 
873
        """adsorb the content from otherweave."""
 
 
874
        for attr in self.__slots__:
 
 
875
            if attr != '_weave_name':
 
 
876
                setattr(self, attr, copy(getattr(otherweave, attr)))
 
 
879
class WeaveFile(Weave):
 
 
880
    """A WeaveFile represents a Weave on disk and writes on change."""
 
 
882
    WEAVE_SUFFIX = '.weave'
 
 
884
    def __init__(self, name, transport, filemode=None, create=False, access_mode='w'):
 
 
885
        """Create a WeaveFile.
 
 
887
        :param create: If not True, only open an existing knit.
 
 
889
        super(WeaveFile, self).__init__(name, access_mode)
 
 
890
        self._transport = transport
 
 
891
        self._filemode = filemode
 
 
893
            _read_weave_v5(self._transport.get(name + WeaveFile.WEAVE_SUFFIX), self)
 
 
894
        except errors.NoSuchFile:
 
 
900
    def _add_lines(self, version_id, parents, lines):
 
 
901
        """Add a version and save the weave."""
 
 
902
        super(WeaveFile, self)._add_lines(version_id, parents, lines)
 
 
905
    def _clone_text(self, new_version_id, old_version_id, parents):
 
 
906
        """See VersionedFile.clone_text."""
 
 
907
        super(WeaveFile, self)._clone_text(new_version_id, old_version_id, parents)
 
 
910
    def copy_to(self, name, transport):
 
 
911
        """See VersionedFile.copy_to()."""
 
 
912
        # as we are all in memory always, just serialise to the new place.
 
 
914
        write_weave_v5(self, sio)
 
 
916
        transport.put(name + WeaveFile.WEAVE_SUFFIX, sio, self._filemode)
 
 
918
    def create_empty(self, name, transport, filemode=None):
 
 
919
        return WeaveFile(name, transport, filemode, create=True)
 
 
922
        """Save the weave."""
 
 
923
        self._check_write_ok()
 
 
925
        write_weave_v5(self, sio)
 
 
927
        self._transport.put(self._weave_name + WeaveFile.WEAVE_SUFFIX,
 
 
933
        """See VersionedFile.get_suffixes()."""
 
 
934
        return [WeaveFile.WEAVE_SUFFIX]
 
 
936
    def join(self, other, pb=None, msg=None, version_ids=None,
 
 
937
             ignore_missing=False):
 
 
938
        """Join other into self and save."""
 
 
939
        super(WeaveFile, self).join(other, pb, msg, version_ids, ignore_missing)
 
 
943
@deprecated_function(zero_eight)
 
 
944
def reweave(wa, wb, pb=None, msg=None):
 
 
945
    """reweaving is deprecation, please just use weave.join()."""
 
 
946
    _reweave(wa, wb, pb, msg)
 
 
948
def _reweave(wa, wb, pb=None, msg=None):
 
 
949
    """Combine two weaves and return the result.
 
 
951
    This works even if a revision R has different parents in 
 
 
952
    wa and wb.  In the resulting weave all the parents are given.
 
 
954
    This is done by just building up a new weave, maintaining ordering 
 
 
955
    of the versions in the two inputs.  More efficient approaches
 
 
956
    might be possible but it should only be necessary to do 
 
 
957
    this operation rarely, when a new previously ghost version is 
 
 
960
    :param pb: An optional progress bar, indicating how far done we are
 
 
961
    :param msg: An optional message for the progress
 
 
965
    queue_a = range(wa.num_versions())
 
 
966
    queue_b = range(wb.num_versions())
 
 
967
    # first determine combined parents of all versions
 
 
968
    # map from version name -> all parent names
 
 
969
    combined_parents = _reweave_parent_graphs(wa, wb)
 
 
970
    mutter("combined parents: %r", combined_parents)
 
 
971
    order = topo_sort(combined_parents.iteritems())
 
 
972
    mutter("order to reweave: %r", order)
 
 
977
    for idx, name in enumerate(order):
 
 
979
            pb.update(msg, idx, len(order))
 
 
980
        if name in wa._name_map:
 
 
981
            lines = wa.get_lines(name)
 
 
982
            if name in wb._name_map:
 
 
983
                lines_b = wb.get_lines(name)
 
 
985
                    mutter('Weaves differ on content. rev_id {%s}', name)
 
 
986
                    mutter('weaves: %s, %s', wa._weave_name, wb._weave_name)
 
 
988
                    lines = list(difflib.unified_diff(lines, lines_b,
 
 
989
                            wa._weave_name, wb._weave_name))
 
 
990
                    mutter('lines:\n%s', ''.join(lines))
 
 
991
                    raise errors.WeaveTextDiffers(name, wa, wb)
 
 
993
            lines = wb.get_lines(name)
 
 
994
        wr._add(name, lines, [wr._lookup(i) for i in combined_parents[name]])
 
 
997
def _reweave_parent_graphs(wa, wb):
 
 
998
    """Return combined parent ancestry for two weaves.
 
 
1000
    Returned as a list of (version_name, set(parent_names))"""
 
 
1002
    for weave in [wa, wb]:
 
 
1003
        for idx, name in enumerate(weave._names):
 
 
1004
            p = combined.setdefault(name, set())
 
 
1005
            p.update(map(weave._idx_to_name, weave._parents[idx]))
 
 
1010
    """Show the weave's table-of-contents"""
 
 
1011
    print '%6s %50s %10s %10s' % ('ver', 'name', 'sha1', 'parents')
 
 
1012
    for i in (6, 50, 10, 10):
 
 
1015
    for i in range(w.num_versions()):
 
 
1018
        parent_str = ' '.join(map(str, w._parents[i]))
 
 
1019
        print '%6d %-50.50s %10.10s %s' % (i, name, sha1, parent_str)
 
 
1023
def weave_stats(weave_file, pb):
 
 
1024
    from bzrlib.weavefile import read_weave
 
 
1026
    wf = file(weave_file, 'rb')
 
 
1027
    w = read_weave(wf, WeaveVersionedFile)
 
 
1028
    # FIXME: doesn't work on pipes
 
 
1029
    weave_size = wf.tell()
 
 
1033
    for i in range(vers):
 
 
1034
        pb.update('checking sizes', i, vers)
 
 
1035
        for origin, lineno, line in w._extract([i]):
 
 
1040
    print 'versions          %9d' % vers
 
 
1041
    print 'weave file        %9d bytes' % weave_size
 
 
1042
    print 'total contents    %9d bytes' % total
 
 
1043
    print 'compression ratio %9.2fx' % (float(total) / float(weave_size))
 
 
1046
        print 'average size      %9d bytes' % avg
 
 
1047
        print 'relative size     %9.2fx' % (float(weave_size) / float(avg))
 
 
1051
    print """bzr weave tool
 
 
1053
Experimental tool for weave algorithm.
 
 
1056
    weave init WEAVEFILE
 
 
1057
        Create an empty weave file
 
 
1058
    weave get WEAVEFILE VERSION
 
 
1059
        Write out specified version.
 
 
1060
    weave check WEAVEFILE
 
 
1061
        Check consistency of all versions.
 
 
1063
        Display table of contents.
 
 
1064
    weave add WEAVEFILE NAME [BASE...] < NEWTEXT
 
 
1065
        Add NEWTEXT, with specified parent versions.
 
 
1066
    weave annotate WEAVEFILE VERSION
 
 
1067
        Display origin of each line.
 
 
1068
    weave merge WEAVEFILE VERSION1 VERSION2 > OUT
 
 
1069
        Auto-merge two versions and display conflicts.
 
 
1070
    weave diff WEAVEFILE VERSION1 VERSION2 
 
 
1071
        Show differences between two versions.
 
 
1075
    % weave init foo.weave
 
 
1077
    % weave add foo.weave ver0 < foo.txt
 
 
1080
    (create updated version)
 
 
1082
    % weave get foo.weave 0 | diff -u - foo.txt
 
 
1083
    % weave add foo.weave ver1 0 < foo.txt
 
 
1086
    % weave get foo.weave 0 > foo.txt       (create forked version)
 
 
1088
    % weave add foo.weave ver2 0 < foo.txt
 
 
1091
    % weave merge foo.weave 1 2 > foo.txt   (merge them)
 
 
1092
    % vi foo.txt                            (resolve conflicts)
 
 
1093
    % weave add foo.weave merged 1 2 < foo.txt     (commit merged version)     
 
 
1105
        # in case we're run directly from the subdirectory
 
 
1106
        sys.path.append('..')
 
 
1108
    from bzrlib.weavefile import write_weave, read_weave
 
 
1109
    from bzrlib.progress import ProgressBar
 
 
1124
        return read_weave(file(argv[2], 'rb'))
 
 
1130
        # at the moment, based on everything in the file
 
 
1132
        parents = map(int, argv[4:])
 
 
1133
        lines = sys.stdin.readlines()
 
 
1134
        ver = w.add(name, parents, lines)
 
 
1135
        write_weave(w, file(argv[2], 'wb'))
 
 
1136
        print 'added version %r %d' % (name, ver)
 
 
1139
        if os.path.exists(fn):
 
 
1140
            raise IOError("file exists")
 
 
1142
        write_weave(w, file(fn, 'wb'))
 
 
1143
    elif cmd == 'get': # get one version
 
 
1145
        sys.stdout.writelines(w.get_iter(int(argv[3])))
 
 
1148
        from difflib import unified_diff
 
 
1151
        v1, v2 = map(int, argv[3:5])
 
 
1154
        diff_gen = unified_diff(lines1, lines2,
 
 
1155
                                '%s version %d' % (fn, v1),
 
 
1156
                                '%s version %d' % (fn, v2))
 
 
1157
        sys.stdout.writelines(diff_gen)
 
 
1159
    elif cmd == 'annotate':
 
 
1161
        # newline is added to all lines regardless; too hard to get
 
 
1162
        # reasonable formatting otherwise
 
 
1164
        for origin, text in w.annotate(int(argv[3])):
 
 
1165
            text = text.rstrip('\r\n')
 
 
1167
                print '      | %s' % (text)
 
 
1169
                print '%5d | %s' % (origin, text)
 
 
1175
    elif cmd == 'stats':
 
 
1176
        weave_stats(argv[2], ProgressBar())
 
 
1178
    elif cmd == 'check':
 
 
1183
        print '%d versions ok' % w.num_versions()
 
 
1185
    elif cmd == 'inclusions':
 
 
1187
        print ' '.join(map(str, w.inclusions([int(argv[3])])))
 
 
1189
    elif cmd == 'parents':
 
 
1191
        print ' '.join(map(str, w._parents[int(argv[3])]))
 
 
1193
    elif cmd == 'plan-merge':
 
 
1195
        for state, line in w.plan_merge(int(argv[3]), int(argv[4])):
 
 
1197
                print '%14s | %s' % (state, line),
 
 
1199
    elif cmd == 'merge':
 
 
1201
        p = w.plan_merge(int(argv[3]), int(argv[4]))
 
 
1202
        sys.stdout.writelines(w.weave_merge(p))
 
 
1205
        raise ValueError('unknown command %r' % cmd)
 
 
1209
def profile_main(argv): 
 
 
1210
    import tempfile, hotshot, hotshot.stats
 
 
1212
    prof_f = tempfile.NamedTemporaryFile()
 
 
1214
    prof = hotshot.Profile(prof_f.name)
 
 
1216
    ret = prof.runcall(main, argv)
 
 
1219
    stats = hotshot.stats.load(prof_f.name)
 
 
1221
    stats.sort_stats('cumulative')
 
 
1222
    ## XXX: Might like to write to stderr or the trace file instead but
 
 
1223
    ## print_stats seems hardcoded to stdout
 
 
1224
    stats.print_stats(20)
 
 
1229
def lsprofile_main(argv): 
 
 
1230
    from bzrlib.lsprof import profile
 
 
1231
    ret,stats = profile(main, argv)
 
 
1237
if __name__ == '__main__':
 
 
1239
    if '--profile' in sys.argv:
 
 
1241
        args.remove('--profile')
 
 
1242
        sys.exit(profile_main(args))
 
 
1243
    elif '--lsprof' in sys.argv:
 
 
1245
        args.remove('--lsprof')
 
 
1246
        sys.exit(lsprofile_main(args))
 
 
1248
        sys.exit(main(sys.argv))
 
 
1251
class InterWeave(InterVersionedFile):
 
 
1252
    """Optimised code paths for weave to weave operations."""
 
 
1254
    _matching_file_factory = staticmethod(WeaveFile)
 
 
1257
    def is_compatible(source, target):
 
 
1258
        """Be compatible with weaves."""
 
 
1260
            return (isinstance(source, Weave) and
 
 
1261
                    isinstance(target, Weave))
 
 
1262
        except AttributeError:
 
 
1265
    def join(self, pb=None, msg=None, version_ids=None, ignore_missing=False):
 
 
1266
        """See InterVersionedFile.join."""
 
 
1267
        if self.target.versions() == []:
 
 
1269
            self.target._copy_weave_content(self.source)
 
 
1272
            self.target._join(self.source, pb, msg, version_ids, ignore_missing)
 
 
1273
        except errors.WeaveParentMismatch:
 
 
1274
            self.target._reweave(self.source, pb, msg)
 
 
1277
InterVersionedFile.register_optimiser(InterWeave)