~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/versionedfile.py

  • Committer: Andrew Bennetts
  • Date: 2009-08-13 00:20:29 UTC
  • mto: This revision was merged to the branch mainline in revision 4608.
  • Revision ID: andrew.bennetts@canonical.com-20090813002029-akc5x2mtxa8rq068
Raise InventoryDeltaErrors, not generic BzrErrors, from inventory_delta.py.

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
# Copyright (C) 2005, 2006, 2007, 2008 Canonical Ltd
 
2
#
 
3
# Authors:
 
4
#   Johan Rydberg <jrydberg@gnu.org>
 
5
#
 
6
# This program is free software; you can redistribute it and/or modify
 
7
# it under the terms of the GNU General Public License as published by
 
8
# the Free Software Foundation; either version 2 of the License, or
 
9
# (at your option) any later version.
 
10
#
 
11
# This program is distributed in the hope that it will be useful,
 
12
# but WITHOUT ANY WARRANTY; without even the implied warranty of
 
13
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 
14
# GNU General Public License for more details.
 
15
#
 
16
# You should have received a copy of the GNU General Public License
 
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
 
19
 
 
20
"""Versioned text file storage api."""
 
21
 
 
22
from copy import copy
 
23
from cStringIO import StringIO
 
24
import os
 
25
import struct
 
26
from zlib import adler32
 
27
 
 
28
from bzrlib.lazy_import import lazy_import
 
29
lazy_import(globals(), """
 
30
import urllib
 
31
 
 
32
from bzrlib import (
 
33
    annotate,
 
34
    errors,
 
35
    groupcompress,
 
36
    index,
 
37
    knit,
 
38
    osutils,
 
39
    multiparent,
 
40
    tsort,
 
41
    revision,
 
42
    ui,
 
43
    )
 
44
from bzrlib.graph import DictParentsProvider, Graph, StackedParentsProvider
 
45
from bzrlib.transport.memory import MemoryTransport
 
46
""")
 
47
from bzrlib.inter import InterObject
 
48
from bzrlib.registry import Registry
 
49
from bzrlib.symbol_versioning import *
 
50
from bzrlib.textmerge import TextMerge
 
51
from bzrlib import bencode
 
52
 
 
53
 
 
54
adapter_registry = Registry()
 
55
adapter_registry.register_lazy(('knit-delta-gz', 'fulltext'), 'bzrlib.knit',
 
56
    'DeltaPlainToFullText')
 
57
adapter_registry.register_lazy(('knit-ft-gz', 'fulltext'), 'bzrlib.knit',
 
58
    'FTPlainToFullText')
 
59
adapter_registry.register_lazy(('knit-annotated-delta-gz', 'knit-delta-gz'),
 
60
    'bzrlib.knit', 'DeltaAnnotatedToUnannotated')
 
61
adapter_registry.register_lazy(('knit-annotated-delta-gz', 'fulltext'),
 
62
    'bzrlib.knit', 'DeltaAnnotatedToFullText')
 
63
adapter_registry.register_lazy(('knit-annotated-ft-gz', 'knit-ft-gz'),
 
64
    'bzrlib.knit', 'FTAnnotatedToUnannotated')
 
65
adapter_registry.register_lazy(('knit-annotated-ft-gz', 'fulltext'),
 
66
    'bzrlib.knit', 'FTAnnotatedToFullText')
 
67
# adapter_registry.register_lazy(('knit-annotated-ft-gz', 'chunked'),
 
68
#     'bzrlib.knit', 'FTAnnotatedToChunked')
 
69
 
 
70
 
 
71
class ContentFactory(object):
 
72
    """Abstract interface for insertion and retrieval from a VersionedFile.
 
73
 
 
74
    :ivar sha1: None, or the sha1 of the content fulltext.
 
75
    :ivar storage_kind: The native storage kind of this factory. One of
 
76
        'mpdiff', 'knit-annotated-ft', 'knit-annotated-delta', 'knit-ft',
 
77
        'knit-delta', 'fulltext', 'knit-annotated-ft-gz',
 
78
        'knit-annotated-delta-gz', 'knit-ft-gz', 'knit-delta-gz'.
 
79
    :ivar key: The key of this content. Each key is a tuple with a single
 
80
        string in it.
 
81
    :ivar parents: A tuple of parent keys for self.key. If the object has
 
82
        no parent information, None (as opposed to () for an empty list of
 
83
        parents).
 
84
    """
 
85
 
 
86
    def __init__(self):
 
87
        """Create a ContentFactory."""
 
88
        self.sha1 = None
 
89
        self.storage_kind = None
 
90
        self.key = None
 
91
        self.parents = None
 
92
 
 
93
 
 
94
class ChunkedContentFactory(ContentFactory):
 
95
    """Static data content factory.
 
96
 
 
97
    This takes a 'chunked' list of strings. The only requirement on 'chunked' is
 
98
    that ''.join(lines) becomes a valid fulltext. A tuple of a single string
 
99
    satisfies this, as does a list of lines.
 
100
 
 
101
    :ivar sha1: None, or the sha1 of the content fulltext.
 
102
    :ivar storage_kind: The native storage kind of this factory. Always
 
103
        'chunked'
 
104
    :ivar key: The key of this content. Each key is a tuple with a single
 
105
        string in it.
 
106
    :ivar parents: A tuple of parent keys for self.key. If the object has
 
107
        no parent information, None (as opposed to () for an empty list of
 
108
        parents).
 
109
     """
 
110
 
 
111
    def __init__(self, key, parents, sha1, chunks):
 
112
        """Create a ContentFactory."""
 
113
        self.sha1 = sha1
 
114
        self.storage_kind = 'chunked'
 
115
        self.key = key
 
116
        self.parents = parents
 
117
        self._chunks = chunks
 
118
 
 
119
    def get_bytes_as(self, storage_kind):
 
120
        if storage_kind == 'chunked':
 
121
            return self._chunks
 
122
        elif storage_kind == 'fulltext':
 
123
            return ''.join(self._chunks)
 
124
        raise errors.UnavailableRepresentation(self.key, storage_kind,
 
125
            self.storage_kind)
 
126
 
 
127
 
 
128
class FulltextContentFactory(ContentFactory):
 
129
    """Static data content factory.
 
130
 
 
131
    This takes a fulltext when created and just returns that during
 
132
    get_bytes_as('fulltext').
 
133
 
 
134
    :ivar sha1: None, or the sha1 of the content fulltext.
 
135
    :ivar storage_kind: The native storage kind of this factory. Always
 
136
        'fulltext'.
 
137
    :ivar key: The key of this content. Each key is a tuple with a single
 
138
        string in it.
 
139
    :ivar parents: A tuple of parent keys for self.key. If the object has
 
140
        no parent information, None (as opposed to () for an empty list of
 
141
        parents).
 
142
     """
 
143
 
 
144
    def __init__(self, key, parents, sha1, text):
 
145
        """Create a ContentFactory."""
 
146
        self.sha1 = sha1
 
147
        self.storage_kind = 'fulltext'
 
148
        self.key = key
 
149
        self.parents = parents
 
150
        self._text = text
 
151
 
 
152
    def get_bytes_as(self, storage_kind):
 
153
        if storage_kind == self.storage_kind:
 
154
            return self._text
 
155
        elif storage_kind == 'chunked':
 
156
            return [self._text]
 
157
        raise errors.UnavailableRepresentation(self.key, storage_kind,
 
158
            self.storage_kind)
 
159
 
 
160
 
 
161
class AbsentContentFactory(ContentFactory):
 
162
    """A placeholder content factory for unavailable texts.
 
163
 
 
164
    :ivar sha1: None.
 
165
    :ivar storage_kind: 'absent'.
 
166
    :ivar key: The key of this content. Each key is a tuple with a single
 
167
        string in it.
 
168
    :ivar parents: None.
 
169
    """
 
170
 
 
171
    def __init__(self, key):
 
172
        """Create a ContentFactory."""
 
173
        self.sha1 = None
 
174
        self.storage_kind = 'absent'
 
175
        self.key = key
 
176
        self.parents = None
 
177
 
 
178
    def get_bytes_as(self, storage_kind):
 
179
        raise ValueError('A request was made for key: %s, but that'
 
180
                         ' content is not available, and the calling'
 
181
                         ' code does not handle if it is missing.'
 
182
                         % (self.key,))
 
183
 
 
184
 
 
185
class AdapterFactory(ContentFactory):
 
186
    """A content factory to adapt between key prefix's."""
 
187
 
 
188
    def __init__(self, key, parents, adapted):
 
189
        """Create an adapter factory instance."""
 
190
        self.key = key
 
191
        self.parents = parents
 
192
        self._adapted = adapted
 
193
 
 
194
    def __getattr__(self, attr):
 
195
        """Return a member from the adapted object."""
 
196
        if attr in ('key', 'parents'):
 
197
            return self.__dict__[attr]
 
198
        else:
 
199
            return getattr(self._adapted, attr)
 
200
 
 
201
 
 
202
def filter_absent(record_stream):
 
203
    """Adapt a record stream to remove absent records."""
 
204
    for record in record_stream:
 
205
        if record.storage_kind != 'absent':
 
206
            yield record
 
207
 
 
208
 
 
209
class VersionedFile(object):
 
210
    """Versioned text file storage.
 
211
 
 
212
    A versioned file manages versions of line-based text files,
 
213
    keeping track of the originating version for each line.
 
214
 
 
215
    To clients the "lines" of the file are represented as a list of
 
216
    strings. These strings will typically have terminal newline
 
217
    characters, but this is not required.  In particular files commonly
 
218
    do not have a newline at the end of the file.
 
219
 
 
220
    Texts are identified by a version-id string.
 
221
    """
 
