~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/versionedfile.py

  • Committer: John Arbash Meinel
  • Date: 2006-12-01 19:41:16 UTC
  • mfrom: (2158 +trunk)
  • mto: This revision was merged to the branch mainline in revision 2159.
  • Revision ID: john@arbash-meinel.com-20061201194116-nvn5qhfxux5284jc
[merge] bzr.dev 2158

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
 
24
from copy import deepcopy
 
25
import unittest
31
26
 
32
27
from bzrlib import (
33
 
    annotate,
34
28
    errors,
35
 
    graph as _mod_graph,
36
 
    groupcompress,
37
 
    index,
38
 
    knit,
39
 
    osutils,
40
 
    multiparent,
41
29
    tsort,
42
 
    revision,
43
30
    ui,
44
31
    )
45
 
from bzrlib.graph import DictParentsProvider, Graph, StackedParentsProvider
46
32
from bzrlib.transport.memory import MemoryTransport
47
33
""")
48
 
from bzrlib.registry import Registry
49
 
from bzrlib.symbol_versioning import *
 
34
 
 
35
from bzrlib.inter import InterObject
50
36
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
 
37
from bzrlib.symbol_versioning import (deprecated_function,
 
38
        deprecated_method,
 
39
        zero_eight,
 
40
        )
207
41
 
208
42
 
209
43
class VersionedFile(object):
210
44
    """Versioned text file storage.
211
 
 
 
45
    
212
46
    A versioned file manages versions of line-based text files,
213
47
    keeping track of the originating version for each line.
214
48
 
220
54
    Texts are identified by a version-id string.
221
55
    """
222
56
 
223
 
    @staticmethod
224
 
    def check_not_reserved_id(version_id):
225
 
        revision.check_not_reserved_id(version_id)
 
57
    def __init__(self, access_mode):
 
58
        self.finished = False
 
59
        self._access_mode = access_mode
226
60
 
227
61
    def copy_to(self, name, transport):
228
62
        """Copy this versioned file to name on transport."""
229
63
        raise NotImplementedError(self.copy_to)
230
64
 
231
 
    def get_record_stream(self, versions, ordering, include_delta_closure):
232
 
        """Get a stream of records for versions.
 
65
    @deprecated_method(zero_eight)
 
66
    def names(self):
 
67
        """Return a list of all the versions in this versioned file.
233
68
 
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.
 
69
        Please use versionedfile.versions() now.
245
70
        """
246
 
        raise NotImplementedError(self.get_record_stream)
 
71
        return self.versions()
 
72
 
 
73
    def versions(self):
 
74
        """Return a unsorted list of versions."""
 
75
        raise NotImplementedError(self.versions)
 
76
 
 
77
    def has_ghost(self, version_id):
 
78
        """Returns whether version is present as a ghost."""
 
79
        raise NotImplementedError(self.has_ghost)
247
80
 
248
81
    def has_version(self, version_id):
249
82
        """Returns whether version is present."""
250
83
        raise NotImplementedError(self.has_version)
251
84
 
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):
 
85
    def add_delta(self, version_id, parents, delta_parent, sha1, noeol, delta):
 
86
        """Add a text to the versioned file via a pregenerated delta.
 
87
 
 
88
        :param version_id: The version id being added.
 
89
        :param parents: The parents of the version_id.
 
90
        :param delta_parent: The parent this delta was created against.
 
91
        :param sha1: The sha1 of the full text.
 
92
        :param delta: The delta instructions. See get_delta for details.
 
93
        """
 
94
        self._check_write_ok()
 
95
        if self.has_version(version_id):
 
96
            raise errors.RevisionAlreadyPresent(version_id, self)
 
97
        return self._add_delta(version_id, parents, delta_parent, sha1, noeol, delta)
 
98
 
 
99
    def _add_delta(self, version_id, parents, delta_parent, sha1, noeol, delta):
 
100
        """Class specific routine to add a delta.
 
101
 
 
102
        This generic version simply applies the delta to the delta_parent and
 
103
        then inserts it.
 
104
        """
 
105
        # strip annotation from delta
 
106
        new_delta = []
 
107
        for start, stop, delta_len, delta_lines in delta:
 
108
            new_delta.append((start, stop, delta_len, [text for origin, text in delta_lines]))
 
109
        if delta_parent is not None:
 
110
            parent_full = self.get_lines(delta_parent)
 
111
        else:
 
112
            parent_full = []
 
113
        new_full = self._apply_delta(parent_full, new_delta)
 
114
        # its impossible to have noeol on an empty file
 
115
        if noeol and new_full[-1][-1] == '\n':
 
116
            new_full[-1] = new_full[-1][:-1]
 
117
        self.add_lines(version_id, parents, new_full)
 
118
 
 
119
    def add_lines(self, version_id, parents, lines, parent_texts=None):
264
120
        """Add a single text on top of the versioned file.
265
121
 
266
122
        Must raise RevisionAlreadyPresent if the new version is
268
124
 
269
125
        Must raise RevisionNotPresent if any of the given parents are
270
126
        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.
 
127
        :param parent_texts: An optional dictionary containing the opaque 
 
128
             representations of some or all of the parents of 
 
129
             version_id to allow delta optimisations. 
 
130
             VERY IMPORTANT: the texts must be those returned
 
131
             by add_lines or data corruption can be caused.
 
132
        :return: An opaque representation of the inserted version which can be
 
133
                 provided back to future add_lines calls in the parent_texts
 
134
                 dictionary.
300
135
        """
301
136
        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)
 
137
        return self._add_lines(version_id, parents, lines, parent_texts)
304
138
 
305
 
    def _add_lines(self, version_id, parents, lines, parent_texts,
306
 
        left_matching_blocks, nostore_sha, random_id, check_content):
 
139
    def _add_lines(self, version_id, parents, lines, parent_texts):
307
140
        """Helper to do the class specific add_lines."""
308
141
        raise NotImplementedError(self.add_lines)
309
142
 
310
143
    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):
 
144
                              parent_texts=None):
313
145
        """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.
 
146
        
 
147
        This takes the same parameters as add_lines.
316
148
        """
317
149
        self._check_write_ok()
318
150
        return self._add_lines_with_ghosts(version_id, parents, lines,
319
 
            parent_texts, nostore_sha, random_id, check_content, left_matching_blocks)
 
151
                                           parent_texts)
320
152
 
321
 
    def _add_lines_with_ghosts(self, version_id, parents, lines, parent_texts,
322
 
        nostore_sha, random_id, check_content, left_matching_blocks):
 
153
    def _add_lines_with_ghosts(self, version_id, parents, lines, parent_texts):
323
154
        """Helper to do class specific add_lines_with_ghosts."""
324
155
        raise NotImplementedError(self.add_lines_with_ghosts)
325
156
 
339
170
            if '\n' in line[:-1]:
340
171
                raise errors.BzrBadParameterContainsNewline("lines")
341
172
 
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
 
 
 
173
    def _check_write_ok(self):
 
174
        """Is the versioned file marked as 'finished' ? Raise if it is."""
 
175
        if self.finished:
 
176
            raise errors.OutSideTransaction()
 
177
        if self._access_mode != 'w':
 
178
            raise errors.ReadOnlyObjectDirtiedError(self)
 
179
 
 
180
    def enable_cache(self):
 
181
        """Tell this versioned file that it should cache any data it reads.
 
182
        
 
183
        This is advisory, implementations do not have to support caching.
 
184
        """
 
185
        pass
 
186
    
 
187
    def clear_cache(self):
 
188
        """Remove any data cached in the versioned file object.
 
189
 
 
190
        This only needs to be supported if caches are supported
 
191
        """
 
192
        pass
 
193
 
 
194
    def clone_text(self, new_version_id, old_version_id, parents):
 
