~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/merge.py

  • Committer: Ian Clatworthy
  • Date: 2009-01-19 02:24:15 UTC
  • mto: This revision was merged to the branch mainline in revision 3944.
  • Revision ID: ian.clatworthy@canonical.com-20090119022415-mo0mcfeiexfktgwt
apply jam's log --short fix (Ian Clatworthy)

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
 
# Copyright (C) 2005, 2006 Canonical Ltd
2
 
 
 
1
# Copyright (C) 2005, 2006, 2008 Canonical Ltd
 
2
#
3
3
# This program is free software; you can redistribute it and/or modify
4
4
# it under the terms of the GNU General Public License as published by
5
5
# the Free Software Foundation; either version 2 of the License, or
6
6
# (at your option) any later version.
7
 
 
 
7
#
8
8
# This program is distributed in the hope that it will be useful,
9
9
# but WITHOUT ANY WARRANTY; without even the implied warranty of
10
10
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
11
11
# GNU General Public License for more details.
12
 
 
 
12
#
13
13
# You should have received a copy of the GNU General Public License
14
14
# along with this program; if not, write to the Free Software
15
15
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
16
16
 
17
17
 
 
18
import errno
 
19
from itertools import chain
18
20
import os
19
 
import errno
20
 
from tempfile import mkdtemp
 
21
import warnings
21
22
 
22
 
import bzrlib
 
23
from bzrlib import (
 
24
    debug,
 
25
    errors,
 
26
    graph as _mod_graph,
 
27
    osutils,
 
28
    patiencediff,
 
29
    registry,
 
30
    revision as _mod_revision,
 
31
    tree as _mod_tree,
 
32
    tsort,
 
33
    )
23
34
from bzrlib.branch import Branch
24
35
from bzrlib.conflicts import ConflictList, Conflict
25
 
from bzrlib.delta import compare_trees
26
36
from bzrlib.errors import (BzrCommandError,
27
37
                           BzrError,
28
38
                           NoCommonAncestor,
36
46
                           WorkingTreeNotRevision,
37
47
                           BinaryFile,
38
48
                           )
 
49
from bzrlib.graph import Graph
39
50
from bzrlib.merge3 import Merge3
40
 
import bzrlib.osutils
41
 
from bzrlib.osutils import rename, pathjoin, rmtree
 
51
from bzrlib.osutils import rename, pathjoin
42
52
from progress import DummyProgress, ProgressPhase
43
 
from bzrlib.revision import common_ancestor, is_ancestor, NULL_REVISION
44
 
from bzrlib.symbol_versioning import *
 
53
from bzrlib.revision import (NULL_REVISION, ensure_null)
45
54
from bzrlib.textfile import check_text_lines
46
 
from bzrlib.trace import mutter, warning, note
47
 
from bzrlib.transform import (TreeTransform, resolve_conflicts, cook_conflicts,
48
 
                              FinalPaths, create_by_entry, unique_add)
49
 
from bzrlib.versionedfile import WeaveMerge
50
 
import bzrlib.ui
 
55
from bzrlib.trace import mutter, warning, note, is_quiet
 
56
from bzrlib.transform import (TransformPreview, TreeTransform,
 
57
                              resolve_conflicts, cook_conflicts,
 
58
                              conflict_pass, FinalPaths, create_from_tree,
 
59
                              unique_add, ROOT_PARENT)
 
60
from bzrlib.versionedfile import PlanWeaveMerge
 
61
from bzrlib import ui
51
62
 
52
63
# TODO: Report back as changes are merged in
53
64
 
54
 
def _get_tree(treespec, local_branch=None):
55
 
    location, revno = treespec
56
 
    branch = Branch.open_containing(location)[0]
57
 
    if revno is None:
58
 
        revision = None
59
 
    elif revno == -1:
60
 
        revision = branch.last_revision()
61
 
    else:
62
 
        revision = branch.get_rev_id(revno)
63
 
        if revision is None:
64
 
            revision = NULL_REVISION
65
 
    return branch, _get_revid_tree(branch, revision, local_branch)
66
 
 
67
 
 
68
 
def _get_revid_tree(branch, revision, local_branch):
69
 
    if revision is None:
70
 
        base_tree = branch.bzrdir.open_workingtree()
71
 
    else:
72
 
        if local_branch is not None:
73
 
            if local_branch.base != branch.base:
74
 
                local_branch.fetch(branch, revision)
75
 
            base_tree = local_branch.repository.revision_tree(revision)
76
 
        else:
77
 
            base_tree = branch.repository.revision_tree(revision)
78
 
    return base_tree
79
 
 
80
65
 
