~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/versionedfile.py

  • Committer: Aaron Bentley
  • Date: 2008-03-11 14:29:08 UTC
  • mto: This revision was merged to the branch mainline in revision 3264.
  • Revision ID: aaron@aaronbentley.com-20080311142908-yyrvcpn2mldt0fnn
Update documentation to reflect conflict-handling difference

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
 
# Copyright (C) 2006-2010 Canonical Ltd
 
1
# Copyright (C) 2005, 2006 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
 
from copy import copy
23
 
from cStringIO import StringIO
24
 
import os
25
 
import struct
26
 
from zlib import adler32
27
 
 
28
22
from bzrlib.lazy_import import lazy_import
29
23
lazy_import(globals(), """
30
 
import urllib
31
24
 
32
25
from bzrlib import (
33
 
    annotate,
34
26
    errors,
35
 
    graph as _mod_graph,
36
 
    groupcompress,
37
 
    index,
38
 
    knit,
39
27
    osutils,
40
28
    multiparent,
41
29
    tsort,
42
30
    revision,
43
31
    ui,
44
32
    )
45
 
from bzrlib.graph import DictParentsProvider, Graph, StackedParentsProvider
46
33
from bzrlib.transport.memory import MemoryTransport
47
34
""")
48
 
from bzrlib.registry import Registry
 
35
 
 
36
from cStringIO import StringIO
 
37
 
 
38
from bzrlib.inter import InterObject
49
39
from bzrlib.textmerge import TextMerge
50
 
from bzrlib import bencode
51
 
 
52
 
 
53
 
adapter_registry = Registry()
54
 
adapter_registry.register_lazy(('knit-delta-gz', 'fulltext'), 'bzrlib.knit',
55
 
    'DeltaPlainToFullText')
56
 
adapter_registry.register_lazy(('knit-ft-gz', 'fulltext'), 'bzrlib.knit',
57
 
    'FTPlainToFullText')
58
 
adapter_registry.register_lazy(('knit-annotated-delta-gz', 'knit-delta-gz'),
59
 
    'bzrlib.knit', 'DeltaAnnotatedToUnannotated')
60
 
adapter_registry.register_lazy(('knit-annotated-delta-gz', 'fulltext'),
61
 
    'bzrlib.knit', 'DeltaAnnotatedToFullText')
62
 
adapter_registry.register_lazy(('knit-annotated-ft-gz', 'knit-ft-gz'),
63
 
    'bzrlib.knit', 'FTAnnotatedToUnannotated')
64
 
adapter_registry.register_lazy(('knit-annotated-ft-gz', 'fulltext'),
65
 
    'bzrlib.knit', 'FTAnnotatedToFullText')
66
 
# adapter_registry.register_lazy(('knit-annotated-ft-gz', 'chunked'),
67
 
#     'bzrlib.knit', 'FTAnnotatedToChunked')
68
 
 
69
 
 
70
 
class ContentFactory(object):
71
 
    """Abstract interface for insertion and retrieval from a VersionedFile.
72
 
 
73
 
    :ivar sha1: None, or the sha1 of the content fulltext.
74
 
    :ivar storage_kind: The native storage kind of this factory. One of
75
 
        'mpdiff', 'knit-annotated-ft', 'knit-annotated-delta', 'knit-ft',
76
 
        'knit-delta', 'fulltext', 'knit-annotated-ft-gz',
77
 
        'knit-annotated-delta-gz', 'knit-ft-gz', 'knit-delta-gz'.
78
 
    :ivar key: The key of this content. Each key is a tuple with a single
79
 
        string in it.
80
 
    :ivar parents: A tuple of parent keys for self.key. If the object has
81
 
        no parent information, None (as opposed to () for an empty list of
82
 
        parents).
83
 
    """
84
 
 
85
 
    def __init__(self):
86
 
        """Create a ContentFactory."""
87
 
        self.sha1 = None
88
 
        self.storage_kind = None
89
 
        self.key = None
90
 
        self.parents = None
91
 
 
92
 
 
93
 
class ChunkedContentFactory(ContentFactory):
94
 
    """Static data content factory.
95
 
 
96
 
    This takes a 'chunked' list of strings. The only requirement on 'chunked' is
97
 
    that ''.join(lines) becomes a valid fulltext. A tuple of a single string
98
 
    satisfies this, as does a list of lines.
99
 
 
100
 
    :ivar sha1: None, or the sha1 of the content fulltext.
101
 
    :ivar storage_kind: The native storage kind of this factory. Always
102
 
        'chunked'
103
 
    :ivar key: The key of this content. Each key is a tuple with a single
104
 
        string in it.
105
 
    :ivar parents: A tuple of parent keys for self.key. If the object has
106
 
        no parent information, None (as opposed to () for an empty list of
107
 
        parents).
108
 
     """
109
 
 
110
 
    def __init__(self, key, parents, sha1, chunks):
111
 
        """Create a ContentFactory."""
112
 
        self.sha1 = sha1
113
 
        self.storage_kind = 'chunked'
114
 
        self.key = key
115
 
        self.parents = parents
116
 
        self._chunks = chunks
117
 
 
118
 
    def get_bytes_as(self, storage_kind):
119
 
        if storage_kind == 'chunked':
120
 
            return self._chunks
121
 
        elif storage_kind == 'fulltext':
122
 
            return ''.join(self._chunks)
123
 
        raise errors.UnavailableRepresentation(self.key, storage_kind,
124
 
            self.storage_kind)
125
 
 
126
 
 
127
 
class FulltextContentFactory(ContentFactory):
128
 
    """Static data content factory.
129
 
 
130
 
    This takes a fulltext when created and just returns that during
131
 
    get_bytes_as('fulltext').
132
 
 
133
 
    :ivar sha1: None, or the sha1 of the content fulltext.
134
 
    :ivar storage_kind: The native storage kind of this factory. Always
135
 
        'fulltext'.
136
 
    :ivar key: The key of this content. Each key is a tuple with a single
137
 
        string in it.
138
 
    :ivar parents: A tuple of parent keys for self.key. If the object has
139
 
        no parent information, None (as opposed to () for an empty list of
140
 
        parents).
141
 
     """
142
 
 
143
 
    def __init__(self, key, parents, sha1, text):
144
 
        """Create a ContentFactory."""
145
 
        self.sha1 = sha1
146
 
        self.storage_kind = 'fulltext'
147
 
        self.key = key
148
 
        self.parents = parents
149
 
        self._text = text
150
 
 
151
 
    def get_bytes_as(self, storage_kind):
152
 
        if storage_kind == self.storage_kind:
153
 
            return self._text
154
 
        elif storage_kind == 'chunked':
155
 
            return [self._text]
156
 
        raise errors.UnavailableRepresentation(self.key, storage_kind,
157
 
            self.storage_kind)
158
 
 
159
 
 
160
 
class AbsentContentFactory(ContentFactory):
161
 
    """A placeholder content factory for unavailable texts.
162
 
 
163
 
    :ivar sha1: None.
164
 
    :ivar storage_kind: 'absent'.
165
 
    :ivar key: The key of this content. Each key is a tuple with a single
166
 
        string in it.
167
 
    :ivar parents: None.
168
 
    """
169
 
 
170
 
    def __init__(self, key):
171
 
        """Create a ContentFactory."""
172
 
        self.sha1 = None
173
 
        self.storage_kind = 'absent'
174
 
        self.key = key
175
 
        self.parents = None
176
 
 
177
 
    def get_bytes_as(self, storage_kind):
178
 
        raise ValueError('A request was made for key: %s, but that'
179
 
                         ' content is not available, and the calling'
180
 
                         ' code does not handle if it is missing.'
181
 
                         % (self.key,))
182
 
 
183
 
 
184
 
class AdapterFactory(ContentFactory):
185
 
    """A content factory to adapt between key prefix's."""
186
 
 
187
 
    def __init__(self, key, parents, adapted):
188
 
        """Create an adapter factory instance."""
189
 
        self.key = key
190
 
        self.parents = parents
191
 
        self._adapted = adapted
192
 
 
193
 
    def __getattr__(self, attr):
194
 
        """Return a member from the adapted object."""
195
 
        if attr in ('key', 'parents'):
196
 
            return self.__dict__[attr]
197
 
        else:
198
 
            return getattr(self._adapted, attr)
199
 
 
200
 
 
201
 
def filter_absent(record_stream):
202
 
    """Adapt a record stream to remove absent records."""
203
 
    for record in record_stream:
204
 
        if record.storage_kind != 'absent':
205
 
            yield record
206
 
 
207
 
 
208
 
class _MPDiffGenerator(object):
209
 
    """Pull out the functionality for generating mp_diffs."""
210
 
 
211
 
    def __init__(self, vf, keys):
212
 
        self.vf = vf
213
 
        # This is the order the keys were requested in
214
 
        self.ordered_keys = tuple(keys)
215
 
        # keys + their parents, what we need to compute the diffs
216
 
        self.needed_keys = ()
217
 
        # Map from key: mp_diff
218
 
        self.diffs = {}
219
 
        # Map from key: parents_needed (may have ghosts)
220
 
        self.parent_map = {}
221
 
        # Parents that aren't present
222
 
        self.ghost_parents = ()
223
 
        # Map from parent_key => number of children for this text
224
 
        self.refcounts = {}
225
 
        # Content chunks that are cached while we still need them
226
 
        self.chunks = {}
227
 
 
228
 
    def _find_needed_keys(self):
229
 
        """Find the set of keys we need to request.
230
 
 
231
 
        This includes all the original keys passed in, and the non-ghost
232
 
        parents of those keys.
233
 
 
234
 
        :return: (needed_keys, refcounts)
235
 
            needed_keys is the set of all texts we need to extract
236
 
            refcounts is a dict of {key: num_children} letting us know when we
237
 
                no longer need to cache a given parent text
238
 
        """
239
 
        # All the keys and their parents
240
 
        needed_keys = set(self.ordered_keys)
241
 
        parent_map = self.vf.get_parent_map(needed_keys)
242
 
        self.parent_map = parent_map
243
 
        # TODO: Should we be using a different construct here? I think this
244
 
        #       uses difference_update internally, and we expect the result to
245
 
        #       be tiny
246
 
        missing_keys = needed_keys.difference(parent_map)
247
 
        if missing_keys:
248
 
            raise errors.RevisionNotPresent(list(missing_keys)[0], self.vf)
249
 
        # Parents that might be missing. They are allowed to be ghosts, but we
250
 
        # should check for them
251
 
        refcounts = {}
252
 
        setdefault = refcounts.setdefault
253
 
        just_parents = set()
254
 
        for child_key, parent_keys in parent_map.iteritems():
255
 
            if not parent_keys:
256
 
                # parent_keys may be None if a given VersionedFile claims to
257
 
                # not support graph operations.
258
 
                continue
259
 
            just_parents.update(parent_keys)
260
 
            needed_keys.update(parent_keys)
261
 
            for p in parent_keys:
262
 
                refcounts[p] = setdefault(p, 0) + 1
263
 
        just_parents.difference_update(parent_map)
264
 
        # Remove any parents that are actually ghosts from the needed set
265
 
        self.present_parents = set(self.vf.get_parent_map(just_parents))
266
 
        self.ghost_parents = just_parents.difference(self.present_parents)
267
 
        needed_keys.difference_update(self.ghost_parents)
268
 
        self.needed_keys = needed_keys
269
 
        self.refcounts = refcounts
270
 
        return needed_keys, refcounts
271
 
 
272
 
    def _compute_diff(self, key, parent_lines, lines):
273
 
        """Compute a single mp_diff, and store it in self._diffs"""
274
 
        if len(parent_lines) > 0:
275
 
            # XXX: _extract_blocks is not usefully defined anywhere...
