/brz/remove-bazaar

To get this branch, use:
bzr branch http://gegoxaren.bato24.eu/bzr/brz/remove-bazaar

« back to all changes in this revision

Viewing changes to bzrlib/versionedfile.py

  • Committer: Martin Pool
  • Date: 2008-11-27 07:25:52 UTC
  • mfrom: (3789.2.15 pack_retry_153786)
  • mto: This revision was merged to the branch mainline in revision 3865.
  • Revision ID: mbp@sourcefrog.net-20081127072552-st8jnmahi0iy3lrt
merge fix to retry when packs have change

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
 
# Copyright (C) 2006-2010 Canonical Ltd
 
1
# Copyright (C) 2005, 2006, 2007, 2008 Canonical Ltd
2
2
#
3
3
# Authors:
4
4
#   Johan Rydberg <jrydberg@gnu.org>
15
15
#
16
16
# You should have received a copy of the GNU General Public License
17
17
# along with this program; if not, write to the Free Software
18
 
# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
 
18
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
19
19
 
20
20
"""Versioned text file storage api."""
21
21
 
22
22
from copy import copy
23
23
from cStringIO import StringIO
24
24
import os
25
 
import struct
26
25
from zlib import adler32
27
26
 
28
27
from bzrlib.lazy_import import lazy_import
30
29
import urllib
31
30
 
32
31
from bzrlib import (
33
 
    annotate,
34
32
    errors,
35
 
    graph as _mod_graph,
36
 
    groupcompress,
37
33
    index,
38
 
    knit,
39
34
    osutils,
40
35
    multiparent,
41
36
    tsort,
42
37
    revision,
43
38
    ui,
44
39
    )
45
 
from bzrlib.graph import DictParentsProvider, Graph, StackedParentsProvider
 
40
from bzrlib.graph import DictParentsProvider, Graph, _StackedParentsProvider
46
41
from bzrlib.transport.memory import MemoryTransport
47
42
""")
 
43
from bzrlib.inter import InterObject
48
44
from bzrlib.registry import Registry
49
45
from bzrlib.symbol_versioning import *
50
46
from bzrlib.textmerge import TextMerge
51
 
from bzrlib import bencode
52
47
 
53
48
 
54
49
adapter_registry = Registry()
64
59
    'bzrlib.knit', 'FTAnnotatedToUnannotated')
65
60
adapter_registry.register_lazy(('knit-annotated-ft-gz', 'fulltext'),
66
61
    'bzrlib.knit', 'FTAnnotatedToFullText')
67
 
# adapter_registry.register_lazy(('knit-annotated-ft-gz', 'chunked'),
68
 
#     'bzrlib.knit', 'FTAnnotatedToChunked')
69
62
 
70
63
 
71
64
class ContentFactory(object):
72
65
    """Abstract interface for insertion and retrieval from a VersionedFile.
73
 
 
 
66
    
74
67
    :ivar sha1: None, or the sha1 of the content fulltext.
75
68
    :ivar storage_kind: The native storage kind of this factory. One of
76
69
        'mpdiff', 'knit-annotated-ft', 'knit-annotated-delta', 'knit-ft',
91
84
        self.parents = None
92
85
 
93
86
 
94
 
class ChunkedContentFactory(ContentFactory):
95
 
    """Static data content factory.
96
 
 
97
 
    This takes a 'chunked' list of strings. The only requirement on 'chunked' is
98
 
    that ''.join(lines) becomes a valid fulltext. A tuple of a single string
99
 
    satisfies this, as does a list of lines.
100
 
 
101
 
    :ivar sha1: None, or the sha1 of the content fulltext.
102
 
    :ivar storage_kind: The native storage kind of this factory. Always
103
 
        'chunked'
104
 
    :ivar key: The key of this content. Each key is a tuple with a single
105
 
        string in it.
106
 
    :ivar parents: A tuple of parent keys for self.key. If the object has
107
 
        no parent information, None (as opposed to () for an empty list of
108
 
        parents).
109
 
     """
110
 
 
111
 
    def __init__(self, key, parents, sha1, chunks):
112
 
        """Create a ContentFactory."""
113
 
        self.sha1 = sha1
114
 
        self.storage_kind = 'chunked'
115
 
        self.key = key
116
 
        self.parents = parents
117
 
        self._chunks = chunks
118
 
 
119
 
    def get_bytes_as(self, storage_kind):
120
 
        if storage_kind == 'chunked':