81
66
def transform_tree(from_tree, to_tree, interesting_ids=None):
82
67
    merge_inner(from_tree.branch, to_tree, from_tree, ignore_zero=True,
84
69
 
85
70
 
86
71
class Merger(object):
87
 
    def __init__(self, this_branch, other_tree=None, base_tree=None, 
88
 
                 this_tree=None, pb=DummyProgress()):
 
72
    def __init__(self, this_branch, other_tree=None, base_tree=None,
 
73
                 this_tree=None, pb=DummyProgress(), change_reporter=None,
 
74
                 recurse='down', revision_graph=None):
89
75
        object.__init__(self)
90
 
        assert this_tree is not None, "this_tree is required"
91
76
        self.this_branch = this_branch
92
 
        self.this_basis = this_branch.last_revision()
 
77
        self.this_basis = _mod_revision.ensure_null(
 
78
            this_branch.last_revision())
93
79
        self.this_rev_id = None
94
80
        self.this_tree = this_tree
95
81
        self.this_revision_tree = None
96
82
        self.this_basis_tree = None
97
83
        self.other_tree = other_tree
 
84
        self.other_branch = None
98
85
        self.base_tree = base_tree
99
86
        self.ignore_zero = False
100
87
        self.backup_files = False
101
88
        self.interesting_ids = None
 
89
        self.interesting_files = None
102
90
        self.show_base = False
103
91
        self.reprocess = False
104
 
        self._pb = pb 
 
92
        self._pb = pb
105
93
        self.pp = None
106
 
 
107
 
 
108
 
    def revision_tree(self, revision_id):
109
 
        return self.this_branch.repository.revision_tree(revision_id)
 
94
        self.recurse = recurse
 
95
        self.change_reporter = change_reporter
 
96
        self._cached_trees = {}
 
97
        self._revision_graph = revision_graph
 
98
        self._base_is_ancestor = None
 
99
        self._base_is_other_ancestor = None
 
100
        self._is_criss_cross = None
 
101
        self._lca_trees = None
 
102
 
 
103
    @property
 
104
    def revision_graph(self):
 
105
        if self._revision_graph is None:
 
106
            self._revision_graph = self.this_branch.repository.get_graph()
 
107
        return self._revision_graph
 
108
 
 
109
    def _set_base_is_ancestor(self, value):
 
110
        self._base_is_ancestor = value
 
111
 
 
112
    def _get_base_is_ancestor(self):
 
113
        if self._base_is_ancestor is None:
 
114
            self._base_is_ancestor = self.revision_graph.is_ancestor(
 
115
                self.base_rev_id, self.this_basis)
 
116
        return self._base_is_ancestor
 
117
 
 
118
    base_is_ancestor = property(_get_base_is_ancestor, _set_base_is_ancestor)
 
119
 
 
120
    def _set_base_is_other_ancestor(self, value):
 
121
        self._base_is_other_ancestor = value
 
122
 
 
123
    def _get_base_is_other_ancestor(self):
 
124
        if self._base_is_other_ancestor is None:
 
125
            if self.other_basis is None:
 
126
                return True
 
127
            self._base_is_other_ancestor = self.revision_graph.is_ancestor(
 
128
                self.base_rev_id, self.other_basis)
 
129
        return self._base_is_other_ancestor
 
130
 
 
131
    base_is_other_ancestor = property(_get_base_is_other_ancestor,
 
132
                                      _set_base_is_other_ancestor)
 
133
 
 
134
    @staticmethod
 
135
    def from_uncommitted(tree, other_tree, pb, base_tree=None):
 
136
        """Return a Merger for uncommitted changes in other_tree.
 
137
 
 
138
        :param tree: The tree to merge into
 
139
        :param other_tree: The tree to get uncommitted changes from
 
140
        :param pb: A progress indicator
 
141
        :param base_tree: The basis to use for the merge.  If unspecified,
 
142
            other_tree.basis_tree() will be used.
 
143
        """
 
144
        if base_tree is None:
 
145
            base_tree = other_tree.basis_tree()
 
146
        merger = Merger(tree.branch, other_tree, base_tree, tree, pb)
 
147
        merger.base_rev_id = merger.base_tree.get_revision_id()
 
148
        merger.other_rev_id = None
 
149
        merger.other_basis = merger.base_rev_id
 
150
        return merger
 
151
 
 
152
    @classmethod
 
153
    def from_mergeable(klass, tree, mergeable, pb):
 
154
        """Return a Merger for a bundle or merge directive.
 
155
 
 
156
        :param tree: The tree to merge changes into
 
157
        :param mergeable: A merge directive or bundle
 
158
        :param pb: A progress indicator
 
159
        """
 
160
        mergeable.install_revisions(tree.branch.repository)
 
161
        base_revision_id, other_revision_id, verified =\
 
162
            mergeable.get_merge_request(tree.branch.repository)
 
163
        revision_graph = tree.branch.repository.get_graph()
 
164
        if base_revision_id is not None:
 
165
            if (base_revision_id != _mod_revision.NULL_REVISION and
 
166
                revision_graph.is_ancestor(
 
167
                base_revision_id, tree.branch.last_revision())):
 
168
                base_revision_id = None
 
169
            else:
 
170
                warning('Performing cherrypick')
 
171
        merger = klass.from_revision_ids(pb, tree, other_revision_id,
 
172
                                         base_revision_id, revision_graph=
 
173
                                         revision_graph)
 
174
        return merger, verified
 
175
 
 
176
    @staticmethod
 
177
    def from_revision_ids(pb, tree, other, base=None, other_branch=None,
 
178
                          base_branch=None, revision_graph=None,
 
179
                          tree_branch=None):
 
180
        """Return a Merger for revision-ids.
 
181
 
 
182
        :param pb: A progress indicator
 
183
        :param tree: The tree to merge changes into
 
184
        :param other: The revision-id to use as OTHER
 
185
        :param base: The revision-id to use as BASE.  If not specified, will
 
186
            be auto-selected.
 
187
        :param other_branch: A branch containing the other revision-id.  If
 
188
            not supplied, tree.branch is used.
 
189
        :param base_branch: A branch containing the base revision-id.  If
 
190
            not supplied, other_branch or tree.branch will be used.
 
191
        :param revision_graph: If you have a revision_graph precomputed, pass
 
192
            it in, otherwise it will be created for you.
 
193
        :param tree_branch: The branch associated with tree.  If not supplied,
 
194
            tree.branch will be used.
 
195
        """
 
196
        if tree_branch is None:
 
197
            tree_branch = tree.branch
 
198
        merger = Merger(tree_branch, this_tree=tree, pb=pb,
 
199
                        revision_graph=revision_graph)
 
200
        if other_branch is None:
 
201
            other_branch = tree.branch
 
202
        merger.set_other_revision(other, other_branch)
 
203
        if base is None:
 
204
            merger.find_base()
 
205
        else:
 
206
            if base_branch is None:
 
207
                base_branch = other_branch
 
208
            merger.set_base_revision(base, base_branch)
 
209
        return merger
 
210
 
 
211
    def revision_tree(self, revision_id, branch=None):
 
212
        if revision_id not in self._cached_trees:
 
213
            if branch is None:
 
214
                branch = self.this_branch
 
215
            try:
 
216
                tree = self.this_tree.revision_tree(revision_id)
 
217
            except errors.NoSuchRevisionInTree:
 
218
                tree = branch.repository.revision_tree(revision_id)
 
219
            self._cached_trees[revision_id] = tree
 
220
        return self._cached_trees[revision_id]
 
221
 
 
222
    def _get_tree(self, treespec, possible_transports=None):
 
223
        from bzrlib import workingtree
 
224
        location, revno = treespec
 
225
        if revno is None:
 
226
            tree = workingtree.WorkingTree.open_containing(location)[0]
 
227
            return tree.branch, tree
 
228
        branch = Branch.open_containing(location, possible_transports)[0]
 
229
        if revno == -1:
 
230
            revision_id = branch.last_revision()
 
231
        else:
 
232
            revision_id = branch.get_rev_id(revno)
 
233
        revision_id = ensure_null(revision_id)
 
234
        return branch, self.revision_tree(revision_id, branch)
110
235
 
111
236
    def ensure_revision_trees(self):
112
237
        if self.this_revision_tree is None:
113
 
            self.this_basis_tree = self.this_branch.repository.revision_tree(
114
 
                self.this_basis)
 
238
            self.this_basis_tree = self.revision_tree(self.this_basis)
115
239
            if self.this_basis == self.this_rev_id:
116
240
                self.this_revision_tree = self.this_basis_tree
117
241
 
118
242
        if self.other_rev_id is None:
119
243
            other_basis_tree = self.revision_tree(self.other_basis)
120
 
            changes = compare_trees(self.other_tree, other_basis_tree)
 
244
            changes = other_basis_tree.changes_from(self.other_tree)
121
245
            if changes.has_changed():
122
246
                raise WorkingTreeNotRevision(self.this_tree)
123
 
            other_rev_id = other_basis
 
247
            other_rev_id = self.other_basis
124
248
            self.other_tree = other_basis_tree
125
249
 
126
250
    def file_revisions(self, file_id):
127
251
        self.ensure_revision_trees()
128
252
        def get_id(tree, file_id):
129
253
            revision_id = tree.inventory[file_id].revision
130
 
            assert revision_id is not None
131
254
            return revision_id
132
255
        if self.this_rev_id is None:
133
256
            if self.this_basis_tree.get_file_sha1(file_id) != \
139
262
 
140
263
    def check_basis(self, check_clean, require_commits=True):
141
264
        if self.this_basis is None and require_commits is True:
142
 
            raise BzrCommandError("This branch has no commits")
 
265
            raise BzrCommandError("This branch has no commits."
 
266
                                  " (perhaps you would prefer 'bzr pull')")
143
267
        if check_clean:
144
268
            self.compare_basis()
145
269
            if self.this_basis != self.this_rev_id:
146
 
                raise BzrCommandError("Working tree has uncommitted changes.")
 
270
                raise errors.UncommittedChanges(self.this_tree)
147
271
 
148
272
    def compare_basis(self):
149
 
        changes = compare_trees(self.this_tree, 
150
 
                                self.this_tree.basis_tree(), False)
 
273
        try:
 
274
            basis_tree = self.revision_tree(self.this_tree.last_revision())
 
275
        except errors.NoSuchRevision:
 
276
            basis_tree = self.this_tree.basis_tree()
 
277
        changes = self.this_tree.changes_from(basis_tree)
151
278
        if not changes.has_changed():
152
279
            self.this_rev_id = self.this_basis
153
280
 
154
281
    def set_interesting_files(self, file_list):
155
 
        try:
156
 
            self._set_interesting_files(file_list)
157
 
        except NotVersionedError, e:
158
 
            raise BzrCommandError("%s is not a source file in any"
159
 
                                      " tree." % e.path)
160
 
 
161
 
    def _set_interesting_files(self, file_list):
162
 
        """Set the list of interesting ids from a list of files."""
163
 
        if file_list is None:
164
 
            self.interesting_ids = None
165
 
            return
166
 
 
167
 
        interesting_ids = set()
168
 
        for path in file_list:
169
 
            found_id = False
170
 
            for tree in (self.this_tree, self.base_tree, self.other_tree):
171
 
                file_id = tree.inventory.path2id(path)
172
 
                if file_id is not None:
173
 
                    interesting_ids.add(file_id)
174
 
                    found_id = True
175
 
            if not found_id:
176
 
                raise NotVersionedError(path=path)
177
 
        self.interesting_ids = interesting_ids
 
282
        self.interesting_files = file_list
178
283
 
179
284
    def set_pending(self):
180
 
        if not self.base_is_ancestor:
181
 
            return
182
 
        if self.other_rev_id is None:
183
 
            return
184
 
        ancestry = self.this_branch.repository.get_ancestry(self.this_basis)
185
 
        if self.other_rev_id in ancestry:
186
 
            return
187
 
        self.this_tree.add_pending_merge(self.other_rev_id)
188
 
 
189
 
    def set_other(self, other_revision):
190
 
        other_branch, self.other_tree = _get_tree(other_revision, 
191
 
                                                  self.this_branch)
 
285
        if not self.base_is_ancestor or not self.base_is_other_ancestor or self.other_rev_id is None:
 
286
            return
 
287
        self._add_parent()
 
288
 
 
289
    def _add_parent(self):
 
290
        new_parents = self.this_tree.get_parent_ids() + [self.other_rev_id]
 
291
        new_parent_trees = []
 
292
        for revision_id in new_parents:
 
293
            try:
 
294
                tree = self.revision_tree(revision_id)
 
295
            except errors.NoSuchRevision:
 
296
                tree = None
 
297
            else:
 
298
                tree.lock_read()
 
299
            new_parent_trees.append((revision_id, tree))
 
300
        try:
 
301
            self.this_tree.set_parent_trees(new_parent_trees,
 
302
                                            allow_leftmost_as_ghost=True)
 
303
        finally:
 
304
            for _revision_id, tree in new_parent_trees:
 
305
                if tree is not None:
 
306
                    tree.unlock()
 
307
 
 
308
    def set_other(self, other_revision, possible_transports=None):
 
309
        """Set the revision and tree to merge from.
 
310
 
 
311
        This sets the other_tree, other_rev_id, other_basis attributes.
 
312
 
 
313
        :param other_revision: The [path, revision] list to merge from.
 
314
        """
 
315
        self.other_branch, self.other_tree = self._get_tree(other_revision,
 
316
                                                            possible_transports)
192
317
        if other_revision[1] == -1:
193
 
            self.other_rev_id = other_branch.last_revision()
194
 
            if self.other_rev_id is None:
195
 
                raise NoCommits(other_branch)
 
318
            self.other_rev_id = _mod_revision.ensure_null(
 
319
                self.other_branch.last_revision())
 
320
            if _mod_revision.is_null(self.other_rev_id):
 
321
                raise NoCommits(self.other_branch)
196
322
            self.other_basis = self.other_rev_id
197
323
        elif other_revision[1] is not None:
198
 
            self.other_rev_id = other_branch.get_rev_id(other_revision[1])
 
324
            self.other_rev_id = self.other_branch.get_rev_id(other_revision[1])
199
325
            self.other_basis = self.other_rev_id
200
326
        else:
201
327
            self.other_rev_id = None
202
 
            self.other_basis = other_branch.last_revision()
 
328
            self.other_basis = self.other_branch.last_revision()
203
329
            if self.other_basis is None:
204
 
                raise NoCommits(other_branch)
205
 
        if other_branch.base != self.this_branch.base:
206
 
            self.this_branch.fetch(other_branch, last_revision=self.other_basis)
 
330
                raise NoCommits(self.other_branch)
 
331
        if self.other_rev_id is not None:
 
332
            self._cached_trees[self.other_rev_id] = self.other_tree
 
333
        self._maybe_fetch(self.other_branch,self.this_branch, self.other_basis)
 
334
 
 
335
    def set_other_revision(self, revision_id, other_branch):
 
336
        """Set 'other' based on a branch and revision id
 
337
 
 
338
        :param revision_id: The revision to use for a tree
 
339
        :param other_branch: The branch containing this tree
 
340
        """
 
341
        self.other_rev_id = revision_id
 
342
        self.other_branch = other_branch
 
343
        self._maybe_fetch(other_branch, self.this_branch, self.other_rev_id)
 
344
        self.other_tree = self.revision_tree(revision_id)
 
345
        self.other_basis = revision_id
 
346
 
 
347
    def set_base_revision(self, revision_id, branch):
 
348
        """Set 'base' based on a branch and revision id
 
349
 
 
350
        :param revision_id: The revision to use for a tree
 
351
        :param branch: The branch containing this tree
 
352
        """
 
353
        self.base_rev_id = revision_id
 
354
        self.base_branch = branch
 
355
        self._maybe_fetch(branch, self.this_branch, revision_id)
 
356
        self.base_tree = self.revision_tree(revision_id)
 
357
 
 
358
    def _maybe_fetch(self, source, target, revision_id):
 
359
        if not source.repository.has_same_location(target.repository):
 
360
            target.fetch(source, revision_id)
207
361
 
208
362
    def find_base(self):
209
 
        self.set_base([None, None])
 
363
        revisions = [ensure_null(self.this_basis),
 
364
                     ensure_null(self.other_basis)]
 
365
        if NULL_REVISION in revisions:
 
366
            self.base_rev_id = NULL_REVISION
 
367
            self.base_tree = self.revision_tree(self.base_rev_id)
 
368
            self._is_criss_cross = False
 
369
        else:
 
370
            lcas = self.revision_graph.find_lca(revisions[0], revisions[1])
 
371
            self._is_criss_cross = False
 
372
            if len(lcas) == 0:
 
373
                self.base_rev_id = NULL_REVISION
 
374
            elif len(lcas) == 1:
 
375
                self.base_rev_id = list(lcas)[0]
 
376
            else: # len(lcas) > 1
 
377
                if len(lcas) > 2:
 
378
                    # find_unique_lca can only handle 2 nodes, so we have to
 
379
                    # start back at the beginning. It is a shame to traverse
 
380
                    # the graph again, but better than re-implementing
 
381
                    # find_unique_lca.
 
382
                    self.base_rev_id = self.revision_graph.find_unique_lca(
 
383
                                            revisions[0], revisions[1])
 
384
                else:
 
385
                    self.base_rev_id = self.revision_graph.find_unique_lca(
 
386
                                            *lcas)
 
387
                self._is_criss_cross = True
 
388
            if self.base_rev_id == NULL_REVISION:
 
389
                raise UnrelatedBranches()
 
390
            if self._is_criss_cross:
 
391
                warning('Warning: criss-cross merge encountered.  See bzr'
 
392
                        ' help criss-cross.')
 
393
                interesting_revision_ids = [self.base_rev_id]
 
394
                interesting_revision_ids.extend(lcas)
 
395
                interesting_trees = dict((t.get_revision_id(), t)
 
396
                    for t in self.this_branch.repository.revision_trees(
 
397
                        interesting_revision_ids))
 
398
                self._cached_trees.update(interesting_trees)
 
399
                self.base_tree = interesting_trees.pop(self.base_rev_id)
 
400
                sorted_lca_keys = self.revision_graph.find_merge_order(
 
401
                    revisions[0], lcas)
 
402
                self._lca_trees = [interesting_trees[key]
 
403
                                   for key in sorted_lca_keys]
 
404
            else:
 
405
                self.base_tree = self.revision_tree(self.base_rev_id)
 
406
        self.base_is_ancestor = True
 
407
        self.base_is_other_ancestor = True
210
408
 
211
409
    def set_base(self, base_revision):
 
410
        """Set the base revision to use for the merge.
 
411
 
 
412
        :param base_revision: A 2-list containing a path and revision number.
 
413
        """
212
414
        mutter("doing merge() with no base_revision specified")
213
415
        if base_revision == [None, None]:
214
 
            try:
215
 
                pb = bzrlib.ui.ui_factory.nested_progress_bar()
216
 
                try:
217
 
                    this_repo = self.this_branch.repository
218
 
                    self.base_rev_id = common_ancestor(self.this_basis, 
219
 
                                                       self.other_basis, 
220
 
                                                       this_repo, pb)
221
 
                finally:
222
 
                    pb.finished()
223
 
            except NoCommonAncestor:
224
 
                raise UnrelatedBranches()
225
 
            self.base_tree = _get_revid_tree(self.this_branch, self.base_rev_id,
226
 
                                            None)
227
 
            self.base_is_ancestor = True
 
416
            self.find_base()
228
417
        else:
229
 
            base_branch, self.base_tree = _get_tree(base_revision)
 
418
            base_branch, self.base_tree = self._get_tree(base_revision)
230
419
            if base_revision[1] == -1:
231
420
                self.base_rev_id = base_branch.last_revision()
232
421
            elif base_revision[1] is None:
233
 
                self.base_rev_id = None
 
422
                self.base_rev_id = _mod_revision.NULL_REVISION
234
423
            else:
235
 
                self.base_rev_id = base_branch.get_rev_id(base_revision[1])
236
 
            if self.this_branch.base != base_branch.base:
237
 
                self.this_branch.fetch(base_branch)
238
 
            self.base_is_ancestor = is_ancestor(self.this_basis, 
239
 
                                                self.base_rev_id,
240
 
                                                self.this_branch)
 
424
                self.base_rev_id = _mod_revision.ensure_null(
 
425
                    base_branch.get_rev_id(base_revision[1]))
 
426
            self._maybe_fetch(base_branch, self.this_branch, self.base_rev_id)
241
427
 
242
 
    def do_merge(self):
243
 
        kwargs = {'working_tree':self.this_tree, 'this_tree': self.this_tree, 
244
 
                  'other_tree': self.other_tree, 
 
428
    def make_merger(self):
 
429
        kwargs = {'working_tree':self.this_tree, 'this_tree': self.this_tree,
 
430
                  'other_tree': self.other_tree,
245
431
                  'interesting_ids': self.interesting_ids,
246
 
                  'pp': self.pp}
 
432
                  'interesting_files': self.interesting_files,
 
433
                  'pp': self.pp,
 
434
                  'do_merge': False}
247
435
        if self.merge_type.requires_base:
248
436
            kwargs['base_tree'] = self.base_tree
249
437
        if self.merge_type.supports_reprocess:
255
443
            kwargs['show_base'] = self.show_base
256
444
        elif self.show_base:
257
445
            raise BzrError("Showing base is not supported for this"
258
 
                                  " merge type. %s" % self.merge_type)
259
 
        merge = self.merge_type(pb=self._pb, **kwargs)
 
446
                           " merge type. %s" % self.merge_type)
 