276
 
            #      It was meant to extract the left-parent diff without
277
 
            #      having to recompute it for Knit content (pack-0.92,
278
 
            #      etc). That seems to have regressed somewhere
279
 
            left_parent_blocks = self.vf._extract_blocks(key,
280
 
                parent_lines[0], lines)
281
 
        else:
282
 
            left_parent_blocks = None
283
 
        diff = multiparent.MultiParent.from_lines(lines,
284
 
                    parent_lines, left_parent_blocks)
285
 
        self.diffs[key] = diff
286
 
 
287
 
    def _process_one_record(self, key, this_chunks):
288
 
        parent_keys = None
289
 
        if key in self.parent_map:
290
 
            # This record should be ready to diff, since we requested
291
 
            # content in 'topological' order
292
 
            parent_keys = self.parent_map.pop(key)
293
 
            # If a VersionedFile claims 'no-graph' support, then it may return
294
 
            # None for any parent request, so we replace it with an empty tuple
295
 
            if parent_keys is None:
296
 
                parent_keys = ()
297
 
            parent_lines = []
298
 
            for p in parent_keys:
299
 
                # Alternatively we could check p not in self.needed_keys, but
300
 
                # ghost_parents should be tiny versus huge
301
 
                if p in self.ghost_parents:
302
 
                    continue
303
 
                refcount = self.refcounts[p]
304
 
                if refcount == 1: # Last child reference
305
 
                    self.refcounts.pop(p)
306
 
                    parent_chunks = self.chunks.pop(p)
307
 
                else:
308
 
                    self.refcounts[p] = refcount - 1
309
 
                    parent_chunks = self.chunks[p]
310
 
                p_lines = osutils.chunks_to_lines(parent_chunks)
311
 
                # TODO: Should we cache the line form? We did the
312
 
                #       computation to get it, but storing it this way will
313
 
                #       be less memory efficient...
314
 
                parent_lines.append(p_lines)
315
 
                del p_lines
316
 
            lines = osutils.chunks_to_lines(this_chunks)
317
 
            # Since we needed the lines, we'll go ahead and cache them this way
318
 
            this_chunks = lines
319
 
            self._compute_diff(key, parent_lines, lines)
320
 
            del lines
321
 
        # Is this content required for any more children?
322
 
        if key in self.refcounts:
323
 
            self.chunks[key] = this_chunks
324
 
 
325
 
    def _extract_diffs(self):
326
 
        needed_keys, refcounts = self._find_needed_keys()
327
 
        for record in self.vf.get_record_stream(needed_keys,
328
 
                                                'topological', True):
329
 
            if record.storage_kind == 'absent':
330
 
                raise errors.RevisionNotPresent(record.key, self.vf)
331
 
            self._process_one_record(record.key,
332
 
                                     record.get_bytes_as('chunked'))
333
 
        
334
 
    def compute_diffs(self):
335
 
        self._extract_diffs()
336
 
        dpop = self.diffs.pop
337
 
        return [dpop(k) for k in self.ordered_keys]
338
40
 
339
41
 
340
42
class VersionedFile(object):
341
43
    """Versioned text file storage.
342
 
 
 
44
    
343
45
    A versioned file manages versions of line-based text files,
344
46
    keeping track of the originating version for each line.
345
47
 
351
53
    Texts are identified by a version-id string.
352
54
    """
353
55
 
 
56
    def __init__(self, access_mode):
 
57
        self.finished = False
 
58
        self._access_mode = access_mode
 
59
 
354
60
    @staticmethod
355
61
    def check_not_reserved_id(version_id):
356
62
        revision.check_not_reserved_id(version_id)
359
65
        """Copy this versioned file to name on transport."""
360
66
        raise NotImplementedError(self.copy_to)
361
67
 
362
 
    def get_record_stream(self, versions, ordering, include_delta_closure):
363
 
        """Get a stream of records for versions.
 
68
    def versions(self):
 
69
        """Return a unsorted list of versions."""
 
70
        raise NotImplementedError(self.versions)
364
71
 
365
 
        :param versions: The versions to include. Each version is a tuple
366
 
            (version,).
367
 
        :param ordering: Either 'unordered' or 'topological'. A topologically
368
 
            sorted stream has compression parents strictly before their
369
 
            children.
370
 
        :param include_delta_closure: If True then the closure across any
371
 
            compression parents will be included (in the data content of the
372
 
            stream, not in the emitted records). This guarantees that
373
 
            'fulltext' can be used successfully on every record.
374
 
        :return: An iterator of ContentFactory objects, each of which is only
375
 
            valid until the iterator is advanced.
376
 
        """
377
 
        raise NotImplementedError(self.get_record_stream)
 
72
    def has_ghost(self, version_id):
 
73
        """Returns whether version is present as a ghost."""
 
74
        raise NotImplementedError(self.has_ghost)
378
75
 
379
76
    def has_version(self, version_id):
380
77
        """Returns whether version is present."""
381
78
        raise NotImplementedError(self.has_version)
382
79
 
383
 
    def insert_record_stream(self, stream):
384
 
        """Insert a record stream into this versioned file.
385
 
 
386
 
        :param stream: A stream of records to insert.
387
 
        :return: None
388
 
        :seealso VersionedFile.get_record_stream:
389
 
        """
390
 
        raise NotImplementedError
391
 
 
392
80
    def add_lines(self, version_id, parents, lines, parent_texts=None,
393
81
        left_matching_blocks=None, nostore_sha=None, random_id=False,
394
82
        check_content=True):
408
96
            the data back accurately. (Checking the lines have been split
409
97
            correctly is expensive and extremely unlikely to catch bugs so it
410
98
            is not done at runtime unless check_content is True.)
411
 
        :param parent_texts: An optional dictionary containing the opaque
 
99
        :param parent_texts: An optional dictionary containing the opaque 
412
100
            representations of some or all of the parents of version_id to
413
101
            allow delta optimisations.  VERY IMPORTANT: the texts must be those
414
102
            returned by add_lines or data corruption can be caused.
440
128
 
441
129
    def add_lines_with_ghosts(self, version_id, parents, lines,
442
130
        parent_texts=None, nostore_sha=None, random_id=False,
443
 
        check_content=True, left_matching_blocks=None):
 
131
        check_content=True):
444
132
        """Add lines to the versioned file, allowing ghosts to be present.
445
 
 
 
133
        
446
134
        This takes the same parameters as add_lines and returns the same.
447
135
        """
448
136
        self._check_write_ok()
449
137
        return self._add_lines_with_ghosts(version_id, parents, lines,
450
 
            parent_texts, nostore_sha, random_id, check_content, left_matching_blocks)
 
138
            parent_texts, nostore_sha, random_id, check_content)
451
139
 
452
140
    def _add_lines_with_ghosts(self, version_id, parents, lines, parent_texts,
453
 
        nostore_sha, random_id, check_content, left_matching_blocks):
 
141
        nostore_sha, random_id, check_content):
454
142
        """Helper to do class specific add_lines_with_ghosts."""
455
143
        raise NotImplementedError(self.add_lines_with_ghosts)
456
144
 
470
158
            if '\n' in line[:-1]:
471
159
                raise errors.BzrBadParameterContainsNewline("lines")
472
160
 
 
161
    def _check_write_ok(self):
 
162
        """Is the versioned file marked as 'finished' ? Raise if it is."""
 
163
        if self.finished:
 
164
            raise errors.OutSideTransaction()
 
165
        if self._access_mode != 'w':
 
166
            raise errors.ReadOnlyObjectDirtiedError(self)
 
167
 
 
168
    def enable_cache(self):
 
169
        """Tell this versioned file that it should cache any data it reads.
 
170
        
 
171
        This is advisory, implementations do not have to support caching.
 
172
        """
 
173
        pass
 
174
    
 
175
    def clear_cache(self):
 
176
        """Remove any data cached in the versioned file object.
 
177
 
 
178
        This only needs to be supported if caches are supported
 
179
        """
 
180
        pass
 
181
 
 
182
    def clone_text(self, new_version_id, old_version_id, parents):
 
183
        """Add an identical text to old_version_id as new_version_id.
 
184
 
 
185
        Must raise RevisionNotPresent if the old version or any of the
 
186
        parents are not present in file history.
 
187
 
 
188
        Must raise RevisionAlreadyPresent if the new version is
 
189
        already present in file history."""
 
190
        self._check_write_ok()
 
191
        return self._clone_text(new_version_id, old_version_id, parents)
 
192
 
 
193
    def _clone_text(self, new_version_id, old_version_id, parents):
 
194
        """Helper function to do the _clone_text work."""
 
195
        raise NotImplementedError(self.clone_text)
 
196
 
 
197
    def create_empty(self, name, transport, mode=None):
 
198
        """Create a new versioned file of this exact type.
 
199
 
 
200
        :param name: the file name
 
201
        :param transport: the transport
 
202
        :param mode: optional file mode.
 
203
        """
 
204
        raise NotImplementedError(self.create_empty)
 
205
 
473
206
    def get_format_signature(self):
474
207
        """Get a text description of the data encoding in this file.
475
 
 
 
208
        
476
209
        :since: 0.90
477
210
        """
478
211
        raise NotImplementedError(self.get_format_signature)
479
212
 
480
213
    def make_mpdiffs(self, version_ids):
481
214
        """Create multiparent diffs for specified versions."""
482
 
        # XXX: Can't use _MPDiffGenerator just yet. This is because version_ids
483
 
        #      is a list of strings, not keys. And while self.get_record_stream
484
 
        #      is supported, it takes *keys*, while self.get_parent_map() takes
485
 
        #      strings... *sigh*
486
215
        knit_versions = set()
487
 
        knit_versions.update(version_ids)
488
 
        parent_map = self.get_parent_map(version_ids)
489
216
        for version_id in version_ids:
490
 
            try:
491
 
                knit_versions.update(parent_map[version_id])
492
 
            except KeyError:
493
 
                raise errors.RevisionNotPresent(version_id, self)
494
 
        # We need to filter out ghosts, because we can't diff against them.
495
 
        knit_versions = set(self.get_parent_map(knit_versions).keys())
 
217
            knit_versions.add(version_id)
 
218
            knit_versions.update(self.get_parents(version_id))
496
219
        lines = dict(zip(knit_versions,
497
220
            self._get_lf_split_line_list(knit_versions)))
498
221
        diffs = []
499
222
        for version_id in version_ids:
500
223
            target = lines[version_id]
501
 
            try:
502
 
                parents = [lines[p] for p in parent_map[version_id] if p in
503
 
                    knit_versions]
504
 
            except KeyError:
505
 
                # I don't know how this could ever trigger.
506
 
                # parent_map[version_id] was already triggered in the previous
507
 
                # for loop, and lines[p] has the 'if p in knit_versions' check,
508
 
                # so we again won't have a KeyError.
509
 
                raise errors.RevisionNotPresent(version_id, self)
 
224
            parents = [lines[p] for p in self.get_parents(version_id)]
510
225
            if len(parents) > 0:
511
226
                left_parent_blocks = self._extract_blocks(version_id,
512
227
                                                          parents[0], target)
536
251
        for version, parent_ids, expected_sha1, mpdiff in records:
537
252
            needed_parents.update(p for p in parent_ids
538
253
                                  if not mpvf.has_version(p))
539
 
        present_parents = set(self.get_parent_map(needed_parents).keys())
540
 
        for parent_id, lines in zip(present_parents,
541
 
                                 self._get_lf_split_line_list(present_parents)):
 
254
        for parent_id, lines in zip(needed_parents,
 
255
                                 self._get_lf_split_line_list(needed_parents)):
542
256
            mpvf.add_version(lines, parent_id, [])
543
257
        for (version, parent_ids, expected_sha1, mpdiff), lines in\