121
 
            return self._chunks
122
 
        elif storage_kind == 'fulltext':
123
 
            return ''.join(self._chunks)
124
 
        raise errors.UnavailableRepresentation(self.key, storage_kind,
125
 
            self.storage_kind)
126
 
 
127
 
 
128
87
class FulltextContentFactory(ContentFactory):
129
88
    """Static data content factory.
130
89
 
131
90
    This takes a fulltext when created and just returns that during
132
91
    get_bytes_as('fulltext').
133
 
 
 
92
    
134
93
    :ivar sha1: None, or the sha1 of the content fulltext.
135
94
    :ivar storage_kind: The native storage kind of this factory. Always
136
95
        'fulltext'.
152
111
    def get_bytes_as(self, storage_kind):
153
112
        if storage_kind == self.storage_kind:
154
113
            return self._text
155
 
        elif storage_kind == 'chunked':
156
 
            return [self._text]
157
114
        raise errors.UnavailableRepresentation(self.key, storage_kind,
158
115
            self.storage_kind)
159
116
 
160
117
 
161
118
class AbsentContentFactory(ContentFactory):
162
119
    """A placeholder content factory for unavailable texts.
163
 
 
 
120
    
164
121
    :ivar sha1: None.
165
122
    :ivar storage_kind: 'absent'.
166
123
    :ivar key: The key of this content. Each key is a tuple with a single
175
132
        self.key = key
176
133
        self.parents = None
177
134
 
178
 
    def get_bytes_as(self, storage_kind):
179
 
        raise ValueError('A request was made for key: %s, but that'
180
 
                         ' content is not available, and the calling'
181
 
                         ' code does not handle if it is missing.'
182
 
                         % (self.key,))
183
 
 
184
135
 
185
136
class AdapterFactory(ContentFactory):
186
137
    """A content factory to adapt between key prefix's."""
208
159
 
209
160
class VersionedFile(object):
210
161
    """Versioned text file storage.
211
 
 
 
162
    
212
163
    A versioned file manages versions of line-based text files,
213
164
    keeping track of the originating version for each line.
214
165
 
252
203
    def insert_record_stream(self, stream):
253
204
        """Insert a record stream into this versioned file.
254
205
 
255
 
        :param stream: A stream of records to insert.
 
206
        :param stream: A stream of records to insert. 
256
207
        :return: None
257
208
        :seealso VersionedFile.get_record_stream:
258
209
        """
277
228
            the data back accurately. (Checking the lines have been split
278
229
            correctly is expensive and extremely unlikely to catch bugs so it
279
230
            is not done at runtime unless check_content is True.)
280
 
        :param parent_texts: An optional dictionary containing the opaque
 
231
        :param parent_texts: An optional dictionary containing the opaque 
281
232
            representations of some or all of the parents of version_id to
282
233
            allow delta optimisations.  VERY IMPORTANT: the texts must be those
283
234
            returned by add_lines or data corruption can be caused.
311
262
        parent_texts=None, nostore_sha=None, random_id=False,
312
263
        check_content=True, left_matching_blocks=None):
313
264
        """Add lines to the versioned file, allowing ghosts to be present.
314
 
 
 
265
        
315
266
        This takes the same parameters as add_lines and returns the same.
316
267
        """
317
268
        self._check_write_ok()
341
292
 
342
293
    def get_format_signature(self):
343
294
        """Get a text description of the data encoding in this file.
344
 
 
 
295
        
345
296
        :since: 0.90
346
297
        """
347
298
        raise NotImplementedError(self.get_format_signature)
468
419
        if isinstance(version_ids, basestring):
469
420
            version_ids = [version_ids]
470
421
        raise NotImplementedError(self.get_ancestry)
471
 
 
 
422
        
472
423
    def get_ancestry_with_ghosts(self, version_ids):
473
424
        """Return a list of all ancestors of given version(s). This
474
425
        will not include the null revision.
475
426
 
476
427
        Must raise RevisionNotPresent if any of the given versions are
477
428
        not present in file history.
478
 
 
 
429
        
479
430
        Ghosts that are known about will be included in ancestry list,
480
431
        but are not explicitly marked.
481
432
        """
482
433
        raise NotImplementedError(self.get_ancestry_with_ghosts)
483
 
 
 
434
    
484
435
    def get_parent_map(self, version_ids):
485
436
        """Get a map of the parents of version_ids.
486
437
 
549
500
        unchanged   Alive in both a and b (possibly created in both)