447
        if (not getattr(self.merge_type, 'supports_reverse_cherrypick', True)
 
448
            and not self.base_is_other_ancestor):
 
449
            raise errors.CannotReverseCherrypick()
 
450
        if self.merge_type.supports_cherrypick:
 
451
            kwargs['cherrypick'] = (not self.base_is_ancestor or
 
452
                                    not self.base_is_other_ancestor)
 
453
        if self._is_criss_cross and getattr(self.merge_type,
 
454
                                            'supports_lca_trees', False):
 
455
            kwargs['lca_trees'] = self._lca_trees
 
456
        return self.merge_type(pb=self._pb,
 
457
                               change_reporter=self.change_reporter,
 
458
                               **kwargs)
 
459
 
 
460
    def _do_merge_to(self, merge):
 
461
        merge.do_merge()
 
462
        if self.recurse == 'down':
 
463
            for relpath, file_id in self.this_tree.iter_references():
 
464
                sub_tree = self.this_tree.get_nested_tree(file_id, relpath)
 
465
                other_revision = self.other_tree.get_reference_revision(
 
466
                    file_id, relpath)
 
467
                if  other_revision == sub_tree.last_revision():
 
468
                    continue
 
469
                sub_merge = Merger(sub_tree.branch, this_tree=sub_tree)
 
470
                sub_merge.merge_type = self.merge_type
 
471
                other_branch = self.other_branch.reference_parent(file_id, relpath)
 
472
                sub_merge.set_other_revision(other_revision, other_branch)
 
473
                base_revision = self.base_tree.get_reference_revision(file_id)
 
474
                sub_merge.base_tree = \
 
475
                    sub_tree.branch.repository.revision_tree(base_revision)
 
476
                sub_merge.base_rev_id = base_revision
 
477
                sub_merge.do_merge()
 
478
        
 
479
    def do_merge(self):
 
480
        self.this_tree.lock_tree_write()
 
481
        try:
 
482
            if self.base_tree is not None:
 
483
                self.base_tree.lock_read()
 
484
            try:
 
485
                if self.other_tree is not None:
 
486
                    self.other_tree.lock_read()
 
487
                try:
 
488
                    merge = self.make_merger()
 
489
                    self._do_merge_to(merge)
 
490
                finally:
 
491
                    if self.other_tree is not None:
 
492
                        self.other_tree.unlock()
 
493
            finally:
 
494
                if self.base_tree is not None:
 
495
                    self.base_tree.unlock()
 
496
        finally:
 
497
            self.this_tree.unlock()
260
498
        if len(merge.cooked_conflicts) == 0:
261
 
            if not self.ignore_zero:
 
499
            if not self.ignore_zero and not is_quiet():
262
500
                note("All changes applied successfully.")
263
501
        else:
264
502
            note("%d conflicts encountered." % len(merge.cooked_conflicts))
265
503
 
266
504
        return len(merge.cooked_conflicts)
267
505
 
268
 
    def regen_inventory(self, new_entries):
269
 
        old_entries = self.this_tree.read_working_inventory()
270
 
        new_inventory = {}
271
 
        by_path = {}
272
 
        new_entries_map = {} 
273
 
        for path, file_id in new_entries:
274
 
            if path is None:
275
 
                continue
276
 
            new_entries_map[file_id] = path
277
 
 
278
 
        def id2path(file_id):
279
 
            path = new_entries_map.get(file_id)
280
 
            if path is not None:
281
 
                return path
282
 
            entry = old_entries[file_id]
283
 
            if entry.parent_id is None:
284
 
                return entry.name
285
 
            return pathjoin(id2path(entry.parent_id), entry.name)
286
 
            
287
 
        for file_id in old_entries:
288
 
            entry = old_entries[file_id]
289
 
            path = id2path(file_id)
290
 
            if file_id in self.base_tree.inventory:
291
 
                executable = getattr(self.base_tree.inventory[file_id], 'executable', False)
292
 
            else:
293
 
                executable = getattr(entry, 'executable', False)
294
 
            new_inventory[file_id] = (path, file_id, entry.parent_id, 
295
 
                                      entry.kind, executable)
296
 
                                      
297
 
            by_path[path] = file_id
298
 
        
299
 
        deletions = 0
300
 
        insertions = 0
301
 
        new_path_list = []
302
 
        for path, file_id in new_entries:
303
 
            if path is None:
304
 
                del new_inventory[file_id]
305
 
                deletions += 1
306
 
            else:
307
 
                new_path_list.append((path, file_id))
308
 
                if file_id not in old_entries:
309
 
                    insertions += 1
310
 
        # Ensure no file is added before its parent
311
 
        new_path_list.sort()
312
 
        for path, file_id in new_path_list:
313
 
            if path == '':
314
 
                parent = None
315
 
            else:
316
 
                parent = by_path[os.path.dirname(path)]
317
 
            abspath = pathjoin(self.this_tree.basedir, path)
318
 
            kind = bzrlib.osutils.file_kind(abspath)
319
 
            if file_id in self.base_tree.inventory:
320
 
                executable = getattr(self.base_tree.inventory[file_id], 'executable', False)
321
 
            else:
322
 
                executable = False
323
 
            new_inventory[file_id] = (path, file_id, parent, kind, executable)
324
 
            by_path[path] = file_id 
325
 
 
326
 
        # Get a list in insertion order
327
 
        new_inventory_list = new_inventory.values()
328
 
        mutter ("""Inventory regeneration:
329
 
    old length: %i insertions: %i deletions: %i new_length: %i"""\
330
 
            % (len(old_entries), insertions, deletions, 
331
 
               len(new_inventory_list)))
332
 
        assert len(new_inventory_list) == len(old_entries) + insertions\
333
 
            - deletions
334
 
        new_inventory_list.sort()
335
 
        return new_inventory_list
 
506
 
 
507
class _InventoryNoneEntry(object):
 
508
    """This represents an inventory entry which *isn't there*.
 
509
 
 
510
    It simplifies the merging logic if we always have an InventoryEntry, even
 
511
    if it isn't actually present
 
512
    """
 
513
    executable = None
 
514
    kind = None
 
515
    name = None
 
516
    parent_id = None
 
517
    revision = None
 
518
    symlink_target = None
 
519
    text_sha1 = None
 
520
 
 
521
_none_entry = _InventoryNoneEntry()
336
522
 
337
523
 
338
524
class Merge3Merger(object):
341
527
    supports_reprocess = True
342
528
    supports_show_base = True
343
529
    history_based = False
 
530
    supports_cherrypick = True
 
531
    supports_reverse_cherrypick = True
 
532
    winner_idx = {"this": 2, "other": 1, "conflict": 1}
 
533
    supports_lca_trees = True
344
534
 
345
535
    def __init__(self, working_tree, this_tree, base_tree, other_tree, 
346
536
                 interesting_ids=None, reprocess=False, show_base=False,
347
 
                 pb=DummyProgress(), pp=None):
348
 
        """Initialize the merger object and perform the merge."""
 
537
                 pb=DummyProgress(), pp=None, change_reporter=None,
 
538
                 interesting_files=None, do_merge=True,
 
539
                 cherrypick=False, lca_trees=None):
 
540
        """Initialize the merger object and perform the merge.
 
541
 
 
542
        :param working_tree: The working tree to apply the merge to
 
543
        :param this_tree: The local tree in the merge operation
 
544
        :param base_tree: The common tree in the merge operation
 
545
        :param other_tree: The other other tree to merge changes from
 
546
        :param interesting_ids: The file_ids of files that should be
 
547
            participate in the merge.  May not be combined with
 
548
            interesting_files.
 
549
        :param: reprocess If True, perform conflict-reduction processing.
 
550
        :param show_base: If True, show the base revision in text conflicts.
 
551
            (incompatible with reprocess)
 
552
        :param pb: A Progress bar
 
553
        :param pp: A ProgressPhase object
 
554
        :param change_reporter: An object that should report changes made
 
555
        :param interesting_files: The tree-relative paths of files that should
 
556
            participate in the merge.  If these paths refer to directories,
 
557
            the contents of those directories will also be included.  May not
 
558
            be combined with interesting_ids.  If neither interesting_files nor
 
559
            interesting_ids is specified, all files may participate in the
 
560
            merge.
 
561
        :param lca_trees: Can be set to a dictionary of {revision_id:rev_tree}
 
562
            if the ancestry was found to include a criss-cross merge.
 
563
            Otherwise should be None.
 
564
        """
349
565
        object.__init__(self)
 
566
        if interesting_files is not None and interesting_ids is not None:
 
567
            raise ValueError(
 
568
                'specify either interesting_ids or interesting_files')
 
569
        self.interesting_ids = interesting_ids
 
570
        self.interesting_files = interesting_files
350
571
        self.this_tree = working_tree
351
572
        self.base_tree = base_tree
352
573
        self.other_tree = other_tree
354
575
        self.cooked_conflicts = []
355
576
        self.reprocess = reprocess
356
577
        self.show_base = show_base
 
578
        self._lca_trees = lca_trees
 
579
        # Uncommenting this will change the default algorithm to always use
 
580
        # _entries_lca. This can be useful for running the test suite and
 
581
        # making sure we haven't missed any corner cases.
 
582
        # if lca_trees is None:
 
583
        #     self._lca_trees = [self.base_tree]
357
584
        self.pb = pb
358
585
        self.pp = pp
 
586
        self.change_reporter = change_reporter
 
587
        self.cherrypick = cherrypick
359
588
        if self.pp is None:
360
589
            self.pp = ProgressPhase("Merge phase", 3, self.pb)
 
590
        if do_merge:
 
591
            self.do_merge()
361
592
 
362
 
        if interesting_ids is not None:
363
 
            all_ids = interesting_ids
364
 
        else:
365
 
            all_ids = set(base_tree)
366
 
            all_ids.update(other_tree)
367
 
        working_tree.lock_write()
368
 
        self.tt = TreeTransform(working_tree, self.pb)
 
593
    def do_merge(self):
 
594
        self.this_tree.lock_tree_write()
 
595
        self.base_tree.lock_read()
 
596
        self.other_tree.lock_read()
 
597
        self.tt = TreeTransform(self.this_tree, self.pb)
369
598
        try:
370
599
            self.pp.next_phase()
371
 
            child_pb = bzrlib.ui.ui_factory.nested_progress_bar()
372
 
            try:
373
 
                for num, file_id in enumerate(all_ids):
374
 
                    child_pb.update('Preparing file merge', num, len(all_ids))
375
 
                    self.merge_names(file_id)
376
 
                    file_status = self.merge_contents(file_id)
377
 
                    self.merge_executable(file_id, file_status)
378
 
            finally:
379
 
                child_pb.finished()
380
 
                
381
 
            self.pp.next_phase()
382
 
            child_pb = bzrlib.ui.ui_factory.nested_progress_bar()
383
 
            try:
384
 
                fs_conflicts = resolve_conflicts(self.tt, child_pb)
385
 
            finally:
386
 
                child_pb.finished()
387
 
            self.cook_conflicts(fs_conflicts)
388
 
            for conflict in self.cooked_conflicts:
389
 
                warning(conflict)
390
 
            self.pp.next_phase()
391
 
            results = self.tt.apply()
 
600
            self._compute_transform()
 
601
            self.pp.next_phase()
 
602
            results = self.tt.apply(no_conflicts=True)
392
603
            self.write_modified(results)
393
604
            try:
394
 
                working_tree.set_conflicts(ConflictList(self.cooked_conflicts))
 
605
                self.this_tree.add_conflicts(self.cooked_conflicts)
395
606
            except UnsupportedOperation:
396
607
                pass
397
608
        finally:
398
 
            try:
399
 
                self.tt.finalize()
400
 
            except:
401
 
                pass
402
 
            working_tree.unlock()
403
 
            self.pb.clear()
 
609
            self.tt.finalize()
 
610
            self.other_tree.unlock()
 
611
            self.base_tree.unlock()
 
612
            self.this_tree.unlock()
 