544
258
            zip(records, mpvf.get_line_list(versions)):
547
261
                    mpvf.get_diff(parent_ids[0]).num_lines()))
548
262
            else:
549
263
                left_matching_blocks = None
550
 
            try:
551
 
                _, _, version_text = self.add_lines_with_ghosts(version,
552
 
                    parent_ids, lines, vf_parents,
553
 
                    left_matching_blocks=left_matching_blocks)
554
 
            except NotImplementedError:
555
 
                # The vf can't handle ghosts, so add lines normally, which will
556
 
                # (reasonably) fail if there are ghosts in the data.
557
 
                _, _, version_text = self.add_lines(version,
558
 
                    parent_ids, lines, vf_parents,
559
 
                    left_matching_blocks=left_matching_blocks)
 
264
            _, _, version_text = self.add_lines(version, parent_ids, lines,
 
265
                vf_parents, left_matching_blocks=left_matching_blocks)
560
266
            vf_parents[version] = version_text
561
 
        sha1s = self.get_sha1s(versions)
562
 
        for version, parent_ids, expected_sha1, mpdiff in records:
563
 
            if expected_sha1 != sha1s[version]:
 
267
        for (version, parent_ids, expected_sha1, mpdiff), sha1 in\
 
268
             zip(records, self.get_sha1s(versions)):
 
269
            if expected_sha1 != sha1:
564
270
                raise errors.VersionedFileInvalidChecksum(version)
565
271
 
 
272
    def get_sha1(self, version_id):
 
273
        """Get the stored sha1 sum for the given revision.
 
274
        
 
275
        :param version_id: The name of the version to lookup
 
276
        """
 
277
        raise NotImplementedError(self.get_sha1)
 
278
 
 
279
    def get_sha1s(self, version_ids):
 
280
        """Get the stored sha1 sums for the given revisions.
 
281
 
 
282
        :param version_ids: The names of the versions to lookup
 
283
        :return: a list of sha1s in order according to the version_ids
 
284
        """
 
285
        raise NotImplementedError(self.get_sha1s)
 
286
 
 
287
    def get_suffixes(self):
 
288
        """Return the file suffixes associated with this versioned file."""
 
289
        raise NotImplementedError(self.get_suffixes)
 
290
    
566
291
    def get_text(self, version_id):
567
292
        """Return version contents as a text string.
568
293
 
603
328
        if isinstance(version_ids, basestring):
604
329
            version_ids = [version_ids]
605
330
        raise NotImplementedError(self.get_ancestry)
606
 
 
 
331
        
607
332
    def get_ancestry_with_ghosts(self, version_ids):
608
333
        """Return a list of all ancestors of given version(s). This
609
334
        will not include the null revision.
610
335
 
611
336
        Must raise RevisionNotPresent if any of the given versions are
612
337
        not present in file history.
613
 
 
 
338
        
614
339
        Ghosts that are known about will be included in ancestry list,
615
340
        but are not explicitly marked.
616
341
        """
617
342
        raise NotImplementedError(self.get_ancestry_with_ghosts)
618
 
 
619
 
    def get_parent_map(self, version_ids):
620
 
        """Get a map of the parents of version_ids.
621
 
 
622
 
        :param version_ids: The version ids to look up parents for.
623
 
        :return: A mapping from version id to parents.
624
 
        """
625
 
        raise NotImplementedError(self.get_parent_map)
 
343
        
 
344
    def get_graph(self, version_ids=None):
 
345
        """Return a graph from the versioned file. 
 
346
        
 
347
        Ghosts are not listed or referenced in the graph.
 
348
        :param version_ids: Versions to select.
 
349
                            None means retrieve all versions.
 
350
        """
 
351
        if version_ids is None:
 
352
            return dict(self.iter_parents(self.versions()))
 
353
        result = {}
 
354
        pending = set(version_ids)
 
355
        while pending:
 
356
            this_iteration = pending
 
357
            pending = set()
 
358
            for version, parents in self.iter_parents(this_iteration):
 
359
                result[version] = parents
 
360
                for parent in parents:
 
361
                    if parent in result:
 
362
                        continue
 
363
                    pending.add(parent)
 
364
        return result
 
365
 
 
366
    def get_graph_with_ghosts(self):
 
367
        """Return a graph for the entire versioned file.
 
368
        
 
369
        Ghosts are referenced in parents list but are not
 
370
        explicitly listed.
 
371
        """
 
372
        raise NotImplementedError(self.get_graph_with_ghosts)
 
373
 
 
374
    def get_parents(self, version_id):
 
375
        """Return version names for parents of a version.
 
376
 
 
377
        Must raise RevisionNotPresent if version is not present in
 
378
        file history.
 
379
        """
 
380
        raise NotImplementedError(self.get_parents)
626
381
 
627
382
    def get_parents_with_ghosts(self, version_id):
628
383
        """Return version names for parents of version_id.
633
388
        Ghosts that are known about will be included in the parent list,
634
389
        but are not explicitly marked.
635
390
        """
636
 
        try:
637
 
            return list(self.get_parent_map([version_id])[version_id])
638
 
        except KeyError:
639
 
            raise errors.RevisionNotPresent(version_id, self)
 
391
        raise NotImplementedError(self.get_parents_with_ghosts)
 
392
 
 
393
    def annotate_iter(self, version_id):
 
394
        """Yield list of (version-id, line) pairs for the specified
 
395
        version.
 
396
 
 
397
        Must raise RevisionNotPresent if the given version is
 
398
        not present in file history.
 
399
        """
 
400
        raise NotImplementedError(self.annotate_iter)
640
401
 
641
402
    def annotate(self, version_id):
642
 
        """Return a list of (version-id, line) tuples for version_id.
643
 
 
644
 
        :raise RevisionNotPresent: If the given version is
645
 
        not present in file history.
 
403
        return list(self.annotate_iter(version_id))
 
404
 
 
405
    def join(self, other, pb=None, msg=None, version_ids=None,
 
406
             ignore_missing=False):
 
407
        """Integrate versions from other into this versioned file.
 
408
 
 
409
        If version_ids is None all versions from other should be
 
410
        incorporated into this versioned file.
 
411
 
 
412
        Must raise RevisionNotPresent if any of the specified versions
 
413
        are not present in the other file's history unless ignore_missing
 
414
        is supplied in which case they are silently skipped.
646
415
        """
647
 
        raise NotImplementedError(self.annotate)
 
416
        self._check_write_ok()
 
417
        return InterVersionedFile.get(other, self).join(
 
418
            pb,
 
419
            msg,
 
420
            version_ids,
 
421
            ignore_missing)
648
422
 
649
423
    def iter_lines_added_or_present_in_versions(self, version_ids=None,
650
424
                                                pb=None):
668
442
        """
669
443
        raise NotImplementedError(self.iter_lines_added_or_present_in_versions)
670
444
 
 
445
    def iter_parents(self, version_ids):
 
446
        """Iterate through the parents for many version ids.
 
447
 
 
448
        :param version_ids: An iterable yielding version_ids.
 
449
        :return: An iterator that yields (version_id, parents). Requested 
 
450
            version_ids not present in the versioned file are simply skipped.
 
451
            The order is undefined, allowing for different optimisations in
 
452
            the underlying implementation.
 
453
        """
 
454
        for version_id in version_ids:
 
455
            try:
 
456
                yield version_id, tuple(self.get_parents(version_id))
 
457
            except errors.RevisionNotPresent:
 
458
                pass
 
459
 
 
460
    def transaction_finished(self):
 
461
        """The transaction that this file was opened in has finished.
 
462
 
 
463
        This records self.finished = True and should cause all mutating
 
464
        operations to error.
 
465
        """
 
466
        self.finished = True
 
467
 
671
468
    def plan_merge(self, ver_a, ver_b):
672
469
        """Return pseudo-annotation indicating how the two versions merge.
673
470
 
684
481
        unchanged   Alive in both a and b (possibly created in both)
685
482
        new-a       Created in a
686
483
        new-b       Created in b
687
 
        ghost-a     Killed in a, unborn in b
 
484
        ghost-a     Killed in a, unborn in b    
688
485
        ghost-b     Killed in b, unborn in a
689
486
        irrelevant  Not in either revision
690
487
        """
691
488
        raise NotImplementedError(VersionedFile.plan_merge)
692
 
 
 
489
        
693
490
    def weave_merge(self, plan, a_marker=TextMerge.A_MARKER,
694
491
                    b_marker=TextMerge.B_MARKER):
695
492
        return PlanWeaveMerge(plan, a_marker, b_marker).merge_lines()[0]
696
493
 
697
494
 
698
 
class RecordingVersionedFilesDecorator(object):
699
 
    """A minimal versioned files that records calls made on it.
700
 
 
701
 
    Only enough methods have been added to support tests using it to date.
702
 
 
703
 
    :ivar calls: A list of the calls made; can be reset at any time by
704
 
        assigning [] to it.
705
 
    """
706
 
 
707
 
    def __init__(self, backing_vf):
708
 
        """Create a RecordingVersionedFilesDecorator decorating backing_vf.
709
 
 
710
 
        :param backing_vf: The versioned file to answer all methods.
711
 
        """
712
 
        self._backing_vf = backing_vf
713
 
        self.calls = []
714
 
 
715
 
    def add_lines(self, key, parents, lines, parent_texts=None,
716
 
        left_matching_blocks=None, nostore_sha=None, random_id=False,
717
 
        check_content=True):
718
 
        self.calls.append(("add_lines", key, parents, lines, parent_texts,
719
 
            left_matching_blocks, nostore_sha, random_id, check_content))
720
 
        return self._backing_vf.add_lines(key, parents, lines, parent_texts,
721
 
            left_matching_blocks, nostore_sha, random_id, check_content)
722
 
 
723
 
    def check(self):
724
 
        self._backing_vf.check()
725
 
 
726
 
    def get_parent_map(self, keys):
727
 
        self.calls.append(("get_parent_map", copy(keys)))
728
 
        return self._backing_vf.get_parent_map(keys)
729
 
 
730
 
    def get_record_stream(self, keys, sort_order, include_delta_closure):
731
 
        self.calls.append(("get_record_stream", list(keys), sort_order,
732
 
            include_delta_closure))
733
 
        return self._backing_vf.get_record_stream(keys, sort_order,
734
 
            include_delta_closure)
735
 
 
736
 
    def get_sha1s(self, keys):
737
 
        self.calls.append(("get_sha1s", copy(keys)))
738
 
        return self._backing_vf.get_sha1s(keys)
739
 
 
740
 
    def iter_lines_added_or_present_in_keys(self, keys, pb=None):
741
 
        self.calls.append(("iter_lines_added_or_present_in_keys", copy(keys)))
742
 
        return self._backing_vf.iter_lines_added_or_present_in_keys(keys, pb=pb)
743
 
 
744
 
    def keys(self):
745
 
        self.calls.append(("keys",))
746
 
        return self._backing_vf.keys()
747
 
 
748
 
 
749
 
class OrderingVersionedFilesDecorator(RecordingVersionedFilesDecorator):
750
 
    """A VF that records calls, and returns keys in specific order.
751
 
 
752
 
    :ivar calls: A list of the calls made; can be reset at any time by
753
 
        assigning [] to it.
754
 
    """
755
 
 
756
 
    def __init__(self, backing_vf, key_priority):
757
 
        """Create a RecordingVersionedFilesDecorator decorating backing_vf.
758
 
 
759
 
        :param backing_vf: The versioned file to answer all methods.
760
 
        :param key_priority: A dictionary defining what order keys should be
761
 
            returned from an 'unordered' get_record_stream request.
762
 
            Keys with lower priority are returned first, keys not present in
763
 
            the map get an implicit priority of 0, and are returned in
764
 
            lexicographical order.