222
 
 
223
    @staticmethod
 
224
    def check_not_reserved_id(version_id):
 
225
        revision.check_not_reserved_id(version_id)
 
226
 
 
227
    def copy_to(self, name, transport):
 
228
        """Copy this versioned file to name on transport."""
 
229
        raise NotImplementedError(self.copy_to)
 
230
 
 
231
    def get_record_stream(self, versions, ordering, include_delta_closure):
 
232
        """Get a stream of records for versions.
 
233
 
 
234
        :param versions: The versions to include. Each version is a tuple
 
235
            (version,).
 
236
        :param ordering: Either 'unordered' or 'topological'. A topologically
 
237
            sorted stream has compression parents strictly before their
 
238
            children.
 
239
        :param include_delta_closure: If True then the closure across any
 
240
            compression parents will be included (in the data content of the
 
241
            stream, not in the emitted records). This guarantees that
 
242
            'fulltext' can be used successfully on every record.
 
243
        :return: An iterator of ContentFactory objects, each of which is only
 
244
            valid until the iterator is advanced.
 
245
        """
 
246
        raise NotImplementedError(self.get_record_stream)
 
247
 
 
248
    def has_version(self, version_id):
 
249
        """Returns whether version is present."""
 
250
        raise NotImplementedError(self.has_version)
 
251
 
 
252
    def insert_record_stream(self, stream):
 
253
        """Insert a record stream into this versioned file.
 
254
 
 
255
        :param stream: A stream of records to insert.
 
256
        :return: None
 
257
        :seealso VersionedFile.get_record_stream:
 
258
        """
 
259
        raise NotImplementedError
 
260
 
 
261
    def add_lines(self, version_id, parents, lines, parent_texts=None,
 
262
        left_matching_blocks=None, nostore_sha=None, random_id=False,
 
263
        check_content=True):
 
264
        """Add a single text on top of the versioned file.
 
265
 
 
266
        Must raise RevisionAlreadyPresent if the new version is
 
267
        already present in file history.
 
268
 
 
269
        Must raise RevisionNotPresent if any of the given parents are
 
270
        not present in file history.
 
271
 
 
272
        :param lines: A list of lines. Each line must be a bytestring. And all
 
273
            of them except the last must be terminated with \n and contain no
 
274
            other \n's. The last line may either contain no \n's or a single
 
275
            terminated \n. If the lines list does meet this constraint the add
 
276
            routine may error or may succeed - but you will be unable to read
 
277
            the data back accurately. (Checking the lines have been split
 
278
            correctly is expensive and extremely unlikely to catch bugs so it
 
279
            is not done at runtime unless check_content is True.)
 
280
        :param parent_texts: An optional dictionary containing the opaque
 
281
            representations of some or all of the parents of version_id to
 
282
            allow delta optimisations.  VERY IMPORTANT: the texts must be those
 
283
            returned by add_lines or data corruption can be caused.
 
284
        :param left_matching_blocks: a hint about which areas are common
 
285
            between the text and its left-hand-parent.  The format is
 
286
            the SequenceMatcher.get_matching_blocks format.
 
287
        :param nostore_sha: Raise ExistingContent and do not add the lines to
 
288
            the versioned file if the digest of the lines matches this.
 
289
        :param random_id: If True a random id has been selected rather than
 
290
            an id determined by some deterministic process such as a converter
 
291
            from a foreign VCS. When True the backend may choose not to check
 
292
            for uniqueness of the resulting key within the versioned file, so
 
293
            this should only be done when the result is expected to be unique
 
294
            anyway.
 
295
        :param check_content: If True, the lines supplied are verified to be
 
296
            bytestrings that are correctly formed lines.
 
297
        :return: The text sha1, the number of bytes in the text, and an opaque
 
298
                 representation of the inserted version which can be provided
 
299
                 back to future add_lines calls in the parent_texts dictionary.
 
300
        """
 
301
        self._check_write_ok()
 
302
        return self._add_lines(version_id, parents, lines, parent_texts,
 
303
            left_matching_blocks, nostore_sha, random_id, check_content)
 
304
 
 
305
    def _add_lines(self, version_id, parents, lines, parent_texts,
 
306
        left_matching_blocks, nostore_sha, random_id, check_content):
 
307
        """Helper to do the class specific add_lines."""
 
308
        raise NotImplementedError(self.add_lines)
 
309
 
 
310
    def add_lines_with_ghosts(self, version_id, parents, lines,
 
311
        parent_texts=None, nostore_sha=None, random_id=False,
 
312
        check_content=True, left_matching_blocks=None):
 
313
        """Add lines to the versioned file, allowing ghosts to be present.
 
314
 
 
315
        This takes the same parameters as add_lines and returns the same.
 
316
        """
 
317
        self._check_write_ok()
 
318
        return self._add_lines_with_ghosts(version_id, parents, lines,
 
319
            parent_texts, nostore_sha, random_id, check_content, left_matching_blocks)
 
320
 
 
321
    def _add_lines_with_ghosts(self, version_id, parents, lines, parent_texts,
 
322
        nostore_sha, random_id, check_content, left_matching_blocks):
 
323
        """Helper to do class specific add_lines_with_ghosts."""
 
324
        raise NotImplementedError(self.add_lines_with_ghosts)
 
325
 
 
326
    def check(self, progress_bar=None):
 
327
        """Check the versioned file for integrity."""
 
328
        raise NotImplementedError(self.check)
 
329
 
 
330
    def _check_lines_not_unicode(self, lines):
 
331
        """Check that lines being added to a versioned file are not unicode."""
 
332
        for line in lines:
 
333
            if line.__class__ is not str:
 
334
                raise errors.BzrBadParameterUnicode("lines")
 
335
 
 
336
    def _check_lines_are_lines(self, lines):
 
337
        """Check that the lines really are full lines without inline EOL."""
 
338
        for line in lines:
 
339
            if '\n' in line[:-1]:
 
340
                raise errors.BzrBadParameterContainsNewline("lines")
 
341
 
 
342
    def get_format_signature(self):
 
343
        """Get a text description of the data encoding in this file.
 
344
 
 
345
        :since: 0.90
 
346
        """
 
347
        raise NotImplementedError(self.get_format_signature)
 
348
 
 
349
    def make_mpdiffs(self, version_ids):
 
350
        """Create multiparent diffs for specified versions."""
 
351
        knit_versions = set()
 
352
        knit_versions.update(version_ids)
 
353
        parent_map = self.get_parent_map(version_ids)
 
354
        for version_id in version_ids:
 
355
            try:
 
356
                knit_versions.update(parent_map[version_id])
 
357
            except KeyError:
 
358
                raise errors.RevisionNotPresent(version_id, self)
 
359
        # We need to filter out ghosts, because we can't diff against them.
 
360
        knit_versions = set(self.get_parent_map(knit_versions).keys())
 
361
        lines = dict(zip(knit_versions,
 
362
            self._get_lf_split_line_list(knit_versions)))
 
363
        diffs = []
 
364
        for version_id in version_ids:
 
365
            target = lines[version_id]
 
366
            try:
 
367
                parents = [lines[p] for p in parent_map[version_id] if p in
 
368
                    knit_versions]
 
369
            except KeyError:
 
370
                # I don't know how this could ever trigger.
 
371
                # parent_map[version_id] was already triggered in the previous
 
372
                # for loop, and lines[p] has the 'if p in knit_versions' check,
 
373
                # so we again won't have a KeyError.
 
374
                raise errors.RevisionNotPresent(version_id, self)
 
375
            if len(parents) > 0:
 
376
                left_parent_blocks = self._extract_blocks(version_id,
 
377
                                                          parents[0], target)
 
378
            else:
 
379
                left_parent_blocks = None
 
380
            diffs.append(multiparent.MultiParent.from_lines(target, parents,
 
381
                         left_parent_blocks))
 
382
        return diffs
 
383
 
 
384
    def _extract_blocks(self, version_id, source, target):
 
385
        return None
 
386
 
 
387
    def add_mpdiffs(self, records):
 
388
        """Add mpdiffs to this VersionedFile.
 
389
 
 
390
        Records should be iterables of version, parents, expected_sha1,
 
391
        mpdiff. mpdiff should be a MultiParent instance.
 
392
        """
 
393
        # Does this need to call self._check_write_ok()? (IanC 20070919)
 
394
        vf_parents = {}
 
395
        mpvf = multiparent.MultiMemoryVersionedFile()
 
396
        versions = []
 
397
        for version, parent_ids, expected_sha1, mpdiff in records:
 
398
            versions.append(version)
 
399
            mpvf.add_diff(mpdiff, version, parent_ids)
 
400
        needed_parents = set()
 
401
        for version, parent_ids, expected_sha1, mpdiff in records:
 
402
            needed_parents.update(p for p in parent_ids
 
403
                                  if not mpvf.has_version(p))
 
404
        present_parents = set(self.get_parent_map(needed_parents).keys())
 
405
        for parent_id, lines in zip(present_parents,
 
406
                                 self._get_lf_split_line_list(present_parents)):
 
407
            mpvf.add_version(lines, parent_id, [])
 
408
        for (version, parent_ids, expected_sha1, mpdiff), lines in\
 
409
            zip(records, mpvf.get_line_list(versions)):
 