613
            self.pb.clear()
 
614
 
 
615
    def make_preview_transform(self):
 
616
        self.base_tree.lock_read()
 
617
        self.other_tree.lock_read()
 
618
        self.tt = TransformPreview(self.this_tree)
 
619
        try:
 
620
            self.pp.next_phase()
 
621
            self._compute_transform()
 
622
            self.pp.next_phase()
 
623
        finally:
 
624
            self.other_tree.unlock()
 
625
            self.base_tree.unlock()
 
626
            self.pb.clear()
 
627
        return self.tt
 
628
 
 
629
    def _compute_transform(self):
 
630
        if self._lca_trees is None:
 
631
            entries = self._entries3()
 
632
            resolver = self._three_way
 
633
        else:
 
634
            entries = self._entries_lca()
 
635
            resolver = self._lca_multi_way
 
636
        child_pb = ui.ui_factory.nested_progress_bar()
 
637
        try:
 
638
            for num, (file_id, changed, parents3, names3,
 
639
                      executable3) in enumerate(entries):
 
640
                child_pb.update('Preparing file merge', num, len(entries))
 
641
                self._merge_names(file_id, parents3, names3, resolver=resolver)
 
642
                if changed:
 
643
                    file_status = self.merge_contents(file_id)
 
644
                else:
 
645
                    file_status = 'unmodified'
 
646
                self._merge_executable(file_id,
 
647
                    executable3, file_status, resolver=resolver)
 
648
        finally:
 
649
            child_pb.finished()
 
650
        self.fix_root()
 
651
        self.pp.next_phase()
 
652
        child_pb = ui.ui_factory.nested_progress_bar()
 
653
        try:
 
654
            fs_conflicts = resolve_conflicts(self.tt, child_pb,
 
655
                lambda t, c: conflict_pass(t, c, self.other_tree))
 
656
        finally:
 
657
            child_pb.finished()
 
658
        if self.change_reporter is not None:
 
659
            from bzrlib import delta
 
660
            delta.report_changes(
 
661
                self.tt.iter_changes(), self.change_reporter)
 
662
        self.cook_conflicts(fs_conflicts)
 
663
        for conflict in self.cooked_conflicts:
 
664
            warning(conflict)
 
665
 
 
666
    def _entries3(self):
 
667
        """Gather data about files modified between three trees.
 
668
 
 
669
        Return a list of tuples of file_id, changed, parents3, names3,
 
670
        executable3.  changed is a boolean indicating whether the file contents
 
671
        or kind were changed.  parents3 is a tuple of parent ids for base,
 
672
        other and this.  names3 is a tuple of names for base, other and this.
 
673
        executable3 is a tuple of execute-bit values for base, other and this.
 
674
        """
 
675
        result = []
 
676
        iterator = self.other_tree.iter_changes(self.base_tree,
 
677
                include_unchanged=True, specific_files=self.interesting_files,
 
678
                extra_trees=[self.this_tree])
 
679
        this_entries = dict((e.file_id, e) for p, e in
 
680
                            self.this_tree.iter_entries_by_dir(
 
681
                            self.interesting_ids))
 
682
        for (file_id, paths, changed, versioned, parents, names, kind,
 
683
             executable) in iterator:
 
684
            if (self.interesting_ids is not None and
 
685
                file_id not in self.interesting_ids):
 
686
                continue
 
687
            entry = this_entries.get(file_id)
 
688
            if entry is not None:
 
689
                this_name = entry.name
 
690
                this_parent = entry.parent_id
 
691
                this_executable = entry.executable
 
692
            else:
 
693
                this_name = None
 
694
                this_parent = None
 
695
                this_executable = None
 
696
            parents3 = parents + (this_parent,)
 
697
            names3 = names + (this_name,)
 
698
            executable3 = executable + (this_executable,)
 
699
            result.append((file_id, changed, parents3, names3, executable3))
 
700
        return result
 
701
 
 
702
    def _entries_lca(self):
 
703
        """Gather data about files modified between multiple trees.
 
704
 
 
705
        This compares OTHER versus all LCA trees, and for interesting entries,
 
706
        it then compares with THIS and BASE.
 
707
 
 
708
        For the multi-valued entries, the format will be (BASE, [lca1, lca2])
 
709
        :return: [(file_id, changed, parents, names, executable)]
 
710
            file_id     Simple file_id of the entry
 
711
            changed     Boolean, True if the kind or contents changed
 
712
                        else False
 
713
            parents     ((base, [parent_id, in, lcas]), parent_id_other,
 
714
                         parent_id_this)
 
715
            names       ((base, [name, in, lcas]), name_in_other, name_in_this)
 
716
            executable  ((base, [exec, in, lcas]), exec_in_other, exec_in_this)
 
717
        """
 
718
        if self.interesting_files is not None:
 
719
            lookup_trees = [self.this_tree, self.base_tree]
 
720
            lookup_trees.extend(self._lca_trees)
 
721
            # I think we should include the lca trees as well
 
722
            interesting_ids = self.other_tree.paths2ids(self.interesting_files,
 
723
                                                        lookup_trees)
 
724
        else:
 
725
            interesting_ids = self.interesting_ids
 
726
        result = []
 
727
        walker = _mod_tree.MultiWalker(self.other_tree, self._lca_trees)
 
728
 
 
729
        base_inventory = self.base_tree.inventory
 
730
        this_inventory = self.this_tree.inventory
 
731
        for path, file_id, other_ie, lca_values in walker.iter_all():
 
732
            # Is this modified at all from any of the other trees?
 
733
            if other_ie is None:
 
734
                other_ie = _none_entry
 
735
            if interesting_ids is not None and file_id not in interesting_ids:
 
736
                continue
 
737
 
 
738
            # If other_revision is found in any of the lcas, that means this
 
739
            # node is uninteresting. This is because when merging, if there are
 
740
            # multiple heads(), we have to create a new node. So if we didn't,
 
741
            # we know that the ancestry is linear, and that OTHER did not
 
742
            # modify anything
 
743
            # See doc/developers/lca_merge_resolution.txt for details
 
744
            other_revision = other_ie.revision
 
745
            if other_revision is not None:
 
746
                # We can't use this shortcut when other_revision is None,
 
747
                # because it may be None because things are WorkingTrees, and
 
748
                # not because it is *actually* None.
 
749
                is_unmodified = False
 
750
                for lca_path, ie in lca_values:
 
751
                    if ie is not None and ie.revision == other_revision:
 
752
                        is_unmodified = True
 
753
                        break
 
754
                if is_unmodified:
 
755
                    continue
 
756
 
 
757
            lca_entries = []
 
758
            for lca_path, lca_ie in lca_values:
 
759
                if lca_ie is None:
 
760
                    lca_entries.append(_none_entry)
 
761
                else:
 
762
                    lca_entries.append(lca_ie)
 
763
 
 
764
            if file_id in base_inventory:
 
765
                base_ie = base_inventory[file_id]
 
766
            else:
 
767
                base_ie = _none_entry
 
768
 
 
769
            if file_id in this_inventory:
 
770
                this_ie = this_inventory[file_id]
 
771
            else:
 
772
                this_ie = _none_entry
 
773
 
 
774
            lca_kinds = []
 
775
            lca_parent_ids = []
 
776
            lca_names = []
 
777
            lca_executable = []
 
778
            for lca_ie in lca_entries:
 
779
                lca_kinds.append(lca_ie.kind)
 
780
                lca_parent_ids.append(lca_ie.parent_id)
 
781
                lca_names.append(lca_ie.name)
 
782
                lca_executable.append(lca_ie.executable)
 
783
 
 
784
            kind_winner = self._lca_multi_way(
 
785
                (base_ie.kind, lca_kinds),
 
786
                other_ie.kind, this_ie.kind)
 
787
            parent_id_winner = self._lca_multi_way(
 
788
                (base_ie.parent_id, lca_parent_ids),
 
789
                other_ie.parent_id, this_ie.parent_id)
 
790
            name_winner = self._lca_multi_way(
 
791
                (base_ie.name, lca_names),
 
792
                other_ie.name, this_ie.name)
 
793
 
 
794
            content_changed = True
 
795
            if kind_winner == 'this':
 
796
                # No kind change in OTHER, see if there are *any* changes
 
797
                if other_ie.kind == None:
 
798
                    # No content and 'this' wins the kind, so skip this?
 
799
                    # continue
 
800
                    pass
 
801
                elif other_ie.kind == 'directory':
 
802
                    if parent_id_winner == 'this' and name_winner == 'this':
 
803
                        # No change for this directory in OTHER, skip
 
804
                        continue
 
805
                    content_changed = False
 
806
                elif other_ie.kind == 'file':
 
807
                    def get_sha1(ie, tree):
 
808
                        if ie.kind != 'file':
 
809
                            return None
 
810
                        return tree.get_file_sha1(file_id)
 
811
                    base_sha1 = get_sha1(base_ie, self.base_tree)
 
812
                    lca_sha1s = [get_sha1(ie, tree) for ie, tree
 
813
                                 in zip(lca_entries, self._lca_trees)]
 
814
                    this_sha1 = get_sha1(this_ie, self.this_tree)
 
815
                    other_sha1 = get_sha1(other_ie, self.other_tree)
 
816
                    sha1_winner = self._lca_multi_way(
 
817
                        (base_sha1, lca_sha1s), other_sha1, this_sha1,
 
818
                        allow_overriding_lca=False)
 
819
                    exec_winner = self._lca_multi_way(
 
820
                        (base_ie.executable, lca_executable),
 
821
                        other_ie.executable, this_ie.executable)
 
822
                    if (parent_id_winner == 'this' and name_winner == 'this'
 
823
                        and sha1_winner == 'this' and exec_winner == 'this'):
 
824
                        # No kind, parent, name, exec, or content change for
 
825
                        # OTHER, so this node is not considered interesting
 
826
                        continue
 
827
                    if sha1_winner == 'this':
 
828
                        content_changed = False
 
829
                elif other_ie.kind == 'symlink':
 
830
                    def get_target(ie, tree):
 
831
                        if ie.kind != 'symlink':
 
832
                            return None
 
833
                        return tree.get_symlink_target(file_id)
 
834
                    base_target = get_target(base_ie, self.base_tree)
 
835
                    lca_targets = [get_target(ie, tree) for ie, tree
 
836
                                   in zip(lca_entries, self._lca_trees)]
 
837
                    this_target = get_target(this_ie, self.this_tree)
 
838
                    other_target = get_target(other_ie, self.other_tree)
 
839
                    target_winner = self._lca_multi_way(
 
840
                        (base_target, lca_targets),
 
841
                        other_target, this_target)
 
842
                    if (parent_id_winner == 'this' and name_winner == 'this'
 
843
                        and target_winner == 'this'):
 
844
                        # No kind, parent, name, or symlink target change
 
845
                        # not interesting
 
846
                        continue
 
847
                    if target_winner == 'this':
 
848
                        content_changed = False
 
849
                elif other_ie.kind == 'tree-reference':
 
850
                    # The 'changed' information seems to be handled at a higher
 
851
                    # level. At least, _entries3 returns False for content
 
852
                    # changed, even when at a new revision_id.
 
853
                    content_changed = False
 
854
                    if (parent_id_winner == 'this' and name_winner == 'this'):
 
855
                        # Nothing interesting
 
856
                        continue
 
857
                else:
 
858
                    raise AssertionError('unhandled kind: %s' % other_ie.kind)
 
859
                # XXX: We need to handle kind == 'symlink'
 
860
 
 
861
            # If we have gotten this far, that means something has changed
 
862
            result.append((file_id, content_changed,
 
863
                           ((base_ie.parent_id, lca_parent_ids),
 
864
                            other_ie.parent_id, this_ie.parent_id),
 
865
                           ((base_ie.name, lca_names),
 
866
                            other_ie.name, this_ie.name),
 
867
                           ((base_ie.executable, lca_executable),
 
868
                            other_ie.executable, this_ie.executable)
 
869
                          ))
 
870
        return result
 
871
 
 
872
 
 
873
    def fix_root(self):
 
874
        try:
 
875
            self.tt.final_kind(self.tt.root)
 
876
        except NoSuchFile:
 
877
            self.tt.cancel_deletion(self.tt.root)
 
878
        if self.tt.final_file_id(self.tt.root) is None:
 
879
            self.tt.version_file(self.tt.tree_file_id(self.tt.root), 
 
880
                                 self.tt.root)
 
881
        other_root_file_id = self.other_tree.get_root_id()
 
882
        if other_root_file_id is None:
 
883
            return
 
884
        other_root = self.tt.trans_id_file_id(other_root_file_id)
 
885
        if other_root == self.tt.root:
 
886
            return
 
887
        try:
 
888
            self.tt.final_kind(other_root)
 