195
        """Add an identical text to old_version_id as new_version_id.
 
196
 
 
197
        Must raise RevisionNotPresent if the old version or any of the
 
198
        parents are not present in file history.
 
199
 
 
200
        Must raise RevisionAlreadyPresent if the new version is
 
201
        already present in file history."""
 
202
        self._check_write_ok()
 
203
        return self._clone_text(new_version_id, old_version_id, parents)
 
204
 
 
205
    def _clone_text(self, new_version_id, old_version_id, parents):
 
206
        """Helper function to do the _clone_text work."""
 
207
        raise NotImplementedError(self.clone_text)
 
208
 
 
209
    def create_empty(self, name, transport, mode=None):
 
210
        """Create a new versioned file of this exact type.
 
211
 
 
212
        :param name: the file name
 
213
        :param transport: the transport
 
214
        :param mode: optional file mode.
 
215
        """
 
216
        raise NotImplementedError(self.create_empty)
 
217
 
 
218
    def fix_parents(self, version, new_parents):
 
219
        """Fix the parents list for version.
 
220
        
 
221
        This is done by appending a new version to the index
 
222
        with identical data except for the parents list.
 
223
        the parents list must be a superset of the current
 
224
        list.
 
225
        """
 
226
        self._check_write_ok()
 
227
        return self._fix_parents(version, new_parents)
 
228
 
 
229
    def _fix_parents(self, version, new_parents):
 
230
        """Helper for fix_parents."""
 
231
        raise NotImplementedError(self.fix_parents)
 
232
 
 
233
    def get_delta(self, version):
 
234
        """Get a delta for constructing version from some other version.
 
235
        
 
236
        :return: (delta_parent, sha1, noeol, delta)
 
237
        Where delta_parent is a version id or None to indicate no parent.
 
238
        """
 
239
        raise NotImplementedError(self.get_delta)
 
240
 
 
241
    def get_deltas(self, versions):
 
242
        """Get multiple deltas at once for constructing versions.
 
243
        
 
244
        :return: dict(version_id:(delta_parent, sha1, noeol, delta))
 
245
        Where delta_parent is a version id or None to indicate no parent, and
 
246
        version_id is the version_id created by that delta.
 
247
        """
 
248
        result = {}
 
249
        for version in versions:
 
250
            result[version] = self.get_delta(version)
 
251
        return result
 
252
 
 
253
    def get_sha1(self, version_id):
 
254
        """Get the stored sha1 sum for the given revision.
 
255
        
 
256
        :param name: The name of the version to lookup
 
257
        """
 
258
        raise NotImplementedError(self.get_sha1)
 
259
 
 
260
    def get_suffixes(self):
 
261
        """Return the file suffixes associated with this versioned file."""
 
262
        raise NotImplementedError(self.get_suffixes)
 
263
    
431
264
    def get_text(self, version_id):
432
265
        """Return version contents as a text string.
433
266
 
453
286
        """
454
287
        raise NotImplementedError(self.get_lines)
455
288
 
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):
 
289
    def get_ancestry(self, version_ids):
460
290
        """Return a list of all ancestors of given version(s). This
461
291
        will not include the null revision.
462
292
 
463
 
        This list will not be topologically sorted if topo_sorted=False is
464
 
        passed.
465
 
 
466
293
        Must raise RevisionNotPresent if any of the given versions are
467
294
        not present in file history."""
468
295
        if isinstance(version_ids, basestring):
469
296
            version_ids = [version_ids]
470
297
        raise NotImplementedError(self.get_ancestry)
471
 
 
 
298
        
472
299
    def get_ancestry_with_ghosts(self, version_ids):
473
300
        """Return a list of all ancestors of given version(s). This
474
301
        will not include the null revision.
475
302
 
476
303
        Must raise RevisionNotPresent if any of the given versions are
477
304
        not present in file history.
478
 
 
 
305
        
479
306
        Ghosts that are known about will be included in ancestry list,
480
307
        but are not explicitly marked.
481
308
        """
482
309
        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)
 
310
        
 
311
    def get_graph(self, version_ids=None):
 
312
        """Return a graph from the versioned file. 
 
313
        
 
314
        Ghosts are not listed or referenced in the graph.
 
315
        :param version_ids: Versions to select.
 
316
                            None means retrieve all versions.
 
317
        """
 
318
        result = {}
 
319
        if version_ids is None:
 
320
            for version in self.versions():
 
321
                result[version] = self.get_parents(version)
 
322
        else:
 
323
            pending = set(version_ids)
 
324
            while pending:
 
325
                version = pending.pop()
 
326
                if version in result:
 
327
                    continue
 
328
                parents = self.get_parents(version)
 
329
                for parent in parents:
 
330
                    if parent in result:
 
331
                        continue
 
332
                    pending.add(parent)
 
333
                result[version] = parents
 
334
        return result
 
335
 
 
336
    def get_graph_with_ghosts(self):
 
337
        """Return a graph for the entire versioned file.
 
338
        
 
339
        Ghosts are referenced in parents list but are not
 
340
        explicitly listed.
 
341
        """
 
342
        raise NotImplementedError(self.get_graph_with_ghosts)
 
343
 
 
344
    @deprecated_method(zero_eight)
 
345
    def parent_names(self, version):
 
346
        """Return version names for parents of a version.
 
347
        
 
348
        See get_parents for the current api.
 
349
        """
 
350
        return self.get_parents(version)
 
351
 
 
352
    def get_parents(self, version_id):
 
353
        """Return version names for parents of a version.
 
354
 
 
355
        Must raise RevisionNotPresent if version is not present in
 
356
        file history.
 
357
        """
 
358
        raise NotImplementedError(self.get_parents)
491
359
 
492
360
    def get_parents_with_ghosts(self, version_id):
493
361
        """Return version names for parents of version_id.
498
366
        Ghosts that are known about will be included in the parent list,
499
367
        but are not explicitly marked.
500
368
        """
501
 
        try:
502
 
            return list(self.get_parent_map([version_id])[version_id])
503
 
        except KeyError:
504
 
            raise errors.RevisionNotPresent(version_id, self)
 
369
        raise NotImplementedError(self.get_parents_with_ghosts)
 
370
 
 
371
    def annotate_iter(self, version_id):
 
372
        """Yield list of (version-id, line) pairs for the specified
 
373
        version.
 
374
 
 
375
        Must raise RevisionNotPresent if any of the given versions are
 
376
        not present in file history.
 
377
        """
 
378
        raise NotImplementedError(self.annotate_iter)
505
379
 
506
380
    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.
 
381
        return list(self.annotate_iter(version_id))
 
382
 
 
383
    def _apply_delta(self, lines, delta):
 
384
        """Apply delta to lines."""
 
385
        lines = list(lines)
 
386
        offset = 0
 
387
        for start, end, count, delta_lines in delta:
 
388
            lines[offset+start:offset+end] = delta_lines
 
389
            offset = offset + (start - end) + count
 
390
        return lines
 
391
 
 
392
    def join(self, other, pb=None, msg=None, version_ids=None,
 
393
             ignore_missing=False):
 
394
        """Integrate versions from other into this versioned file.
 
395
 
 
396
        If version_ids is None all versions from other should be
 
397
        incorporated into this versioned file.
 
398
 
 
399
        Must raise RevisionNotPresent if any of the specified versions
 
400
        are not present in the other files history unless ignore_missing
 
401
        is supplied when they are silently skipped.
511
402
        """
512
 
        raise NotImplementedError(self.annotate)
 
403
        self._check_write_ok()
 
404
        return InterVersionedFile.get(other, self).join(
 
405
            pb,
 
406
            msg,
 
407
            version_ids,
 
408
            ignore_missing)
513
409
 