410
            if len(parent_ids) == 1:
 
411
                left_matching_blocks = list(mpdiff.get_matching_blocks(0,
 
412
                    mpvf.get_diff(parent_ids[0]).num_lines()))
 
413
            else:
 
414
                left_matching_blocks = None
 
415
            try:
 
416
                _, _, version_text = self.add_lines_with_ghosts(version,
 
417
                    parent_ids, lines, vf_parents,
 
418
                    left_matching_blocks=left_matching_blocks)
 
419
            except NotImplementedError:
 
420
                # The vf can't handle ghosts, so add lines normally, which will
 
421
                # (reasonably) fail if there are ghosts in the data.
 
422
                _, _, version_text = self.add_lines(version,
 
423
                    parent_ids, lines, vf_parents,
 
424
                    left_matching_blocks=left_matching_blocks)
 
425
            vf_parents[version] = version_text
 
426
        sha1s = self.get_sha1s(versions)
 
427
        for version, parent_ids, expected_sha1, mpdiff in records:
 
428
            if expected_sha1 != sha1s[version]:
 
429
                raise errors.VersionedFileInvalidChecksum(version)
 
430
 
 
431
    def get_text(self, version_id):
 
432
        """Return version contents as a text string.
 
433
 
 
434
        Raises RevisionNotPresent if version is not present in
 
435
        file history.
 
436
        """
 
437
        return ''.join(self.get_lines(version_id))
 
438
    get_string = get_text
 
439
 
 
440
    def get_texts(self, version_ids):
 
441
        """Return the texts of listed versions as a list of strings.
 
442
 
 
443
        Raises RevisionNotPresent if version is not present in
 
444
        file history.
 
445
        """
 
446
        return [''.join(self.get_lines(v)) for v in version_ids]
 
447
 
 
448
    def get_lines(self, version_id):
 
449
        """Return version contents as a sequence of lines.
 
450
 
 
451
        Raises RevisionNotPresent if version is not present in
 
452
        file history.
 
453
        """
 
454
        raise NotImplementedError(self.get_lines)
 
455
 
 
456
    def _get_lf_split_line_list(self, version_ids):
 
457
        return [StringIO(t).readlines() for t in self.get_texts(version_ids)]
 
458
 
 
459
    def get_ancestry(self, version_ids, topo_sorted=True):
 
460
        """Return a list of all ancestors of given version(s). This
 
461
        will not include the null revision.
 
462
 
 
463
        This list will not be topologically sorted if topo_sorted=False is
 
464
        passed.
 
465
 
 
466
        Must raise RevisionNotPresent if any of the given versions are
 
467
        not present in file history."""
 
468
        if isinstance(version_ids, basestring):
 
469
            version_ids = [version_ids]
 
470
        raise NotImplementedError(self.get_ancestry)
 
471
 
 
472
    def get_ancestry_with_ghosts(self, version_ids):
 
473
        """Return a list of all ancestors of given version(s). This
 
474
        will not include the null revision.
 
475
 
 
476
        Must raise RevisionNotPresent if any of the given versions are
 
477
        not present in file history.
 
478
 
 
479
        Ghosts that are known about will be included in ancestry list,
 
480
        but are not explicitly marked.
 
481
        """
 
482
        raise NotImplementedError(self.get_ancestry_with_ghosts)
 
483
 
 
484
    def get_parent_map(self, version_ids):
 
485
        """Get a map of the parents of version_ids.
 
486
 
 
487
        :param version_ids: The version ids to look up parents for.
 
488
        :return: A mapping from version id to parents.
 
489
        """
 
490
        raise NotImplementedError(self.get_parent_map)
 
491
 
 
492
    def get_parents_with_ghosts(self, version_id):
 
493
        """Return version names for parents of version_id.
 
494
 
 
495
        Will raise RevisionNotPresent if version_id is not present
 
496
        in the history.
 
497
 
 
498
        Ghosts that are known about will be included in the parent list,
 
499
        but are not explicitly marked.
 
500
        """
 
501
        try:
 
502
            return list(self.get_parent_map([version_id])[version_id])
 
503
        except KeyError:
 
504
            raise errors.RevisionNotPresent(version_id, self)
 
505
 
 
506
    def annotate(self, version_id):
 
507
        """Return a list of (version-id, line) tuples for version_id.
 
508
 
 
509
        :raise RevisionNotPresent: If the given version is
 
510
        not present in file history.
 
511
        """
 
512
        raise NotImplementedError(self.annotate)
 
513
 
 
514
    def iter_lines_added_or_present_in_versions(self, version_ids=None,
 
515
                                                pb=None):
 
516
        """Iterate over the lines in the versioned file from version_ids.
 
517
 
 
518
        This may return lines from other versions. Each item the returned
 
519
        iterator yields is a tuple of a line and a text version that that line
 
520
        is present in (not introduced in).
 
521
 
 
522
        Ordering of results is in whatever order is most suitable for the
 
523
        underlying storage format.
 
524
 
 
525
        If a progress bar is supplied, it may be used to indicate progress.
 
526
        The caller is responsible for cleaning up progress bars (because this
 
527
        is an iterator).
 
528
 
 
529
        NOTES: Lines are normalised: they will all have \n terminators.
 
530
               Lines are returned in arbitrary order.
 
531
 
 
532
        :return: An iterator over (line, version_id).
 
533
        """
 
534
        raise NotImplementedError(self.iter_lines_added_or_present_in_versions)
 
535
 
 
536
    def plan_merge(self, ver_a, ver_b):
 
537
        """Return pseudo-annotation indicating how the two versions merge.
 
538
 
 
539
        This is computed between versions a and b and their common
 
540
        base.
 
541
 
 
542
        Weave lines present in none of them are skipped entirely.
 
543
 
 
544
        Legend:
 
545
        killed-base Dead in base revision
 
546
        killed-both Killed in each revision
 
547
        killed-a    Killed in a
 
548
        killed-b    Killed in b
 
549
        unchanged   Alive in both a and b (possibly created in both)
 
550
        new-a       Created in a
 
551
        new-b       Created in b
 
552
        ghost-a     Killed in a, unborn in b
 
553
        ghost-b     Killed in b, unborn in a
 
554
        irrelevant  Not in either revision
 
555
        """
 
556
        raise NotImplementedError(VersionedFile.plan_merge)
 
557
 
 
558
    def weave_merge(self, plan, a_marker=TextMerge.A_MARKER,
 
559
                    b_marker=TextMerge.B_MARKER):
 
560
        return PlanWeaveMerge(plan, a_marker, b_marker).merge_lines()[0]
 
561
 
 
562
 
 
563
class RecordingVersionedFilesDecorator(object):
 
564
    """A minimal versioned files that records calls made on it.
 
565
 
 
566
    Only enough methods have been added to support tests using it to date.
 
567
 
 
568
    :ivar calls: A list of the calls made; can be reset at any time by
 
569
        assigning [] to it.
 
570
    """
 
571
 
 
572
    def __init__(self, backing_vf):
 
573
        """Create a RecordingVersionedFilesDecorator decorating backing_vf.
 
574
 
 
575
        :param backing_vf: The versioned file to answer all methods.
 
576
        """
 
577
        self._backing_vf = backing_vf
 
578
        self.calls = []
 
579
 
 
580
    def add_lines(self, key, parents, lines, parent_texts=None,
 
581
        left_matching_blocks=None, nostore_sha=None, random_id=False,
 
582
        check_content=True):
 
583
        self.calls.append(("add_lines", key, parents, lines, parent_texts,
 
584
            left_matching_blocks, nostore_sha, random_id, check_content))
 
585
        return self._backing_vf.add_lines(key, parents, lines, parent_texts,
 
586
            left_matching_blocks, nostore_sha, random_id, check_content)
 
587
 
 
588
    def check(self):
 
589
        self._backing_vf.check()
 
590
 
 
591
    def get_parent_map(self, keys):
 
592
        self.calls.append(("get_parent_map", copy(keys)))
 
593
        return self._backing_vf.get_parent_map(keys)
 
594
 
 
595
    def get_record_stream(self, keys, sort_order, include_delta_closure):
 
596
        self.calls.append(("get_record_stream", list(keys), sort_order,
 
597
            include_delta_closure))
 
598
        return self._backing_vf.get_record_stream(keys, sort_order,
 
599
            include_delta_closure)
 
600
 
 
601
    def get_sha1s(self, keys):
 
602
        self.calls.append(("get_sha1s", copy(keys)))
 
603
        return self._backing_vf.get_sha1s(keys)
 
604
 
 
605
    def iter_lines_added_or_present_in_keys(self, keys, pb=None):
 
606
        self.calls.append(("iter_lines_added_or_present_in_keys", copy(keys)))
 
607
        return self._backing_vf.iter_lines_added_or_present_in_keys(keys, pb=pb)
 
608
 
 
609
    def keys(self):
 
610
        self.calls.append(("keys",))
 
611
        return self._backing_vf.keys()
 
612
 
 
613
 
 
614
class OrderingVersionedFilesDecorator(RecordingVersionedFilesDecorator):
 
615
    """A VF that records calls, and returns keys in specific order.
 
616
 
 
617
    :ivar calls: A list of the calls made; can be reset at any time by
 
618
        assigning [] to it.
 
619
    """
 
620
 
 
621
    def __init__(self, backing_vf, key_priority):
 