889
        except NoSuchFile:
 
890
            return
 
891
        if self.other_tree.inventory.root.file_id in self.this_tree.inventory:
 
892
            # the other tree's root is a non-root in the current tree
 
893
            return
 
894
        self.reparent_children(self.other_tree.inventory.root, self.tt.root)
 
895
        self.tt.cancel_creation(other_root)
 
896
        self.tt.cancel_versioning(other_root)
 
897
 
 
898
    def reparent_children(self, ie, target):
 
899
        for thing, child in ie.children.iteritems():
 
900
            trans_id = self.tt.trans_id_file_id(child.file_id)
 
901
            self.tt.adjust_path(self.tt.final_name(trans_id), target, trans_id)
404
902
 
405
903
    def write_modified(self, results):
406
904
        modified_hashes = {}
452
950
        return tree.kind(file_id)
453
951
 
454
952
    @staticmethod
 
953
    def _three_way(base, other, this):
 
954
        #if base == other, either they all agree, or only THIS has changed.
 
955
        if base == other:
 
956
            return 'this'
 
957
        elif this not in (base, other):
 
958
            return 'conflict'
 
959
        # "Ambiguous clean merge" -- both sides have made the same change.
 
960
        elif this == other:
 
961
            return "this"
 
962
        # this == base: only other has changed.
 
963
        else:
 
964
            return "other"
 
965
 
 
966
    @staticmethod
 
967
    def _lca_multi_way(bases, other, this, allow_overriding_lca=True):
 
968
        """Consider LCAs when determining whether a change has occurred.
 
969
 
 
970
        If LCAS are all identical, this is the same as a _three_way comparison.
 
971
 
 
972
        :param bases: value in (BASE, [LCAS])
 
973
        :param other: value in OTHER
 
974
        :param this: value in THIS
 
975
        :param allow_overriding_lca: If there is more than one unique lca
 
976
            value, allow OTHER to override THIS if it has a new value, and
 
977
            THIS only has an lca value, or vice versa. This is appropriate for
 
978
            truly scalar values, not as much for non-scalars.
 
979
        :return: 'this', 'other', or 'conflict' depending on whether an entry
 
980
            changed or not.
 
981
        """
 
982
        # See doc/developers/lca_merge_resolution.txt for details about this
 
983
        # algorithm.
 
984
        if other == this:
 
985
            # Either Ambiguously clean, or nothing was actually changed. We
 
986
            # don't really care
 
987
            return 'this'
 
988
        base_val, lca_vals = bases
 
989
        # Remove 'base_val' from the lca_vals, because it is not interesting
 
990
        filtered_lca_vals = [lca_val for lca_val in lca_vals
 
991
                                      if lca_val != base_val]
 
992
        if len(filtered_lca_vals) == 0:
 
993
            return Merge3Merger._three_way(base_val, other, this)
 
994
 
 
995
        unique_lca_vals = set(filtered_lca_vals)
 
996
        if len(unique_lca_vals) == 1:
 
997
            return Merge3Merger._three_way(unique_lca_vals.pop(), other, this)
 
998
 
 
999
        if allow_overriding_lca:
 
1000
            if other in unique_lca_vals:
 
1001
                if this in unique_lca_vals:
 
1002
                    # Each side picked a different lca, conflict
 
1003
                    return 'conflict'
 
1004
                else:
 
1005
                    # This has a value which supersedes both lca values, and
 
1006
                    # other only has an lca value
 
1007
                    return 'this'
 
1008
            elif this in unique_lca_vals:
 
1009
                # OTHER has a value which supersedes both lca values, and this
 
1010
                # only has an lca value
 
1011
                return 'other'
 
1012
 
 
1013
        # At this point, the lcas disagree, and the tips disagree
 
1014
        return 'conflict'
 
1015
 
 
1016
    @staticmethod
455
1017
    def scalar_three_way(this_tree, base_tree, other_tree, file_id, key):
456
1018
        """Do a three-way test on a scalar.
457
1019
        Return "this", "other" or "conflict", depending whether a value wins.
462
1024
        if key_base == key_other:
463
1025
            return "this"
464
1026
        key_this = key(this_tree, file_id)
465
 
        if key_this not in (key_base, key_other):
 
1027
        # "Ambiguous clean merge"
 
1028
        if key_this == key_other:
 
1029
            return "this"
 
1030
        elif key_this == key_base:
 
1031
            return "other"
 
1032
        else:
466
1033
            return "conflict"
467
 
        # "Ambiguous clean merge"
468
 
        elif key_this == key_other:
469
 
            return "this"
470
 
        else:
471
 
            assert key_this == key_base
472
 
            return "other"
473
1034
 
474
1035
    def merge_names(self, file_id):
475
 
        """Perform a merge on file_id names and parents"""
476
1036
        def get_entry(tree):
477
1037
            if file_id in tree.inventory:
478
1038
                return tree.inventory[file_id]
481
1041
        this_entry = get_entry(self.this_tree)
482
1042
        other_entry = get_entry(self.other_tree)
483
1043
        base_entry = get_entry(self.base_tree)
484
 
        name_winner = self.scalar_three_way(this_entry, base_entry, 
485
 
                                            other_entry, file_id, self.name)
486
 
        parent_id_winner = self.scalar_three_way(this_entry, base_entry, 
487
 
                                                 other_entry, file_id, 
488
 
                                                 self.parent)
489
 
        if this_entry is None:
 
1044
        entries = (base_entry, other_entry, this_entry)
 
1045
        names = []
 
1046
        parents = []
 
1047
        for entry in entries:
 
1048
            if entry is None:
 
1049
                names.append(None)
 
1050
                parents.append(None)
 
1051
            else:
 
1052
                names.append(entry.name)
 
1053
                parents.append(entry.parent_id)
 
1054
        return self._merge_names(file_id, parents, names,
 
1055
                                 resolver=self._three_way)
 
1056
 
 
1057
    def _merge_names(self, file_id, parents, names, resolver):
 
1058
        """Perform a merge on file_id names and parents"""
 
1059
        base_name, other_name, this_name = names
 
1060
        base_parent, other_parent, this_parent = parents
 
1061
 
 
1062
        name_winner = resolver(*names)
 
1063
 
 
1064
        parent_id_winner = resolver(*parents)
 
1065
        if this_name is None:
490
1066
            if name_winner == "this":
491
1067
                name_winner = "other"
492
1068
            if parent_id_winner == "this":
496
1072
        if name_winner == "conflict":
497
1073
            trans_id = self.tt.trans_id_file_id(file_id)
498
1074
            self._raw_conflicts.append(('name conflict', trans_id, 
499
 
                                        self.name(this_entry, file_id), 
500
 
                                        self.name(other_entry, file_id)))
 
1075
                                        this_name, other_name))
501
1076
        if parent_id_winner == "conflict":
502
1077
            trans_id = self.tt.trans_id_file_id(file_id)
503
1078
            self._raw_conflicts.append(('parent conflict', trans_id, 
504
 
                                        self.parent(this_entry, file_id), 
505
 
                                        self.parent(other_entry, file_id)))
506
 
        if other_entry is None:
 
1079
                                        this_parent, other_parent))
 
1080
        if other_name is None:
507
1081
            # it doesn't matter whether the result was 'other' or 
508
1082
            # 'conflict'-- if there's no 'other', we leave it alone.
509
1083
            return
510
1084
        # if we get here, name_winner and parent_winner are set to safe values.
511
 
        winner_entry = {"this": this_entry, "other": other_entry, 
512
 
                        "conflict": other_entry}
513
1085
        trans_id = self.tt.trans_id_file_id(file_id)
514
 
        parent_id = winner_entry[parent_id_winner].parent_id
515
 
        parent_trans_id = self.tt.trans_id_file_id(parent_id)
516
 
        self.tt.adjust_path(winner_entry[name_winner].name, parent_trans_id,
517
 
                            trans_id)
 
1086
        parent_id = parents[self.winner_idx[parent_id_winner]]
 
1087
        if parent_id is not None:
 
1088
            parent_trans_id = self.tt.trans_id_file_id(parent_id)
 
1089
            self.tt.adjust_path(names[self.winner_idx[name_winner]],
 
1090
                                parent_trans_id, trans_id)
518
1091
 
519
1092
    def merge_contents(self, file_id):
520
 
        """Performa a merge on file_id contents."""
 
1093
        """Performs a merge on file_id contents."""
521
1094
        def contents_pair(tree):
522
1095
            if file_id not in tree:
523
1096
                return (None, None)
524
1097
            kind = tree.kind(file_id)
525
 
            if kind == "root_directory":
526
 
                kind = "directory"
527
1098
            if kind == "file":
528
1099
                contents = tree.get_file_sha1(file_id)
529
1100
            elif kind == "symlink":
538
1109
            parent_id = self.tt.final_parent(trans_id)
539
1110
            if file_id in self.this_tree.inventory:
540
1111
                self.tt.unversion_file(trans_id)
541
 
                self.tt.delete_contents(trans_id)
 
1112
                if file_id in self.this_tree:
 
1113
                    self.tt.delete_contents(trans_id)
542
1114
            file_group = self._dump_conflicts(name, parent_id, file_id, 
543
1115
                                              set_version=True)
544
1116
            self._raw_conflicts.append(('contents conflict', file_group))
564
1136
                    self.tt.delete_contents(trans_id)
565
1137
                if file_id in self.other_tree:
566
1138
                    # OTHER changed the file
567
 
                    create_by_entry(self.tt, 
568
 
                                    self.other_tree.inventory[file_id], 
569
 
                                    self.other_tree, trans_id)
570
 
                    if file_id not in self.this_tree.inventory:
 
1139
                    create_from_tree(self.tt, trans_id,
 
1140
                                     self.other_tree, file_id)
 
1141
                    if file_id not in self.this_tree:
571
1142
                        self.tt.version_file(file_id, trans_id)
572
1143
                    return "modified"
573
1144
                elif file_id in self.this_tree.inventory:
583
1154
                    self.text_merge(file_id, trans_id)
584
1155
                except BinaryFile:
585
1156
                    return contents_conflict()
586
 
                if file_id not in self.this_tree.inventory:
 
1157
                if file_id not in self.this_tree:
587
1158
                    self.tt.version_file(file_id, trans_id)
588
1159
                try:
589
1160
                    self.tt.tree_kind(trans_id)
613
1184
            base_lines = []
614
1185
        other_lines = self.get_lines(self.other_tree, file_id)
615
1186
        this_lines = self.get_lines(self.this_tree, file_id)
616
 
        m3 = Merge3(base_lines, this_lines, other_lines)
 
1187
        m3 = Merge3(base_lines, this_lines, other_lines,
 
1188
                    is_cherrypick=self.cherrypick)
617
1189
        start_marker = "!START OF MERGE CONFLICT!" + "I HOPE THIS IS UNIQUE"
618
1190
        if self.show_base is True:
619
1191
            base_marker = '|' * 7
669
1241
                    versioned = True
670
1242
        return file_group
671
1243
           
672
 
    def _conflict_file(self, name, parent_id, tree, file_id, suffix, 
 
1244
    def _conflict_file(self, name, parent_id, tree, file_id, suffix,
673
1245
                       lines=None):
674
1246
        """Emit a single conflict file."""
675
1247
        name = name + '.' + suffix
676
1248
        trans_id = self.tt.create_path(name, parent_id)
677
 
        entry = tree.inventory[file_id]
678
 
        create_by_entry(self.tt, entry, tree, trans_id, lines)
 
1249
        create_from_tree(self.tt, trans_id, tree, file_id, lines)
679
1250
        return trans_id
680
1251
 
681
1252
    def merge_executable(self, file_id, file_status):
682
1253
        """Perform a merge on the execute bit."""
 
1254
        executable = [self.executable(t, file_id) for t in (self.base_tree,
 
1255
                      self.other_tree, self.this_tree)]
 
1256
        self._merge_executable(file_id, executable, file_status,
 
1257
                               resolver=self._three_way)
 
1258
 
 
1259
    def _merge_executable(self, file_id, executable, file_status,
 
1260
                          resolver):
 
1261
        """Perform a merge on the execute bit."""
 
1262
        base_executable, other_executable, this_executable = executable
683
1263
        if file_status == "deleted":
684
1264
            return
685
 
        trans_id = self.tt.trans_id_file_id(file_id)
686
 
        try:
687
 
            if self.tt.final_kind(trans_id) != "file":
688
 
                return
689
 
        except NoSuchFile:
690
 
            return
691
 
        winner = self.scalar_three_way(self.this_tree, self.base_tree, 
692
 
                                       self.other_tree, file_id, 
693
 
                                       self.executable)
 
1265
        winner = resolver(*executable)
694
1266
        if winner == "conflict":
695
1267
        # There must be a None in here, if we have a conflict, but we
696
1268
        # need executability since file status was not deleted.
697
 
            if self.other_tree.is_executable(file_id) is None:
 
1269
            if self.executable(self.other_tree, file_id) is None:
698
1270
                winner = "this"
699
1271
            else:
700
1272
                winner = "other"
 
1273
        if winner == 'this' and file_status != "modified":
 
1274
            return
 
1275
        trans_id = self.tt.trans_id_file_id(file_id)
 
1276
        try:
 
1277
            if self.tt.final_kind(trans_id) != "file":
 
1278
                return
 
1279
        except NoSuchFile:
 
1280
            return
701
1281
        if winner == "this":
702
 
            if file_status == "modified":
703
 
                executability = self.this_tree.is_executable(file_id)
704
 
                if executability is not None:
705
 
                    trans_id = self.tt.trans_id_file_id(file_id)
706
 
                    self.tt.set_executability(executability, trans_id)
 
1282
            executability = this_executable
707
1283
        else:
708
 
            assert winner == "other"
709
1284
            if file_id in self.other_tree:
710
 
                executability = self.other_tree.is_executable(file_id)
 
1285
                executability = other_executable
711
1286
            elif file_id in self.this_tree:
712
 
                executability = self.this_tree.is_executable(file_id)
 
1287
                executability = this_executable
713
1288
            elif file_id in self.base_tree:
714
 
                executability = self.base_tree.is_executable(file_id)
715
 
            if executability is not None:
716
 
                trans_id = self.tt.trans_id_file_id(file_id)
717
 
                self.tt.set_executability(executability, trans_id)
 
1289
                executability = base_executable
 
1290
        if executability is not None:
 
1291
            trans_id = self.tt.trans_id_file_id(file_id)
 
1292
            self.tt.set_executability(executability, trans_id)
718
1293
 
719
1294
    def cook_conflicts(self, fs_conflicts):
720
1295
        """Convert all conflicts into a form that doesn't depend on trans_id"""