765
 
        """
766
 
        RecordingVersionedFilesDecorator.__init__(self, backing_vf)
767
 
        self._key_priority = key_priority
768
 
 
769
 
    def get_record_stream(self, keys, sort_order, include_delta_closure):
770
 
        self.calls.append(("get_record_stream", list(keys), sort_order,
771
 
            include_delta_closure))
772
 
        if sort_order == 'unordered':
773
 
            def sort_key(key):
774
 
                return (self._key_priority.get(key, 0), key)
775
 
            # Use a defined order by asking for the keys one-by-one from the
776
 
            # backing_vf
777
 
            for key in sorted(keys, key=sort_key):
778
 
                for record in self._backing_vf.get_record_stream([key],
779
 
                                'unordered', include_delta_closure):
780
 
                    yield record
781
 
        else:
782
 
            for record in self._backing_vf.get_record_stream(keys, sort_order,
783
 
                            include_delta_closure):
784
 
                yield record
785
 
 
786
 
 
787
 
class KeyMapper(object):
788
 
    """KeyMappers map between keys and underlying partitioned storage."""
789
 
 
790
 
    def map(self, key):
791
 
        """Map key to an underlying storage identifier.
792
 
 
793
 
        :param key: A key tuple e.g. ('file-id', 'revision-id').
794
 
        :return: An underlying storage identifier, specific to the partitioning
795
 
            mechanism.
796
 
        """
797
 
        raise NotImplementedError(self.map)
798
 
 
799
 
    def unmap(self, partition_id):
800
 
        """Map a partitioned storage id back to a key prefix.
801
 
 
802
 
        :param partition_id: The underlying partition id.
803
 
        :return: As much of a key (or prefix) as is derivable from the partition
804
 
            id.
805
 
        """
806
 
        raise NotImplementedError(self.unmap)
807
 
 
808
 
 
809
 
class ConstantMapper(KeyMapper):
810
 
    """A key mapper that maps to a constant result."""
811
 
 
812
 
    def __init__(self, result):
813
 
        """Create a ConstantMapper which will return result for all maps."""
814
 
        self._result = result
815
 
 
816
 
    def map(self, key):
817
 
        """See KeyMapper.map()."""
818
 
        return self._result
819
 
 
820
 
 
821
 
class URLEscapeMapper(KeyMapper):
822
 
    """Base class for use with transport backed storage.
823
 
 
824
 
    This provides a map and unmap wrapper that respectively url escape and
825
 
    unescape their outputs and inputs.
826
 
    """
827
 
 
828
 
    def map(self, key):
829
 
        """See KeyMapper.map()."""
830
 
        return urllib.quote(self._map(key))
831
 
 
832
 
    def unmap(self, partition_id):
833
 
        """See KeyMapper.unmap()."""
834
 
        return self._unmap(urllib.unquote(partition_id))
835
 
 
836
 
 
837
 
class PrefixMapper(URLEscapeMapper):
838
 
    """A key mapper that extracts the first component of a key.
839
 
 
840
 
    This mapper is for use with a transport based backend.
841
 
    """
842
 
 
843
 
    def _map(self, key):
844
 
        """See KeyMapper.map()."""
845
 
        return key[0]
846
 
 
847
 
    def _unmap(self, partition_id):
848
 
        """See KeyMapper.unmap()."""
849
 
        return (partition_id,)
850
 
 
851
 
 
852
 
class HashPrefixMapper(URLEscapeMapper):
853
 
    """A key mapper that combines the first component of a key with a hash.
854
 
 
855
 
    This mapper is for use with a transport based backend.
856
 
    """
857
 
 
858
 
    def _map(self, key):
859
 
        """See KeyMapper.map()."""
860
 
        prefix = self._escape(key[0])
861
 
        return "%02x/%s" % (adler32(prefix) & 0xff, prefix)
862
 
 
863
 
    def _escape(self, prefix):
864
 
        """No escaping needed here."""
865
 
        return prefix
866
 
 
867
 
    def _unmap(self, partition_id):
868
 
        """See KeyMapper.unmap()."""
869
 
        return (self._unescape(osutils.basename(partition_id)),)
870
 
 
871
 
    def _unescape(self, basename):
872
 
        """No unescaping needed for HashPrefixMapper."""
873
 
        return basename
874
 
 
875
 
 
876
 
class HashEscapedPrefixMapper(HashPrefixMapper):
877
 
    """Combines the escaped first component of a key with a hash.
878
 
 
879
 
    This mapper is for use with a transport based backend.
880
 
    """
881
 
 
882
 
    _safe = "abcdefghijklmnopqrstuvwxyz0123456789-_@,."
883
 
 
884
 
    def _escape(self, prefix):
885
 
        """Turn a key element into a filesystem safe string.
886
 
 
887
 
        This is similar to a plain urllib.quote, except
888
 
        it uses specific safe characters, so that it doesn't
889
 
        have to translate a lot of valid file ids.
890
 
        """
891
 
        # @ does not get escaped. This is because it is a valid
892
 
        # filesystem character we use all the time, and it looks
893
 
        # a lot better than seeing %40 all the time.
894
 
        r = [((c in self._safe) and c or ('%%%02x' % ord(c)))
895
 
             for c in prefix]
896
 
        return ''.join(r)
897
 
 
898
 
    def _unescape(self, basename):
899
 
        """Escaped names are easily unescaped by urlutils."""
900
 
        return urllib.unquote(basename)
901
 
 
902
 
 
903
 
def make_versioned_files_factory(versioned_file_factory, mapper):
904
 
    """Create a ThunkedVersionedFiles factory.
905
 
 
906
 
    This will create a callable which when called creates a
907
 
    ThunkedVersionedFiles on a transport, using mapper to access individual
908
 
    versioned files, and versioned_file_factory to create each individual file.
909
 
    """
910
 
    def factory(transport):
911
 
        return ThunkedVersionedFiles(transport, versioned_file_factory, mapper,
912
 
            lambda:True)
913
 
    return factory
914
 
 
915
 
 
916
 
class VersionedFiles(object):
917
 
    """Storage for many versioned files.
918
 
 
919
 
    This object allows a single keyspace for accessing the history graph and
920
 
    contents of named bytestrings.
921
 
 
922
 
    Currently no implementation allows the graph of different key prefixes to
923
 
    intersect, but the API does allow such implementations in the future.
924
 
 
925
 
    The keyspace is expressed via simple tuples. Any instance of VersionedFiles
926
 
    may have a different length key-size, but that size will be constant for
927
 
    all texts added to or retrieved from it. For instance, bzrlib uses
928
 
    instances with a key-size of 2 for storing user files in a repository, with
929
 
    the first element the fileid, and the second the version of that file.
930
 
 
931
 
    The use of tuples allows a single code base to support several different
932
 
    uses with only the mapping logic changing from instance to instance.
933
 
    """
934
 
 
935
 
    def add_lines(self, key, parents, lines, parent_texts=None,
936
 
        left_matching_blocks=None, nostore_sha=None, random_id=False,
937
 
        check_content=True):
938
 
        """Add a text to the store.
939
 
 
940
 
        :param key: The key tuple of the text to add. If the last element is
941
 
            None, a CHK string will be generated during the addition.
942
 
        :param parents: The parents key tuples of the text to add.
943
 
        :param lines: A list of lines. Each line must be a bytestring. And all
944
 
            of them except the last must be terminated with \n and contain no
945
 
            other \n's. The last line may either contain no \n's or a single
946
 
            terminating \n. If the lines list does meet this constraint the add
947
 
            routine may error or may succeed - but you will be unable to read
948
 
            the data back accurately. (Checking the lines have been split
949
 
            correctly is expensive and extremely unlikely to catch bugs so it
950
 
            is not done at runtime unless check_content is True.)
951
 
        :param parent_texts: An optional dictionary containing the opaque
952
 
            representations of some or all of the parents of version_id to
953
 
            allow delta optimisations.  VERY IMPORTANT: the texts must be those
954
 
            returned by add_lines or data corruption can be caused.
955
 
        :param left_matching_blocks: a hint about which areas are common
956
 
            between the text and its left-hand-parent.  The format is
957
 
            the SequenceMatcher.get_matching_blocks format.
958
 
        :param nostore_sha: Raise ExistingContent and do not add the lines to
959
 
            the versioned file if the digest of the lines matches this.
960
 
        :param random_id: If True a random id has been selected rather than
961
 
            an id determined by some deterministic process such as a converter
962
 
            from a foreign VCS. When True the backend may choose not to check
963
 
            for uniqueness of the resulting key within the versioned file, so
964
 
            this should only be done when the result is expected to be unique
965
 
            anyway.
966
 
        :param check_content: If True, the lines supplied are verified to be
967
 
            bytestrings that are correctly formed lines.
968
 
        :return: The text sha1, the number of bytes in the text, and an opaque
969
 
                 representation of the inserted version which can be provided
970
 
                 back to future add_lines calls in the parent_texts dictionary.
971
 
        """
972
 
        raise NotImplementedError(self.add_lines)
973
 
 
974
 
    def _add_text(self, key, parents, text, nostore_sha=None, random_id=False):
975
 
        """Add a text to the store.
976
 
 
977
 
        This is a private function for use by CommitBuilder.
978
 
 
979
 
        :param key: The key tuple of the text to add. If the last element is
980
 
            None, a CHK string will be generated during the addition.
981
 
        :param parents: The parents key tuples of the text to add.
982
 
        :param text: A string containing the text to be committed.
983
 
        :param nostore_sha: Raise ExistingContent and do not add the lines to
984
 
            the versioned file if the digest of the lines matches this.
985
 
        :param random_id: If True a random id has been selected rather than
986
 
            an id determined by some deterministic process such as a converter
987
 
            from a foreign VCS. When True the backend may choose not to check
988
 
            for uniqueness of the resulting key within the versioned file, so
989
 
            this should only be done when the result is expected to be unique
990
 
            anyway.
991
 
        :param check_content: If True, the lines supplied are verified to be
992
 
            bytestrings that are correctly formed lines.
993
 
        :return: The text sha1, the number of bytes in the text, and an opaque
994
 
                 representation of the inserted version which can be provided
995
 
                 back to future _add_text calls in the parent_texts dictionary.
996
 
        """
997
 
        # The default implementation just thunks over to .add_lines(),
998
 
        # inefficient, but it works.
999
 
        return self.add_lines(key, parents, osutils.split_lines(text),
1000
 
                              nostore_sha=nostore_sha,
1001
 
                              random_id=random_id,
1002
 
                              check_content=True)
1003
 
 
1004
 
    def add_mpdiffs(self, records):
1005
 
        """Add mpdiffs to this VersionedFile.
1006
 
 
1007
 
        Records should be iterables of version, parents, expected_sha1,
1008
 
        mpdiff. mpdiff should be a MultiParent instance.