622
        """Create a RecordingVersionedFilesDecorator decorating backing_vf.
 
623
 
 
624
        :param backing_vf: The versioned file to answer all methods.
 
625
        :param key_priority: A dictionary defining what order keys should be
 
626
            returned from an 'unordered' get_record_stream request.
 
627
            Keys with lower priority are returned first, keys not present in
 
628
            the map get an implicit priority of 0, and are returned in
 
629
            lexicographical order.
 
630
        """
 
631
        RecordingVersionedFilesDecorator.__init__(self, backing_vf)
 
632
        self._key_priority = key_priority
 
633
 
 
634
    def get_record_stream(self, keys, sort_order, include_delta_closure):
 
635
        self.calls.append(("get_record_stream", list(keys), sort_order,
 
636
            include_delta_closure))
 
637
        if sort_order == 'unordered':
 
638
            def sort_key(key):
 
639
                return (self._key_priority.get(key, 0), key)
 
640
            # Use a defined order by asking for the keys one-by-one from the
 
641
            # backing_vf
 
642
            for key in sorted(keys, key=sort_key):
 
643
                for record in self._backing_vf.get_record_stream([key],
 
644
                                'unordered', include_delta_closure):
 
645
                    yield record
 
646
        else:
 
647
            for record in self._backing_vf.get_record_stream(keys, sort_order,
 
648
                            include_delta_closure):
 
649
                yield record
 
650
 
 
651
 
 
652
class KeyMapper(object):
 
653
    """KeyMappers map between keys and underlying partitioned storage."""
 
654
 
 
655
    def map(self, key):
 
656
        """Map key to an underlying storage identifier.
 
657
 
 
658
        :param key: A key tuple e.g. ('file-id', 'revision-id').
 
659
        :return: An underlying storage identifier, specific to the partitioning
 
660
            mechanism.
 
661
        """
 
662
        raise NotImplementedError(self.map)
 
663
 
 
664
    def unmap(self, partition_id):
 
665
        """Map a partitioned storage id back to a key prefix.
 
666
 
 
667
        :param partition_id: The underlying partition id.
 
668
        :return: As much of a key (or prefix) as is derivable from the partition
 
669
            id.
 
670
        """
 
671
        raise NotImplementedError(self.unmap)
 
672
 
 
673
 
 
674
class ConstantMapper(KeyMapper):
 
675
    """A key mapper that maps to a constant result."""
 
676
 
 
677
    def __init__(self, result):
 
678
        """Create a ConstantMapper which will return result for all maps."""
 
679
        self._result = result
 
680
 
 
681
    def map(self, key):
 
682
        """See KeyMapper.map()."""
 
683
        return self._result
 
684
 
 
685
 
 
686
class URLEscapeMapper(KeyMapper):
 
687
    """Base class for use with transport backed storage.
 
688
 
 
689
    This provides a map and unmap wrapper that respectively url escape and
 
690
    unescape their outputs and inputs.
 
691
    """
 
692
 
 
693
    def map(self, key):
 
694
        """See KeyMapper.map()."""
 
695
        return urllib.quote(self._map(key))
 
696
 
 
697
    def unmap(self, partition_id):
 
698
        """See KeyMapper.unmap()."""
 
699
        return self._unmap(urllib.unquote(partition_id))
 
700
 
 
701
 
 
702
class PrefixMapper(URLEscapeMapper):
 
703
    """A key mapper that extracts the first component of a key.
 
704
 
 
705
    This mapper is for use with a transport based backend.
 
706
    """
 
707
 
 
708
    def _map(self, key):
 
709
        """See KeyMapper.map()."""
 
710
        return key[0]
 
711
 
 
712
    def _unmap(self, partition_id):
 
713
        """See KeyMapper.unmap()."""
 
714
        return (partition_id,)
 
715
 
 
716
 
 
717
class HashPrefixMapper(URLEscapeMapper):
 
718
    """A key mapper that combines the first component of a key with a hash.
 
719
 
 
720
    This mapper is for use with a transport based backend.
 
721
    """
 
722
 
 
723
    def _map(self, key):
 
724
        """See KeyMapper.map()."""
 
725
        prefix = self._escape(key[0])
 
726
        return "%02x/%s" % (adler32(prefix) & 0xff, prefix)
 
727
 
 
728
    def _escape(self, prefix):
 
729
        """No escaping needed here."""
 
730
        return prefix
 
731
 
 
732
    def _unmap(self, partition_id):
 
733
        """See KeyMapper.unmap()."""
 
734
        return (self._unescape(osutils.basename(partition_id)),)
 
735
 
 
736
    def _unescape(self, basename):
 
737
        """No unescaping needed for HashPrefixMapper."""
 
738
        return basename
 
739
 
 
740
 
 
741
class HashEscapedPrefixMapper(HashPrefixMapper):
 
742
    """Combines the escaped first component of a key with a hash.
 
743
 
 
744
    This mapper is for use with a transport based backend.
 
745
    """
 
746
 
 
747
    _safe = "abcdefghijklmnopqrstuvwxyz0123456789-_@,."
 
748
 
 
749
    def _escape(self, prefix):
 
750
        """Turn a key element into a filesystem safe string.
 
751
 
 
752
        This is similar to a plain urllib.quote, except
 
753
        it uses specific safe characters, so that it doesn't
 
754
        have to translate a lot of valid file ids.
 
755
        """
 
756
        # @ does not get escaped. This is because it is a valid
 
757
        # filesystem character we use all the time, and it looks
 
758
        # a lot better than seeing %40 all the time.
 
759
        r = [((c in self._safe) and c or ('%%%02x' % ord(c)))
 
760
             for c in prefix]
 
761
        return ''.join(r)
 
762
 
 
763
    def _unescape(self, basename):
 
764
        """Escaped names are easily unescaped by urlutils."""
 
765
        return urllib.unquote(basename)
 
766
 
 
767
 
 
768
def make_versioned_files_factory(versioned_file_factory, mapper):
 
769
    """Create a ThunkedVersionedFiles factory.
 
770
 
 
771
    This will create a callable which when called creates a
 
772
    ThunkedVersionedFiles on a transport, using mapper to access individual
 
773
    versioned files, and versioned_file_factory to create each individual file.
 
774
    """
 
775
    def factory(transport):
 
776
        return ThunkedVersionedFiles(transport, versioned_file_factory, mapper,
 
777
            lambda:True)
 
778
    return factory
 
779
 
 
780
 
 
781
class VersionedFiles(object):
 
782
    """Storage for many versioned files.
 
783
 
 
784
    This object allows a single keyspace for accessing the history graph and
 
785
    contents of named bytestrings.
 
786
 
 
787
    Currently no implementation allows the graph of different key prefixes to
 
788
    intersect, but the API does allow such implementations in the future.
 
789
 
 
790
    The keyspace is expressed via simple tuples. Any instance of VersionedFiles
 
791
    may have a different length key-size, but that size will be constant for
 
792
    all texts added to or retrieved from it. For instance, bzrlib uses
 
793
    instances with a key-size of 2 for storing user files in a repository, with
 
794
    the first element the fileid, and the second the version of that file.
 
795
 
 
796
    The use of tuples allows a single code base to support several different
 
797
    uses with only the mapping logic changing from instance to instance.
 
798
    """
 
799
 
 
800
    def add_lines(self, key, parents, lines, parent_texts=None,
 
801
        left_matching_blocks=None, nostore_sha=None, random_id=False,
 
802
        check_content=True):
 
803
        """Add a text to the store.
 
804
 
 
805
        :param key: The key tuple of the text to add. If the last element is
 
806
            None, a CHK string will be generated during the addition.
 
807
        :param parents: The parents key tuples of the text to add.
 
808
        :param lines: A list of lines. Each line must be a bytestring. And all
 
809
            of them except the last must be terminated with \n and contain no
 
810
            other \n's. The last line may either contain no \n's or a single
 
811
            terminating \n. If the lines list does meet this constraint the add
 
812
            routine may error or may succeed - but you will be unable to read
 
813
            the data back accurately. (Checking the lines have been split
 
814
            correctly is expensive and extremely unlikely to catch bugs so it
 
815
            is not done at runtime unless check_content is True.)
 
816
        :param parent_texts: An optional dictionary containing the opaque
 
817
            representations of some or all of the parents of version_id to
 
818
            allow delta optimisations.  VERY IMPORTANT: the texts must be those
 
819
            returned by add_lines or data corruption can be caused.
 
820
        :param left_matching_blocks: a hint about which areas are common
 
821
            between the text and its left-hand-parent.  The format is
 
822
            the SequenceMatcher.get_matching_blocks format.
 
823
        :param nostore_sha: Raise ExistingContent and do not add the lines to
 
824
            the versioned file if the digest of the lines matches this.
 
825
        :param random_id: If True a random id has been selected rather than
 
826
            an id determined by some deterministic process such as a converter
 
827
            from a foreign VCS. When True the backend may choose not to check
 
828
            for uniqueness of the resulting key within the versioned file, so
 
829
            this should only be done when the result is expected to be unique
 
830
            anyway.
 
831
        :param check_content: If True, the lines supplied are verified to be
 
832
            bytestrings that are correctly formed lines.
 
833
        :return: The text sha1, the number of bytes in the text, and an opaque
 
834
                 representation of the inserted version which can be provided
 
835
                 back to future add_lines calls in the parent_texts dictionary.
 
836
        """
 
837
        raise NotImplementedError(self.add_lines)
 
838
 
 
839
    def _add_text(self, key, parents, text, nostore_sha=None, random_id=False):
 