753
1328
        for trans_id, conflicts in name_conflicts.iteritems():
754
1329
            try:
755
1330
                this_parent, other_parent = conflicts['parent conflict']
756
 
                assert this_parent != other_parent
 
1331
                if this_parent == other_parent:
 
1332
                    raise AssertionError()
757
1333
            except KeyError:
758
1334
                this_parent = other_parent = \
759
1335
                    self.tt.final_file_id(self.tt.final_parent(trans_id))
760
1336
            try:
761
1337
                this_name, other_name = conflicts['name conflict']
762
 
                assert this_name != other_name
 
1338
                if this_name == other_name:
 
1339
                    raise AssertionError()
763
1340
            except KeyError:
764
1341
                this_name = other_name = self.tt.final_name(trans_id)
765
1342
            other_path = fp.get_path(trans_id)
766
 
            if this_parent is not None:
 
1343
            if this_parent is not None and this_name is not None:
767
1344
                this_parent_path = \
768
1345
                    fp.get_path(self.tt.trans_id_file_id(this_parent))
769
1346
                this_path = pathjoin(this_parent_path, this_name)
780
1357
    """Three-way tree merger, text weave merger."""
781
1358
    supports_reprocess = True
782
1359
    supports_show_base = False
783
 
 
784
 
    def __init__(self, working_tree, this_tree, base_tree, other_tree, 
785
 
                 interesting_ids=None, pb=DummyProgress(), pp=None,
786
 
                 reprocess=False):
787
 
        self.this_revision_tree = self._get_revision_tree(this_tree)
788
 
        self.other_revision_tree = self._get_revision_tree(other_tree)
789
 
        super(WeaveMerger, self).__init__(working_tree, this_tree, 
790
 
                                          base_tree, other_tree, 
791
 
                                          interesting_ids=interesting_ids, 
792
 
                                          pb=pb, pp=pp, reprocess=reprocess)
793
 
 
794
 
    def _get_revision_tree(self, tree):
795
 
        """Return a revision tree related to this tree.
796
 
        If the tree is a WorkingTree, the basis will be returned.
797
 
        """
798
 
        if getattr(tree, 'get_weave', False) is False:
799
 
            # If we have a WorkingTree, try using the basis
800
 
            return tree.branch.basis_tree()
801
 
        else:
802
 
            return tree
803
 
 
804
 
    def _check_file(self, file_id):
805
 
        """Check that the revision tree's version of the file matches."""
806
 
        for tree, rt in ((self.this_tree, self.this_revision_tree), 
807
 
                         (self.other_tree, self.other_revision_tree)):
808
 
            if rt is tree:
809
 
                continue
810
 
            if tree.get_file_sha1(file_id) != rt.get_file_sha1(file_id):
811
 
                raise WorkingTreeNotRevision(self.this_tree)
 
1360
    supports_reverse_cherrypick = False
 
1361
    history_based = True
812
1362
 
813
1363
    def _merged_lines(self, file_id):
814
1364
        """Generate the merged lines.
815
1365
        There is no distinction between lines that are meant to contain <<<<<<<
816
1366
        and conflicts.
817
1367
        """
818
 
        weave = self.this_revision_tree.get_weave(file_id)
819
 
        this_revision_id = self.this_revision_tree.inventory[file_id].revision
820
 
        other_revision_id = \
821
 
            self.other_revision_tree.inventory[file_id].revision
822
 
        wm = WeaveMerge(weave, this_revision_id, other_revision_id, 
823
 
                        '<<<<<<< TREE\n', '>>>>>>> MERGE-SOURCE\n')
824
 
        return wm.merge_lines(self.reprocess)
 
1368
        if self.cherrypick:
 
1369
            base = self.base_tree
 
1370
        else:
 
1371
            base = None
 
1372
        plan = self.this_tree.plan_file_merge(file_id, self.other_tree,
 
1373
                                              base=base)
 
1374
        if 'merge' in debug.debug_flags:
 
1375
            plan = list(plan)
 
1376
            trans_id = self.tt.trans_id_file_id(file_id)
 
1377
            name = self.tt.final_name(trans_id) + '.plan'
 
1378
            contents = ('%10s|%s' % l for l in plan)
 
1379
            self.tt.new_file(name, self.tt.final_parent(trans_id), contents)
 
1380
        textmerge = PlanWeaveMerge(plan, '<<<<<<< TREE\n',
 
1381
            '>>>>>>> MERGE-SOURCE\n')
 
1382
        return textmerge.merge_lines(self.reprocess)
825
1383
 
826
1384
    def text_merge(self, file_id, trans_id):
827
1385
        """Perform a (weave) text merge for a given file and file-id.
828
1386
        If conflicts are encountered, .THIS and .OTHER files will be emitted,
829
1387
        and a conflict will be noted.
830
1388
        """
831
 
        self._check_file(file_id)
832
1389
        lines, conflicts = self._merged_lines(file_id)
833
1390
        lines = list(lines)
834
1391
        # Note we're checking whether the OUTPUT is binary in this case, 
844
1401
            file_group.append(trans_id)
845
1402
 
846
1403
 
 
1404
class LCAMerger(WeaveMerger):
 
1405
 
 
1406
    def _merged_lines(self, file_id):
 
1407
        """Generate the merged lines.
 
1408
        There is no distinction between lines that are meant to contain <<<<<<<
 
1409
        and conflicts.
 
1410
        """
 
1411
        if self.cherrypick:
 
1412
            base = self.base_tree
 
1413
        else:
 
1414
            base = None
 
1415
        plan = self.this_tree.plan_file_lca_merge(file_id, self.other_tree,
 
1416
                                                  base=base)
 
1417
        if 'merge' in debug.debug_flags:
 
1418
            plan = list(plan)
 
1419
            trans_id = self.tt.trans_id_file_id(file_id)
 
1420
            name = self.tt.final_name(trans_id) + '.plan'
 
1421
            contents = ('%10s|%s' % l for l in plan)
 
1422
            self.tt.new_file(name, self.tt.final_parent(trans_id), contents)
 
1423
        textmerge = PlanWeaveMerge(plan, '<<<<<<< TREE\n',
 
1424
            '>>>>>>> MERGE-SOURCE\n')
 
1425
        return textmerge.merge_lines(self.reprocess)
 
1426
 
 
1427
 
847
1428
class Diff3Merger(Merge3Merger):
848
1429
    """Three-way merger using external diff3 for text merging"""
 
1430
 
849
1431
    def dump_file(self, temp_dir, name, tree, file_id):
850
1432
        out_path = pathjoin(temp_dir, name)
851
 
        out_file = file(out_path, "wb")
852
 
        in_file = tree.get_file(file_id)
853
 
        for line in in_file:
854
 
            out_file.write(line)
 
1433
        out_file = open(out_path, "wb")
 
1434
        try:
 
1435
            in_file = tree.get_file(file_id)
 
1436
            for line in in_file:
 
1437
                out_file.write(line)
 
1438
        finally:
 
1439
            out_file.close()
855
1440
        return out_path
856
1441
 
857
1442
    def text_merge(self, file_id, trans_id):
860
1445
        will be dumped, and a will be conflict noted.
861
1446
        """
862
1447
        import bzrlib.patch
863
 
        temp_dir = mkdtemp(prefix="bzr-")
 
1448
        temp_dir = osutils.mkdtemp(prefix="bzr-")
864
1449
        try:
865
1450
            new_file = pathjoin(temp_dir, "new")
866
1451
            this = self.dump_file(temp_dir, "this", self.this_tree, file_id)
869
1454
            status = bzrlib.patch.diff3(new_file, this, base, other)
870
1455
            if status not in (0, 1):
871
1456
                raise BzrError("Unhandled diff3 exit code")
872
 
            self.tt.create_file(file(new_file, "rb"), trans_id)
 
1457
            f = open(new_file, 'rb')
 
1458
            try:
 
1459
                self.tt.create_file(f, trans_id)
 
1460
            finally:
 
1461
                f.close()
873
1462
            if status == 1:
874
1463
                name = self.tt.final_name(trans_id)
875
1464
                parent_id = self.tt.final_parent(trans_id)
876
1465
                self._dump_conflicts(name, parent_id, file_id)
877
 
            self._raw_conflicts.append(('text conflict', trans_id))
 
1466
                self._raw_conflicts.append(('text conflict', trans_id))
878
1467
        finally:
879
 
            rmtree(temp_dir)
 
1468
            osutils.rmtree(temp_dir)
880
1469
 
881
1470
 
882
1471
def merge_inner(this_branch, other_tree, base_tree, ignore_zero=False,
883
 
                backup_files=False, 
884
 
                merge_type=Merge3Merger, 
885
 
                interesting_ids=None, 
886
 
                show_base=False, 
887
 
                reprocess=False, 
 
1472
                backup_files=False,
 
1473
                merge_type=Merge3Merger,
 
1474
                interesting_ids=None,
 
1475
                show_base=False,
 
1476
                reprocess=False,
888
1477
                other_rev_id=None,
889
1478
                interesting_files=None,
890
1479
                this_tree=None,
891
 
                pb=DummyProgress()):
 
1480
                pb=DummyProgress(),
 
1481
                change_reporter=None):
892
1482
    """Primary interface for merging. 
893
1483
 
894
1484
        typical use is probably 
896
1486
                     branch.get_revision_tree(base_revision))'
897
1487
        """
898
1488
    if this_tree is None:
899
 
        warn("bzrlib.merge.merge_inner requires a this_tree parameter as of "
900
 
             "bzrlib version 0.8.",
901
 
             DeprecationWarning,
902
 
             stacklevel=2)
903
 
        this_tree = this_branch.bzrdir.open_workingtree()
904
 
    merger = Merger(this_branch, other_tree, base_tree, this_tree=this_tree, 
905
 
                    pb=pb)
 
1489
        raise BzrError("bzrlib.merge.merge_inner requires a this_tree "
 
1490
            "parameter as of bzrlib version 0.8.")
 
1491
    merger = Merger(this_branch, other_tree, base_tree, this_tree=this_tree,
 
1492
                    pb=pb, change_reporter=change_reporter)
906
1493
    merger.backup_files = backup_files
907
1494
    merger.merge_type = merge_type
908
1495
    merger.interesting_ids = interesting_ids
909
1496
    merger.ignore_zero = ignore_zero
910
1497
    if interesting_files:
911
 
        assert not interesting_ids, ('Only supply interesting_ids'
912
 
                                     ' or interesting_files')
913
 
        merger._set_interesting_files(interesting_files)
914
 
    merger.show_base = show_base 
 
1498
        if interesting_ids:
 
1499
            raise ValueError('Only supply interesting_ids'
 
1500
                             ' or interesting_files')
 
1501
        merger.interesting_files = interesting_files
 
1502
    merger.show_base = show_base
915
1503
    merger.reprocess = reprocess
916
1504
    merger.other_rev_id = other_rev_id
917
1505
    merger.other_basis = other_rev_id
 
1506
    get_revision_id = getattr(base_tree, 'get_revision_id', None)
 
1507
    if get_revision_id is None:
 
1508
        get_revision_id = base_tree.last_revision
 
1509
    merger.set_base_revision(get_revision_id(), this_branch)
918
1510
    return merger.do_merge()
919
1511
 
920
 
 
921
 
merge_types = {     "merge3": (Merge3Merger, "Native diff3-style merge"), 
922
 
                     "diff3": (Diff3Merger,  "Merge using external diff3"),
923
 
                     'weave': (WeaveMerger, "Weave-based merge")
924
 
              }
925
 
 
926
 
 
927
 
def merge_type_help():
928
 
    templ = '%s%%7s: %%s' % (' '*12)
929
 
    lines = [templ % (f[0], f[1][1]) for f in merge_types.iteritems()]
930
 
    return '\n'.join(lines)
 
1512
def get_merge_type_registry():
 
1513
    """Merge type registry is in bzrlib.option to avoid circular imports.
 