550
501
        new-a       Created in a
551
502
        new-b       Created in b
552
 
        ghost-a     Killed in a, unborn in b
 
503
        ghost-a     Killed in a, unborn in b    
553
504
        ghost-b     Killed in b, unborn in a
554
505
        irrelevant  Not in either revision
555
506
        """
556
507
        raise NotImplementedError(VersionedFile.plan_merge)
557
 
 
 
508
        
558
509
    def weave_merge(self, plan, a_marker=TextMerge.A_MARKER,
559
510
                    b_marker=TextMerge.B_MARKER):
560
511
        return PlanWeaveMerge(plan, a_marker, b_marker).merge_lines()[0]
562
513
 
563
514
class RecordingVersionedFilesDecorator(object):
564
515
    """A minimal versioned files that records calls made on it.
565
 
 
 
516
    
566
517
    Only enough methods have been added to support tests using it to date.
567
518
 
568
519
    :ivar calls: A list of the calls made; can be reset at any time by
570
521
    """
571
522
 
572
523
    def __init__(self, backing_vf):
573
 
        """Create a RecordingVersionedFilesDecorator decorating backing_vf.
574
 
 
 
524
        """Create a RecordingVersionedFileDsecorator decorating backing_vf.
 
525
        
575
526
        :param backing_vf: The versioned file to answer all methods.
576
527
        """
577
528
        self._backing_vf = backing_vf
611
562
        return self._backing_vf.keys()
612
563
 
613
564
 
614
 
class OrderingVersionedFilesDecorator(RecordingVersionedFilesDecorator):
615
 
    """A VF that records calls, and returns keys in specific order.
616
 
 
617
 
    :ivar calls: A list of the calls made; can be reset at any time by
618
 
        assigning [] to it.
619
 
    """
620
 
 
621
 
    def __init__(self, backing_vf, key_priority):
622
 
        """Create a RecordingVersionedFilesDecorator decorating backing_vf.
623
 
 
624
 
        :param backing_vf: The versioned file to answer all methods.
625
 
        :param key_priority: A dictionary defining what order keys should be
626
 
            returned from an 'unordered' get_record_stream request.
627
 
            Keys with lower priority are returned first, keys not present in
628
 
            the map get an implicit priority of 0, and are returned in
629
 
            lexicographical order.
630
 
        """
631
 
        RecordingVersionedFilesDecorator.__init__(self, backing_vf)
632
 
        self._key_priority = key_priority
633
 
 
634
 
    def get_record_stream(self, keys, sort_order, include_delta_closure):
635
 
        self.calls.append(("get_record_stream", list(keys), sort_order,
636
 
            include_delta_closure))
637
 
        if sort_order == 'unordered':
638
 
            def sort_key(key):
639
 
                return (self._key_priority.get(key, 0), key)
640
 
            # Use a defined order by asking for the keys one-by-one from the
641
 
            # backing_vf
642
 
            for key in sorted(keys, key=sort_key):
643
 
                for record in self._backing_vf.get_record_stream([key],
644
 
                                'unordered', include_delta_closure):
645
 
                    yield record
646
 
        else:
647
 
            for record in self._backing_vf.get_record_stream(keys, sort_order,
648
 
                            include_delta_closure):
649
 
                yield record
650
 
 
651
 
 
652
565
class KeyMapper(object):
653
566
    """KeyMappers map between keys and underlying partitioned storage."""
654
567
 
663
576
 
664
577
    def unmap(self, partition_id):
665
578
        """Map a partitioned storage id back to a key prefix.
666
 
 
 
579
        
667
580
        :param partition_id: The underlying partition id.
668
581
        :return: As much of a key (or prefix) as is derivable from the partition
669
582
            id.
701
614
 
702
615
class PrefixMapper(URLEscapeMapper):
703
616
    """A key mapper that extracts the first component of a key.
704
 
 
 
617
    
705
618
    This mapper is for use with a transport based backend.
706
619
    """
707
620
 
740
653
 
741
654
class HashEscapedPrefixMapper(HashPrefixMapper):
742
655
    """Combines the escaped first component of a key with a hash.
743
 
 
 
656
    
744
657
    This mapper is for use with a transport based backend.
745
658
    """
746
659
 
802
715
        check_content=True):
803
716
        """Add a text to the store.
804
717
 
805
 
        :param key: The key tuple of the text to add. If the last element is
806
 
            None, a CHK string will be generated during the addition.
 