840
        """Add a text to the store.
 
841
 
 
842
        This is a private function for use by CommitBuilder.
 
843
 
 
844
        :param key: The key tuple of the text to add. If the last element is
 
845
            None, a CHK string will be generated during the addition.
 
846
        :param parents: The parents key tuples of the text to add.
 
847
        :param text: A string containing the text to be committed.
 
848
        :param nostore_sha: Raise ExistingContent and do not add the lines to
 
849
            the versioned file if the digest of the lines matches this.
 
850
        :param random_id: If True a random id has been selected rather than
 
851
            an id determined by some deterministic process such as a converter
 
852
            from a foreign VCS. When True the backend may choose not to check
 
853
            for uniqueness of the resulting key within the versioned file, so
 
854
            this should only be done when the result is expected to be unique
 
855
            anyway.
 
856
        :param check_content: If True, the lines supplied are verified to be
 
857
            bytestrings that are correctly formed lines.
 
858
        :return: The text sha1, the number of bytes in the text, and an opaque
 
859
                 representation of the inserted version which can be provided
 
860
                 back to future _add_text calls in the parent_texts dictionary.
 
861
        """
 
862
        # The default implementation just thunks over to .add_lines(),
 
863
        # inefficient, but it works.
 
864
        return self.add_lines(key, parents, osutils.split_lines(text),
 
865
                              nostore_sha=nostore_sha,
 
866
                              random_id=random_id,
 
867
                              check_content=True)
 
868
 
 
869
    def add_mpdiffs(self, records):
 
870
        """Add mpdiffs to this VersionedFile.
 
871
 
 
872
        Records should be iterables of version, parents, expected_sha1,
 
873
        mpdiff. mpdiff should be a MultiParent instance.
 
874
        """
 
875
        vf_parents = {}
 
876
        mpvf = multiparent.MultiMemoryVersionedFile()
 
877
        versions = []
 
878
        for version, parent_ids, expected_sha1, mpdiff in records:
 
879
            versions.append(version)
 
880
            mpvf.add_diff(mpdiff, version, parent_ids)
 
881
        needed_parents = set()
 
882
        for version, parent_ids, expected_sha1, mpdiff in records:
 
883
            needed_parents.update(p for p in parent_ids
 
884
                                  if not mpvf.has_version(p))
 
885
        # It seems likely that adding all the present parents as fulltexts can
 
886
        # easily exhaust memory.
 
887
        chunks_to_lines = osutils.chunks_to_lines
 
888
        for record in self.get_record_stream(needed_parents, 'unordered',
 
889
            True):
 
890
            if record.storage_kind == 'absent':
 
891
                continue
 
892
            mpvf.add_version(chunks_to_lines(record.get_bytes_as('chunked')),
 
893
                record.key, [])
 
894
        for (key, parent_keys, expected_sha1, mpdiff), lines in\
 
895
            zip(records, mpvf.get_line_list(versions)):
 
896
            if len(parent_keys) == 1:
 
897
                left_matching_blocks = list(mpdiff.get_matching_blocks(0,
 
898
                    mpvf.get_diff(parent_keys[0]).num_lines()))
 
899
            else:
 
900
                left_matching_blocks = None
 
901
            version_sha1, _, version_text = self.add_lines(key,
 
902
                parent_keys, lines, vf_parents,
 
903
                left_matching_blocks=left_matching_blocks)
 
904
            if version_sha1 != expected_sha1:
 
905
                raise errors.VersionedFileInvalidChecksum(version)
 
906
            vf_parents[key] = version_text
 
907
 
 
908
    def annotate(self, key):
 
909
        """Return a list of (version-key, line) tuples for the text of key.
 
910
 
 
911
        :raise RevisionNotPresent: If the key is not present.
 
912
        """
 
913
        raise NotImplementedError(self.annotate)
 
914
 
 
915
    def check(self, progress_bar=None):
 
916
        """Check this object for integrity.
 
917
        
 
918
        :param progress_bar: A progress bar to output as the check progresses.
 
919
        :param keys: Specific keys within the VersionedFiles to check. When
 
920
            this parameter is not None, check() becomes a generator as per
 
921
            get_record_stream. The difference to get_record_stream is that
 
922
            more or deeper checks will be performed.
 
923
        :return: None, or if keys was supplied a generator as per
 
924
            get_record_stream.
 
925
        """
 
926
        raise NotImplementedError(self.check)
 
927
 
 
928
    @staticmethod
 
929
    def check_not_reserved_id(version_id):
 
930
        revision.check_not_reserved_id(version_id)
 
931
 
 
932
    def _check_lines_not_unicode(self, lines):
 
933
        """Check that lines being added to a versioned file are not unicode."""
 
934
        for line in lines:
 
935
            if line.__class__ is not str:
 
936
                raise errors.BzrBadParameterUnicode("lines")
 
937
 
 
938
    def _check_lines_are_lines(self, lines):
 
939
        """Check that the lines really are full lines without inline EOL."""
 
940
        for line in lines:
 
941
            if '\n' in line[:-1]:
 
942
                raise errors.BzrBadParameterContainsNewline("lines")
 
943
 
 
944
    def get_parent_map(self, keys):
 
945
        """Get a map of the parents of keys.
 
946
 
 
947
        :param keys: The keys to look up parents for.
 
948
        :return: A mapping from keys to parents. Absent keys are absent from
 
949
            the mapping.
 
950
        """
 
951
        raise NotImplementedError(self.get_parent_map)
 
952
 
 
953
    def get_record_stream(self, keys, ordering, include_delta_closure):
 
954
        """Get a stream of records for keys.
 
955
 
 
956
        :param keys: The keys to include.
 
957
        :param ordering: Either 'unordered' or 'topological'. A topologically
 
958
            sorted stream has compression parents strictly before their
 
959
            children.
 
960
        :param include_delta_closure: If True then the closure across any
 
961
            compression parents will be included (in the opaque data).
 
962
        :return: An iterator of ContentFactory objects, each of which is only
 
963
            valid until the iterator is advanced.
 
964
        """
 
965
        raise NotImplementedError(self.get_record_stream)
 
966
 
 
967
    def get_sha1s(self, keys):
 
968
        """Get the sha1's of the texts for the given keys.
 
969
 
 
970
        :param keys: The names of the keys to lookup
 
971
        :return: a dict from key to sha1 digest. Keys of texts which are not
 
972
            present in the store are not present in the returned
 
973
            dictionary.
 
974
        """
 
975
        raise NotImplementedError(self.get_sha1s)
 
976
 
 
977
    has_key = index._has_key_from_parent_map
 
978
 
 
979
    def get_missing_compression_parent_keys(self):
 
980
        """Return an iterable of keys of missing compression parents.
 
981
 
 
982
        Check this after calling insert_record_stream to find out if there are
 
983
        any missing compression parents.  If there are, the records that
 
984
        depend on them are not able to be inserted safely. The precise
 
985
        behaviour depends on the concrete VersionedFiles class in use.
 
986
 
 
987
        Classes that do not support this will raise NotImplementedError.
 
988
        """
 
989
        raise NotImplementedError(self.get_missing_compression_parent_keys)
 
990
 
 
991
    def insert_record_stream(self, stream):
 
992
        """Insert a record stream into this container.
 
993
 
 
994
        :param stream: A stream of records to insert.
 
995
        :return: None
 
996
        :seealso VersionedFile.get_record_stream:
 
997
        """
 
998
        raise NotImplementedError
 
999
 
 
1000
    def iter_lines_added_or_present_in_keys(self, keys, pb=None):
 
1001
        """Iterate over the lines in the versioned files from keys.
 
1002
 
 
1003
        This may return lines from other keys. Each item the returned
 
1004
        iterator yields is a tuple of a line and a text version that that line
 
1005
        is present in (not introduced in).
 
1006
 
 
1007
        Ordering of results is in whatever order is most suitable for the
 
1008
        underlying storage format.
 
1009
 
 
1010
        If a progress bar is supplied, it may be used to indicate progress.
 
1011
        The caller is responsible for cleaning up progress bars (because this
 
1012
        is an iterator).
 
1013
 
 
1014
        NOTES:
 
1015
         * Lines are normalised by the underlying store: they will all have \n
 
1016
           terminators.
 
1017
         * Lines are returned in arbitrary order.
 
1018
 
 
1019
        :return: An iterator over (line, key).
 
1020
        """
 
1021
        raise NotImplementedError(self.iter_lines_added_or_present_in_keys)
 
1022
 
 
1023
    def keys(self):
 
1024
        """Return a iterable of the keys for all the contained texts."""
 
1025
        raise NotImplementedError(self.keys)
 
1026
 
 
1027
    def make_mpdiffs(self, keys):
 
1028
        """Create multiparent diffs for specified keys."""
 
1029
        keys_order = tuple(keys)
 
1030
        keys = frozenset(keys)
 
1031
        knit_keys = set(keys)
 
1032
        parent_map = self.get_parent_map(keys)
 
1033
        for parent_keys in parent_map.itervalues():
 
1034
            if parent_keys:
 
1035
                knit_keys.update(parent_keys)
 
1036
        missing_keys = keys - set(parent_map)
 
1037
        if missing_keys:
 
1038
            raise errors.RevisionNotPresent(list(missing_keys)[0], self)
 
1039
        # We need to filter out ghosts, because we can't diff against them.
 
1040
        maybe_ghosts = knit_keys - keys
 
1041
        ghosts = maybe_ghosts - set(self.get_parent_map(maybe_ghosts))
 
1042
        knit_keys.difference_update(ghosts)
 
1043
        lines = {}
 