1514
 
 
1515
    This method provides a sanctioned way to retrieve it.
 
1516
    """
 
1517
    from bzrlib import option
 
1518
    return option._merge_type_registry
 
1519
 
 
1520
 
 
1521
def _plan_annotate_merge(annotated_a, annotated_b, ancestors_a, ancestors_b):
 
1522
    def status_a(revision, text):
 
1523
        if revision in ancestors_b:
 
1524
            return 'killed-b', text
 
1525
        else:
 
1526
            return 'new-a', text
 
1527
 
 
1528
    def status_b(revision, text):
 
1529
        if revision in ancestors_a:
 
1530
            return 'killed-a', text
 
1531
        else:
 
1532
            return 'new-b', text
 
1533
 
 
1534
    plain_a = [t for (a, t) in annotated_a]
 
1535
    plain_b = [t for (a, t) in annotated_b]
 
1536
    matcher = patiencediff.PatienceSequenceMatcher(None, plain_a, plain_b)
 
1537
    blocks = matcher.get_matching_blocks()
 
1538
    a_cur = 0
 
1539
    b_cur = 0
 
1540
    for ai, bi, l in blocks:
 
1541
        # process all mismatched sections
 
1542
        # (last mismatched section is handled because blocks always
 
1543
        # includes a 0-length last block)
 
1544
        for revision, text in annotated_a[a_cur:ai]:
 
1545
            yield status_a(revision, text)
 
1546
        for revision, text in annotated_b[b_cur:bi]:
 
1547
            yield status_b(revision, text)
 
1548
        # and now the matched section
 
1549
        a_cur = ai + l
 
1550
        b_cur = bi + l
 
1551
        for text_a in plain_a[ai:a_cur]:
 
1552
            yield "unchanged", text_a
 
1553
 
 
1554
 
 
1555
class _PlanMergeBase(object):
 
1556
 
 
1557
    def __init__(self, a_rev, b_rev, vf, key_prefix):
 
1558
        """Contructor.
 
1559
 
 
1560
        :param a_rev: Revision-id of one revision to merge
 
1561
        :param b_rev: Revision-id of the other revision to merge
 
1562
        :param vf: A VersionedFiles containing both revisions
 
1563
        :param key_prefix: A prefix for accessing keys in vf, typically
 
1564
            (file_id,).
 
1565
        """
 
1566
        self.a_rev = a_rev
 
1567
        self.b_rev = b_rev
 
1568
        self.vf = vf
 
1569
        self._last_lines = None
 
1570
        self._last_lines_revision_id = None
 
1571
        self._cached_matching_blocks = {}
 
1572
        self._key_prefix = key_prefix
 
1573
        self._precache_tip_lines()
 
1574
 
 
1575
    def _precache_tip_lines(self):
 
1576
        lines = self.get_lines([self.a_rev, self.b_rev])
 
1577
        self.lines_a = lines[self.a_rev]
 
1578
        self.lines_b = lines[self.b_rev]
 
1579
 
 
1580
    def get_lines(self, revisions):
 
1581
        """Get lines for revisions from the backing VersionedFiles.
 
1582
 
 
1583
        :raises RevisionNotPresent: on absent texts.
 
1584
        """
 
1585
        keys = [(self._key_prefix + (rev,)) for rev in revisions]
 
1586
        result = {}
 
1587
        for record in self.vf.get_record_stream(keys, 'unordered', True):
 
1588
            if record.storage_kind == 'absent':
 
1589
                raise errors.RevisionNotPresent(record.key, self.vf)
 
1590
            result[record.key[-1]] = osutils.chunks_to_lines(
 
1591
                record.get_bytes_as('chunked'))
 
1592
        return result
 
1593
 
 
1594
    def plan_merge(self):
 
1595
        """Generate a 'plan' for merging the two revisions.
 
1596
 
 
1597
        This involves comparing their texts and determining the cause of
 
1598
        differences.  If text A has a line and text B does not, then either the
 
1599
        line was added to text A, or it was deleted from B.  Once the causes
 
1600
        are combined, they are written out in the format described in
 
1601
        VersionedFile.plan_merge
 
1602
        """
 
1603
        blocks = self._get_matching_blocks(self.a_rev, self.b_rev)
 
1604
        unique_a, unique_b = self._unique_lines(blocks)
 
1605
        new_a, killed_b = self._determine_status(self.a_rev, unique_a)
 
1606
        new_b, killed_a = self._determine_status(self.b_rev, unique_b)
 
1607
        return self._iter_plan(blocks, new_a, killed_b, new_b, killed_a)
 
1608
 
 
1609
    def _iter_plan(self, blocks, new_a, killed_b, new_b, killed_a):
 
1610
        last_i = 0
 
1611
        last_j = 0
 
1612
        for i, j, n in blocks:
 
1613
            for a_index in range(last_i, i):
 
1614
                if a_index in new_a:
 
1615
                    if a_index in killed_b:
 
1616
                        yield 'conflicted-a', self.lines_a[a_index]
 
1617
                    else:
 
1618
                        yield 'new-a', self.lines_a[a_index]
 
1619
                else:
 
1620
                    yield 'killed-b', self.lines_a[a_index]
 
1621
            for b_index in range(last_j, j):
 
1622
                if b_index in new_b:
 
1623
                    if b_index in killed_a:
 
1624
                        yield 'conflicted-b', self.lines_b[b_index]
 
1625
                    else:
 
1626
                        yield 'new-b', self.lines_b[b_index]
 
1627
                else:
 
1628
                    yield 'killed-a', self.lines_b[b_index]
 
1629
            # handle common lines
 
1630
            for a_index in range(i, i+n):
 
1631
                yield 'unchanged', self.lines_a[a_index]
 
1632
            last_i = i+n
 
1633
            last_j = j+n
 
1634
 
 
1635
    def _get_matching_blocks(self, left_revision, right_revision):
 
1636
        """Return a description of which sections of two revisions match.
 
1637
 
 
1638
        See SequenceMatcher.get_matching_blocks
 
1639
        """
 
1640
        cached = self._cached_matching_blocks.get((left_revision,
 
1641
                                                   right_revision))
 
1642
        if cached is not None:
 
1643
            return cached
 
1644
        if self._last_lines_revision_id == left_revision:
 
1645
            left_lines = self._last_lines
 
1646
            right_lines = self.get_lines([right_revision])[right_revision]
 
1647
        else:
 
1648
            lines = self.get_lines([left_revision, right_revision])
 
1649
            left_lines = lines[left_revision]
 
1650
            right_lines = lines[right_revision]
 
1651
        self._last_lines = right_lines
 
1652
        self._last_lines_revision_id = right_revision
 
1653
        matcher = patiencediff.PatienceSequenceMatcher(None, left_lines,
 
1654
                                                       right_lines)
 
1655
        return matcher.get_matching_blocks()
 
1656
 
 
1657
    def _unique_lines(self, matching_blocks):
 
1658
        """Analyse matching_blocks to determine which lines are unique
 
1659
 
 
1660
        :return: a tuple of (unique_left, unique_right), where the values are
 
1661
            sets of line numbers of unique lines.
 
1662
        """
 
1663
        last_i = 0
 
1664
        last_j = 0
 
1665
        unique_left = []
 
1666
        unique_right = []
 
1667
        for i, j, n in matching_blocks:
 
1668
            unique_left.extend(range(last_i, i))
 
1669
            unique_right.extend(range(last_j, j))
 
1670
            last_i = i + n
 
1671
            last_j = j + n
 
1672
        return unique_left, unique_right
 
1673
 
 
1674
    @staticmethod
 
1675
    def _subtract_plans(old_plan, new_plan):
 
1676
        """Remove changes from new_plan that came from old_plan.
 
1677
 
 
1678
        It is assumed that the difference between the old_plan and new_plan
 
1679
        is their choice of 'b' text.
 
1680
 
 
1681
        All lines from new_plan that differ from old_plan are emitted
 
1682
        verbatim.  All lines from new_plan that match old_plan but are
 
1683
        not about the 'b' revision are emitted verbatim.
 
1684
 
 
1685
        Lines that match and are about the 'b' revision are the lines we
 
1686
        don't want, so we convert 'killed-b' -> 'unchanged', and 'new-b'
 
1687
        is skipped entirely.
 
1688
        """
 
1689
        matcher = patiencediff.PatienceSequenceMatcher(None, old_plan,
 
1690
                                                       new_plan)
 
1691
        last_j = 0
 
1692
        for i, j, n in matcher.get_matching_blocks():
 
1693
            for jj in range(last_j, j):
 
1694
                yield new_plan[jj]
 
1695
            for jj in range(j, j+n):
 
1696
                plan_line = new_plan[jj]
 
1697
                if plan_line[0] == 'new-b':
 
1698
                    pass
 
1699
                elif plan_line[0] == 'killed-b':
 
1700
                    yield 'unchanged', plan_line[1]
 
1701
                else:
 
1702
                    yield plan_line
 
1703
            last_j = j + n
 
1704
 
 
1705
 
 
1706
class _PlanMerge(_PlanMergeBase):
 
1707
    """Plan an annotate merge using on-the-fly annotation"""
 
1708
 
 
1709
    def __init__(self, a_rev, b_rev, vf, key_prefix):
 
1710
        super(_PlanMerge, self).__init__(a_rev, b_rev, vf, key_prefix)
 
1711
        self.a_key = self._key_prefix + (self.a_rev,)
 
1712
        self.b_key = self._key_prefix + (self.b_rev,)
 
1713
        self.graph = Graph(self.vf)
 
1714
        heads = self.graph.heads((self.a_key, self.b_key))
 
1715
        if len(heads) == 1:
 
1716
            # one side dominates, so we can just return its values, yay for
 
1717
            # per-file graphs
 
1718
            # Ideally we would know that before we get this far
 
1719
            self._head_key = heads.pop()
 
1720
            if self._head_key == self.a_key:
 
1721
                other = b_rev
 
1722
            else:
 
1723
                other = a_rev
 
1724
            mutter('found dominating revision for %s\n%s > %s', self.vf,
 
1725
                   self._head_key[-1], other)
 
1726
            self._weave = None
 
1727
        else:
 
1728
            self._head_key = None
 
1729
            self._build_weave()
 
1730
 
 
1731
    def _precache_tip_lines(self):
 
1732
        # Turn this into a no-op, because we will do this later
 
1733
        pass
 
1734
 
 
1735
    def _find_recursive_lcas(self):
 
1736
        """Find all the ancestors back to a unique lca"""
 
1737
        cur_ancestors = (self.a_key, self.b_key)
 
1738
        # graph.find_lca(uncommon, keys) now returns plain NULL_REVISION,
 
1739
        # rather than a key tuple. We will just map that directly to no common
 
1740
        # ancestors.
 
1741
        parent_map = {}
 
1742
        while True:
 
1743
            next_lcas = self.graph.find_lca(*cur_ancestors)
 
1744
            # Map a plain NULL_REVISION to a simple no-ancestors
 
1745
            if next_lcas == set([NULL_REVISION]):
 
1746
                next_lcas = ()
 
1747
            # Order the lca's based on when they were merged into the tip
 
1748
            # While the actual merge portion of weave merge uses a set() of
 
1749
            # active revisions, the order of insertion *does* effect the
 
1750
            # implicit ordering of the texts.
 
1751
            for rev_key in cur_ancestors:
 
1752
                ordered_parents = tuple(self.graph.find_merge_order(rev_key,
 
1753
                                                                    next_lcas))
 
1754
                parent_map[rev_key] = ordered_parents
 
1755
            if len(next_lcas) == 0:
 
1756
                break
 
1757
            elif len(next_lcas) == 1:
 
1758
                parent_map[list(next_lcas)[0]] = ()
 
1759
                break
 
1760
            elif len(next_lcas) > 2:
 
1761
                # More than 2 lca's, fall back to grabbing all nodes between
 
1762
                # this and the unique lca.
 
1763
                mutter('More than 2 LCAs, falling back to all nodes for:'
 
1764
                       ' %s, %s\n=> %s', self.a_key, self.b_key, cur_ancestors)
 
1765
                cur_lcas = next_lcas
 
1766
                while len(cur_lcas) > 1:
 
1767
                    cur_lcas = self.graph.find_lca(*cur_lcas)
 
1768
                if len(cur_lcas) == 0:
 
1769
                    # No common base to find, use the full ancestry
 
1770
                    unique_lca = None
 
1771
                else:
 
1772
                    unique_lca = list(cur_lcas)[0]
 
1773
                    if unique_lca == NULL_REVISION:
 
1774
                        # find_lca will return a plain 'NULL_REVISION' rather
 
1775
                        # than a key tuple when there is no common ancestor, we
 
1776
                        # prefer to just use None, because it doesn't confuse
 
1777
                        # _get_interesting_texts()
 
1778
                        unique_lca = None
 
1779
                parent_map.update(self._find_unique_parents(next_lcas,
 
1780
                                                            unique_lca))
 
1781
                break
 
1782
            cur_ancestors = next_lcas
 
1783
        return parent_map
 
1784
 
 
1785
    def _find_unique_parents(self, tip_keys, base_key):
 
1786
        """Find ancestors of tip that aren't ancestors of base.
 