1009
 
        """
1010
 
        vf_parents = {}
1011
 
        mpvf = multiparent.MultiMemoryVersionedFile()
1012
 
        versions = []
1013
 
        for version, parent_ids, expected_sha1, mpdiff in records:
1014
 
            versions.append(version)
1015
 
            mpvf.add_diff(mpdiff, version, parent_ids)
1016
 
        needed_parents = set()
1017
 
        for version, parent_ids, expected_sha1, mpdiff in records:
1018
 
            needed_parents.update(p for p in parent_ids
1019
 
                                  if not mpvf.has_version(p))
1020
 
        # It seems likely that adding all the present parents as fulltexts can
1021
 
        # easily exhaust memory.
1022
 
        chunks_to_lines = osutils.chunks_to_lines
1023
 
        for record in self.get_record_stream(needed_parents, 'unordered',
1024
 
            True):
1025
 
            if record.storage_kind == 'absent':
1026
 
                continue
1027
 
            mpvf.add_version(chunks_to_lines(record.get_bytes_as('chunked')),
1028
 
                record.key, [])
1029
 
        for (key, parent_keys, expected_sha1, mpdiff), lines in\
1030
 
            zip(records, mpvf.get_line_list(versions)):
1031
 
            if len(parent_keys) == 1:
1032
 
                left_matching_blocks = list(mpdiff.get_matching_blocks(0,
1033
 
                    mpvf.get_diff(parent_keys[0]).num_lines()))
1034
 
            else:
1035
 
                left_matching_blocks = None
1036
 
            version_sha1, _, version_text = self.add_lines(key,
1037
 
                parent_keys, lines, vf_parents,
1038
 
                left_matching_blocks=left_matching_blocks)
1039
 
            if version_sha1 != expected_sha1:
1040
 
                raise errors.VersionedFileInvalidChecksum(version)
1041
 
            vf_parents[key] = version_text
1042
 
 
1043
 
    def annotate(self, key):
1044
 
        """Return a list of (version-key, line) tuples for the text of key.
1045
 
 
1046
 
        :raise RevisionNotPresent: If the key is not present.
1047
 
        """
1048
 
        raise NotImplementedError(self.annotate)
1049
 
 
1050
 
    def check(self, progress_bar=None):
1051
 
        """Check this object for integrity.
1052
 
        
1053
 
        :param progress_bar: A progress bar to output as the check progresses.
1054
 
        :param keys: Specific keys within the VersionedFiles to check. When
1055
 
            this parameter is not None, check() becomes a generator as per
1056
 
            get_record_stream. The difference to get_record_stream is that
1057
 
            more or deeper checks will be performed.
1058
 
        :return: None, or if keys was supplied a generator as per
1059
 
            get_record_stream.
1060
 
        """
1061
 
        raise NotImplementedError(self.check)
1062
 
 
1063
 
    @staticmethod
1064
 
    def check_not_reserved_id(version_id):
1065
 
        revision.check_not_reserved_id(version_id)
1066
 
 
1067
 
    def clear_cache(self):
1068
 
        """Clear whatever caches this VersionedFile holds.
1069
 
 
1070
 
        This is generally called after an operation has been performed, when we
1071
 
        don't expect to be using this versioned file again soon.
1072
 
        """
1073
 
 
1074
 
    def _check_lines_not_unicode(self, lines):
1075
 
        """Check that lines being added to a versioned file are not unicode."""
1076
 
        for line in lines:
1077
 
            if line.__class__ is not str:
1078
 
                raise errors.BzrBadParameterUnicode("lines")
1079
 
 
1080
 
    def _check_lines_are_lines(self, lines):
1081
 
        """Check that the lines really are full lines without inline EOL."""
1082
 
        for line in lines:
1083
 
            if '\n' in line[:-1]:
1084
 
                raise errors.BzrBadParameterContainsNewline("lines")
1085
 
 
1086
 
    def get_known_graph_ancestry(self, keys):
1087
 
        """Get a KnownGraph instance with the ancestry of keys."""
1088
 
        # most basic implementation is a loop around get_parent_map
1089
 
        pending = set(keys)
1090
 
        parent_map = {}
1091
 
        while pending:
1092
 
            this_parent_map = self.get_parent_map(pending)
1093
 
            parent_map.update(this_parent_map)
1094
 
            pending = set()
1095
 
            map(pending.update, this_parent_map.itervalues())
1096
 
            pending = pending.difference(parent_map)
1097
 
        kg = _mod_graph.KnownGraph(parent_map)
1098
 
        return kg
1099
 
 
1100
 
    def get_parent_map(self, keys):
1101
 
        """Get a map of the parents of keys.
1102
 
 
1103
 
        :param keys: The keys to look up parents for.
1104
 
        :return: A mapping from keys to parents. Absent keys are absent from
1105
 
            the mapping.
1106
 
        """
1107
 
        raise NotImplementedError(self.get_parent_map)
1108
 
 
1109
 
    def get_record_stream(self, keys, ordering, include_delta_closure):
1110
 
        """Get a stream of records for keys.
1111
 
 
1112
 
        :param keys: The keys to include.
1113
 
        :param ordering: Either 'unordered' or 'topological'. A topologically
1114
 
            sorted stream has compression parents strictly before their
1115
 
            children.
1116
 
        :param include_delta_closure: If True then the closure across any
1117
 
            compression parents will be included (in the opaque data).
1118
 
        :return: An iterator of ContentFactory objects, each of which is only
1119
 
            valid until the iterator is advanced.
1120
 
        """
1121
 
        raise NotImplementedError(self.get_record_stream)
1122
 
 
1123
 
    def get_sha1s(self, keys):
1124
 
        """Get the sha1's of the texts for the given keys.
1125
 
 
1126
 
        :param keys: The names of the keys to lookup
1127
 
        :return: a dict from key to sha1 digest. Keys of texts which are not
1128
 
            present in the store are not present in the returned
1129
 
            dictionary.
1130
 
        """
1131
 
        raise NotImplementedError(self.get_sha1s)
1132
 
 
1133
 
    has_key = index._has_key_from_parent_map
1134
 
 
1135
 
    def get_missing_compression_parent_keys(self):
1136
 
        """Return an iterable of keys of missing compression parents.
1137
 
 
1138
 
        Check this after calling insert_record_stream to find out if there are
1139
 
        any missing compression parents.  If there are, the records that
1140
 
        depend on them are not able to be inserted safely. The precise
1141
 
        behaviour depends on the concrete VersionedFiles class in use.
1142
 
 
1143
 
        Classes that do not support this will raise NotImplementedError.
1144
 
        """
1145
 
        raise NotImplementedError(self.get_missing_compression_parent_keys)
1146
 
 
1147
 
    def insert_record_stream(self, stream):
1148
 
        """Insert a record stream into this container.
1149
 
 
1150
 
        :param stream: A stream of records to insert.
1151
 
        :return: None
1152
 
        :seealso VersionedFile.get_record_stream:
1153
 
        """
1154
 
        raise NotImplementedError
1155
 
 
1156
 
    def iter_lines_added_or_present_in_keys(self, keys, pb=None):
1157
 
        """Iterate over the lines in the versioned files from keys.
1158
 
 
1159
 
        This may return lines from other keys. Each item the returned
1160
 
        iterator yields is a tuple of a line and a text version that that line
1161
 
        is present in (not introduced in).
1162
 
 
1163
 
        Ordering of results is in whatever order is most suitable for the
1164
 
        underlying storage format.
1165
 
 
1166
 
        If a progress bar is supplied, it may be used to indicate progress.
1167
 
        The caller is responsible for cleaning up progress bars (because this
1168
 
        is an iterator).
1169
 
 
1170
 
        NOTES:
1171
 
         * Lines are normalised by the underlying store: they will all have \n
1172
 
           terminators.
1173
 
         * Lines are returned in arbitrary order.
1174
 
 
1175
 
        :return: An iterator over (line, key).
1176
 
        """
1177
 
        raise NotImplementedError(self.iter_lines_added_or_present_in_keys)
1178
 
 
1179
 
    def keys(self):
1180
 
        """Return a iterable of the keys for all the contained texts."""
1181
 
        raise NotImplementedError(self.keys)
1182
 
 
1183
 
    def make_mpdiffs(self, keys):
1184
 
        """Create multiparent diffs for specified keys."""
1185
 
        generator = _MPDiffGenerator(self, keys)
1186
 
        return generator.compute_diffs()
1187
 
 
1188
 
    def get_annotator(self):
1189
 
        return annotate.Annotator(self)
1190
 
 
1191
 
    missing_keys = index._missing_keys_from_parent_map
1192
 
 
1193
 
    def _extract_blocks(self, version_id, source, target):
1194
 
        return None
1195
 
 
1196
 
 
1197
 
class ThunkedVersionedFiles(VersionedFiles):
1198
 
    """Storage for many versioned files thunked onto a 'VersionedFile' class.
1199
 
 
1200
 
    This object allows a single keyspace for accessing the history graph and
1201
 
    contents of named bytestrings.
1202
 
 
1203
 
    Currently no implementation allows the graph of different key prefixes to
1204
 
    intersect, but the API does allow such implementations in the future.
1205
 
    """
1206
 
 
1207
 
    def __init__(self, transport, file_factory, mapper, is_locked):
1208
 
        """Create a ThunkedVersionedFiles."""
1209
 
        self._transport = transport
1210
 
        self._file_factory = file_factory
1211
 
        self._mapper = mapper
1212
 
        self._is_locked = is_locked
1213
 
 
1214
 
    def add_lines(self, key, parents, lines, parent_texts=None,
1215
 
        left_matching_blocks=None, nostore_sha=None, random_id=False,
1216
 
        check_content=True):
1217
 
        """See VersionedFiles.add_lines()."""
1218
 
        path = self._mapper.map(key)
1219
 
        version_id = key[-1]
1220
 
        parents = [parent[-1] for parent in parents]
1221
 
        vf = self._get_vf(path)
1222
 
        try:
1223
 
            try:
1224
 
                return vf.add_lines_with_ghosts(version_id, parents, lines,
1225
 
                    parent_texts=parent_texts,
1226
 
                    left_matching_blocks=left_matching_blocks,
1227
 
                    nostore_sha=nostore_sha, random_id=random_id,
1228
 
                    check_content=check_content)
1229
 
            except NotImplementedError:
1230
 
                return vf.add_lines(version_id, parents, lines,
1231
 
                    parent_texts=parent_texts,
1232
 
                    left_matching_blocks=left_matching_blocks,
1233
 
                    nostore_sha=nostore_sha, random_id=random_id,
1234
 
                    check_content=check_content)
1235
 
        except errors.NoSuchFile:
1236
 
            # parent directory may be missing, try again.
1237
 
            self._transport.mkdir(osutils.dirname(path))
1238
 
            try:
1239
 
                return vf.add_lines_with_ghosts(version_id, parents, lines,
1240
 
                    parent_texts=parent_texts,
1241
 
                    left_matching_blocks=left_matching_blocks,
1242
 
                    nostore_sha=nostore_sha, random_id=random_id,
1243
 
                    check_content=check_content)
1244
 
            except NotImplementedError:
1245
 
                return vf.add_lines(version_id, parents, lines,
1246
 
                    parent_texts=parent_texts,
1247
 
                    left_matching_blocks=left_matching_blocks,
1248
 
                    nostore_sha=nostore_sha, random_id=random_id,
1249
 
                    check_content=check_content)
1250
 
 
1251
 
    def annotate(self, key):
1252
 
        """Return a list of (version-key, line) tuples for the text of key.
1253
 
 
1254
 
        :raise RevisionNotPresent: If the key is not present.
1255
 
        """
1256
 
        prefix = key[:-1]
1257
 
        path = self._mapper.map(prefix)
1258
 
        vf = self._get_vf(path)
1259
 
        origins = vf.annotate(key[-1])
1260
 
        result = []
1261
 
        for origin, line in origins:
1262
 
            result.append((prefix + (origin,), line))
1263
 
        return result
1264
 
 
1265
 
    def check(self, progress_bar=None, keys=None):
1266
 
        """See VersionedFiles.check()."""
1267
 
        # XXX: This is over-enthusiastic but as we only thunk for Weaves today
1268
 
        # this is tolerable. Ideally we'd pass keys down to check() and 
1269
 
        # have the older VersiondFile interface updated too.
1270
 
        for prefix, vf in self._iter_all_components():
1271
 
            vf.check()
1272
 
        if keys is not None:
1273
 
            return self.get_record_stream(keys, 'unordered', True)
1274
 
 
1275
 
    def get_parent_map(self, keys):
1276
 
        """Get a map of the parents of keys.
1277
 
 
1278
 
        :param keys: The keys to look up parents for.