718
        :param key: The key tuple of the text to add.
807
719
        :param parents: The parents key tuples of the text to add.
808
720
        :param lines: A list of lines. Each line must be a bytestring. And all
809
721
            of them except the last must be terminated with \n and contain no
813
725
            the data back accurately. (Checking the lines have been split
814
726
            correctly is expensive and extremely unlikely to catch bugs so it
815
727
            is not done at runtime unless check_content is True.)
816
 
        :param parent_texts: An optional dictionary containing the opaque
 
728
        :param parent_texts: An optional dictionary containing the opaque 
817
729
            representations of some or all of the parents of version_id to
818
730
            allow delta optimisations.  VERY IMPORTANT: the texts must be those
819
731
            returned by add_lines or data corruption can be caused.
836
748
        """
837
749
        raise NotImplementedError(self.add_lines)
838
750
 
839
 
    def _add_text(self, key, parents, text, nostore_sha=None, random_id=False):
840
 
        """Add a text to the store.
841
 
 
842
 
        This is a private function for use by CommitBuilder.
843
 
 
844
 
        :param key: The key tuple of the text to add. If the last element is
845
 
            None, a CHK string will be generated during the addition.
846
 
        :param parents: The parents key tuples of the text to add.
847
 
        :param text: A string containing the text to be committed.
848
 
        :param nostore_sha: Raise ExistingContent and do not add the lines to
849
 
            the versioned file if the digest of the lines matches this.
850
 
        :param random_id: If True a random id has been selected rather than
851
 
            an id determined by some deterministic process such as a converter
852
 
            from a foreign VCS. When True the backend may choose not to check
853
 
            for uniqueness of the resulting key within the versioned file, so
854
 
            this should only be done when the result is expected to be unique
855
 
            anyway.
856
 
        :param check_content: If True, the lines supplied are verified to be
857
 
            bytestrings that are correctly formed lines.
858
 
        :return: The text sha1, the number of bytes in the text, and an opaque
859
 
                 representation of the inserted version which can be provided
860
 
                 back to future _add_text calls in the parent_texts dictionary.
861
 
        """
862
 
        # The default implementation just thunks over to .add_lines(),
863
 
        # inefficient, but it works.
864
 
        return self.add_lines(key, parents, osutils.split_lines(text),
865
 
                              nostore_sha=nostore_sha,
866
 
                              random_id=random_id,
867
 
                              check_content=True)
868
 
 
869
751
    def add_mpdiffs(self, records):
870
752
        """Add mpdiffs to this VersionedFile.
871
753
 
884
766
                                  if not mpvf.has_version(p))
885
767
        # It seems likely that adding all the present parents as fulltexts can
886
768
        # easily exhaust memory.
887
 
        chunks_to_lines = osutils.chunks_to_lines
 
769
        split_lines = osutils.split_lines
888
770
        for record in self.get_record_stream(needed_parents, 'unordered',
889
771
            True):
890
772
            if record.storage_kind == 'absent':
891
773
                continue