514
 
    def iter_lines_added_or_present_in_versions(self, version_ids=None,
 
410
    def iter_lines_added_or_present_in_versions(self, version_ids=None, 
515
411
                                                pb=None):
516
412
        """Iterate over the lines in the versioned file from version_ids.
517
413
 
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.
 
414
        This may return lines from other versions, and does not return the
 
415
        specific version marker at this point. The api may be changed
 
416
        during development to include the version that the versioned file
 
417
        thinks is relevant, but given that such hints are just guesses,
 
418
        its better not to have it if we don't need it.
524
419
 
525
420
        If a progress bar is supplied, it may be used to indicate progress.
526
421
        The caller is responsible for cleaning up progress bars (because this
528
423
 
529
424
        NOTES: Lines are normalised: they will all have \n terminators.
530
425
               Lines are returned in arbitrary order.
531
 
 
532
 
        :return: An iterator over (line, version_id).
533
426
        """
534
427
        raise NotImplementedError(self.iter_lines_added_or_present_in_versions)
535
428
 
 
429
    def transaction_finished(self):
 
430
        """The transaction that this file was opened in has finished.
 
431
 
 
432
        This records self.finished = True and should cause all mutating
 
433
        operations to error.
 
434
        """
 
435
        self.finished = True
 
436
 
 
437
    @deprecated_method(zero_eight)
 
438
    def walk(self, version_ids=None):
 
439
        """Walk the versioned file as a weave-like structure, for
 
440
        versions relative to version_ids.  Yields sequence of (lineno,
 
441
        insert, deletes, text) for each relevant line.
 
442
 
 
443
        Must raise RevisionNotPresent if any of the specified versions
 
444
        are not present in the file history.
 
445
 
 
446
        :param version_ids: the version_ids to walk with respect to. If not
 
447
                            supplied the entire weave-like structure is walked.
 
448
 
 
449
        walk is deprecated in favour of iter_lines_added_or_present_in_versions
 
450
        """
 
451
        raise NotImplementedError(self.walk)
 
452
 
 
453
    @deprecated_method(zero_eight)
 
454
    def iter_names(self):
 
455
        """Walk the names list."""
 
456
        return iter(self.versions())
 
457
 
536
458
    def plan_merge(self, ver_a, ver_b):
537
459
        """Return pseudo-annotation indicating how the two versions merge.
538
460
 
549
471
        unchanged   Alive in both a and b (possibly created in both)
550
472
        new-a       Created in a
551
473
        new-b       Created in b
552
 
        ghost-a     Killed in a, unborn in b
 
474
        ghost-a     Killed in a, unborn in b    
553
475
        ghost-b     Killed in b, unborn in a
554
476
        irrelevant  Not in either revision
555
477
        """
556
478
        raise NotImplementedError(VersionedFile.plan_merge)
557
 
 
 
479
        
558
480
    def weave_merge(self, plan, a_marker=TextMerge.A_MARKER,
559
481
                    b_marker=TextMerge.B_MARKER):
560
482
        return PlanWeaveMerge(plan, a_marker, b_marker).merge_lines()[0]
561
483
 
562
484
 
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 clear_cache(self):
933
 
        """Clear whatever caches this VersionedFile holds.
934
 
 
935
 
        This is generally called after an operation has been performed, when we
936
 
        don't expect to be using this versioned file again soon.
937
 
        """
938
 
 
939
 
    def _check_lines_not_unicode(self, lines):
940
 
        """Check that lines being added to a versioned file are not unicode."""
941
 
        for line in lines:
942
 
            if line.__class__ is not str:
943
 
                raise errors.BzrBadParameterUnicode("lines")
944
 
 
945
 
    def _check_lines_are_lines(self, lines):
946
 
        """Check that the lines really are full lines without inline EOL."""
947
 
        for line in lines:
948
 
            if '\n' in line[:-1]:
949
 
                raise errors.BzrBadParameterContainsNewline("lines")
950
 
 
951
 
    def get_known_graph_ancestry(self, keys):
952
 
        """Get a KnownGraph instance with the ancestry of keys."""
953
 
        # most basic implementation is a loop around get_parent_map
954
 
        pending = set(keys)
955
 
        parent_map = {}
956
 
        while pending:
957
 
            this_parent_map = self.get_parent_map(pending)
958
 
            parent_map.update(this_parent_map)
959
 
            pending = set()
960
 
            map(pending.update, this_parent_map.itervalues())
961
 
            pending = pending.difference(parent_map)
962
 
        kg = _mod_graph.KnownGraph(parent_map)
963
 
        return kg
964
 
 
965
 
    def get_parent_map(self, keys):
966
 
        """Get a map of the parents of keys.
967
 
 
968
 
        :param keys: The keys to look up parents for.
969
 
        :return: A mapping from keys to parents. Absent keys are absent from
970
 
            the mapping.
971
 
        """
972
 
        raise NotImplementedError(self.get_parent_map)
973
 
 
974
 
    def get_record_stream(self, keys, ordering, include_delta_closure):
975
 
        """Get a stream of records for keys.
976
 
 
977
 
        :param keys: The keys to include.
978
 
        :param ordering: Either 'unordered' or 'topological'. A topologically
979
 
            sorted stream has compression parents strictly before their
980
 
            children.
981
 
        :param include_delta_closure: If True then the closure across any
982
 
            compression parents will be included (in the opaque data).
983
 
        :return: An iterator of ContentFactory objects, each of which is only
984
 
            valid until the iterator is advanced.
985
 
        """
986
 
        raise NotImplementedError(self.get_record_stream)
987
 
 
988
 
    def get_sha1s(self, keys):
989
 
        """Get the sha1's of the texts for the given keys.
990
 
 
991
 
        :param keys: The names of the keys to lookup
992
 
        :return: a dict from key to sha1 digest. Keys of texts which are not
993
 
            present in the store are not present in the returned
994
 
            dictionary.
995
 
        """
996
 
        raise NotImplementedError(self.get_sha1s)
997
 
 
998
 
    has_key = index._has_key_from_parent_map
999
 
 
1000
 
    def get_missing_compression_parent_keys(self):
1001
 
        """Return an iterable of keys of missing compression parents.
1002
 
 
1003
 
        Check this after calling insert_record_stream to find out if there are
1004
 
        any missing compression parents.  If there are, the records that
1005
 
        depend on them are not able to be inserted safely. The precise
1006
 
        behaviour depends on the concrete VersionedFiles class in use.
1007
 
 
1008
 
        Classes that do not support this will raise NotImplementedError.
1009
 
        """
1010
 
        raise NotImplementedError(self.get_missing_compression_parent_keys)
1011
 
 
1012
 
    def insert_record_stream(self, stream):
1013
 
        """Insert a record stream into this container.
1014
 
 
1015
 
        :param stream: A stream of records to insert.
1016
 
        :return: None
1017
 
        :seealso VersionedFile.get_record_stream:
1018
 
        """
1019
 
        raise NotImplementedError
1020
 
 
1021
 
    def iter_lines_added_or_present_in_keys(self, keys, pb=None):
1022
 
        """Iterate over the lines in the versioned files from keys.
1023
 
 
1024
 
        This may return lines from other keys. Each item the returned
1025
 
        iterator yields is a tuple of a line and a text version that that line
1026
 
        is present in (not introduced in).
1027
 
 
1028
 
        Ordering of results is in whatever order is most suitable for the
1029
 
        underlying storage format.
1030
 
 
1031
 
        If a progress bar is supplied, it may be used to indicate progress.
1032
 
        The caller is responsible for cleaning up progress bars (because this
1033
 
        is an iterator).
1034
 
 
1035
 
        NOTES:
1036
 
         * Lines are normalised by the underlying store: they will all have \n
1037
 
           terminators.
1038
 
         * Lines are returned in arbitrary order.
1039
 
 
1040
 
        :return: An iterator over (line, key).
1041
 
        """
1042
 
        raise NotImplementedError(self.iter_lines_added_or_present_in_keys)
1043
 
 
1044
 
    def keys(self):
1045
 
        """Return a iterable of the keys for all the contained texts."""
1046
 
        raise NotImplementedError(self.keys)
1047
 
 
1048
 
    def make_mpdiffs(self, keys):
1049
 
        """Create multiparent diffs for specified keys."""
1050
 
        keys_order = tuple(keys)
1051
 
        keys = frozenset(keys)
1052
 
        knit_keys = set(keys)
1053
 
        parent_map = self.get_parent_map(keys)
1054
 
        for parent_keys in parent_map.itervalues():
1055
 
            if parent_keys:
1056
 
                knit_keys.update(parent_keys)
1057
 
        missing_keys = keys - set(parent_map)
1058
 
        if missing_keys:
1059
 
            raise errors.RevisionNotPresent(list(missing_keys)[0], self)
1060
 
        # We need to filter out ghosts, because we can't diff against them.
1061
 
        maybe_ghosts = knit_keys - keys
1062
 
        ghosts = maybe_ghosts - set(self.get_parent_map(maybe_ghosts))
1063
 
        knit_keys.difference_update(ghosts)
1064
 
        lines = {}
1065
 
        chunks_to_lines = osutils.chunks_to_lines
1066
 
        for record in self.get_record_stream(knit_keys, 'topological', True):
1067
 
            lines[record.key] = chunks_to_lines(record.get_bytes_as('chunked'))
1068
 
            # line_block_dict = {}
1069
 
            # for parent, blocks in record.extract_line_blocks():
1070
 
            #   line_blocks[parent] = blocks
1071
 
            # line_blocks[record.key] = line_block_dict
1072
 
        diffs = []
1073
 
        for key in keys_order:
1074
 
            target = lines[key]
1075
 
            parents = parent_map[key] or []
1076
 
            # Note that filtering knit_keys can lead to a parent difference
1077
 
            # between the creation and the application of the mpdiff.
1078
 
            parent_lines = [lines[p] for p in parents if p in knit_keys]
1079
 
            if len(parent_lines) > 0:
1080
 
                left_parent_blocks = self._extract_blocks(key, parent_lines[0],
1081
 
                    target)
1082
 
            else:
1083
 
                left_parent_blocks = None
1084
 
            diffs.append(multiparent.MultiParent.from_lines(target,
1085
 
                parent_lines, left_parent_blocks))
1086
 
        return diffs
1087
 
 
1088
 
    missing_keys = index._missing_keys_from_parent_map
1089
 
 
1090
 
    def _extract_blocks(self, version_id, source, target):
1091
 
        return None
1092
 
 
1093
 
 
1094
 
class ThunkedVersionedFiles(VersionedFiles):
1095
 
    """Storage for many versioned files thunked onto a 'VersionedFile' class.
1096
 
 
1097
 
    This object allows a single keyspace for accessing the history graph and
1098
 
    contents of named bytestrings.
1099
 
 
1100
 
    Currently no implementation allows the graph of different key prefixes to
1101
 
    intersect, but the API does allow such implementations in the future.
1102
 
    """
1103
 
 
1104
 
    def __init__(self, transport, file_factory, mapper, is_locked):
1105
 
        """Create a ThunkedVersionedFiles."""
1106
 
        self._transport = transport
1107
 
        self._file_factory = file_factory
1108
 
        self._mapper = mapper
1109
 
        self._is_locked = is_locked
1110
 
 
1111
 
    def add_lines(self, key, parents, lines, parent_texts=None,
1112
 
        left_matching_blocks=None, nostore_sha=None, random_id=False,
1113
 
        check_content=True):
1114
 
        """See VersionedFiles.add_lines()."""
1115
 
        path = self._mapper.map(key)
1116
 
        version_id = key[-1]
1117
 
        parents = [parent[-1] for parent in parents]
1118
 
        vf = self._get_vf(path)
1119
 
        try:
1120
 
            try:
1121
 
                return vf.add_lines_with_ghosts(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
 
            except NotImplementedError:
1127
 
                return vf.add_lines(version_id, parents, lines,
1128
 
                    parent_texts=parent_texts,
1129
 
                    left_matching_blocks=left_matching_blocks,
1130
 
                    nostore_sha=nostore_sha, random_id=random_id,
1131
 
                    check_content=check_content)
1132
 
        except errors.NoSuchFile:
1133
 
            # parent directory may be missing, try again.
1134
 
            self._transport.mkdir(osutils.dirname(path))
1135
 
            try:
1136
 
                return vf.add_lines_with_ghosts(version_id, parents, lines,
1137
 
                    parent_texts=parent_texts,
1138
 
                    left_matching_blocks=left_matching_blocks,
1139
 
                    nostore_sha=nostore_sha, random_id=random_id,
1140
 
                    check_content=check_content)
1141
 
            except NotImplementedError:
1142
 
                return vf.add_lines(version_id, parents, lines,
1143
 
                    parent_texts=parent_texts,
1144
 
                    left_matching_blocks=left_matching_blocks,
1145
 
                    nostore_sha=nostore_sha, random_id=random_id,
1146
 
                    check_content=check_content)
1147
 
 
1148
 
    def annotate(self, key):
1149
 
        """Return a list of (version-key, line) tuples for the text of key.
1150
 
 
1151
 
        :raise RevisionNotPresent: If the key is not present.
1152
 
        """
1153
 
        prefix = key[:-1]
1154
 
        path = self._mapper.map(prefix)
1155
 
        vf = self._get_vf(path)
1156
 
        origins = vf.annotate(key[-1])
1157
 
        result = []
1158
 
        for origin, line in origins:
1159
 
            result.append((prefix + (origin,), line))
1160
 
        return result
1161
 
 
1162
 
    def get_annotator(self):
1163
 
        return annotate.Annotator(self)
1164
 
 
1165
 
    def check(self, progress_bar=None, keys=None):
1166
 
        """See VersionedFiles.check()."""
1167
 
        # XXX: This is over-enthusiastic but as we only thunk for Weaves today
1168
 
        # this is tolerable. Ideally we'd pass keys down to check() and 
1169
 
        # have the older VersiondFile interface updated too.
1170
 
        for prefix, vf in self._iter_all_components():
1171
 
            vf.check()
1172
 
        if keys is not None:
1173
 
            return self.get_record_stream(keys, 'unordered', True)
1174
 
 
1175
 
    def get_parent_map(self, keys):
1176
 
        """Get a map of the parents of keys.
1177
 
 
1178
 
        :param keys: The keys to look up parents for.
1179
 
        :return: A mapping from keys to parents. Absent keys are absent from
1180
 
            the mapping.
1181
 
        """
1182
 
        prefixes = self._partition_keys(keys)
1183
 
        result = {}
1184
 
        for prefix, suffixes in prefixes.items():
1185
 
            path = self._mapper.map(prefix)
1186
 
            vf = self._get_vf(path)
1187
 
            parent_map = vf.get_parent_map(suffixes)
1188
 
            for key, parents in parent_map.items():
1189
 
                result[prefix + (key,)] = tuple(
1190
 
                    prefix + (parent,) for parent in parents)
1191
 
        return result
1192
 
 
1193
 
    def _get_vf(self, path):
1194
 
        if not self._is_locked():
1195
 
            raise errors.ObjectNotLocked(self)
1196
 
        return self._file_factory(path, self._transport, create=True,
1197
 
            get_scope=lambda:None)
1198
 
 
1199
 
    def _partition_keys(self, keys):
1200
 
        """Turn keys into a dict of prefix:suffix_list."""
1201
 
        result = {}
1202
 
        for key in keys:
1203
 
            prefix_keys = result.setdefault(key[:-1], [])
1204
 
            prefix_keys.append(key[-1])
1205
 
        return result
1206
 
 
1207
 
    def _get_all_prefixes(self):
1208
 
        # Identify all key prefixes.
1209
 
        # XXX: A bit hacky, needs polish.
1210
 
        if type(self._mapper) == ConstantMapper:
1211
 
            paths = [self._mapper.map(())]
1212
 
            prefixes = [()]
1213
 
        else:
1214
 
            relpaths = set()
1215
 
            for quoted_relpath in self._transport.iter_files_recursive():
1216
 
                path, ext = os.path.splitext(quoted_relpath)
1217
 
                relpaths.add(path)
1218
 
            paths = list(relpaths)
1219
 
            prefixes = [self._mapper.unmap(path) for path in paths]
1220
 
        return zip(paths, prefixes)
1221
 
 
1222
 
    def get_record_stream(self, keys, ordering, include_delta_closure):
1223
 
        """See VersionedFiles.get_record_stream()."""
1224
 
        # Ordering will be taken care of by each partitioned store; group keys
1225
 
        # by partition.
1226
 
        keys = sorted(keys)
1227
 
        for prefix, suffixes, vf in self._iter_keys_vf(keys):
1228
 
            suffixes = [(suffix,) for suffix in suffixes]
1229
 
            for record in vf.get_record_stream(suffixes, ordering,
1230
 
                include_delta_closure):
1231
 
                if record.parents is not None:
1232
 
                    record.parents = tuple(
1233
 
                        prefix + parent for parent in record.parents)
1234
 
                record.key = prefix + record.key
1235
 
                yield record
1236
 
 
1237
 
    def _iter_keys_vf(self, keys):
1238
 
        prefixes = self._partition_keys(keys)
1239
 
        sha1s = {}
1240
 
        for prefix, suffixes in prefixes.items():
1241
 
            path = self._mapper.map(prefix)
1242
 
            vf = self._get_vf(path)
1243
 
            yield prefix, suffixes, vf
1244
 
 
1245
 
    def get_sha1s(self, keys):
1246
 
        """See VersionedFiles.get_sha1s()."""
1247
 
        sha1s = {}
1248
 
        for prefix,suffixes, vf in self._iter_keys_vf(keys):
1249
 
            vf_sha1s = vf.get_sha1s(suffixes)
1250
 
            for suffix, sha1 in vf_sha1s.iteritems():
1251
 
                sha1s[prefix + (suffix,)] = sha1
1252
 
        return sha1s
1253
 
 
1254
 
    def insert_record_stream(self, stream):
1255
 
        """Insert a record stream into this container.
1256
 
 
1257
 
        :param stream: A stream of records to insert.
1258
 
        :return: None
1259
 
        :seealso VersionedFile.get_record_stream:
1260
 
        """
1261
 
        for record in stream:
1262
 
            prefix = record.key[:-1]
1263
 
            key = record.key[-1:]
1264
 
            if record.parents is not None:
1265
 
                parents = [parent[-1:] for parent in record.parents]
1266
 
            else:
1267
 
                parents = None
1268
 
            thunk_record = AdapterFactory(key, parents, record)
1269
 
            path = self._mapper.map(prefix)
1270
 
            # Note that this parses the file many times; we can do better but
1271
 
            # as this only impacts weaves in terms of performance, it is
1272
 
            # tolerable.
1273
 
            vf = self._get_vf(path)
1274
 
            vf.insert_record_stream([thunk_record])
1275
 
 
1276
 
    def iter_lines_added_or_present_in_keys(self, keys, pb=None):
1277
 
        """Iterate over the lines in the versioned files from keys.
1278
 
 
1279
 
        This may return lines from other keys. Each item the returned
1280
 
        iterator yields is a tuple of a line and a text version that that line
1281
 
        is present in (not introduced in).
1282
 
 
1283
 
        Ordering of results is in whatever order is most suitable for the
1284
 
        underlying storage format.
1285
 
 
1286
 
        If a progress bar is supplied, it may be used to indicate progress.
1287
 
        The caller is responsible for cleaning up progress bars (because this
1288
 
        is an iterator).
1289
 
 
1290
 
        NOTES:
1291
 
         * Lines are normalised by the underlying store: they will all have \n
1292
 
           terminators.
1293
 
         * Lines are returned in arbitrary order.
1294
 
 
1295
 
        :return: An iterator over (line, key).
1296
 
        """
1297
 
        for prefix, suffixes, vf in self._iter_keys_vf(keys):
1298
 
            for line, version in vf.iter_lines_added_or_present_in_versions(suffixes):
1299
 
                yield line, prefix + (version,)
1300
 
 
1301
 
    def _iter_all_components(self):
1302
 
        for path, prefix in self._get_all_prefixes():
1303
 
            yield prefix, self._get_vf(path)
1304
 
 
1305
 
    def keys(self):
1306
 
        """See VersionedFiles.keys()."""
1307
 
        result = set()
1308
 
        for prefix, vf in self._iter_all_components():
1309
 
            for suffix in vf.versions():
1310
 
                result.add(prefix + (suffix,))
1311
 
        return result
1312
 
 
1313
 
 
1314
 
class _PlanMergeVersionedFile(VersionedFiles):
1315
 
    """A VersionedFile for uncommitted and committed texts.
1316
 
 
1317
 
    It is intended to allow merges to be planned with working tree texts.
1318
 
    It implements only the small part of the VersionedFiles interface used by
1319
 
    PlanMerge.  It falls back to multiple versionedfiles for data not stored in
1320
 
    _PlanMergeVersionedFile itself.
1321
 
 
1322
 
    :ivar: fallback_versionedfiles a list of VersionedFiles objects that can be
1323
 
        queried for missing texts.
1324
 
    """
1325
 
 
1326
 
    def __init__(self, file_id):
1327
 
        """Create a _PlanMergeVersionedFile.
1328
 
 
1329
 
        :param file_id: Used with _PlanMerge code which is not yet fully
1330
 
            tuple-keyspace aware.
1331
 
        """
1332
 
        self._file_id = file_id
1333
 
        # fallback locations
1334
 
        self.fallback_versionedfiles = []
1335
 
        # Parents for locally held keys.
1336
 
        self._parents = {}
1337
 
        # line data for locally held keys.
1338
 
        self._lines = {}
1339
 
        # key lookup providers
1340
 
        self._providers = [DictParentsProvider(self._parents)]
1341
 
 
1342
 
    def plan_merge(self, ver_a, ver_b, base=None):
1343
 
        """See VersionedFile.plan_merge"""
1344
 
        from bzrlib.merge import _PlanMerge
1345
 
        if base is None:
1346
 
            return _PlanMerge(ver_a, ver_b, self, (self._file_id,)).plan_merge()
1347
 
        old_plan = list(_PlanMerge(ver_a, base, self, (self._file_id,)).plan_merge())
1348
 
        new_plan = list(_PlanMerge(ver_a, ver_b, self, (self._file_id,)).plan_merge())
1349
 
        return _PlanMerge._subtract_plans(old_plan, new_plan)
1350
 
 
1351
 
    def plan_lca_merge(self, ver_a, ver_b, base=None):
1352
 
        from bzrlib.merge import _PlanLCAMerge
1353
 
        graph = Graph(self)
1354
 
        new_plan = _PlanLCAMerge(ver_a, ver_b, self, (self._file_id,), graph).plan_merge()
1355
 
        if base is None:
1356
 
            return new_plan
1357
 
        old_plan = _PlanLCAMerge(ver_a, base, self, (self._file_id,), graph).plan_merge()
1358
 
        return _PlanLCAMerge._subtract_plans(list(old_plan), list(new_plan))
1359
 
 
1360
 
    def add_lines(self, key, parents, lines):
1361
 
        """See VersionedFiles.add_lines
1362
 
 
1363
 
        Lines are added locally, not to fallback versionedfiles.  Also, ghosts
1364
 
        are permitted.  Only reserved ids are permitted.
1365
 
        """
1366
 
        if type(key) is not tuple:
1367
 
            raise TypeError(key)
1368
 
        if not revision.is_reserved_id(key[-1]):
1369
 
            raise ValueError('Only reserved ids may be used')
1370
 
        if parents is None:
1371
 
            raise ValueError('Parents may not be None')
1372
 
        if lines is None:
1373
 
            raise ValueError('Lines may not be None')
1374
 
        self._parents[key] = tuple(parents)
1375
 
        self._lines[key] = lines
1376
 
 
1377
 
    def get_record_stream(self, keys, ordering, include_delta_closure):
1378
 
        pending = set(keys)
1379
 
        for key in keys:
1380
 
            if key in self._lines:
1381
 
                lines = self._lines[key]
1382
 
                parents = self._parents[key]
1383
 
                pending.remove(key)
1384
 
                yield ChunkedContentFactory(key, parents, None, lines)
1385
 
        for versionedfile in self.fallback_versionedfiles:
1386
 
            for record in versionedfile.get_record_stream(
1387
 
                pending, 'unordered', True):
1388
 
                if record.storage_kind == 'absent':
1389
 
                    continue
1390
 
                else:
1391
 
                    pending.remove(record.key)
1392
 
                    yield record
1393
 
            if not pending:
1394
 
                return
1395
 
        # report absent entries
1396
 
        for key in pending:
1397
 
            yield AbsentContentFactory(key)
1398
 
 
1399
 
    def get_parent_map(self, keys):
1400
 
        """See VersionedFiles.get_parent_map"""
1401
 
        # We create a new provider because a fallback may have been added.
1402
 
        # If we make fallbacks private we can update a stack list and avoid
1403
 
        # object creation thrashing.
1404
 
        keys = set(keys)
1405
 
        result = {}
1406
 
        if revision.NULL_REVISION in keys:
1407
 
            keys.remove(revision.NULL_REVISION)
1408
 
            result[revision.NULL_REVISION] = ()
1409
 
        self._providers = self._providers[:1] + self.fallback_versionedfiles
1410
 
        result.update(
1411
 
            StackedParentsProvider(self._providers).get_parent_map(keys))
1412
 
        for key, parents in result.iteritems():
1413
 
            if parents == ():
1414
 
                result[key] = (revision.NULL_REVISION,)
1415
 
        return result
1416
 
 
1417
 
 
1418
485
class PlanWeaveMerge(TextMerge):
1419
486
    """Weave merge that takes a plan as its input.
1420
 
 
 
487
    
1421
488
    This exists so that VersionedFile.plan_merge is implementable.
1422
489
    Most callers will want to use WeaveMerge instead.
1423
490
    """
1425
492
    def __init__(self, plan, a_marker=TextMerge.A_MARKER,
1426
493
                 b_marker=TextMerge.B_MARKER):
1427
494
        TextMerge.__init__(self, a_marker, b_marker)
1428
 
        self.plan = list(plan)
 
495
        self.plan = plan
1429
496
 
1430
497
    def _merge_struct(self):
1431
498
        lines_a = []
1444
511
                yield(lines_a,)
1445
512
            else:
1446
513
                yield (lines_a, lines_b)
1447
 
 
 
514
       
1448
515
        # We previously considered either 'unchanged' or 'killed-both' lines
1449
516
        # to be possible places to resynchronize.  However, assuming agreement
1450
517
        # on killed-both lines may be too aggressive. -- mbp 20060324
1456
523
                lines_a = []
1457
524
                lines_b = []
1458
525
                ch_a = ch_b = False
1459
 
 
 
526
                
1460
527
            if state == 'unchanged':
1461
528
                if line:
1462
529
                    yield ([line],)
1472
539
            elif state == 'new-b':
1473
540
                ch_b = True
1474
541
                lines_b.append(line)
1475
 
            elif state == 'conflicted-a':
1476
 
                ch_b = ch_a = True
1477
 
                lines_a.append(line)
1478
 
            elif state == 'conflicted-b':
1479
 
                ch_b = ch_a = True
1480
 
                lines_b.append(line)
1481
 
            elif state == 'killed-both':
1482
 
                # This counts as a change, even though there is no associated
1483
 
                # line
1484
 
                ch_b = ch_a = True
1485
542
            else:
1486
 
                if state not in ('irrelevant', 'ghost-a', 'ghost-b',
1487
 
                        'killed-base'):
1488
 
                    raise AssertionError(state)
 
543
                assert state in ('irrelevant', 'ghost-a', 'ghost-b', 
 
544
                                 'killed-base', 'killed-both'), state
1489
545
        for struct in outstanding_struct():
1490
546
            yield struct
1491
547
 
1492
 
    def base_from_plan(self):
1493
 
        """Construct a BASE file from the plan text."""
1494
 
        base_lines = []
1495
 
        for state, line in self.plan:
1496
 
            if state in ('killed-a', 'killed-b', 'killed-both', 'unchanged'):
1497
 
                # If unchanged, then this line is straight from base. If a or b
1498
 
                # or both killed the line, then it *used* to be in base.
1499
 
                base_lines.append(line)
1500
 
            else:
1501
 
                if state not in ('killed-base', 'irrelevant',
1502
 
                                 'ghost-a', 'ghost-b',
1503
 
                                 'new-a', 'new-b',
1504
 
                                 'conflicted-a', 'conflicted-b'):
1505
 
                    # killed-base, irrelevant means it doesn't apply
1506
 
                    # ghost-a/ghost-b are harder to say for sure, but they
1507
 
                    # aren't in the 'inc_c' which means they aren't in the
1508
 
                    # shared base of a & b. So we don't include them.  And
1509
 
                    # obviously if the line is newly inserted, it isn't in base
1510
 
 
1511
 
                    # If 'conflicted-a' or b, then it is new vs one base, but
1512
 
                    # old versus another base. However, if we make it present
1513
 
                    # in the base, it will be deleted from the target, and it
1514
 
                    # seems better to get a line doubled in the merge result,
1515
 
                    # rather than have it deleted entirely.
1516
 
                    # Example, each node is the 'text' at that point:
1517
 
                    #           MN
1518
 
                    #          /   \
1519
 
                    #        MaN   MbN
1520
 
                    #         |  X  |
1521
 
                    #        MabN MbaN
1522
 
                    #          \   /
1523
 
                    #           ???
1524
 
                    # There was a criss-cross conflict merge. Both sides
1525
 
                    # include the other, but put themselves first.
1526
 
                    # Weave marks this as a 'clean' merge, picking OTHER over
1527
 
                    # THIS. (Though the details depend on order inserted into
1528
 
                    # weave, etc.)
1529
 
                    # LCA generates a plan:
1530
 
                    # [('unchanged', M),
1531
 
                    #  ('conflicted-b', b),
1532
 
                    #  ('unchanged', a),
1533
 
                    #  ('conflicted-a', b),
1534
 
                    #  ('unchanged', N)]
1535
 
                    # If you mark 'conflicted-*' as part of BASE, then a 3-way
1536
 
                    # merge tool will cleanly generate "MaN" (as BASE vs THIS
1537
 
                    # removes one 'b', and BASE vs OTHER removes the other)
1538
 
                    # If you include neither, 3-way creates a clean "MbabN" as
1539
 
                    # THIS adds one 'b', and OTHER does too.
1540
 
                    # It seems that having the line 2 times is better than
1541
 
                    # having it omitted. (Easier to manually delete than notice
1542
 
                    # it needs to be added.)
1543
 
                    raise AssertionError('Unknown state: %s' % (state,))
1544
 
        return base_lines
1545
 
 
1546
548
 
1547
549
class WeaveMerge(PlanWeaveMerge):
1548
 
    """Weave merge that takes a VersionedFile and two versions as its input."""
 
550
    """Weave merge that takes a VersionedFile and two versions as its input"""
1549
551
 
1550
 
    def __init__(self, versionedfile, ver_a, ver_b,
 
552
    def __init__(self, versionedfile, ver_a, ver_b, 
1551
553
        a_marker=PlanWeaveMerge.A_MARKER, b_marker=PlanWeaveMerge.B_MARKER):
1552
554
        plan = versionedfile.plan_merge(ver_a, ver_b)
1553
555
        PlanWeaveMerge.__init__(self, plan, a_marker, b_marker)
1554
556
 
1555
557
 
1556
 
class VirtualVersionedFiles(VersionedFiles):
1557
 
    """Dummy implementation for VersionedFiles that uses other functions for
1558
 
    obtaining fulltexts and parent maps.
1559
 
 
1560
 
    This is always on the bottom of the stack and uses string keys
1561
 
    (rather than tuples) internally.
 
558
class InterVersionedFile(InterObject):
 
559
    """This class represents operations taking place between two versionedfiles..
 
560
 
 
561
    Its instances have methods like join, and contain
 
562
    references to the source and target versionedfiles these operations can be 
 
563
    carried out on.
 
564
 
 
565
    Often we will provide convenience methods on 'versionedfile' which carry out
 
566
    operations with another versionedfile - they will always forward to
 
567
    InterVersionedFile.get(other).method_name(parameters).
1562
568
    """
1563
569
 
1564
 
    def __init__(self, get_parent_map, get_lines):
1565
 
        """Create a VirtualVersionedFiles.
1566
 
 
1567
 
        :param get_parent_map: Same signature as Repository.get_parent_map.
1568
 
        :param get_lines: Should return lines for specified key or None if
1569
 
                          not available.
1570
 
        """
1571
 
        super(VirtualVersionedFiles, self).__init__()
1572
 
        self._get_parent_map = get_parent_map
1573
 
        self._get_lines = get_lines
1574
 
 
1575
 
    def check(self, progressbar=None):
1576
 
        """See VersionedFiles.check.
1577
 
 
1578
 
        :note: Always returns True for VirtualVersionedFiles.
1579
 
        """
1580
 
        return True
1581
 
 
1582
 
    def add_mpdiffs(self, records):
1583
 
        """See VersionedFiles.mpdiffs.
1584
 
 
1585
 
        :note: Not implemented for VirtualVersionedFiles.
1586
 
        """
1587
 
        raise NotImplementedError(self.add_mpdiffs)
1588
 
 
1589
 
    def get_parent_map(self, keys):
1590
 
        """See VersionedFiles.get_parent_map."""
1591
 
        return dict([((k,), tuple([(p,) for p in v]))
1592
 
            for k,v in self._get_parent_map([k for (k,) in keys]).iteritems()])
1593
 
 
1594
 
    def get_sha1s(self, keys):
1595
 
        """See VersionedFiles.get_sha1s."""
1596
 
        ret = {}
1597
 
        for (k,) in keys:
1598
 
            lines = self._get_lines(k)
1599
 
            if lines is not None:
1600
 
                if not isinstance(lines, list):
1601
 
                    raise AssertionError
1602
 
                ret[(k,)] = osutils.sha_strings(lines)
1603
 
        return ret
1604
 
 
1605
 
    def get_record_stream(self, keys, ordering, include_delta_closure):
1606
 
        """See VersionedFiles.get_record_stream."""
1607
 
        for (k,) in list(keys):
1608
 
            lines = self._get_lines(k)
1609
 
            if lines is not None:
1610
 
                if not isinstance(lines, list):
1611
 
                    raise AssertionError
1612
 
                yield ChunkedContentFactory((k,), None,
1613
 
                        sha1=osutils.sha_strings(lines),
1614
 
                        chunks=lines)
 
570
    _optimisers = []
 
571
    """The available optimised InterVersionedFile types."""
 
572
 
 
573
    def join(self, pb=None, msg=None, version_ids=None, ignore_missing=False):
 
574
        """Integrate versions from self.source into self.target.
 
575
 
 
576
        If version_ids is None all versions from source should be
 
577
        incorporated into this versioned file.
 
578
 
 
579
        Must raise RevisionNotPresent if any of the specified versions
 
580
        are not present in the other files history unless ignore_missing is 
 
581
        supplied when they are silently skipped.
 
582
        """
 
583
        # the default join: 
 
584
        # - if the target is empty, just add all the versions from 
 
585
        #   source to target, otherwise:
 
586
        # - make a temporary versioned file of type target
 
587
        # - insert the source content into it one at a time
 
588
        # - join them
 
589
        if not self.target.versions():
 
590
            target = self.target
 
591
        else:
 
592
            # Make a new target-format versioned file. 
 
593
            temp_source = self.target.create_empty("temp", MemoryTransport())
 
594
            target = temp_source
 
595
        version_ids = self._get_source_version_ids(version_ids, ignore_missing)
 
596
        graph = self.source.get_graph(version_ids)
 
597
        order = tsort.topo_sort(graph.items())
 
598
        pb = ui.ui_factory.nested_progress_bar()
 
599
        parent_texts = {}
 
600
        try:
 
601
            # TODO for incremental cross-format work:
 
602
            # make a versioned file with the following content:
 
603
            # all revisions we have been asked to join
 
604
            # all their ancestors that are *not* in target already.
 
605
            # the immediate parents of the above two sets, with 
 
606
            # empty parent lists - these versions are in target already
 
607
            # and the incorrect version data will be ignored.
 
608
            # TODO: for all ancestors that are present in target already,
 
609
            # check them for consistent data, this requires moving sha1 from
 
610
            # 
 
611
            # TODO: remove parent texts when they are not relevant any more for 
 
612
            # memory pressure reduction. RBC 20060313
 
613
            # pb.update('Converting versioned data', 0, len(order))
 
614
            # deltas = self.source.get_deltas(order)
 
615
            for index, version in enumerate(order):
 
616
                pb.update('Converting versioned data', index, len(order))
 
617
                parent_text = target.add_lines(version,
 
618
                                               self.source.get_parents(version),
 
619
                                               self.source.get_lines(version),
 
620
                                               parent_texts=parent_texts)
 
621
                parent_texts[version] = parent_text
 
622
                #delta_parent, sha1, noeol, delta = deltas[version]
 
623
                #target.add_delta(version,
 
624
                #                 self.source.get_parents(version),
 
625
                #                 delta_parent,
 
626
                #                 sha1,
 
627
                #                 noeol,
 
628
                #                 delta)
 
629
                #target.get_lines(version)
 
630
            
 
631
            # this should hit the native code path for target
 
632
            if target is not self.target:
 
633
                return self.target.join(temp_source,
 
634
                                        pb,
 
635
                                        msg,
 
636
                                        version_ids,
 
637
                                        ignore_missing)
 
638
        finally:
 
639
            pb.finished()
 
640
 
 
641
    def _get_source_version_ids(self, version_ids, ignore_missing):
 
642
        """Determine the version ids to be used from self.source.
 
643
 
 
644
        :param version_ids: The caller-supplied version ids to check. (None 
 
645
                            for all). If None is in version_ids, it is stripped.
 
646
        :param ignore_missing: if True, remove missing ids from the version 
 
647
                               list. If False, raise RevisionNotPresent on
 
648
                               a missing version id.
 
649
        :return: A set of version ids.
 
650
        """
 
651
        if version_ids is None:
 
652
            # None cannot be in source.versions
 
653
            return set(self.source.versions())
 
654
        else:
 
655
            if ignore_missing:
 
656
                return set(self.source.versions()).intersection(set(version_ids))
1615
657
            else:
1616
 
                yield AbsentContentFactory((k,))
1617
 
 
1618
 
    def iter_lines_added_or_present_in_keys(self, keys, pb=None):
1619
 
        """See VersionedFile.iter_lines_added_or_present_in_versions()."""
1620
 
        for i, (key,) in enumerate(keys):
1621
 
            if pb is not None:
1622
 
                pb.update("Finding changed lines", i, len(keys))
1623
 
            for l in self._get_lines(key):
1624
 
                yield (l, key)
1625
 
 
1626
 
 
1627
 
def network_bytes_to_kind_and_offset(network_bytes):
1628
 
    """Strip of a record kind from the front of network_bytes.
1629
 
 
1630
 
    :param network_bytes: The bytes of a record.
1631
 
    :return: A tuple (storage_kind, offset_of_remaining_bytes)
1632
 
    """
1633
 
    line_end = network_bytes.find('\n')
1634
 
    storage_kind = network_bytes[:line_end]
1635
 
    return storage_kind, line_end + 1
1636
 
 
1637
 
 
1638
 
class NetworkRecordStream(object):
1639
 
    """A record_stream which reconstitures a serialised stream."""
1640
 
 
1641
 
    def __init__(self, bytes_iterator):
1642
 
        """Create a NetworkRecordStream.
1643
 
 
1644
 
        :param bytes_iterator: An iterator of bytes. Each item in this
1645
 
            iterator should have been obtained from a record_streams'
1646
 
            record.get_bytes_as(record.storage_kind) call.
1647
 
        """
1648
 
        self._bytes_iterator = bytes_iterator
1649
 
        self._kind_factory = {
1650
 
            'fulltext': fulltext_network_to_record,
1651
 
            'groupcompress-block': groupcompress.network_block_to_records,
1652
 
            'knit-ft-gz': knit.knit_network_to_record,
1653
 
            'knit-delta-gz': knit.knit_network_to_record,
1654
 
            'knit-annotated-ft-gz': knit.knit_network_to_record,
1655
 
            'knit-annotated-delta-gz': knit.knit_network_to_record,
1656
 
            'knit-delta-closure': knit.knit_delta_closure_to_records,
1657
 
            }
1658
 
 
1659
 
    def read(self):
1660
 
        """Read the stream.
1661
 
 
1662
 
        :return: An iterator as per VersionedFiles.get_record_stream().
1663
 
        """
1664
 
        for bytes in self._bytes_iterator:
1665
 
            storage_kind, line_end = network_bytes_to_kind_and_offset(bytes)
1666
 
            for record in self._kind_factory[storage_kind](
1667
 
                storage_kind, bytes, line_end):
1668
 
                yield record
1669
 
 
1670
 
 
1671
 
def fulltext_network_to_record(kind, bytes, line_end):
1672
 
    """Convert a network fulltext record to record."""
1673
 
    meta_len, = struct.unpack('!L', bytes[line_end:line_end+4])
1674
 
    record_meta = bytes[line_end+4:line_end+4+meta_len]
1675
 
    key, parents = bencode.bdecode_as_tuple(record_meta)
1676
 
    if parents == 'nil':
1677
 
        parents = None
1678
 
    fulltext = bytes[line_end+4+meta_len:]
1679
 
    return [FulltextContentFactory(key, parents, None, fulltext)]
1680
 
 
1681
 
 
1682
 
def _length_prefix(bytes):
1683
 
    return struct.pack('!L', len(bytes))
1684
 
 
1685
 
 
1686
 
def record_to_fulltext_bytes(record):
1687
 
    if record.parents is None:
1688
 
        parents = 'nil'
1689
 
    else:
1690
 
        parents = record.parents
1691
 
    record_meta = bencode.bencode((record.key, parents))
1692
 
    record_content = record.get_bytes_as('fulltext')
1693
 
    return "fulltext\n%s%s%s" % (
1694
 
        _length_prefix(record_meta), record_meta, record_content)
1695
 
 
1696
 
 
1697
 
def sort_groupcompress(parent_map):
1698
 
    """Sort and group the keys in parent_map into groupcompress order.
1699
 
 
1700
 
    groupcompress is defined (currently) as reverse-topological order, grouped
1701
 
    by the key prefix.
1702
 
 
1703
 
    :return: A sorted-list of keys
1704
 
    """
1705
 
    # gc-optimal ordering is approximately reverse topological,
1706
 
    # properly grouped by file-id.
1707
 
    per_prefix_map = {}
1708
 
    for item in parent_map.iteritems():
1709
 
        key = item[0]
1710
 
        if isinstance(key, str) or len(key) == 1:
1711
 
            prefix = ''
1712
 
        else:
1713
 
            prefix = key[0]
1714
 
        try:
1715
 
            per_prefix_map[prefix].append(item)
1716
 
        except KeyError:
1717
 
            per_prefix_map[prefix] = [item]
1718
 
 
1719
 
    present_keys = []
1720
 
    for prefix in sorted(per_prefix_map):
1721
 
        present_keys.extend(reversed(tsort.topo_sort(per_prefix_map[prefix])))
1722
 
    return present_keys
 
658
                new_version_ids = set()
 
659
                for version in version_ids:
 
660
                    if version is None:
 
661
                        continue
 
662
                    if not self.source.has_version(version):
 
663
                        raise errors.RevisionNotPresent(version, str(self.source))
 
664
                    else:
 
665
                        new_version_ids.add(version)
 
666
                return new_version_ids
 
667
 
 
668
 
 
669
class InterVersionedFileTestProviderAdapter(object):
 
670
    """A tool to generate a suite testing multiple inter versioned-file classes.
 
671
 
 
672
    This is done by copying the test once for each InterVersionedFile provider
 
673
    and injecting the transport_server, transport_readonly_server,
 
674
    versionedfile_factory and versionedfile_factory_to classes into each copy.
 
675
    Each copy is also given a new id() to make it easy to identify.
 
676
    """
 
677
 
 
678
    def __init__(self, transport_server, transport_readonly_server, formats):
 
679
        self._transport_server = transport_server
 
680
        self._transport_readonly_server = transport_readonly_server
 
681
        self._formats = formats
 
682
    
 
683
    def adapt(self, test):
 
684
        result = unittest.TestSuite()
 
685
        for (interversionedfile_class,
 
686
             versionedfile_factory,
 
687
             versionedfile_factory_to) in self._formats:
 
688
            new_test = deepcopy(test)
 
689
            new_test.transport_server = self._transport_server
 
690
            new_test.transport_readonly_server = self._transport_readonly_server
 
691
            new_test.interversionedfile_class = interversionedfile_class
 
692
            new_test.versionedfile_factory = versionedfile_factory
 
693
            new_test.versionedfile_factory_to = versionedfile_factory_to
 
694
            def make_new_test_id():
 
695
                new_id = "%s(%s)" % (new_test.id(), interversionedfile_class.__name__)
 
696
                return lambda: new_id
 
697
            new_test.id = make_new_test_id()
 
698
            result.addTest(new_test)
 
699
        return result
 
700
 
 
701
    @staticmethod
 
702
    def default_test_list():
 
703
        """Generate the default list of interversionedfile permutations to test."""
 
704
        from bzrlib.weave import WeaveFile
 
705
        from bzrlib.knit import KnitVersionedFile
 
706
        result = []
 
707
        # test the fallback InterVersionedFile from annotated knits to weave
 
708
        result.append((InterVersionedFile, 
 
709
                       KnitVersionedFile,
 
710
                       WeaveFile))
 
711
        for optimiser in InterVersionedFile._optimisers:
 
712
            result.append((optimiser,
 
713
                           optimiser._matching_file_from_factory,
 
714
                           optimiser._matching_file_to_factory
 
715
                           ))
 
716
        # if there are specific combinations we want to use, we can add them 
 
717
        # here.
 
718
        return result