1044
        chunks_to_lines = osutils.chunks_to_lines
 
1045
        for record in self.get_record_stream(knit_keys, 'topological', True):
 
1046
            lines[record.key] = chunks_to_lines(record.get_bytes_as('chunked'))
 
1047
            # line_block_dict = {}
 
1048
            # for parent, blocks in record.extract_line_blocks():
 
1049
            #   line_blocks[parent] = blocks
 
1050
            # line_blocks[record.key] = line_block_dict
 
1051
        diffs = []
 
1052
        for key in keys_order:
 
1053
            target = lines[key]
 
1054
            parents = parent_map[key] or []
 
1055
            # Note that filtering knit_keys can lead to a parent difference
 
1056
            # between the creation and the application of the mpdiff.
 
1057
            parent_lines = [lines[p] for p in parents if p in knit_keys]
 
1058
            if len(parent_lines) > 0:
 
1059
                left_parent_blocks = self._extract_blocks(key, parent_lines[0],
 
1060
                    target)
 
1061
            else:
 
1062
                left_parent_blocks = None
 
1063
            diffs.append(multiparent.MultiParent.from_lines(target,
 
1064
                parent_lines, left_parent_blocks))
 
1065
        return diffs
 
1066
 
 
1067
    missing_keys = index._missing_keys_from_parent_map
 
1068
 
 
1069
    def _extract_blocks(self, version_id, source, target):
 
1070
        return None
 
1071
 
 
1072
 
 
1073
class ThunkedVersionedFiles(VersionedFiles):
 
1074
    """Storage for many versioned files thunked onto a 'VersionedFile' class.
 
1075
 
 
1076
    This object allows a single keyspace for accessing the history graph and
 
1077
    contents of named bytestrings.
 
1078
 
 
1079
    Currently no implementation allows the graph of different key prefixes to
 
1080
    intersect, but the API does allow such implementations in the future.
 
1081
    """
 
1082
 
 
1083
    def __init__(self, transport, file_factory, mapper, is_locked):
 
1084
        """Create a ThunkedVersionedFiles."""
 
1085
        self._transport = transport
 
1086
        self._file_factory = file_factory
 
1087
        self._mapper = mapper
 
1088
        self._is_locked = is_locked
 
1089
 
 
1090
    def add_lines(self, key, parents, lines, parent_texts=None,
 
1091
        left_matching_blocks=None, nostore_sha=None, random_id=False,
 
1092
        check_content=True):
 
1093
        """See VersionedFiles.add_lines()."""
 
1094
        path = self._mapper.map(key)
 
1095
        version_id = key[-1]
 
1096
        parents = [parent[-1] for parent in parents]
 
1097
        vf = self._get_vf(path)
 
1098
        try:
 
1099
            try:
 
1100
                return vf.add_lines_with_ghosts(version_id, parents, lines,
 
1101
                    parent_texts=parent_texts,
 
1102
                    left_matching_blocks=left_matching_blocks,
 
1103
                    nostore_sha=nostore_sha, random_id=random_id,
 
1104
                    check_content=check_content)
 
1105
            except NotImplementedError:
 
1106
                return vf.add_lines(version_id, parents, lines,
 
1107
                    parent_texts=parent_texts,
 
1108
                    left_matching_blocks=left_matching_blocks,
 
1109
                    nostore_sha=nostore_sha, random_id=random_id,
 
1110
                    check_content=check_content)
 
1111
        except errors.NoSuchFile:
 
1112
            # parent directory may be missing, try again.
 
1113
            self._transport.mkdir(osutils.dirname(path))
 
1114
            try:
 
1115
                return vf.add_lines_with_ghosts(version_id, parents, lines,
 
1116
                    parent_texts=parent_texts,
 
1117
                    left_matching_blocks=left_matching_blocks,
 
1118
                    nostore_sha=nostore_sha, random_id=random_id,
 
1119
                    check_content=check_content)
 
1120
            except NotImplementedError:
 
1121
                return vf.add_lines(version_id, parents, lines,
 
1122
                    parent_texts=parent_texts,
 
1123
                    left_matching_blocks=left_matching_blocks,
 
1124
                    nostore_sha=nostore_sha, random_id=random_id,
 
1125
                    check_content=check_content)
 
1126
 
 
1127
    def annotate(self, key):
 
1128
        """Return a list of (version-key, line) tuples for the text of key.
 
1129
 
 
1130
        :raise RevisionNotPresent: If the key is not present.
 
1131
        """
 
1132
        prefix = key[:-1]
 
1133
        path = self._mapper.map(prefix)
 
1134
        vf = self._get_vf(path)
 
1135
        origins = vf.annotate(key[-1])
 
1136
        result = []
 
1137
        for origin, line in origins:
 
1138
            result.append((prefix + (origin,), line))
 
1139
        return result
 
1140
 
 
1141
    def get_annotator(self):
 
1142
        return annotate.Annotator(self)
 
1143
 
 
1144
    def check(self, progress_bar=None, keys=None):
 
1145
        """See VersionedFiles.check()."""
 
1146
        # XXX: This is over-enthusiastic but as we only thunk for Weaves today
 
1147
        # this is tolerable. Ideally we'd pass keys down to check() and 
 
1148
        # have the older VersiondFile interface updated too.
 
1149
        for prefix, vf in self._iter_all_components():
 
1150
            vf.check()
 
1151
        if keys is not None:
 
1152
            return self.get_record_stream(keys, 'unordered', True)
 
1153
 
 
1154
    def get_parent_map(self, keys):
 
1155
        """Get a map of the parents of keys.
 
1156
 
 
1157
        :param keys: The keys to look up parents for.
 
1158
        :return: A mapping from keys to parents. Absent keys are absent from
 
1159
            the mapping.
 
1160
        """
 
1161
        prefixes = self._partition_keys(keys)
 
1162
        result = {}
 
1163
        for prefix, suffixes in prefixes.items():
 
1164
            path = self._mapper.map(prefix)
 
1165
            vf = self._get_vf(path)
 
1166
            parent_map = vf.get_parent_map(suffixes)
 
1167
            for key, parents in parent_map.items():
 
1168
                result[prefix + (key,)] = tuple(
 
1169
                    prefix + (parent,) for parent in parents)
 
1170
        return result
 
1171
 
 
1172
    def _get_vf(self, path):
 
1173
        if not self._is_locked():
 
1174
            raise errors.ObjectNotLocked(self)
 
1175
        return self._file_factory(path, self._transport, create=True,
 
1176
            get_scope=lambda:None)
 
1177
 
 
1178
    def _partition_keys(self, keys):
 
1179
        """Turn keys into a dict of prefix:suffix_list."""
 
1180
        result = {}
 
1181
        for key in keys:
 
1182
            prefix_keys = result.setdefault(key[:-1], [])
 
1183
            prefix_keys.append(key[-1])
 
1184
        return result
 
1185
 
 
1186
    def _get_all_prefixes(self):
 
1187
        # Identify all key prefixes.
 
1188
        # XXX: A bit hacky, needs polish.
 
1189
        if type(self._mapper) == ConstantMapper:
 
1190
            paths = [self._mapper.map(())]
 
1191
            prefixes = [()]
 
1192
        else:
 
1193
            relpaths = set()
 
1194
            for quoted_relpath in self._transport.iter_files_recursive():
 
1195
                path, ext = os.path.splitext(quoted_relpath)
 
1196
                relpaths.add(path)
 
1197
            paths = list(relpaths)
 
1198
            prefixes = [self._mapper.unmap(path) for path in paths]
 
1199
        return zip(paths, prefixes)
 
1200
 
 
1201
    def get_record_stream(self, keys, ordering, include_delta_closure):
 
1202
        """See VersionedFiles.get_record_stream()."""
 
1203
        # Ordering will be taken care of by each partitioned store; group keys
 
1204
        # by partition.
 
1205
        keys = sorted(keys)
 
1206
        for prefix, suffixes, vf in self._iter_keys_vf(keys):
 
1207
            suffixes = [(suffix,) for suffix in suffixes]
 
1208
            for record in vf.get_record_stream(suffixes, ordering,
 
1209
                include_delta_closure):
 
1210
                if record.parents is not None:
 
1211
                    record.parents = tuple(
 
1212
                        prefix + parent for parent in record.parents)
 
1213
                record.key = prefix + record.key
 
1214
                yield record
 
1215
 
 
1216
    def _iter_keys_vf(self, keys):
 
1217
        prefixes = self._partition_keys(keys)
 
1218
        sha1s = {}
 
1219
        for prefix, suffixes in prefixes.items():
 
1220
            path = self._mapper.map(prefix)
 
1221
            vf = self._get_vf(path)
 
1222
            yield prefix, suffixes, vf
 
1223
 
 
1224
    def get_sha1s(self, keys):
 
1225
        """See VersionedFiles.get_sha1s()."""
 
1226
        sha1s = {}
 
1227
        for prefix,suffixes, vf in self._iter_keys_vf(keys):
 
1228
            vf_sha1s = vf.get_sha1s(suffixes)
 
1229
            for suffix, sha1 in vf_sha1s.iteritems():
 
1230
                sha1s[prefix + (suffix,)] = sha1
 
1231
        return sha1s
 
1232
 
 
1233
    def insert_record_stream(self, stream):
 
1234
        """Insert a record stream into this container.
 
1235
 
 
1236
        :param stream: A stream of records to insert.
 
1237
        :return: None
 
1238
        :seealso VersionedFile.get_record_stream:
 
1239
        """
 