892
 
            mpvf.add_version(chunks_to_lines(record.get_bytes_as('chunked')),
 
774
            mpvf.add_version(split_lines(record.get_bytes_as('fulltext')),
893
775
                record.key, [])
894
776
        for (key, parent_keys, expected_sha1, mpdiff), lines in\
895
777
            zip(records, mpvf.get_line_list(versions)):
913
795
        raise NotImplementedError(self.annotate)
914
796
 
915
797
    def check(self, progress_bar=None):
916
 
        """Check this object for integrity.
917
 
        
918
 
        :param progress_bar: A progress bar to output as the check progresses.
919
 
        :param keys: Specific keys within the VersionedFiles to check. When
920
 
            this parameter is not None, check() becomes a generator as per
921
 
            get_record_stream. The difference to get_record_stream is that
922
 
            more or deeper checks will be performed.
923
 
        :return: None, or if keys was supplied a generator as per
924
 
            get_record_stream.
925
 
        """
 
798
        """Check this object for integrity."""
926
799
        raise NotImplementedError(self.check)
927
800
 
928
801
    @staticmethod
929
802
    def check_not_reserved_id(version_id):
930
803
        revision.check_not_reserved_id(version_id)
931
804
 
932
 
    def clear_cache(self):
933
 
        """Clear whatever caches this VersionedFile holds.
934
 
 
935
 
        This is generally called after an operation has been performed, when we
936
 
        don't expect to be using this versioned file again soon.
937
 
        """
938
 
 
939
805
    def _check_lines_not_unicode(self, lines):
940
806
        """Check that lines being added to a versioned file are not unicode."""
941
807
        for line in lines:
948
814
            if '\n' in line[:-1]:
949
815
                raise errors.BzrBadParameterContainsNewline("lines")
950
816
 
951
 
    def get_known_graph_ancestry(self, keys):
952
 
        """Get a KnownGraph instance with the ancestry of keys."""
953
 
        # most basic implementation is a loop around get_parent_map
954
 
        pending = set(keys)
955
 
        parent_map = {}
956
 
        while pending:
957
 
            this_parent_map = self.get_parent_map(pending)
958
 
            parent_map.update(this_parent_map)
959
 
            pending = set()
960
 
            map(pending.update, this_parent_map.itervalues())
961
 
            pending = pending.difference(parent_map)
962
 
        kg = _mod_graph.KnownGraph(parent_map)
963
 
        return kg
964
 
 
965
817
    def get_parent_map(self, keys):
966
818
        """Get a map of the parents of keys.
967
819
 
997
849
 
998
850
    has_key = index._has_key_from_parent_map
999
851
 
1000
 
    def get_missing_compression_parent_keys(self):
1001
 
        """Return an iterable of keys of missing compression parents.
1002
 
 
1003
 
        Check this after calling insert_record_stream to find out if there are
1004
 
        any missing compression parents.  If there are, the records that
1005
 
        depend on them are not able to be inserted safely. The precise
1006
 
        behaviour depends on the concrete VersionedFiles class in use.
1007
 
 
1008
 
        Classes that do not support this will raise NotImplementedError.
1009
 
        """
1010
 
        raise NotImplementedError(self.get_missing_compression_parent_keys)
1011
 
 
1012
852
    def insert_record_stream(self, stream):
1013
853
        """Insert a record stream into this container.
1014
854
 
1015
 
        :param stream: A stream of records to insert.
 
855
        :param stream: A stream of records to insert. 
1016
856
        :return: None
1017
857
        :seealso VersionedFile.get_record_stream:
1018
858
        """
1062
902
        ghosts = maybe_ghosts - set(self.get_parent_map(maybe_ghosts))
1063
903
        knit_keys.difference_update(ghosts)
1064
904
        lines = {}
1065
 
        chunks_to_lines = osutils.chunks_to_lines
 
905
        split_lines = osutils.split_lines
1066
906
        for record in self.get_record_stream(knit_keys, 'topological', True):
1067
 
            lines[record.key] = chunks_to_lines(record.get_bytes_as('chunked'))
 
907
            lines[record.key] = split_lines(record.get_bytes_as('fulltext'))
1068
908
            # line_block_dict = {}
1069
909
            # for parent, blocks in record.extract_line_blocks():
1070
910
            #   line_blocks[parent] = blocks
1159
999
            result.append((prefix + (origin,), line))
1160
1000
        return result
1161
1001
 
1162
 
    def get_annotator(self):
1163
 
        return annotate.Annotator(self)
1164
 
 
1165
 
    def check(self, progress_bar=None, keys=None):
 
1002
    def check(self, progress_bar=None):
1166
1003
        """See VersionedFiles.check()."""
1167
 
        # XXX: This is over-enthusiastic but as we only thunk for Weaves today
1168
 
        # this is tolerable. Ideally we'd pass keys down to check() and 
1169
 
        # have the older VersiondFile interface updated too.
1170
1004
        for prefix, vf in self._iter_all_components():
1171
1005
            vf.check()
1172
 
        if keys is not None:
1173
 
            return self.get_record_stream(keys, 'unordered', True)
1174
1006
 
1175
1007
    def get_parent_map(self, keys):
1176
1008
        """Get a map of the parents of keys.
1254
1086
    def insert_record_stream(self, stream):
1255
1087
        """Insert a record stream into this container.
1256
1088
 
1257
 
        :param stream: A stream of records to insert.
 
1089
        :param stream: A stream of records to insert. 
1258
1090
        :return: None
1259
1091
        :seealso VersionedFile.get_record_stream:
1260
1092
        """
1381
1213
                lines = self._lines[key]
1382
1214
                parents = self._parents[key]
1383
1215
                pending.remove(key)
1384
 
                yield ChunkedContentFactory(key, parents, None, lines)
 
1216
                yield FulltextContentFactory(key, parents, None,
 
1217
                    ''.join(lines))
1385
1218
        for versionedfile in self.fallback_versionedfiles:
1386
1219
            for record in versionedfile.get_record_stream(
1387
1220
                pending, 'unordered', True):
1408
1241
            result[revision.NULL_REVISION] = ()
1409
1242
        self._providers = self._providers[:1] + self.fallback_versionedfiles
1410
1243
        result.update(
1411
 
            StackedParentsProvider(self._providers).get_parent_map(keys))
 
1244
            _StackedParentsProvider(self._providers).get_parent_map(keys))