1787
        
 
1788
        :param tip_keys: Nodes that are interesting
 
1789
        :param base_key: Cull all ancestors of this node
 
1790
        :return: The parent map for all revisions between tip_keys and
 
1791
            base_key. base_key will be included. References to nodes outside of
 
1792
            the ancestor set will also be removed.
 
1793
        """
 
1794
        # TODO: this would be simpler if find_unique_ancestors took a list
 
1795
        #       instead of a single tip, internally it supports it, but it
 
1796
        #       isn't a "backwards compatible" api change.
 
1797
        if base_key is None:
 
1798
            parent_map = dict(self.graph.iter_ancestry(tip_keys))
 
1799
            # We remove NULL_REVISION because it isn't a proper tuple key, and
 
1800
            # thus confuses things like _get_interesting_texts, and our logic
 
1801
            # to add the texts into the memory weave.
 
1802
            if NULL_REVISION in parent_map:
 
1803
                parent_map.pop(NULL_REVISION)
 
1804
        else:
 
1805
            interesting = set()
 
1806
            for tip in tip_keys:
 
1807
                interesting.update(
 
1808
                    self.graph.find_unique_ancestors(tip, [base_key]))
 
1809
            parent_map = self.graph.get_parent_map(interesting)
 
1810
            parent_map[base_key] = ()
 
1811
        culled_parent_map, child_map, tails = self._remove_external_references(
 
1812
            parent_map)
 
1813
        # Remove all the tails but base_key
 
1814
        if base_key is not None:
 
1815
            tails.remove(base_key)
 
1816
            self._prune_tails(culled_parent_map, child_map, tails)
 
1817
        # Now remove all the uninteresting 'linear' regions
 
1818
        simple_map = _mod_graph.collapse_linear_regions(culled_parent_map)
 
1819
        return simple_map
 
1820
 
 
1821
    @staticmethod
 
1822
    def _remove_external_references(parent_map):
 
1823
        """Remove references that go outside of the parent map.
 
1824
 
 
1825
        :param parent_map: Something returned from Graph.get_parent_map(keys)
 
1826
        :return: (filtered_parent_map, child_map, tails)
 
1827
            filtered_parent_map is parent_map without external references
 
1828
            child_map is the {parent_key: [child_keys]} mapping
 
1829
            tails is a list of nodes that do not have any parents in the map
 
1830
        """
 
1831
        # TODO: The basic effect of this function seems more generic than
 
1832
        #       _PlanMerge. But the specific details of building a child_map,
 
1833
        #       and computing tails seems very specific to _PlanMerge.
 
1834
        #       Still, should this be in Graph land?
 
1835
        filtered_parent_map = {}
 
1836
        child_map = {}
 
1837
        tails = []
 
1838
        for key, parent_keys in parent_map.iteritems():
 
1839
            culled_parent_keys = [p for p in parent_keys if p in parent_map]
 
1840
            if not culled_parent_keys:
 
1841
                tails.append(key)
 
1842
            for parent_key in culled_parent_keys:
 
1843
                child_map.setdefault(parent_key, []).append(key)
 
1844
            # TODO: Do we want to do this, it adds overhead for every node,
 
1845
            #       just to say that the node has no children
 
1846
            child_map.setdefault(key, [])
 
1847
            filtered_parent_map[key] = culled_parent_keys
 
1848
        return filtered_parent_map, child_map, tails
 
1849
 
 
1850
    @staticmethod
 
1851
    def _prune_tails(parent_map, child_map, tails_to_remove):
 
1852
        """Remove tails from the parent map.
 
1853
        
 
1854
        This will remove the supplied revisions until no more children have 0
 
1855
        parents.
 
1856
 
 
1857
        :param parent_map: A dict of {child: [parents]}, this dictionary will
 
1858
            be modified in place.
 
1859
        :param tails_to_remove: A list of tips that should be removed,
 
1860
            this list will be consumed
 
1861
        :param child_map: The reverse dict of parent_map ({parent: [children]})
 
1862
            this dict will be modified
 
1863
        :return: None, parent_map will be modified in place.
 
1864
        """
 
1865
        while tails_to_remove:
 
1866
            next = tails_to_remove.pop()
 
1867
            parent_map.pop(next)
 
1868
            children = child_map.pop(next)
 
1869
            for child in children:
 
1870
                child_parents = parent_map[child]
 
1871
                child_parents.remove(next)
 
1872
                if len(child_parents) == 0:
 
1873
                    tails_to_remove.append(child)
 
1874
 
 
1875
    def _get_interesting_texts(self, parent_map):
 
1876
        """Return a dict of texts we are interested in.
 
1877
 
 
1878
        Note that the input is in key tuples, but the output is in plain
 
1879
        revision ids.
 
1880
 
 
1881
        :param parent_map: The output from _find_recursive_lcas
 
1882
        :return: A dict of {'revision_id':lines} as returned by
 
1883
            _PlanMergeBase.get_lines()
 
1884
        """
 
1885
        all_revision_keys = set(parent_map)
 
1886
        all_revision_keys.add(self.a_key)
 
1887
        all_revision_keys.add(self.b_key)
 
1888
 
 
1889
        # Everything else is in 'keys' but get_lines is in 'revision_ids'
 
1890
        all_texts = self.get_lines([k[-1] for k in all_revision_keys])
 
1891
        return all_texts
 
1892
 
 
1893
    def _build_weave(self):
 
1894
        from bzrlib import weave
 
1895
        self._weave = weave.Weave(weave_name='in_memory_weave',
 
1896
                                  allow_reserved=True)
 
1897
        parent_map = self._find_recursive_lcas()
 
1898
 
 
1899
        all_texts = self._get_interesting_texts(parent_map)
 
1900
 
 
1901
        # Note: Unfortunately, the order given by topo_sort will effect the
 
1902
        # ordering resolution in the output. Specifically, if you add A then B,
 
1903
        # then in the output text A lines will show up before B lines. And, of
 
1904
        # course, topo_sort doesn't guarantee any real ordering.
 
1905
        # So we use merge_sort, and add a fake node on the tip.
 
1906
        # This ensures that left-hand parents will always be inserted into the
 
1907
        # weave before right-hand parents.
 
1908
        tip_key = self._key_prefix + (_mod_revision.CURRENT_REVISION,)
 
1909
        parent_map[tip_key] = (self.a_key, self.b_key)
 
1910
 
 
1911
        for seq_num, key, depth, eom in reversed(tsort.merge_sort(parent_map,
 
1912
                                                                  tip_key)):
 
1913
            if key == tip_key:
 
1914
                continue
 
1915
        # for key in tsort.topo_sort(parent_map):
 
1916
            parent_keys = parent_map[key]
 
1917
            revision_id = key[-1]
 
1918
            parent_ids = [k[-1] for k in parent_keys]
 
1919
            self._weave.add_lines(revision_id, parent_ids,
 
1920
                                  all_texts[revision_id])
 
1921
 
 
1922
    def plan_merge(self):
 
1923
        """Generate a 'plan' for merging the two revisions.
 
1924
 
 
1925
        This involves comparing their texts and determining the cause of
 
1926
        differences.  If text A has a line and text B does not, then either the
 
1927
        line was added to text A, or it was deleted from B.  Once the causes
 
1928
        are combined, they are written out in the format described in
 
1929
        VersionedFile.plan_merge
 
1930
        """
 
1931
        if self._head_key is not None: # There was a single head
 
1932
            if self._head_key == self.a_key:
 
1933
                plan = 'new-a'
 
1934
            else:
 
1935
                if self._head_key != self.b_key:
 
1936
                    raise AssertionError('There was an invalid head: %s != %s'
 
1937
                                         % (self.b_key, self._head_key))
 
1938
                plan = 'new-b'
 
1939
            head_rev = self._head_key[-1]
 
1940
            lines = self.get_lines([head_rev])[head_rev]
 
1941
            return ((plan, line) for line in lines)
 
1942
        return self._weave.plan_merge(self.a_rev, self.b_rev)
 
1943
 
 
1944
 
 
1945
class _PlanLCAMerge(_PlanMergeBase):
 
1946
    """
 
1947
    This merge algorithm differs from _PlanMerge in that:
 
1948
    1. comparisons are done against LCAs only
 
1949
    2. cases where a contested line is new versus one LCA but old versus
 
1950
       another are marked as conflicts, by emitting the line as conflicted-a
 
1951
       or conflicted-b.
 
1952
 
 
1953
    This is faster, and hopefully produces more useful output.
 
1954
    """
 
1955
 
 
1956
    def __init__(self, a_rev, b_rev, vf, key_prefix, graph):
 
1957
        _PlanMergeBase.__init__(self, a_rev, b_rev, vf, key_prefix)
 
1958
        lcas = graph.find_lca(key_prefix + (a_rev,), key_prefix + (b_rev,))
 
1959
        self.lcas = set()
 
1960
        for lca in lcas:
 
1961
            if lca == NULL_REVISION:
 
1962
                self.lcas.add(lca)
 
1963
            else:
 
1964
                self.lcas.add(lca[-1])
 
1965
        for lca in self.lcas:
 
1966
            if _mod_revision.is_null(lca):
 
1967
                lca_lines = []
 
1968
            else:
 
1969
                lca_lines = self.get_lines([lca])[lca]
 
1970
            matcher = patiencediff.PatienceSequenceMatcher(None, self.lines_a,
 
1971
                                                           lca_lines)
 
1972
            blocks = list(matcher.get_matching_blocks())
 
1973
            self._cached_matching_blocks[(a_rev, lca)] = blocks
 
1974
            matcher = patiencediff.PatienceSequenceMatcher(None, self.lines_b,
 
1975
                                                           lca_lines)
 
1976
            blocks = list(matcher.get_matching_blocks())
 
1977
            self._cached_matching_blocks[(b_rev, lca)] = blocks
 
1978
 
 
1979
    def _determine_status(self, revision_id, unique_line_numbers):
 
1980
        """Determines the status unique lines versus all lcas.
 
1981
 
 
1982
        Basically, determines why the line is unique to this revision.
 
1983
 
 
1984
        A line may be determined new, killed, or both.
 
1985
 
 
1986
        If a line is determined new, that means it was not present in at least
 
1987
        one LCA, and is not present in the other merge revision.
 
1988
 
 
1989
        If a line is determined killed, that means the line was present in
 
1990
        at least one LCA.
 
1991
 
 
1992
        If a line is killed and new, this indicates that the two merge
 
1993
        revisions contain differing conflict resolutions.
 
1994
        :param revision_id: The id of the revision in which the lines are
 
1995
            unique
 
1996
        :param unique_line_numbers: The line numbers of unique lines.
 
1997
        :return a tuple of (new_this, killed_other):
 
1998
        """
 
1999
        new = set()
 
2000
        killed = set()
 
2001
        unique_line_numbers = set(unique_line_numbers)
 
2002
        for lca in self.lcas:
 
2003
            blocks = self._get_matching_blocks(revision_id, lca)
 
2004
            unique_vs_lca, _ignored = self._unique_lines(blocks)
 
2005
            new.update(unique_line_numbers.intersection(unique_vs_lca))
 
2006
            killed.update(unique_line_numbers.difference(unique_vs_lca))
 
2007
        return new, killed