1
# Copyright (C) 2005, 2006 Canonical Ltd
 
 
4
#   Johan Rydberg <jrydberg@gnu.org>
 
 
6
# This program is free software; you can redistribute it and/or modify
 
 
7
# it under the terms of the GNU General Public License as published by
 
 
8
# the Free Software Foundation; either version 2 of the License, or
 
 
9
# (at your option) any later version.
 
 
11
# This program is distributed in the hope that it will be useful,
 
 
12
# but WITHOUT ANY WARRANTY; without even the implied warranty of
 
 
13
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 
 
14
# GNU General Public License for more details.
 
 
16
# You should have received a copy of the GNU General Public License
 
 
17
# along with this program; if not, write to the Free Software
 
 
18
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 
 
20
"""Versioned text file storage api."""
 
 
22
from bzrlib.lazy_import import lazy_import
 
 
23
lazy_import(globals(), """
 
 
32
from bzrlib.transport.memory import MemoryTransport
 
 
35
from bzrlib.inter import InterObject
 
 
36
from bzrlib.textmerge import TextMerge
 
 
37
from bzrlib.symbol_versioning import (deprecated_function,
 
 
43
class VersionedFile(object):
 
 
44
    """Versioned text file storage.
 
 
46
    A versioned file manages versions of line-based text files,
 
 
47
    keeping track of the originating version for each line.
 
 
49
    To clients the "lines" of the file are represented as a list of
 
 
50
    strings. These strings will typically have terminal newline
 
 
51
    characters, but this is not required.  In particular files commonly
 
 
52
    do not have a newline at the end of the file.
 
 
54
    Texts are identified by a version-id string.
 
 
57
    def __init__(self, access_mode):
 
 
59
        self._access_mode = access_mode
 
 
62
    def check_not_reserved_id(version_id):
 
 
63
        revision.check_not_reserved_id(version_id)
 
 
65
    def copy_to(self, name, transport):
 
 
66
        """Copy this versioned file to name on transport."""
 
 
67
        raise NotImplementedError(self.copy_to)
 
 
69
    @deprecated_method(zero_eight)
 
 
71
        """Return a list of all the versions in this versioned file.
 
 
73
        Please use versionedfile.versions() now.
 
 
75
        return self.versions()
 
 
78
        """Return a unsorted list of versions."""
 
 
79
        raise NotImplementedError(self.versions)
 
 
81
    def has_ghost(self, version_id):
 
 
82
        """Returns whether version is present as a ghost."""
 
 
83
        raise NotImplementedError(self.has_ghost)
 
 
85
    def has_version(self, version_id):
 
 
86
        """Returns whether version is present."""
 
 
87
        raise NotImplementedError(self.has_version)
 
 
89
    def add_delta(self, version_id, parents, delta_parent, sha1, noeol, delta):
 
 
90
        """Add a text to the versioned file via a pregenerated delta.
 
 
92
        :param version_id: The version id being added.
 
 
93
        :param parents: The parents of the version_id.
 
 
94
        :param delta_parent: The parent this delta was created against.
 
 
95
        :param sha1: The sha1 of the full text.
 
 
96
        :param delta: The delta instructions. See get_delta for details.
 
 
98
        version_id = osutils.safe_revision_id(version_id)
 
 
99
        parents = [osutils.safe_revision_id(v) for v in parents]
 
 
100
        self._check_write_ok()
 
 
101
        if self.has_version(version_id):
 
 
102
            raise errors.RevisionAlreadyPresent(version_id, self)
 
 
103
        return self._add_delta(version_id, parents, delta_parent, sha1, noeol, delta)
 
 
105
    def _add_delta(self, version_id, parents, delta_parent, sha1, noeol, delta):
 
 
106
        """Class specific routine to add a delta.
 
 
108
        This generic version simply applies the delta to the delta_parent and
 
 
111
        # strip annotation from delta
 
 
113
        for start, stop, delta_len, delta_lines in delta:
 
 
114
            new_delta.append((start, stop, delta_len, [text for origin, text in delta_lines]))
 
 
115
        if delta_parent is not None:
 
 
116
            parent_full = self.get_lines(delta_parent)
 
 
119
        new_full = self._apply_delta(parent_full, new_delta)
 
 
120
        # its impossible to have noeol on an empty file
 
 
121
        if noeol and new_full[-1][-1] == '\n':
 
 
122
            new_full[-1] = new_full[-1][:-1]
 
 
123
        self.add_lines(version_id, parents, new_full)
 
 
125
    def add_lines(self, version_id, parents, lines, parent_texts=None):
 
 
126
        """Add a single text on top of the versioned file.
 
 
128
        Must raise RevisionAlreadyPresent if the new version is
 
 
129
        already present in file history.
 
 
131
        Must raise RevisionNotPresent if any of the given parents are
 
 
132
        not present in file history.
 
 
133
        :param parent_texts: An optional dictionary containing the opaque 
 
 
134
             representations of some or all of the parents of 
 
 
135
             version_id to allow delta optimisations. 
 
 
136
             VERY IMPORTANT: the texts must be those returned
 
 
137
             by add_lines or data corruption can be caused.
 
 
138
        :return: An opaque representation of the inserted version which can be
 
 
139
                 provided back to future add_lines calls in the parent_texts
 
 
142
        version_id = osutils.safe_revision_id(version_id)
 
 
143
        parents = [osutils.safe_revision_id(v) for v in parents]
 
 
144
        self._check_write_ok()
 
 
145
        return self._add_lines(version_id, parents, lines, parent_texts)
 
 
147
    def _add_lines(self, version_id, parents, lines, parent_texts):
 
 
148
        """Helper to do the class specific add_lines."""
 
 
149
        raise NotImplementedError(self.add_lines)
 
 
151
    def add_lines_with_ghosts(self, version_id, parents, lines,
 
 
153
        """Add lines to the versioned file, allowing ghosts to be present.
 
 
155
        This takes the same parameters as add_lines.
 
 
157
        version_id = osutils.safe_revision_id(version_id)
 
 
158
        parents = [osutils.safe_revision_id(v) for v in parents]
 
 
159
        self._check_write_ok()
 
 
160
        return self._add_lines_with_ghosts(version_id, parents, lines,
 
 
163
    def _add_lines_with_ghosts(self, version_id, parents, lines, parent_texts):
 
 
164
        """Helper to do class specific add_lines_with_ghosts."""
 
 
165
        raise NotImplementedError(self.add_lines_with_ghosts)
 
 
167
    def check(self, progress_bar=None):
 
 
168
        """Check the versioned file for integrity."""
 
 
169
        raise NotImplementedError(self.check)
 
 
171
    def _check_lines_not_unicode(self, lines):
 
 
172
        """Check that lines being added to a versioned file are not unicode."""
 
 
174
            if line.__class__ is not str:
 
 
175
                raise errors.BzrBadParameterUnicode("lines")
 
 
177
    def _check_lines_are_lines(self, lines):
 
 
178
        """Check that the lines really are full lines without inline EOL."""
 
 
180
            if '\n' in line[:-1]:
 
 
181
                raise errors.BzrBadParameterContainsNewline("lines")
 
 
183
    def _check_write_ok(self):
 
 
184
        """Is the versioned file marked as 'finished' ? Raise if it is."""
 
 
186
            raise errors.OutSideTransaction()
 
 
187
        if self._access_mode != 'w':
 
 
188
            raise errors.ReadOnlyObjectDirtiedError(self)
 
 
190
    def enable_cache(self):
 
 
191
        """Tell this versioned file that it should cache any data it reads.
 
 
193
        This is advisory, implementations do not have to support caching.
 
 
197
    def clear_cache(self):
 
 
198
        """Remove any data cached in the versioned file object.
 
 
200
        This only needs to be supported if caches are supported
 
 
204
    def clone_text(self, new_version_id, old_version_id, parents):
 
 
205
        """Add an identical text to old_version_id as new_version_id.
 
 
207
        Must raise RevisionNotPresent if the old version or any of the
 
 
208
        parents are not present in file history.
 
 
210
        Must raise RevisionAlreadyPresent if the new version is
 
 
211
        already present in file history."""
 
 
212
        new_version_id = osutils.safe_revision_id(new_version_id)
 
 
213
        old_version_id = osutils.safe_revision_id(old_version_id)
 
 
214
        self._check_write_ok()
 
 
215
        return self._clone_text(new_version_id, old_version_id, parents)
 
 
217
    def _clone_text(self, new_version_id, old_version_id, parents):
 
 
218
        """Helper function to do the _clone_text work."""
 
 
219
        raise NotImplementedError(self.clone_text)
 
 
221
    def create_empty(self, name, transport, mode=None):
 
 
222
        """Create a new versioned file of this exact type.
 
 
224
        :param name: the file name
 
 
225
        :param transport: the transport
 
 
226
        :param mode: optional file mode.
 
 
228
        raise NotImplementedError(self.create_empty)
 
 
230
    def fix_parents(self, version_id, new_parents):
 
 
231
        """Fix the parents list for version.
 
 
233
        This is done by appending a new version to the index
 
 
234
        with identical data except for the parents list.
 
 
235
        the parents list must be a superset of the current
 
 
238
        version_id = osutils.safe_revision_id(version_id)
 
 
239
        new_parents = [osutils.safe_revision_id(p) for p in new_parents]
 
 
240
        self._check_write_ok()
 
 
241
        return self._fix_parents(version_id, new_parents)
 
 
243
    def _fix_parents(self, version_id, new_parents):
 
 
244
        """Helper for fix_parents."""
 
 
245
        raise NotImplementedError(self.fix_parents)
 
 
247
    def get_delta(self, version):
 
 
248
        """Get a delta for constructing version from some other version.
 
 
250
        :return: (delta_parent, sha1, noeol, delta)
 
 
251
        Where delta_parent is a version id or None to indicate no parent.
 
 
253
        raise NotImplementedError(self.get_delta)
 
 
255
    def get_deltas(self, version_ids):
 
 
256
        """Get multiple deltas at once for constructing versions.
 
 
258
        :return: dict(version_id:(delta_parent, sha1, noeol, delta))
 
 
259
        Where delta_parent is a version id or None to indicate no parent, and
 
 
260
        version_id is the version_id created by that delta.
 
 
263
        for version_id in version_ids:
 
 
264
            result[version_id] = self.get_delta(version_id)
 
 
267
    def get_sha1(self, version_id):
 
 
268
        """Get the stored sha1 sum for the given revision.
 
 
270
        :param name: The name of the version to lookup
 
 
272
        raise NotImplementedError(self.get_sha1)
 
 
274
    def get_suffixes(self):
 
 
275
        """Return the file suffixes associated with this versioned file."""
 
 
276
        raise NotImplementedError(self.get_suffixes)
 
 
278
    def get_text(self, version_id):
 
 
279
        """Return version contents as a text string.
 
 
281
        Raises RevisionNotPresent if version is not present in
 
 
284
        return ''.join(self.get_lines(version_id))
 
 
285
    get_string = get_text
 
 
287
    def get_texts(self, version_ids):
 
 
288
        """Return the texts of listed versions as a list of strings.
 
 
290
        Raises RevisionNotPresent if version is not present in
 
 
293
        return [''.join(self.get_lines(v)) for v in version_ids]
 
 
295
    def get_lines(self, version_id):
 
 
296
        """Return version contents as a sequence of lines.
 
 
298
        Raises RevisionNotPresent if version is not present in
 
 
301
        raise NotImplementedError(self.get_lines)
 
 
303
    def get_ancestry(self, version_ids, topo_sorted=True):
 
 
304
        """Return a list of all ancestors of given version(s). This
 
 
305
        will not include the null revision.
 
 
307
        This list will not be topologically sorted if topo_sorted=False is
 
 
310
        Must raise RevisionNotPresent if any of the given versions are
 
 
311
        not present in file history."""
 
 
312
        if isinstance(version_ids, basestring):
 
 
313
            version_ids = [version_ids]
 
 
314
        raise NotImplementedError(self.get_ancestry)
 
 
316
    def get_ancestry_with_ghosts(self, version_ids):
 
 
317
        """Return a list of all ancestors of given version(s). This
 
 
318
        will not include the null revision.
 
 
320
        Must raise RevisionNotPresent if any of the given versions are
 
 
321
        not present in file history.
 
 
323
        Ghosts that are known about will be included in ancestry list,
 
 
324
        but are not explicitly marked.
 
 
326
        raise NotImplementedError(self.get_ancestry_with_ghosts)
 
 
328
    def get_graph(self, version_ids=None):
 
 
329
        """Return a graph from the versioned file. 
 
 
331
        Ghosts are not listed or referenced in the graph.
 
 
332
        :param version_ids: Versions to select.
 
 
333
                            None means retrieve all versions.
 
 
336
        if version_ids is None:
 
 
337
            for version in self.versions():
 
 
338
                result[version] = self.get_parents(version)
 
 
340
            pending = set(osutils.safe_revision_id(v) for v in version_ids)
 
 
342
                version = pending.pop()
 
 
343
                if version in result:
 
 
345
                parents = self.get_parents(version)
 
 
346
                for parent in parents:
 
 
350
                result[version] = parents
 
 
353
    def get_graph_with_ghosts(self):
 
 
354
        """Return a graph for the entire versioned file.
 
 
356
        Ghosts are referenced in parents list but are not
 
 
359
        raise NotImplementedError(self.get_graph_with_ghosts)
 
 
361
    @deprecated_method(zero_eight)
 
 
362
    def parent_names(self, version):
 
 
363
        """Return version names for parents of a version.
 
 
365
        See get_parents for the current api.
 
 
367
        return self.get_parents(version)
 
 
369
    def get_parents(self, version_id):
 
 
370
        """Return version names for parents of a version.
 
 
372
        Must raise RevisionNotPresent if version is not present in
 
 
375
        raise NotImplementedError(self.get_parents)
 
 
377
    def get_parents_with_ghosts(self, version_id):
 
 
378
        """Return version names for parents of version_id.
 
 
380
        Will raise RevisionNotPresent if version_id is not present
 
 
383
        Ghosts that are known about will be included in the parent list,
 
 
384
        but are not explicitly marked.
 
 
386
        raise NotImplementedError(self.get_parents_with_ghosts)
 
 
388
    def annotate_iter(self, version_id):
 
 
389
        """Yield list of (version-id, line) pairs for the specified
 
 
392
        Must raise RevisionNotPresent if any of the given versions are
 
 
393
        not present in file history.
 
 
395
        raise NotImplementedError(self.annotate_iter)
 
 
397
    def annotate(self, version_id):
 
 
398
        return list(self.annotate_iter(version_id))
 
 
400
    def _apply_delta(self, lines, delta):
 
 
401
        """Apply delta to lines."""
 
 
404
        for start, end, count, delta_lines in delta:
 
 
405
            lines[offset+start:offset+end] = delta_lines
 
 
406
            offset = offset + (start - end) + count
 
 
409
    def join(self, other, pb=None, msg=None, version_ids=None,
 
 
410
             ignore_missing=False):
 
 
411
        """Integrate versions from other into this versioned file.
 
 
413
        If version_ids is None all versions from other should be
 
 
414
        incorporated into this versioned file.
 
 
416
        Must raise RevisionNotPresent if any of the specified versions
 
 
417
        are not present in the other files history unless ignore_missing
 
 
418
        is supplied when they are silently skipped.
 
 
420
        self._check_write_ok()
 
 
421
        return InterVersionedFile.get(other, self).join(
 
 
427
    def iter_lines_added_or_present_in_versions(self, version_ids=None, 
 
 
429
        """Iterate over the lines in the versioned file from version_ids.
 
 
431
        This may return lines from other versions, and does not return the
 
 
432
        specific version marker at this point. The api may be changed
 
 
433
        during development to include the version that the versioned file
 
 
434
        thinks is relevant, but given that such hints are just guesses,
 
 
435
        its better not to have it if we don't need it.
 
 
437
        If a progress bar is supplied, it may be used to indicate progress.
 
 
438
        The caller is responsible for cleaning up progress bars (because this
 
 
441
        NOTES: Lines are normalised: they will all have \n terminators.
 
 
442
               Lines are returned in arbitrary order.
 
 
444
        raise NotImplementedError(self.iter_lines_added_or_present_in_versions)
 
 
446
    def transaction_finished(self):
 
 
447
        """The transaction that this file was opened in has finished.
 
 
449
        This records self.finished = True and should cause all mutating
 
 
454
    @deprecated_method(zero_eight)
 
 
455
    def walk(self, version_ids=None):
 
 
456
        """Walk the versioned file as a weave-like structure, for
 
 
457
        versions relative to version_ids.  Yields sequence of (lineno,
 
 
458
        insert, deletes, text) for each relevant line.
 
 
460
        Must raise RevisionNotPresent if any of the specified versions
 
 
461
        are not present in the file history.
 
 
463
        :param version_ids: the version_ids to walk with respect to. If not
 
 
464
                            supplied the entire weave-like structure is walked.
 
 
466
        walk is deprecated in favour of iter_lines_added_or_present_in_versions
 
 
468
        raise NotImplementedError(self.walk)
 
 
470
    @deprecated_method(zero_eight)
 
 
471
    def iter_names(self):
 
 
472
        """Walk the names list."""
 
 
473
        return iter(self.versions())
 
 
475
    def plan_merge(self, ver_a, ver_b):
 
 
476
        """Return pseudo-annotation indicating how the two versions merge.
 
 
478
        This is computed between versions a and b and their common
 
 
481
        Weave lines present in none of them are skipped entirely.
 
 
484
        killed-base Dead in base revision
 
 
485
        killed-both Killed in each revision
 
 
488
        unchanged   Alive in both a and b (possibly created in both)
 
 
491
        ghost-a     Killed in a, unborn in b    
 
 
492
        ghost-b     Killed in b, unborn in a
 
 
493
        irrelevant  Not in either revision
 
 
495
        raise NotImplementedError(VersionedFile.plan_merge)
 
 
497
    def weave_merge(self, plan, a_marker=TextMerge.A_MARKER,
 
 
498
                    b_marker=TextMerge.B_MARKER):
 
 
499
        return PlanWeaveMerge(plan, a_marker, b_marker).merge_lines()[0]
 
 
502
class PlanWeaveMerge(TextMerge):
 
 
503
    """Weave merge that takes a plan as its input.
 
 
505
    This exists so that VersionedFile.plan_merge is implementable.
 
 
506
    Most callers will want to use WeaveMerge instead.
 
 
509
    def __init__(self, plan, a_marker=TextMerge.A_MARKER,
 
 
510
                 b_marker=TextMerge.B_MARKER):
 
 
511
        TextMerge.__init__(self, a_marker, b_marker)
 
 
514
    def _merge_struct(self):
 
 
519
        def outstanding_struct():
 
 
520
            if not lines_a and not lines_b:
 
 
522
            elif ch_a and not ch_b:
 
 
525
            elif ch_b and not ch_a:
 
 
527
            elif lines_a == lines_b:
 
 
530
                yield (lines_a, lines_b)
 
 
532
        # We previously considered either 'unchanged' or 'killed-both' lines
 
 
533
        # to be possible places to resynchronize.  However, assuming agreement
 
 
534
        # on killed-both lines may be too aggressive. -- mbp 20060324
 
 
535
        for state, line in self.plan:
 
 
536
            if state == 'unchanged':
 
 
537
                # resync and flush queued conflicts changes if any
 
 
538
                for struct in outstanding_struct():
 
 
544
            if state == 'unchanged':
 
 
547
            elif state == 'killed-a':
 
 
550
            elif state == 'killed-b':
 
 
553
            elif state == 'new-a':
 
 
556
            elif state == 'new-b':
 
 
560
                assert state in ('irrelevant', 'ghost-a', 'ghost-b', 
 
 
561
                                 'killed-base', 'killed-both'), state
 
 
562
        for struct in outstanding_struct():
 
 
566
class WeaveMerge(PlanWeaveMerge):
 
 
567
    """Weave merge that takes a VersionedFile and two versions as its input"""
 
 
569
    def __init__(self, versionedfile, ver_a, ver_b, 
 
 
570
        a_marker=PlanWeaveMerge.A_MARKER, b_marker=PlanWeaveMerge.B_MARKER):
 
 
571
        plan = versionedfile.plan_merge(ver_a, ver_b)
 
 
572
        PlanWeaveMerge.__init__(self, plan, a_marker, b_marker)
 
 
575
class InterVersionedFile(InterObject):
 
 
576
    """This class represents operations taking place between two versionedfiles..
 
 
578
    Its instances have methods like join, and contain
 
 
579
    references to the source and target versionedfiles these operations can be 
 
 
582
    Often we will provide convenience methods on 'versionedfile' which carry out
 
 
583
    operations with another versionedfile - they will always forward to
 
 
584
    InterVersionedFile.get(other).method_name(parameters).
 
 
588
    """The available optimised InterVersionedFile types."""
 
 
590
    def join(self, pb=None, msg=None, version_ids=None, ignore_missing=False):
 
 
591
        """Integrate versions from self.source into self.target.
 
 
593
        If version_ids is None all versions from source should be
 
 
594
        incorporated into this versioned file.
 
 
596
        Must raise RevisionNotPresent if any of the specified versions
 
 
597
        are not present in the other files history unless ignore_missing is 
 
 
598
        supplied when they are silently skipped.
 
 
601
        # - if the target is empty, just add all the versions from 
 
 
602
        #   source to target, otherwise:
 
 
603
        # - make a temporary versioned file of type target
 
 
604
        # - insert the source content into it one at a time
 
 
606
        if not self.target.versions():
 
 
609
            # Make a new target-format versioned file. 
 
 
610
            temp_source = self.target.create_empty("temp", MemoryTransport())
 
 
612
        version_ids = self._get_source_version_ids(version_ids, ignore_missing)
 
 
613
        graph = self.source.get_graph(version_ids)
 
 
614
        order = tsort.topo_sort(graph.items())
 
 
615
        pb = ui.ui_factory.nested_progress_bar()
 
 
618
            # TODO for incremental cross-format work:
 
 
619
            # make a versioned file with the following content:
 
 
620
            # all revisions we have been asked to join
 
 
621
            # all their ancestors that are *not* in target already.
 
 
622
            # the immediate parents of the above two sets, with 
 
 
623
            # empty parent lists - these versions are in target already
 
 
624
            # and the incorrect version data will be ignored.
 
 
625
            # TODO: for all ancestors that are present in target already,
 
 
626
            # check them for consistent data, this requires moving sha1 from
 
 
628
            # TODO: remove parent texts when they are not relevant any more for 
 
 
629
            # memory pressure reduction. RBC 20060313
 
 
630
            # pb.update('Converting versioned data', 0, len(order))
 
 
631
            # deltas = self.source.get_deltas(order)
 
 
632
            for index, version in enumerate(order):
 
 
633
                pb.update('Converting versioned data', index, len(order))
 
 
634
                parent_text = target.add_lines(version,
 
 
635
                                               self.source.get_parents(version),
 
 
636
                                               self.source.get_lines(version),
 
 
637
                                               parent_texts=parent_texts)
 
 
638
                parent_texts[version] = parent_text
 
 
639
                #delta_parent, sha1, noeol, delta = deltas[version]
 
 
640
                #target.add_delta(version,
 
 
641
                #                 self.source.get_parents(version),
 
 
646
                #target.get_lines(version)
 
 
648
            # this should hit the native code path for target
 
 
649
            if target is not self.target:
 
 
650
                return self.target.join(temp_source,
 
 
658
    def _get_source_version_ids(self, version_ids, ignore_missing):
 
 
659
        """Determine the version ids to be used from self.source.
 
 
661
        :param version_ids: The caller-supplied version ids to check. (None 
 
 
662
                            for all). If None is in version_ids, it is stripped.
 
 
663
        :param ignore_missing: if True, remove missing ids from the version 
 
 
664
                               list. If False, raise RevisionNotPresent on
 
 
665
                               a missing version id.
 
 
666
        :return: A set of version ids.
 
 
668
        if version_ids is None:
 
 
669
            # None cannot be in source.versions
 
 
670
            return set(self.source.versions())
 
 
672
            version_ids = [osutils.safe_revision_id(v) for v in version_ids]
 
 
674
                return set(self.source.versions()).intersection(set(version_ids))
 
 
676
                new_version_ids = set()
 
 
677
                for version in version_ids:
 
 
680
                    if not self.source.has_version(version):
 
 
681
                        raise errors.RevisionNotPresent(version, str(self.source))
 
 
683
                        new_version_ids.add(version)
 
 
684
                return new_version_ids