1412
1245
        for key, parents in result.iteritems():
1413
1246
            if parents == ():
1414
1247
                result[key] = (revision.NULL_REVISION,)
1417
1250
 
1418
1251
class PlanWeaveMerge(TextMerge):
1419
1252
    """Weave merge that takes a plan as its input.
1420
 
 
 
1253
    
1421
1254
    This exists so that VersionedFile.plan_merge is implementable.
1422
1255
    Most callers will want to use WeaveMerge instead.
1423
1256
    """
1425
1258
    def __init__(self, plan, a_marker=TextMerge.A_MARKER,
1426
1259
                 b_marker=TextMerge.B_MARKER):
1427
1260
        TextMerge.__init__(self, a_marker, b_marker)
1428
 
        self.plan = list(plan)
 
1261
        self.plan = plan
1429
1262
 
1430
1263
    def _merge_struct(self):
1431
1264
        lines_a = []
1444
1277
                yield(lines_a,)
1445
1278
            else:
1446
1279
                yield (lines_a, lines_b)
1447
 
 
 
1280
       
1448
1281
        # We previously considered either 'unchanged' or 'killed-both' lines
1449
1282
        # to be possible places to resynchronize.  However, assuming agreement
1450
1283
        # on killed-both lines may be too aggressive. -- mbp 20060324
1456
1289
                lines_a = []
1457
1290
                lines_b = []
1458
1291
                ch_a = ch_b = False
1459
 
 
 
1292
                
1460
1293
            if state == 'unchanged':
1461
1294
                if line:
1462
1295
                    yield ([line],)
1478
1311
            elif state == 'conflicted-b':
1479
1312
                ch_b = ch_a = True
1480
1313
                lines_b.append(line)
1481
 
            elif state == 'killed-both':
1482
 
                # This counts as a change, even though there is no associated
1483
 
                # line
1484
 
                ch_b = ch_a = True
1485
1314
            else:
1486
1315
                if state not in ('irrelevant', 'ghost-a', 'ghost-b',
1487
 
                        'killed-base'):
 
1316
                        'killed-base', 'killed-both'):
1488
1317
                    raise AssertionError(state)
1489
1318
        for struct in outstanding_struct():
1490
1319
            yield struct
1491
1320
 
1492
 
    def base_from_plan(self):
1493
 
        """Construct a BASE file from the plan text."""
1494
 
        base_lines = []
1495
 
        for state, line in self.plan:
1496
 
            if state in ('killed-a', 'killed-b', 'killed-both', 'unchanged'):
1497
 
                # If unchanged, then this line is straight from base. If a or b
1498
 
                # or both killed the line, then it *used* to be in base.
1499
 
                base_lines.append(line)
1500
 
            else:
1501
 
                if state not in ('killed-base', 'irrelevant',
1502
 
                                 'ghost-a', 'ghost-b',
1503
 
                                 'new-a', 'new-b',
1504
 
                                 'conflicted-a', 'conflicted-b'):
1505
 
                    # killed-base, irrelevant means it doesn't apply
1506
 
                    # ghost-a/ghost-b are harder to say for sure, but they
1507
 
                    # aren't in the 'inc_c' which means they aren't in the
1508
 
                    # shared base of a & b. So we don't include them.  And
1509
 
                    # obviously if the line is newly inserted, it isn't in base
1510
 
 
1511
 
                    # If 'conflicted-a' or b, then it is new vs one base, but
1512
 
                    # old versus another base. However, if we make it present
1513
 
                    # in the base, it will be deleted from the target, and it
1514
 
                    # seems better to get a line doubled in the merge result,
1515
 
                    # rather than have it deleted entirely.
1516
 
                    # Example, each node is the 'text' at that point:
1517
 
                    #           MN
1518
 
                    #          /   \
1519
 
                    #        MaN   MbN
1520
 
                    #         |  X  |
1521
 
                    #        MabN MbaN