1279
 
        :return: A mapping from keys to parents. Absent keys are absent from
1280
 
            the mapping.
1281
 
        """
1282
 
        prefixes = self._partition_keys(keys)
1283
 
        result = {}
1284
 
        for prefix, suffixes in prefixes.items():
1285
 
            path = self._mapper.map(prefix)
1286
 
            vf = self._get_vf(path)
1287
 
            parent_map = vf.get_parent_map(suffixes)
1288
 
            for key, parents in parent_map.items():
1289
 
                result[prefix + (key,)] = tuple(
1290
 
                    prefix + (parent,) for parent in parents)
1291
 
        return result
1292
 
 
1293
 
    def _get_vf(self, path):
1294
 
        if not self._is_locked():
1295
 
            raise errors.ObjectNotLocked(self)
1296
 
        return self._file_factory(path, self._transport, create=True,
1297
 
            get_scope=lambda:None)
1298
 
 
1299
 
    def _partition_keys(self, keys):
1300
 
        """Turn keys into a dict of prefix:suffix_list."""
1301
 
        result = {}
1302
 
        for key in keys:
1303
 
            prefix_keys = result.setdefault(key[:-1], [])
1304
 
            prefix_keys.append(key[-1])
1305
 
        return result
1306
 
 
1307
 
    def _get_all_prefixes(self):
1308
 
        # Identify all key prefixes.
1309
 
        # XXX: A bit hacky, needs polish.
1310
 
        if type(self._mapper) == ConstantMapper:
1311
 
            paths = [self._mapper.map(())]
1312
 
            prefixes = [()]
1313
 
        else:
1314
 
            relpaths = set()
1315
 
            for quoted_relpath in self._transport.iter_files_recursive():
1316
 
                path, ext = os.path.splitext(quoted_relpath)
1317
 
                relpaths.add(path)
1318
 
            paths = list(relpaths)
1319
 
            prefixes = [self._mapper.unmap(path) for path in paths]
1320
 
        return zip(paths, prefixes)
1321
 
 
1322
 
    def get_record_stream(self, keys, ordering, include_delta_closure):
1323
 
        """See VersionedFiles.get_record_stream()."""
1324
 
        # Ordering will be taken care of by each partitioned store; group keys
1325
 
        # by partition.
1326
 
        keys = sorted(keys)
1327
 
        for prefix, suffixes, vf in self._iter_keys_vf(keys):
1328
 
            suffixes = [(suffix,) for suffix in suffixes]
1329
 
            for record in vf.get_record_stream(suffixes, ordering,
1330
 
                include_delta_closure):
1331
 
                if record.parents is not None:
1332
 
                    record.parents = tuple(
1333
 
                        prefix + parent for parent in record.parents)
1334
 
                record.key = prefix + record.key
1335
 
                yield record
1336
 
 
1337
 
    def _iter_keys_vf(self, keys):
1338
 
        prefixes = self._partition_keys(keys)
1339
 
        sha1s = {}
1340
 
        for prefix, suffixes in prefixes.items():
1341
 
            path = self._mapper.map(prefix)
1342
 
            vf = self._get_vf(path)
1343
 
            yield prefix, suffixes, vf
1344
 
 
1345
 
    def get_sha1s(self, keys):
1346
 
        """See VersionedFiles.get_sha1s()."""
1347
 
        sha1s = {}
1348
 
        for prefix,suffixes, vf in self._iter_keys_vf(keys):
1349
 
            vf_sha1s = vf.get_sha1s(suffixes)
1350
 
            for suffix, sha1 in vf_sha1s.iteritems():
1351
 
                sha1s[prefix + (suffix,)] = sha1
1352
 
        return sha1s
1353
 
 
1354
 
    def insert_record_stream(self, stream):
1355
 
        """Insert a record stream into this container.
1356
 
 
1357
 
        :param stream: A stream of records to insert.
1358
 
        :return: None
1359
 
        :seealso VersionedFile.get_record_stream:
1360
 
        """
1361
 
        for record in stream:
1362
 
            prefix = record.key[:-1]
1363
 
            key = record.key[-1:]
1364
 
            if record.parents is not None:
1365
 
                parents = [parent[-1:] for parent in record.parents]
1366
 
            else:
1367
 
                parents = None
1368
 
            thunk_record = AdapterFactory(key, parents, record)
1369
 
            path = self._mapper.map(prefix)
1370
 
            # Note that this parses the file many times; we can do better but
1371
 
            # as this only impacts weaves in terms of performance, it is
1372
 
            # tolerable.
1373
 
            vf = self._get_vf(path)
1374
 
            vf.insert_record_stream([thunk_record])
1375
 
 
1376
 
    def iter_lines_added_or_present_in_keys(self, keys, pb=None):
1377
 
        """Iterate over the lines in the versioned files from keys.
1378
 
 
1379
 
        This may return lines from other keys. Each item the returned
1380
 
        iterator yields is a tuple of a line and a text version that that line
1381
 
        is present in (not introduced in).
1382
 
 
1383
 
        Ordering of results is in whatever order is most suitable for the
1384
 
        underlying storage format.
1385
 
 
1386
 
        If a progress bar is supplied, it may be used to indicate progress.
1387
 
        The caller is responsible for cleaning up progress bars (because this
1388
 
        is an iterator).
1389
 
 
1390
 
        NOTES:
1391
 
         * Lines are normalised by the underlying store: they will all have \n
1392
 
           terminators.
1393
 
         * Lines are returned in arbitrary order.
1394
 
 
1395
 
        :return: An iterator over (line, key).
1396
 
        """
1397
 
        for prefix, suffixes, vf in self._iter_keys_vf(keys):
1398
 
            for line, version in vf.iter_lines_added_or_present_in_versions(suffixes):
1399
 
                yield line, prefix + (version,)
1400
 
 
1401
 
    def _iter_all_components(self):
1402
 
        for path, prefix in self._get_all_prefixes():
1403
 
            yield prefix, self._get_vf(path)
1404
 
 
1405
 
    def keys(self):
1406
 
        """See VersionedFiles.keys()."""
1407
 
        result = set()
1408
 
        for prefix, vf in self._iter_all_components():
1409
 
            for suffix in vf.versions():
1410
 
                result.add(prefix + (suffix,))
1411
 
        return result
1412
 
 
1413
 
 
1414
 
class _PlanMergeVersionedFile(VersionedFiles):
 
495
class _PlanMergeVersionedFile(object):
1415
496
    """A VersionedFile for uncommitted and committed texts.
1416
497
 
1417
498
    It is intended to allow merges to be planned with working tree texts.
1418
 
    It implements only the small part of the VersionedFiles interface used by
 
499
    It implements only the small part of the VersionedFile interface used by
1419
500
    PlanMerge.  It falls back to multiple versionedfiles for data not stored in
1420
501
    _PlanMergeVersionedFile itself.
1421
 
 
1422
 
    :ivar: fallback_versionedfiles a list of VersionedFiles objects that can be
1423
 
        queried for missing texts.
1424
502
    """
1425
503
 
1426
 
    def __init__(self, file_id):
1427
 
        """Create a _PlanMergeVersionedFile.
 
504
    def __init__(self, file_id, fallback_versionedfiles=None):
 
505
        """Constuctor
1428
506
 
1429
 
        :param file_id: Used with _PlanMerge code which is not yet fully
1430
 
            tuple-keyspace aware.
 
507
        :param file_id: Used when raising exceptions.
 
508
        :param fallback_versionedfiles: If supplied, the set of fallbacks to
 
509
            use.  Otherwise, _PlanMergeVersionedFile.fallback_versionedfiles
 
510
            can be appended to later.
1431
511
        """
1432
512
        self._file_id = file_id
1433
 
        # fallback locations
1434
 
        self.fallback_versionedfiles = []
1435
 
        # Parents for locally held keys.
 
513
        if fallback_versionedfiles is None:
 
514
            self.fallback_versionedfiles = []
 
515
        else:
 
516
            self.fallback_versionedfiles = fallback_versionedfiles
1436
517
        self._parents = {}
1437
 
        # line data for locally held keys.
1438
518
        self._lines = {}
1439
 
        # key lookup providers
1440
 
        self._providers = [DictParentsProvider(self._parents)]
1441
519
 
1442
520
    def plan_merge(self, ver_a, ver_b, base=None):
1443
521
        """See VersionedFile.plan_merge"""
1444
522
        from bzrlib.merge import _PlanMerge
1445
523
        if base is None:
1446
 
            return _PlanMerge(ver_a, ver_b, self, (self._file_id,)).plan_merge()
1447
 
        old_plan = list(_PlanMerge(ver_a, base, self, (self._file_id,)).plan_merge())
1448
 
        new_plan = list(_PlanMerge(ver_a, ver_b, self, (self._file_id,)).plan_merge())
 
524
            return _PlanMerge(ver_a, ver_b, self).plan_merge()
 
525
        old_plan = list(_PlanMerge(ver_a, base, self).plan_merge())
 
526
        new_plan = list(_PlanMerge(ver_a, ver_b, self).plan_merge())
1449
527
        return _PlanMerge._subtract_plans(old_plan, new_plan)
1450
528
 
1451
529
    def plan_lca_merge(self, ver_a, ver_b, base=None):
1452
530
        from bzrlib.merge import _PlanLCAMerge
1453
 
        graph = Graph(self)
1454
 
        new_plan = _PlanLCAMerge(ver_a, ver_b, self, (self._file_id,), graph).plan_merge()
 
531
        graph = self._get_graph()
 
532
        new_plan = _PlanLCAMerge(ver_a, ver_b, self, graph).plan_merge()
1455
533
        if base is None:
1456
534
            return new_plan
1457
 
        old_plan = _PlanLCAMerge(ver_a, base, self, (self._file_id,), graph).plan_merge()
 
535
        old_plan = _PlanLCAMerge(ver_a, base, self, graph).plan_merge()
1458
536
        return _PlanLCAMerge._subtract_plans(list(old_plan), list(new_plan))
1459
537
 
1460
 
    def add_lines(self, key, parents, lines):
1461
 
        """See VersionedFiles.add_lines
 
538
    def add_lines(self, version_id, parents, lines):
 
539
        """See VersionedFile.add_lines
1462
540
 
1463
 
        Lines are added locally, not to fallback versionedfiles.  Also, ghosts
1464
 
        are permitted.  Only reserved ids are permitted.
 
541
        Lines are added locally, not fallback versionedfiles.  Also, ghosts are
 
542
        permitted.  Only reserved ids are permitted.
1465
543
        """
1466
 
        if type(key) is not tuple:
1467
 
            raise TypeError(key)
1468
 
        if not revision.is_reserved_id(key[-1]):
 
544
        if not revision.is_reserved_id(version_id):
1469
545
            raise ValueError('Only reserved ids may be used')
1470
546
        if parents is None:
1471
547
            raise ValueError('Parents may not be None')
1472
548
        if lines is None:
1473
549
            raise ValueError('Lines may not be None')
1474
 
        self._parents[key] = tuple(parents)
1475
 
        self._lines[key] = lines
 
550
        self._parents[version_id] = parents
 
551
        self._lines[version_id] = lines
1476
552
 
1477
 
    def get_record_stream(self, keys, ordering, include_delta_closure):
1478
 
        pending = set(keys)
1479
 
        for key in keys:
1480
 
            if key in self._lines:
1481
 
                lines = self._lines[key]
1482
 
                parents = self._parents[key]
1483
 
                pending.remove(key)
1484
 
                yield ChunkedContentFactory(key, parents, None, lines)
 
553
    def get_lines(self, version_id):
 
554
        """See VersionedFile.get_ancestry"""
 
555
        lines = self._lines.get(version_id)
 
556
        if lines is not None:
 
557
            return lines
1485
558
        for versionedfile in self.fallback_versionedfiles:
1486
 
            for record in versionedfile.get_record_stream(
1487
 
                pending, 'unordered', True):
1488
 
                if record.storage_kind == 'absent':
 
559
            try:
 
560
                return versionedfile.get_lines(version_id)
 
561
            except errors.RevisionNotPresent:
 
562
                continue
 
563
        else:
 
564
            raise errors.RevisionNotPresent(version_id, self._file_id)
 
565
 
 
566
    def get_ancestry(self, version_id, topo_sorted=False):
 
567
        """See VersionedFile.get_ancestry.
 