1240
        for record in stream:
 
1241
            prefix = record.key[:-1]
 
1242
            key = record.key[-1:]
 
1243
            if record.parents is not None:
 
1244
                parents = [parent[-1:] for parent in record.parents]
 
1245
            else:
 
1246
                parents = None
 
1247
            thunk_record = AdapterFactory(key, parents, record)
 
1248
            path = self._mapper.map(prefix)
 
1249
            # Note that this parses the file many times; we can do better but
 
1250
            # as this only impacts weaves in terms of performance, it is
 
1251
            # tolerable.
 
1252
            vf = self._get_vf(path)
 
1253
            vf.insert_record_stream([thunk_record])
 
1254
 
 
1255
    def iter_lines_added_or_present_in_keys(self, keys, pb=None):
 
1256
        """Iterate over the lines in the versioned files from keys.
 
1257
 
 
1258
        This may return lines from other keys. Each item the returned
 
1259
        iterator yields is a tuple of a line and a text version that that line
 
1260
        is present in (not introduced in).
 
1261
 
 
1262
        Ordering of results is in whatever order is most suitable for the
 
1263
        underlying storage format.
 
1264
 
 
1265
        If a progress bar is supplied, it may be used to indicate progress.
 
1266
        The caller is responsible for cleaning up progress bars (because this
 
1267
        is an iterator).
 
1268
 
 
1269
        NOTES:
 
1270
         * Lines are normalised by the underlying store: they will all have \n
 
1271
           terminators.
 
1272
         * Lines are returned in arbitrary order.
 
1273
 
 
1274
        :return: An iterator over (line, key).
 
1275
        """
 
1276
        for prefix, suffixes, vf in self._iter_keys_vf(keys):
 
1277
            for line, version in vf.iter_lines_added_or_present_in_versions(suffixes):
 
1278
                yield line, prefix + (version,)
 
1279
 
 
1280
    def _iter_all_components(self):
 
1281
        for path, prefix in self._get_all_prefixes():
 
1282
            yield prefix, self._get_vf(path)
 
1283
 
 
1284
    def keys(self):
 
1285
        """See VersionedFiles.keys()."""
 
1286
        result = set()
 
1287
        for prefix, vf in self._iter_all_components():
 
1288
            for suffix in vf.versions():
 
1289
                result.add(prefix + (suffix,))
 
1290
        return result
 
1291
 
 
1292
 
 
1293
class _PlanMergeVersionedFile(VersionedFiles):
 
1294
    """A VersionedFile for uncommitted and committed texts.
 
1295
 
 
1296
    It is intended to allow merges to be planned with working tree texts.
 
1297
    It implements only the small part of the VersionedFiles interface used by
 
1298
    PlanMerge.  It falls back to multiple versionedfiles for data not stored in
 
1299
    _PlanMergeVersionedFile itself.
 
1300
 
 
1301
    :ivar: fallback_versionedfiles a list of VersionedFiles objects that can be
 
1302
        queried for missing texts.
 
1303
    """
 
1304
 
 
1305
    def __init__(self, file_id):
 
1306
        """Create a _PlanMergeVersionedFile.
 
1307
 
 
1308
        :param file_id: Used with _PlanMerge code which is not yet fully
 
1309
            tuple-keyspace aware.
 
1310
        """
 
1311
        self._file_id = file_id
 
1312
        # fallback locations
 
1313
        self.fallback_versionedfiles = []
 
1314
        # Parents for locally held keys.
 
1315
        self._parents = {}
 
1316
        # line data for locally held keys.
 
1317
        self._lines = {}
 
1318
        # key lookup providers
 
1319
        self._providers = [DictParentsProvider(self._parents)]
 
1320
 
 
1321
    def plan_merge(self, ver_a, ver_b, base=None):
 
1322
        """See VersionedFile.plan_merge"""
 
1323
        from bzrlib.merge import _PlanMerge
 
1324
        if base is None:
 
1325
            return _PlanMerge(ver_a, ver_b, self, (self._file_id,)).plan_merge()
 
1326
        old_plan = list(_PlanMerge(ver_a, base, self, (self._file_id,)).plan_merge())
 
1327
        new_plan = list(_PlanMerge(ver_a, ver_b, self, (self._file_id,)).plan_merge())
 
1328
        return _PlanMerge._subtract_plans(old_plan, new_plan)
 
1329
 
 
1330
    def plan_lca_merge(self, ver_a, ver_b, base=None):
 
1331
        from bzrlib.merge import _PlanLCAMerge
 
1332
        graph = Graph(self)
 
1333
        new_plan = _PlanLCAMerge(ver_a, ver_b, self, (self._file_id,), graph).plan_merge()
 
1334
        if base is None:
 
1335
            return new_plan
 
1336
        old_plan = _PlanLCAMerge(ver_a, base, self, (self._file_id,), graph).plan_merge()
 
1337
        return _PlanLCAMerge._subtract_plans(list(old_plan), list(new_plan))
 
1338
 
 
1339
    def add_lines(self, key, parents, lines):
 
1340
        """See VersionedFiles.add_lines
 
1341
 
 
1342
        Lines are added locally, not to fallback versionedfiles.  Also, ghosts
 
1343
        are permitted.  Only reserved ids are permitted.
 
1344
        """
 
1345
        if type(key) is not tuple:
 
1346
            raise TypeError(key)
 
1347
        if not revision.is_reserved_id(key[-1]):
 
1348
            raise ValueError('Only reserved ids may be used')
 
1349
        if parents is None:
 
1350
            raise ValueError('Parents may not be None')
 
1351
        if lines is None:
 
1352
            raise ValueError('Lines may not be None')
 
1353
        self._parents[key] = tuple(parents)
 
1354
        self._lines[key] = lines
 
1355
 
 
1356
    def get_record_stream(self, keys, ordering, include_delta_closure):
 
1357
        pending = set(keys)
 
1358
        for key in keys:
 
1359
            if key in self._lines:
 
1360
                lines = self._lines[key]
 
1361
                parents = self._parents[key]
 
1362
                pending.remove(key)
 
1363
                yield ChunkedContentFactory(key, parents, None, lines)
 
1364
        for versionedfile in self.fallback_versionedfiles:
 
1365
            for record in versionedfile.get_record_stream(
 
1366
                pending, 'unordered', True):
 
1367
                if record.storage_kind == 'absent':
 
1368
                    continue
 
1369
                else:
 
1370
                    pending.remove(record.key)
 
1371
                    yield record
 
1372
            if not pending:
 
1373
                return
 
1374
        # report absent entries
 
1375
        for key in pending:
 
1376
            yield AbsentContentFactory(key)
 
1377
 
 
1378
    def get_parent_map(self, keys):
 
1379
        """See VersionedFiles.get_parent_map"""
 
1380
        # We create a new provider because a fallback may have been added.
 
1381
        # If we make fallbacks private we can update a stack list and avoid
 
1382
        # object creation thrashing.
 
1383
        keys = set(keys)
 
1384
        result = {}
 
1385
        if revision.NULL_REVISION in keys:
 
1386
            keys.remove(revision.NULL_REVISION)
 
1387
            result[revision.NULL_REVISION] = ()
 
1388
        self._providers = self._providers[:1] + self.fallback_versionedfiles
 
1389
        result.update(
 
1390
            StackedParentsProvider(self._providers).get_parent_map(keys))
 
1391
        for key, parents in result.iteritems():
 
1392
            if parents == ():
 
1393
                result[key] = (revision.NULL_REVISION,)
 
1394
        return result
 
1395
 
 
1396
 
 
1397
class PlanWeaveMerge(TextMerge):
 
1398
    """Weave merge that takes a plan as its input.
 
1399
 
 
1400
    This exists so that VersionedFile.plan_merge is implementable.
 
1401
    Most callers will want to use WeaveMerge instead.
 
1402
    """
 
1403
 
 
1404
    def __init__(self, plan, a_marker=TextMerge.A_MARKER,
 
1405
                 b_marker=TextMerge.B_MARKER):
 
1406
        TextMerge.__init__(self, a_marker, b_marker)
 
1407
        self.plan = plan
 
1408
 
 
1409
    def _merge_struct(self):
 
1410
        lines_a = []
 
1411
        lines_b = []
 
1412
        ch_a = ch_b = False
 
1413
 
 
1414
        def outstanding_struct():
 
1415
            if not lines_a and not lines_b:
 
1416
                return
 
1417
            elif ch_a and not ch_b:
 
1418
                # one-sided change:
 
1419
                yield(lines_a,)
 
1420
            elif ch_b and not ch_a:
 
1421
                yield (lines_b,)
 
1422
            elif lines_a == lines_b:
 
1423
                yield(lines_a,)
 
1424
            else:
 
1425
                yield (lines_a, lines_b)
 
1426
 
 
1427
        # We previously considered either 'unchanged' or 'killed-both' lines
 
1428
        # to be possible places to resynchronize.  However, assuming agreement
 
1429
        # on killed-both lines may be too aggressive. -- mbp 20060324
 
1430
        for state, line in self.plan:
 
1431
            if state == 'unchanged':
 
1432
                # resync and flush queued conflicts changes if any
 
1433
                for struct in outstanding_struct():
 
1434
                    yield struct
 
1435
                lines_a = []
 
1436
                lines_b = []
 
1437
                ch_a = ch_b = False
 
1438
 
 
1439
            if state == 'unchanged':
 
1440
                if line:
 
1441
                    yield ([line],)
 
1442
            elif state == 'killed-a':
 