1522
 
                    #          \   /
1523
 
                    #           ???
1524
 
                    # There was a criss-cross conflict merge. Both sides
1525
 
                    # include the other, but put themselves first.
1526
 
                    # Weave marks this as a 'clean' merge, picking OTHER over
1527
 
                    # THIS. (Though the details depend on order inserted into
1528
 
                    # weave, etc.)
1529
 
                    # LCA generates a plan:
1530
 
                    # [('unchanged', M),
1531
 
                    #  ('conflicted-b', b),
1532
 
                    #  ('unchanged', a),
1533
 
                    #  ('conflicted-a', b),
1534
 
                    #  ('unchanged', N)]
1535
 
                    # If you mark 'conflicted-*' as part of BASE, then a 3-way
1536
 
                    # merge tool will cleanly generate "MaN" (as BASE vs THIS
1537
 
                    # removes one 'b', and BASE vs OTHER removes the other)
1538
 
                    # If you include neither, 3-way creates a clean "MbabN" as
1539
 
                    # THIS adds one 'b', and OTHER does too.
1540
 
                    # It seems that having the line 2 times is better than
1541
 
                    # having it omitted. (Easier to manually delete than notice
1542
 
                    # it needs to be added.)
1543
 
                    raise AssertionError('Unknown state: %s' % (state,))
1544
 
        return base_lines
1545
 
 
1546
1321
 
1547
1322
class WeaveMerge(PlanWeaveMerge):
1548
1323
    """Weave merge that takes a VersionedFile and two versions as its input."""
1549
1324
 