568
 
 
569
        Note that this implementation assumes that if a VersionedFile can
 
570
        answer get_ancestry at all, it can give an authoritative answer.  In
 
571
        fact, ghosts can invalidate this assumption.  But it's good enough
 
572
        99% of the time, and far cheaper/simpler.
 
573
 
 
574
        Also note that the results of this version are never topologically
 
575
        sorted, and are a set.
 
576
        """
 
577
        if topo_sorted:
 
578
            raise ValueError('This implementation does not provide sorting')
 
579
        parents = self._parents.get(version_id)
 
580
        if parents is None:
 
581
            for vf in self.fallback_versionedfiles:
 
582
                try:
 
583
                    return vf.get_ancestry(version_id, topo_sorted=False)
 
584
                except errors.RevisionNotPresent:
1489
585
                    continue
1490
 
                else:
1491
 
                    pending.remove(record.key)
1492
 
                    yield record
1493
 
            if not pending:
1494
 
                return
1495
 
        # report absent entries
1496
 
        for key in pending:
1497
 
            yield AbsentContentFactory(key)
1498
 
 
1499
 
    def get_parent_map(self, keys):
1500
 
        """See VersionedFiles.get_parent_map"""
1501
 
        # We create a new provider because a fallback may have been added.
1502
 
        # If we make fallbacks private we can update a stack list and avoid
1503
 
        # object creation thrashing.
1504
 
        keys = set(keys)
1505
 
        result = {}
1506
 
        if revision.NULL_REVISION in keys:
1507
 
            keys.remove(revision.NULL_REVISION)
1508
 
            result[revision.NULL_REVISION] = ()
1509
 
        self._providers = self._providers[:1] + self.fallback_versionedfiles
1510
 
        result.update(
1511
 
            StackedParentsProvider(self._providers).get_parent_map(keys))
1512
 
        for key, parents in result.iteritems():
1513
 
            if parents == ():
1514
 
                result[key] = (revision.NULL_REVISION,)
1515
 
        return result
 
586
            else:
 
587
                raise errors.RevisionNotPresent(version_id, self._file_id)
 
588
        ancestry = set([version_id])
 
589
        for parent in parents:
 
590
            ancestry.update(self.get_ancestry(parent, topo_sorted=False))
 
591
        return ancestry
 
592
 
 
593
    def get_parents(self, version_id):
 
594
        """See VersionedFile.get_parents"""
 
595
        parents = self._parents.get(version_id)
 
596
        if parents is not None:
 
597
            return parents
 
598
        for versionedfile in self.fallback_versionedfiles:
 
599
            try:
 
600
                return versionedfile.get_parents(version_id)
 
601
            except errors.RevisionNotPresent:
 
602
                continue
 
603
        else:
 
604
            raise errors.RevisionNotPresent(version_id, self._file_id)
 
605
 
 
606
    def _get_graph(self):
 
607
        from bzrlib.graph import (
 
608
            DictParentsProvider,
 
609
            Graph,
 
610
            _StackedParentsProvider,
 
611
            )
 
612
        from bzrlib.repofmt.knitrepo import _KnitParentsProvider
 
613
        parent_providers = [DictParentsProvider(self._parents)]
 
614
        for vf in self.fallback_versionedfiles:
 
615
            parent_providers.append(_KnitParentsProvider(vf))
 
616
        return Graph(_StackedParentsProvider(parent_providers))
1516
617
 
1517
618
 
1518
619
class PlanWeaveMerge(TextMerge):
1519
620
    """Weave merge that takes a plan as its input.
1520
 
 
 
621
    
1521
622
    This exists so that VersionedFile.plan_merge is implementable.
1522
623
    Most callers will want to use WeaveMerge instead.
1523
624
    """
1525
626
    def __init__(self, plan, a_marker=TextMerge.A_MARKER,
1526
627
                 b_marker=TextMerge.B_MARKER):
1527
628
        TextMerge.__init__(self, a_marker, b_marker)
1528
 
        self.plan = list(plan)
 
629
        self.plan = plan
1529
630
 
1530
631
    def _merge_struct(self):
1531
632
        lines_a = []
1544
645
                yield(lines_a,)
1545
646
            else:
1546
647
                yield (lines_a, lines_b)
1547
 
 
 
648
       
1548
649
        # We previously considered either 'unchanged' or 'killed-both' lines
1549
650
        # to be possible places to resynchronize.  However, assuming agreement
1550
651
        # on killed-both lines may be too aggressive. -- mbp 20060324
1556
657
                lines_a = []
1557
658
                lines_b = []
1558
659
                ch_a = ch_b = False
1559
 
 
 
660
                
1560
661
            if state == 'unchanged':
1561
662
                if line:
1562
663
                    yield ([line],)
1578
679
            elif state == 'conflicted-b':
1579
680
                ch_b = ch_a = True
1580
681
                lines_b.append(line)
1581
 
            elif state == 'killed-both':
1582
 
                # This counts as a change, even though there is no associated
1583
 
                # line
1584
 
                ch_b = ch_a = True
1585
682
            else:
1586
 
                if state not in ('irrelevant', 'ghost-a', 'ghost-b',
1587
 
                        'killed-base'):
1588
 
                    raise AssertionError(state)
 
683
                assert state in ('irrelevant', 'ghost-a', 'ghost-b', 
 
684
                                 'killed-base', 'killed-both'), state
1589
685
        for struct in outstanding_struct():
1590
686
            yield struct
1591
687
 
1592
 
    def base_from_plan(self):
1593
 
        """Construct a BASE file from the plan text."""
1594
 
        base_lines = []
1595
 
        for state, line in self.plan:
1596
 
            if state in ('killed-a', 'killed-b', 'killed-both', 'unchanged'):
1597
 
                # If unchanged, then this line is straight from base. If a or b
1598
 
                # or both killed the line, then it *used* to be in base.
1599
 
                base_lines.append(line)
1600
 
            else:
1601
 
                if state not in ('killed-base', 'irrelevant',
1602
 
                                 'ghost-a', 'ghost-b',
1603
 
                                 'new-a', 'new-b',
1604
 
                                 'conflicted-a', 'conflicted-b'):
1605
 
                    # killed-base, irrelevant means it doesn't apply
1606
 
                    # ghost-a/ghost-b are harder to say for sure, but they
1607
 
                    # aren't in the 'inc_c' which means they aren't in the
1608
 
                    # shared base of a & b. So we don't include them.  And
1609
 
                    # obviously if the line is newly inserted, it isn't in base
1610
 
 
1611
 
                    # If 'conflicted-a' or b, then it is new vs one base, but
1612
 
                    # old versus another base. However, if we make it present
1613
 
                    # in the base, it will be deleted from the target, and it
1614
 
                    # seems better to get a line doubled in the merge result,
1615
 
                    # rather than have it deleted entirely.
1616
 
                    # Example, each node is the 'text' at that point:
1617
 
                    #           MN
1618
 
                    #          /   \
1619
 
                    #        MaN   MbN
1620
 
                    #         |  X  |
1621
 
                    #        MabN MbaN
1622
 
                    #          \   /
1623
 
                    #           ???
1624
 
                    # There was a criss-cross conflict merge. Both sides
1625
 
                    # include the other, but put themselves first.
1626
 
                    # Weave marks this as a 'clean' merge, picking OTHER over
1627
 
                    # THIS. (Though the details depend on order inserted into
1628
 
                    # weave, etc.)
1629
 
                    # LCA generates a plan:
1630
 
                    # [('unchanged', M),
1631
 
                    #  ('conflicted-b', b),
1632
 
                    #  ('unchanged', a),
1633
 
                    #  ('conflicted-a', b),
1634
 
                    #  ('unchanged', N)]
1635
 
                    # If you mark 'conflicted-*' as part of BASE, then a 3-way
1636
 
                    # merge tool will cleanly generate "MaN" (as BASE vs THIS
1637
 
                    # removes one 'b', and BASE vs OTHER removes the other)
1638
 
                    # If you include neither, 3-way creates a clean "MbabN" as
1639
 
                    # THIS adds one 'b', and OTHER does too.
1640
 
                    # It seems that having the line 2 times is better than
1641
 
                    # having it omitted. (Easier to manually delete than notice
1642
 
                    # it needs to be added.)
1643
 
                    raise AssertionError('Unknown state: %s' % (state,))
1644
 
        return base_lines
1645
 
 
1646
688
 
1647
689
class WeaveMerge(PlanWeaveMerge):
1648
690
    """Weave merge that takes a VersionedFile and two versions as its input."""
1649
691
 
1650
 
    def __init__(self, versionedfile, ver_a, ver_b,
 
692
    def __init__(self, versionedfile, ver_a, ver_b, 
1651
693
        a_marker=PlanWeaveMerge.A_MARKER, b_marker=PlanWeaveMerge.B_MARKER):
1652
694
        plan = versionedfile.plan_merge(ver_a, ver_b)
1653
695
        PlanWeaveMerge.__init__(self, plan, a_marker, b_marker)
1654
696
 
1655
697
 
1656
 
class VirtualVersionedFiles(VersionedFiles):
1657
 
    """Dummy implementation for VersionedFiles that uses other functions for
1658
 
    obtaining fulltexts and parent maps.
1659
 
 
1660
 
    This is always on the bottom of the stack and uses string keys
1661
 
    (rather than tuples) internally.
1662
 
    """
1663
 
 
1664
 
    def __init__(self, get_parent_map, get_lines):
1665
 
        """Create a VirtualVersionedFiles.
1666
 
 
1667
 
        :param get_parent_map: Same signature as Repository.get_parent_map.
1668
 
        :param get_lines: Should return lines for specified key or None if
1669
 
                          not available.
1670
 
        """
1671
 
        super(VirtualVersionedFiles, self).__init__()
1672
 
        self._get_parent_map = get_parent_map
1673
 
        self._get_lines = get_lines
1674
 
 
1675
 
    def check(self, progressbar=None):
1676
 
        """See VersionedFiles.check.
1677
 
 
1678
 
        :note: Always returns True for VirtualVersionedFiles.
1679
 
        """
1680
 
        return True
1681
 
 
1682
 
    def add_mpdiffs(self, records):
1683
 
        """See VersionedFiles.mpdiffs.
1684
 
 
1685
 
        :note: Not implemented for VirtualVersionedFiles.