1443
                ch_a = True
 
1444
                lines_b.append(line)
 
1445
            elif state == 'killed-b':
 
1446
                ch_b = True
 
1447
                lines_a.append(line)
 
1448
            elif state == 'new-a':
 
1449
                ch_a = True
 
1450
                lines_a.append(line)
 
1451
            elif state == 'new-b':
 
1452
                ch_b = True
 
1453
                lines_b.append(line)
 
1454
            elif state == 'conflicted-a':
 
1455
                ch_b = ch_a = True
 
1456
                lines_a.append(line)
 
1457
            elif state == 'conflicted-b':
 
1458
                ch_b = ch_a = True
 
1459
                lines_b.append(line)
 
1460
            elif state == 'killed-both':
 
1461
                # This counts as a change, even though there is no associated
 
1462
                # line
 
1463
                ch_b = ch_a = True
 
1464
            else:
 
1465
                if state not in ('irrelevant', 'ghost-a', 'ghost-b',
 
1466
                        'killed-base'):
 
1467
                    raise AssertionError(state)
 
1468
        for struct in outstanding_struct():
 
1469
            yield struct
 
1470
 
 
1471
 
 
1472
class WeaveMerge(PlanWeaveMerge):
 
1473
    """Weave merge that takes a VersionedFile and two versions as its input."""
 
1474
 
 
1475
    def __init__(self, versionedfile, ver_a, ver_b,
 
1476
        a_marker=PlanWeaveMerge.A_MARKER, b_marker=PlanWeaveMerge.B_MARKER):
 
1477
        plan = versionedfile.plan_merge(ver_a, ver_b)
 
1478
        PlanWeaveMerge.__init__(self, plan, a_marker, b_marker)
 
1479
 
 
1480
 
 
1481
class VirtualVersionedFiles(VersionedFiles):
 
1482
    """Dummy implementation for VersionedFiles that uses other functions for
 
1483
    obtaining fulltexts and parent maps.
 
1484
 
 
1485
    This is always on the bottom of the stack and uses string keys
 
1486
    (rather than tuples) internally.
 
1487
    """
 
1488
 
 
1489
    def __init__(self, get_parent_map, get_lines):
 
1490
        """Create a VirtualVersionedFiles.
 
1491
 
 
1492
        :param get_parent_map: Same signature as Repository.get_parent_map.
 
1493
        :param get_lines: Should return lines for specified key or None if
 
1494
                          not available.
 
1495
        """
 
1496
        super(VirtualVersionedFiles, self).__init__()
 
1497
        self._get_parent_map = get_parent_map
 
1498
        self._get_lines = get_lines
 
1499
 
 
1500
    def check(self, progressbar=None):
 
1501
        """See VersionedFiles.check.
 
1502
 
 
1503
        :note: Always returns True for VirtualVersionedFiles.
 
1504
        """
 
1505
        return True
 
1506
 
 
1507
    def add_mpdiffs(self, records):
 
1508
        """See VersionedFiles.mpdiffs.
 
1509
 
 
1510
        :note: Not implemented for VirtualVersionedFiles.
 
1511
        """
 
1512
        raise NotImplementedError(self.add_mpdiffs)
 
1513
 
 
1514
    def get_parent_map(self, keys):
 
1515
        """See VersionedFiles.get_parent_map."""
 
1516
        return dict([((k,), tuple([(p,) for p in v]))
 
1517
            for k,v in self._get_parent_map([k for (k,) in keys]).iteritems()])
 
1518
 
 
1519
    def get_sha1s(self, keys):
 
1520
        """See VersionedFiles.get_sha1s."""
 
1521
        ret = {}
 
1522
        for (k,) in keys:
 
1523
            lines = self._get_lines(k)
 
1524
            if lines is not None:
 
1525
                if not isinstance(lines, list):
 
1526
                    raise AssertionError
 
1527
                ret[(k,)] = osutils.sha_strings(lines)
 
1528
        return ret
 
1529
 
 
1530
    def get_record_stream(self, keys, ordering, include_delta_closure):
 
1531
        """See VersionedFiles.get_record_stream."""
 
1532
        for (k,) in list(keys):
 
1533
            lines = self._get_lines(k)
 
1534
            if lines is not None:
 
1535
                if not isinstance(lines, list):
 
1536
                    raise AssertionError
 
1537
                yield ChunkedContentFactory((k,), None,
 
1538
                        sha1=osutils.sha_strings(lines),
 
1539
                        chunks=lines)
 
1540
            else:
 
1541
                yield AbsentContentFactory((k,))
 
1542
 
 
1543
    def iter_lines_added_or_present_in_keys(self, keys, pb=None):
 
1544
        """See VersionedFile.iter_lines_added_or_present_in_versions()."""
 
1545
        for i, (key,) in enumerate(keys):
 
1546
            if pb is not None:
 
1547
                pb.update("Finding changed lines", i, len(keys))
 
1548
            for l in self._get_lines(key):
 
1549
                yield (l, key)
 
1550
 
 
1551
 
 
1552
def network_bytes_to_kind_and_offset(network_bytes):
 
1553
    """Strip of a record kind from the front of network_bytes.
 
1554
 
 
1555
    :param network_bytes: The bytes of a record.
 
1556
    :return: A tuple (storage_kind, offset_of_remaining_bytes)
 
1557
    """
 
1558
    line_end = network_bytes.find('\n')
 
1559
    storage_kind = network_bytes[:line_end]
 
1560
    return storage_kind, line_end + 1
 
1561
 
 
1562
 
 
1563
class NetworkRecordStream(object):
 
1564
    """A record_stream which reconstitures a serialised stream."""
 
1565
 
 
1566
    def __init__(self, bytes_iterator):
 
1567
        """Create a NetworkRecordStream.
 
1568
 
 
1569
        :param bytes_iterator: An iterator of bytes. Each item in this
 
1570
            iterator should have been obtained from a record_streams'
 
1571
            record.get_bytes_as(record.storage_kind) call.
 
1572
        """
 
1573
        self._bytes_iterator = bytes_iterator
 
1574
        self._kind_factory = {
 
1575
            'fulltext': fulltext_network_to_record,
 
1576
            'groupcompress-block': groupcompress.network_block_to_records,
 
1577
            'knit-ft-gz': knit.knit_network_to_record,
 
1578
            'knit-delta-gz': knit.knit_network_to_record,
 
1579
            'knit-annotated-ft-gz': knit.knit_network_to_record,
 
1580
            'knit-annotated-delta-gz': knit.knit_network_to_record,
 
1581
            'knit-delta-closure': knit.knit_delta_closure_to_records,
 
1582
            }
 
1583
 
 
1584
    def read(self):
 
1585
        """Read the stream.
 
1586
 
 
1587
        :return: An iterator as per VersionedFiles.get_record_stream().
 
1588
        """
 
1589
        for bytes in self._bytes_iterator:
 
1590
            storage_kind, line_end = network_bytes_to_kind_and_offset(bytes)
 
1591
            for record in self._kind_factory[storage_kind](
 
1592
                storage_kind, bytes, line_end):
 
1593
                yield record
 
1594
 
 
1595
 
 
1596
def fulltext_network_to_record(kind, bytes, line_end):
 
1597
    """Convert a network fulltext record to record."""
 
1598
    meta_len, = struct.unpack('!L', bytes[line_end:line_end+4])
 
1599
    record_meta = bytes[line_end+4:line_end+4+meta_len]
 
1600
    key, parents = bencode.bdecode_as_tuple(record_meta)
 
1601
    if parents == 'nil':
 
1602
        parents = None
 
1603
    fulltext = bytes[line_end+4+meta_len:]
 
1604
    return [FulltextContentFactory(key, parents, None, fulltext)]
 
1605
 
 
1606
 
 
1607
def _length_prefix(bytes):
 
1608
    return struct.pack('!L', len(bytes))
 
1609
 
 
1610
 
 
1611
def record_to_fulltext_bytes(record):
 
1612
    if record.parents is None:
 
1613
        parents = 'nil'
 
1614
    else:
 
1615
        parents = record.parents
 
1616
    record_meta = bencode.bencode((record.key, parents))
 
1617
    record_content = record.get_bytes_as('fulltext')
 
1618
    return "fulltext\n%s%s%s" % (
 
1619
        _length_prefix(record_meta), record_meta, record_content)
 
1620
 
 
1621
 
 
1622
def sort_groupcompress(parent_map):
 
1623
    """Sort and group the keys in parent_map into groupcompress order.
 
1624
 
 
1625
    groupcompress is defined (currently) as reverse-topological order, grouped
 
1626
    by the key prefix.
 
1627
 
 
1628
    :return: A sorted-list of keys
 
1629
    """
 
1630
    # gc-optimal ordering is approximately reverse topological,
 
1631
    # properly grouped by file-id.
 
1632
    per_prefix_map = {}
 
1633
    for item in parent_map.iteritems():
 
1634
        key = item[0]
 
1635
        if isinstance(key, str) or len(key) == 1:
 
1636
            prefix = ''
 
1637
        else:
 
1638
            prefix = key[0]
 
1639
        try:
 
1640
            per_prefix_map[prefix].append(item)
 
1641
        except KeyError:
 
1642
            per_prefix_map[prefix] = [item]
 
1643
 
 
1644
    present_keys = []
 
1645
    for prefix in sorted(per_prefix_map):
 
1646
        present_keys.extend(reversed(tsort.topo_sort(per_prefix_map[prefix])))
 
1647
    return present_keys