1550
 
    def __init__(self, versionedfile, ver_a, ver_b,
 
1325
    def __init__(self, versionedfile, ver_a, ver_b, 
1551
1326
        a_marker=PlanWeaveMerge.A_MARKER, b_marker=PlanWeaveMerge.B_MARKER):
1552
1327
        plan = versionedfile.plan_merge(ver_a, ver_b)
1553
1328
        PlanWeaveMerge.__init__(self, plan, a_marker, b_marker)
1554
1329
 
1555
1330
 
1556
1331
class VirtualVersionedFiles(VersionedFiles):
1557
 
    """Dummy implementation for VersionedFiles that uses other functions for
 
1332
    """Dummy implementation for VersionedFiles that uses other functions for 
1558
1333
    obtaining fulltexts and parent maps.
1559
1334
 
1560
 
    This is always on the bottom of the stack and uses string keys
 
1335
    This is always on the bottom of the stack and uses string keys 
1561
1336
    (rather than tuples) internally.
1562
1337
    """
1563
1338
 
1565
1340
        """Create a VirtualVersionedFiles.
1566
1341
 
1567
1342
        :param get_parent_map: Same signature as Repository.get_parent_map.
1568
 
        :param get_lines: Should return lines for specified key or None if
 
1343
        :param get_lines: Should return lines for specified key or None if 
1569
1344
                          not available.
1570
1345
        """
1571
1346
        super(VirtualVersionedFiles, self).__init__()
1572
1347
        self._get_parent_map = get_parent_map
1573
1348
        self._get_lines = get_lines
1574
 
 
 
1349
        
1575
1350
    def check(self, progressbar=None):
1576
1351
        """See VersionedFiles.check.
1577
1352
 
1609
1384
            if lines is not None:
1610
1385
                if not isinstance(lines, list):
1611
1386
                    raise AssertionError
1612
 
                yield ChunkedContentFactory((k,), None,
 
1387
                yield FulltextContentFactory((k,), None, 
1613
1388
                        sha1=osutils.sha_strings(lines),
1614
 
                        chunks=lines)
 
1389
                        text=''.join(lines))
1615
1390
            else:
1616
1391
                yield AbsentContentFactory((k,))
1617
1392
 
1618
 
    def iter_lines_added_or_present_in_keys(self, keys, pb=None):
1619
 
        """See VersionedFile.iter_lines_added_or_present_in_versions()."""
1620
 
        for i, (key,) in enumerate(keys):
1621
 
            if pb is not None:
1622
 
                pb.update("Finding changed lines", i, len(keys))
1623
 
            for l in self._get_lines(key):
1624
 
                yield (l, key)
1625
 
 
1626
 
 
1627
 
def network_bytes_to_kind_and_offset(network_bytes):
1628
 
    """Strip of a record kind from the front of network_bytes.
1629
 
 
1630
 
    :param network_bytes: The bytes of a record.
1631
 
    :return: A tuple (storage_kind, offset_of_remaining_bytes)
1632
 
    """
1633
 
    line_end = network_bytes.find('\n')
1634
 
    storage_kind = network_bytes[:line_end]
1635
 
    return storage_kind, line_end + 1
1636
 
 
1637
 
 
1638
 
class NetworkRecordStream(object):
1639
 
    """A record_stream which reconstitures a serialised stream."""
1640
 
 
1641
 
    def __init__(self, bytes_iterator):
1642
 
        """Create a NetworkRecordStream.
1643
 
 
1644
 
        :param bytes_iterator: An iterator of bytes. Each item in this
1645
 
            iterator should have been obtained from a record_streams'
1646
 
            record.get_bytes_as(record.storage_kind) call.
1647
 
        """
1648
 
        self._bytes_iterator = bytes_iterator
1649
 
        self._kind_factory = {
1650
 
            'fulltext': fulltext_network_to_record,
1651
 
            'groupcompress-block': groupcompress.network_block_to_records,
1652
 
            'knit-ft-gz': knit.knit_network_to_record,
1653
 
            'knit-delta-gz': knit.knit_network_to_record,
1654
 
            'knit-annotated-ft-gz': knit.knit_network_to_record,
1655
 
            'knit-annotated-delta-gz': knit.knit_network_to_record,
1656
 
            'knit-delta-closure': knit.knit_delta_closure_to_records,
1657
 
            }
1658
 
 
1659
 
    def read(self):
1660
 
        """Read the stream.
1661
 
 
1662
 
        :return: An iterator as per VersionedFiles.get_record_stream().
1663
 
        """
1664
 
        for bytes in self._bytes_iterator:
1665
 
            storage_kind, line_end = network_bytes_to_kind_and_offset(bytes)
1666
 
            for record in self._kind_factory[storage_kind](
1667
 
                storage_kind, bytes, line_end):
1668
 
                yield record
1669
 
 
1670
 
 
1671
 
def fulltext_network_to_record(kind, bytes, line_end):
1672
 
    """Convert a network fulltext record to record."""
1673
 
    meta_len, = struct.unpack('!L', bytes[line_end:line_end+4])
1674
 
    record_meta = bytes[line_end+4:line_end+4+meta_len]
1675
 
    key, parents = bencode.bdecode_as_tuple(record_meta)
1676
 
    if parents == 'nil':
1677
 
        parents = None
1678
 
    fulltext = bytes[line_end+4+meta_len:]
1679
 
    return [FulltextContentFactory(key, parents, None, fulltext)]
1680
 
 
1681
 
 
1682
 
def _length_prefix(bytes):
1683
 
    return struct.pack('!L', len(bytes))
1684
 
 
1685
 
 
1686
 
def record_to_fulltext_bytes(record):
1687
 
    if record.parents is None:
1688
 
        parents = 'nil'
1689
 
    else:
1690
 
        parents = record.parents
1691
 
    record_meta = bencode.bencode((record.key, parents))
1692
 
    record_content = record.get_bytes_as('fulltext')
1693
 
    return "fulltext\n%s%s%s" % (
1694
 
        _length_prefix(record_meta), record_meta, record_content)
1695
 
 
1696
 
 
1697
 
def sort_groupcompress(parent_map):
1698
 
    """Sort and group the keys in parent_map into groupcompress order.
1699
 
 
1700
 
    groupcompress is defined (currently) as reverse-topological order, grouped
1701
 
    by the key prefix.
1702
 
 
1703
 
    :return: A sorted-list of keys
1704
 
    """
1705
 
    # gc-optimal ordering is approximately reverse topological,
1706
 
    # properly grouped by file-id.
1707
 
    per_prefix_map = {}
1708
 
    for item in parent_map.iteritems():
1709
 
        key = item[0]
1710
 
        if isinstance(key, str) or len(key) == 1:
1711
 
            prefix = ''
1712
 
        else:
1713
 
            prefix = key[0]
1714
 
        try:
1715
 
            per_prefix_map[prefix].append(item)
1716
 
        except KeyError:
1717
 
            per_prefix_map[prefix] = [item]
1718
 
 
1719
 
    present_keys = []
1720
 
    for prefix in sorted(per_prefix_map):
1721
 
        present_keys.extend(reversed(tsort.topo_sort(per_prefix_map[prefix])))
1722
 
    return present_keys
 
1393
 
 
1394