1686
 
        """
1687
 
        raise NotImplementedError(self.add_mpdiffs)
1688
 
 
1689
 
    def get_parent_map(self, keys):
1690
 
        """See VersionedFiles.get_parent_map."""
1691
 
        return dict([((k,), tuple([(p,) for p in v]))
1692
 
            for k,v in self._get_parent_map([k for (k,) in keys]).iteritems()])
1693
 
 
1694
 
    def get_sha1s(self, keys):
1695
 
        """See VersionedFiles.get_sha1s."""
1696
 
        ret = {}
1697
 
        for (k,) in keys:
1698
 
            lines = self._get_lines(k)
1699
 
            if lines is not None:
1700
 
                if not isinstance(lines, list):
1701
 
                    raise AssertionError
1702
 
                ret[(k,)] = osutils.sha_strings(lines)
1703
 
        return ret
1704
 
 
1705
 
    def get_record_stream(self, keys, ordering, include_delta_closure):
1706
 
        """See VersionedFiles.get_record_stream."""
1707
 
        for (k,) in list(keys):
1708
 
            lines = self._get_lines(k)
1709
 
            if lines is not None:
1710
 
                if not isinstance(lines, list):
1711
 
                    raise AssertionError
1712
 
                yield ChunkedContentFactory((k,), None,
1713
 
                        sha1=osutils.sha_strings(lines),
1714
 
                        chunks=lines)
1715
 
            else:
1716
 
                yield AbsentContentFactory((k,))
1717
 
 
1718
 
    def iter_lines_added_or_present_in_keys(self, keys, pb=None):
1719
 
        """See VersionedFile.iter_lines_added_or_present_in_versions()."""
1720
 
        for i, (key,) in enumerate(keys):
1721
 
            if pb is not None:
1722
 
                pb.update("Finding changed lines", i, len(keys))
1723
 
            for l in self._get_lines(key):
1724
 
                yield (l, key)
1725
 
 
1726
 
 
1727
 
class NoDupeAddLinesDecorator(object):
1728
 
    """Decorator for a VersionedFiles that skips doing an add_lines if the key
1729
 
    is already present.
1730
 
    """
1731
 
 
1732
 
    def __init__(self, store):
1733
 
        self._store = store
1734
 
 
1735
 
    def add_lines(self, key, parents, lines, parent_texts=None,
1736
 
            left_matching_blocks=None, nostore_sha=None, random_id=False,
1737
 
            check_content=True):
1738
 
        """See VersionedFiles.add_lines.
1739
 
        
1740
 
        This implementation may return None as the third element of the return
1741
 
        value when the original store wouldn't.
1742
 
        """
1743
 
        if nostore_sha:
1744
 
            raise NotImplementedError(
1745
 
                "NoDupeAddLinesDecorator.add_lines does not implement the "
1746
 
                "nostore_sha behaviour.")
1747
 
        if key[-1] is None:
1748
 
            sha1 = osutils.sha_strings(lines)
1749
 
            key = ("sha1:" + sha1,)
1750
 
        else:
1751
 
            sha1 = None
1752
 
        if key in self._store.get_parent_map([key]):
1753
 
            # This key has already been inserted, so don't do it again.
1754
 
            if sha1 is None:
1755
 
                sha1 = osutils.sha_strings(lines)
1756
 
            return sha1, sum(map(len, lines)), None
1757
 
        return self._store.add_lines(key, parents, lines,
1758
 
                parent_texts=parent_texts,
1759
 
                left_matching_blocks=left_matching_blocks,
1760
 
                nostore_sha=nostore_sha, random_id=random_id,
1761
 
                check_content=check_content)
1762
 
 
1763
 
    def __getattr__(self, name):
1764
 
        return getattr(self._store, name)
1765
 
 
1766
 
 
1767
 
def network_bytes_to_kind_and_offset(network_bytes):
1768
 
    """Strip of a record kind from the front of network_bytes.
1769
 
 
1770
 
    :param network_bytes: The bytes of a record.
1771
 
    :return: A tuple (storage_kind, offset_of_remaining_bytes)
1772
 
    """
1773
 
    line_end = network_bytes.find('\n')
1774
 
    storage_kind = network_bytes[:line_end]
1775
 
    return storage_kind, line_end + 1
1776
 
 
1777
 
 
1778
 
class NetworkRecordStream(object):
1779
 
    """A record_stream which reconstitures a serialised stream."""
1780
 
 
1781
 
    def __init__(self, bytes_iterator):
1782
 
        """Create a NetworkRecordStream.
1783
 
 
1784
 
        :param bytes_iterator: An iterator of bytes. Each item in this
1785
 
            iterator should have been obtained from a record_streams'
1786
 
            record.get_bytes_as(record.storage_kind) call.
1787
 
        """
1788
 
        self._bytes_iterator = bytes_iterator
1789
 
        self._kind_factory = {
1790
 
            'fulltext': fulltext_network_to_record,
1791
 
            'groupcompress-block': groupcompress.network_block_to_records,
1792
 
            'knit-ft-gz': knit.knit_network_to_record,
1793
 
            'knit-delta-gz': knit.knit_network_to_record,
1794
 
            'knit-annotated-ft-gz': knit.knit_network_to_record,
1795
 
            'knit-annotated-delta-gz': knit.knit_network_to_record,
1796
 
            'knit-delta-closure': knit.knit_delta_closure_to_records,
1797
 
            }
1798
 
 
1799
 
    def read(self):
1800
 
        """Read the stream.
1801
 
 
1802
 
        :return: An iterator as per VersionedFiles.get_record_stream().
1803
 
        """
1804
 
        for bytes in self._bytes_iterator:
1805
 
            storage_kind, line_end = network_bytes_to_kind_and_offset(bytes)
1806
 
            for record in self._kind_factory[storage_kind](
1807
 
                storage_kind, bytes, line_end):
1808
 
                yield record
1809
 
 
1810
 
 
1811
 
def fulltext_network_to_record(kind, bytes, line_end):
1812
 
    """Convert a network fulltext record to record."""
1813
 
    meta_len, = struct.unpack('!L', bytes[line_end:line_end+4])
1814
 
    record_meta = bytes[line_end+4:line_end+4+meta_len]
1815
 
    key, parents = bencode.bdecode_as_tuple(record_meta)
1816
 
    if parents == 'nil':
1817
 
        parents = None
1818
 
    fulltext = bytes[line_end+4+meta_len:]
1819
 
    return [FulltextContentFactory(key, parents, None, fulltext)]
1820
 
 
1821
 
 
1822
 
def _length_prefix(bytes):
1823
 
    return struct.pack('!L', len(bytes))
1824
 
 
1825
 
 
1826
 
def record_to_fulltext_bytes(record):
1827
 
    if record.parents is None:
1828
 
        parents = 'nil'
1829
 
    else:
1830
 
        parents = record.parents
1831
 
    record_meta = bencode.bencode((record.key, parents))
1832
 
    record_content = record.get_bytes_as('fulltext')
1833
 
    return "fulltext\n%s%s%s" % (
1834
 
        _length_prefix(record_meta), record_meta, record_content)
1835
 
 
1836
 
 
1837
 
def sort_groupcompress(parent_map):
1838
 
    """Sort and group the keys in parent_map into groupcompress order.
1839
 
 
1840
 
    groupcompress is defined (currently) as reverse-topological order, grouped
1841
 
    by the key prefix.
1842
 
 
1843
 
    :return: A sorted-list of keys
1844
 
    """
1845
 
    # gc-optimal ordering is approximately reverse topological,
1846
 
    # properly grouped by file-id.
1847
 
    per_prefix_map = {}
1848
 
    for item in parent_map.iteritems():
1849
 
        key = item[0]
1850
 
        if isinstance(key, str) or len(key) == 1:
1851
 
            prefix = ''
1852
 
        else:
1853
 
            prefix = key[0]
 
698
class InterVersionedFile(InterObject):
 
699
    """This class represents operations taking place between two VersionedFiles.
 
700
 
 
701
    Its instances have methods like join, and contain
 
702
    references to the source and target versionedfiles these operations can be 
 
703
    carried out on.
 
704
 
 
705
    Often we will provide convenience methods on 'versionedfile' which carry out
 
706
    operations with another versionedfile - they will always forward to
 
707
    InterVersionedFile.get(other).method_name(parameters).
 
708
    """
 
709
 
 
710
    _optimisers = []
 
711
    """The available optimised InterVersionedFile types."""
 
712
 
 
713
    def join(self, pb=None, msg=None, version_ids=None, ignore_missing=False):
 
714
        """Integrate versions from self.source into self.target.
 
715
 
 
716
        If version_ids is None all versions from source should be
 
717
        incorporated into this versioned file.
 
718
 
 
719
        Must raise RevisionNotPresent if any of the specified versions
 
720
        are not present in the other file's history unless ignore_missing is 
 
721
        supplied in which case they are silently skipped.
 
722
        """
 
723
        # the default join: 
 
724
        # - if the target is empty, just add all the versions from 
 
725
        #   source to target, otherwise:
 
726
        # - make a temporary versioned file of type target
 
727
        # - insert the source content into it one at a time
 
728
        # - join them
 
729
        if not self.target.versions():
 
730
            target = self.target
 
731
        else:
 
732
            # Make a new target-format versioned file. 
 
733
            temp_source = self.target.create_empty("temp", MemoryTransport())
 
734
            target = temp_source
 
735
        version_ids = self._get_source_version_ids(version_ids, ignore_missing)
 
736
        graph = self.source.get_graph(version_ids)
 
737
        order = tsort.topo_sort(graph.items())
 
738
        pb = ui.ui_factory.nested_progress_bar()
 
739
        parent_texts = {}
1854
740
        try:
1855
 
            per_prefix_map[prefix].append(item)
1856
 
        except KeyError:
1857
 
            per_prefix_map[prefix] = [item]
1858
 
 
1859
 
    present_keys = []
1860
 
    for prefix in sorted(per_prefix_map):
1861
 
        present_keys.extend(reversed(tsort.topo_sort(per_prefix_map[prefix])))
1862
 
    return present_keys
 
741
            # TODO for incremental cross-format work:
 
742
            # make a versioned file with the following content:
 
743
            # all revisions we have been asked to join
 
744
            # all their ancestors that are *not* in target already.
 
745
            # the immediate parents of the above two sets, with 
 
746
            # empty parent lists - these versions are in target already
 
747
            # and the incorrect version data will be ignored.
 
748
            # TODO: for all ancestors that are present in target already,
 
749
            # check them for consistent data, this requires moving sha1 from
 
750
            # 
 
751
            # TODO: remove parent texts when they are not relevant any more for 
 
752
            # memory pressure reduction. RBC 20060313
 
753
            # pb.update('Converting versioned data', 0, len(order))
 
754
            total = len(order)
 
755
            for index, version in enumerate(order):
 
756
                pb.update('Converting versioned data', index, total)
 
757
                _, _, parent_text = target.add_lines(version,
 
758
                                               self.source.get_parents(version),
 
759
                                               self.source.get_lines(version),
 
760
                                               parent_texts=parent_texts)
 
761
                parent_texts[version] = parent_text
 
762
            
 
763
            # this should hit the native code path for target
 
764
            if target is not self.target:
 
765
                return self.target.join(temp_source,
 
766
                                        pb,
 
767
                                        msg,
 
768
                                        version_ids,
 
769
                                        ignore_missing)
 
770
            else:
 
771
                return total
 
772
        finally:
 
773
            pb.finished()
 
774
 
 
775
    def _get_source_version_ids(self, version_ids, ignore_missing):
 
776
        """Determine the version ids to be used from self.source.
 
777
 
 
778
        :param version_ids: The caller-supplied version ids to check. (None 
 
779
                            for all). If None is in version_ids, it is stripped.
 
780
        :param ignore_missing: if True, remove missing ids from the version 
 
781
                               list. If False, raise RevisionNotPresent on
 
782
                               a missing version id.
 
783
        :return: A set of version ids.
 
784
        """
 
785
        if version_ids is None:
 
786
            # None cannot be in source.versions
 
787
            return set(self.source.versions())
 
788
        else:
 
789
            if ignore_missing:
 
790
                return set(self.source.versions()).intersection(set(version_ids))
 
791
            else:
 
792
                new_version_ids = set()
 
793
                for version in version_ids:
 
794
                    if version is None:
 
795
                        continue
 
796
                    if not self.source.has_version(version):
 
797
                        raise errors.RevisionNotPresent(version, str(self.source))
 
798
                    else:
 
799
                        new_version_ids.add(version)
 
800
                return new_version_ids