~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/merge.py

  • Committer: Vincent Ladeuil
  • Date: 2012-07-31 09:22:02 UTC
  • mto: This revision was merged to the branch mainline in revision 6554.
  • Revision ID: v.ladeuil+lp@free.fr-20120731092202-qh9fs6q4p7y4qqmy
Stop using _CompatibleStack now that local config files can be
shared. Save changes when library state goes out of scope or, as a
fallback, when the process ends.

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
 
# Copyright (C) 2005, 2006 Canonical Ltd
 
1
# Copyright (C) 2005-2011 Canonical Ltd
2
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
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
 
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
16
 
 
17
 
 
18
 
import os
19
 
import errno
 
15
# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
 
16
 
 
17
from __future__ import absolute_import
 
18
 
20
19
import warnings
21
20
 
 
21
from bzrlib.lazy_import import lazy_import
 
22
lazy_import(globals(), """
22
23
from bzrlib import (
 
24
    branch as _mod_branch,
 
25
    cleanup,
 
26
    conflicts as _mod_conflicts,
 
27
    debug,
 
28
    generate_ids,
 
29
    graph as _mod_graph,
 
30
    merge3,
23
31
    osutils,
 
32
    patiencediff,
 
33
    revision as _mod_revision,
 
34
    textfile,
 
35
    trace,
 
36
    transform,
 
37
    tree as _mod_tree,
 
38
    tsort,
 
39
    ui,
 
40
    versionedfile,
 
41
    workingtree,
 
42
    )
 
43
from bzrlib.i18n import gettext
 
44
""")
 
45
from bzrlib import (
 
46
    decorators,
 
47
    errors,
 
48
    hooks,
24
49
    registry,
25
50
    )
26
 
from bzrlib.branch import Branch
27
 
from bzrlib.conflicts import ConflictList, Conflict
28
 
from bzrlib.errors import (BzrCommandError,
29
 
                           BzrError,
30
 
                           NoCommonAncestor,
31
 
                           NoCommits,
32
 
                           NoSuchRevision,
33
 
                           NoSuchFile,
34
 
                           NotBranchError,
35
 
                           NotVersionedError,
36
 
                           UnrelatedBranches,
37
 
                           UnsupportedOperation,
38
 
                           WorkingTreeNotRevision,
39
 
                           BinaryFile,
40
 
                           )
41
 
from bzrlib.merge3 import Merge3
42
 
from bzrlib.osutils import rename, pathjoin
43
 
from progress import DummyProgress, ProgressPhase
44
 
from bzrlib.revision import common_ancestor, is_ancestor, NULL_REVISION
45
 
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
 
                              ROOT_PARENT)
50
 
from bzrlib.versionedfile import WeaveMerge
51
 
from bzrlib import ui
52
 
 
 
51
from bzrlib.symbol_versioning import (
 
52
    deprecated_in,
 
53
    deprecated_method,
 
54
    )
53
55
# TODO: Report back as changes are merged in
54
56
 
55
 
def _get_tree(treespec, local_branch=None):
56
 
    from bzrlib import workingtree
57
 
    location, revno = treespec
58
 
    if revno is None:
59
 
        tree = workingtree.WorkingTree.open_containing(location)[0]
60
 
        return tree.branch, tree
61
 
    branch = Branch.open_containing(location)[0]
62
 
    if revno == -1:
63
 
        revision = branch.last_revision()
64
 
    else:
65
 
        revision = branch.get_rev_id(revno)
66
 
        if revision is None:
67
 
            revision = NULL_REVISION
68
 
    return branch, _get_revid_tree(branch, revision, local_branch)
69
 
 
70
 
 
71
 
def _get_revid_tree(branch, revision, local_branch):
72
 
    if revision is None:
73
 
        base_tree = branch.bzrdir.open_workingtree()
74
 
    else:
75
 
        if local_branch is not None:
76
 
            if local_branch.base != branch.base:
77
 
                local_branch.fetch(branch, revision)
78
 
            base_tree = local_branch.repository.revision_tree(revision)
79
 
        else:
80
 
            base_tree = branch.repository.revision_tree(revision)
81
 
    return base_tree
82
 
 
83
57
 
84
58
def transform_tree(from_tree, to_tree, interesting_ids=None):
85
 
    merge_inner(from_tree.branch, to_tree, from_tree, ignore_zero=True,
86
 
                interesting_ids=interesting_ids, this_tree=from_tree)
 
59
    from_tree.lock_tree_write()
 
60
    operation = cleanup.OperationWithCleanups(merge_inner)
 
61
    operation.add_cleanup(from_tree.unlock)
 
62
    operation.run_simple(from_tree.branch, to_tree, from_tree,
 
63
        ignore_zero=True, interesting_ids=interesting_ids, this_tree=from_tree)
 
64
 
 
65
 
 
66
class MergeHooks(hooks.Hooks):
 
67
 
 
68
    def __init__(self):
 
69
        hooks.Hooks.__init__(self, "bzrlib.merge", "Merger.hooks")
 
70
        self.add_hook('merge_file_content',
 
71
            "Called with a bzrlib.merge.Merger object to create a per file "
 
72
            "merge object when starting a merge. "
 
73
            "Should return either None or a subclass of "
 
74
            "``bzrlib.merge.AbstractPerFileMerger``. "
 
75
            "Such objects will then be called per file "
 
76
            "that needs to be merged (including when one "
 
77
            "side has deleted the file and the other has changed it). "
 
78
            "See the AbstractPerFileMerger API docs for details on how it is "
 
79
            "used by merge.",
 
80
            (2, 1))
 
81
        self.add_hook('pre_merge',
 
82
            'Called before a merge. '
 
83
            'Receives a Merger object as the single argument.',
 
84
            (2, 5))
 
85
        self.add_hook('post_merge',
 
86
            'Called after a merge. '
 
87
            'Receives a Merger object as the single argument. '
 
88
            'The return value is ignored.',
 
89
            (2, 5))
 
90
 
 
91
 
 
92
class AbstractPerFileMerger(object):
 
93
    """PerFileMerger objects are used by plugins extending merge for bzrlib.
 
94
 
 
95
    See ``bzrlib.plugins.news_merge.news_merge`` for an example concrete class.
 
96
    
 
97
    :ivar merger: The Merge3Merger performing the merge.
 
98
    """
 
99
 
 
100
    def __init__(self, merger):
 
101
        """Create a PerFileMerger for use with merger."""
 
102
        self.merger = merger
 
103
 
 
104
    def merge_contents(self, merge_params):
 
105
        """Attempt to merge the contents of a single file.
 
106
        
 
107
        :param merge_params: A bzrlib.merge.MergeFileHookParams
 
108
        :return: A tuple of (status, chunks), where status is one of
 
109
            'not_applicable', 'success', 'conflicted', or 'delete'.  If status
 
110
            is 'success' or 'conflicted', then chunks should be an iterable of
 
111
            strings for the new file contents.
 
112
        """
 
113
        return ('not applicable', None)
 
114
 
 
115
 
 
116
class PerFileMerger(AbstractPerFileMerger):
 
117
    """Merge individual files when self.file_matches returns True.
 
118
 
 
119
    This class is intended to be subclassed.  The file_matches and
 
120
    merge_matching methods should be overridden with concrete implementations.
 
121
    """
 
122
 
 
123
    def file_matches(self, params):
 
124
        """Return True if merge_matching should be called on this file.
 
125
 
 
126
        Only called with merges of plain files with no clear winner.
 
127
 
 
128
        Subclasses must override this.
 
129
        """
 
130
        raise NotImplementedError(self.file_matches)
 
131
 
 
132
    def get_filename(self, params, tree):
 
133
        """Lookup the filename (i.e. basename, not path), given a Tree (e.g.
 
134
        self.merger.this_tree) and a MergeFileHookParams.
 
135
        """
 
136
        return osutils.basename(tree.id2path(params.file_id))
 
137
 
 
138
    def get_filepath(self, params, tree):
 
139
        """Calculate the path to the file in a tree.
 
140
 
 
141
        :param params: A MergeFileHookParams describing the file to merge
 
142
        :param tree: a Tree, e.g. self.merger.this_tree.
 
143
        """
 
144
        return tree.id2path(params.file_id)
 
145
 
 
146
    def merge_contents(self, params):
 
147
        """Merge the contents of a single file."""
 
148
        # Check whether this custom merge logic should be used.
 
149
        if (
 
150
            # OTHER is a straight winner, rely on default merge.
 
151
            params.winner == 'other' or
 
152
            # THIS and OTHER aren't both files.
 
153
            not params.is_file_merge() or
 
154
            # The filename doesn't match
 
155
            not self.file_matches(params)):
 
156
            return 'not_applicable', None
 
157
        return self.merge_matching(params)
 
158
 
 
159
    def merge_matching(self, params):
 
160
        """Merge the contents of a single file that has matched the criteria
 
161
        in PerFileMerger.merge_contents (is a conflict, is a file,
 
162
        self.file_matches is True).
 
163
 
 
164
        Subclasses must override this.
 
165
        """
 
166
        raise NotImplementedError(self.merge_matching)
 
167
 
 
168
 
 
169
class ConfigurableFileMerger(PerFileMerger):
 
170
    """Merge individual files when configured via a .conf file.
 
171
 
 
172
    This is a base class for concrete custom file merging logic. Concrete
 
173
    classes should implement ``merge_text``.
 
174
 
 
175
    See ``bzrlib.plugins.news_merge.news_merge`` for an example concrete class.
 
176
    
 
177
    :ivar affected_files: The configured file paths to merge.
 
178
 
 
179
    :cvar name_prefix: The prefix to use when looking up configuration
 
180
        details. <name_prefix>_merge_files describes the files targeted by the
 
181
        hook for example.
 
182
        
 
183
    :cvar default_files: The default file paths to merge when no configuration
 
184
        is present.
 
185
    """
 
186
 
 
187
    name_prefix = None
 
188
    default_files = None
 
189
 
 
190
    def __init__(self, merger):
 
191
        super(ConfigurableFileMerger, self).__init__(merger)
 
192
        self.affected_files = None
 
193
        self.default_files = self.__class__.default_files or []
 
194
        self.name_prefix = self.__class__.name_prefix
 
195
        if self.name_prefix is None:
 
196
            raise ValueError("name_prefix must be set.")
 
197
 
 
198
    def file_matches(self, params):
 
199
        """Check whether the file should call the merge hook.
 
200
 
 
201
        <name_prefix>_merge_files configuration variable is a list of files
 
202
        that should use the hook.
 
203
        """
 
204
        affected_files = self.affected_files
 
205
        if affected_files is None:
 
206
            config = self.merger.this_branch.get_config()
 
207
            # Until bzr provides a better policy for caching the config, we
 
208
            # just add the part we're interested in to the params to avoid
 
209
            # reading the config files repeatedly (bazaar.conf, location.conf,
 
210
            # branch.conf).
 
211
            config_key = self.name_prefix + '_merge_files'
 
212
            affected_files = config.get_user_option_as_list(config_key)
 
213
            if affected_files is None:
 
214
                # If nothing was specified in the config, use the default.
 
215
                affected_files = self.default_files
 
216
            self.affected_files = affected_files
 
217
        if affected_files:
 
218
            filepath = self.get_filepath(params, self.merger.this_tree)
 
219
            if filepath in affected_files:
 
220
                return True
 
221
        return False
 
222
 
 
223
    def merge_matching(self, params):
 
224
        return self.merge_text(params)
 
225
 
 
226
    def merge_text(self, params):
 
227
        """Merge the byte contents of a single file.
 
228
 
 
229
        This is called after checking that the merge should be performed in
 
230
        merge_contents, and it should behave as per
 
231
        ``bzrlib.merge.AbstractPerFileMerger.merge_contents``.
 
232
        """
 
233
        raise NotImplementedError(self.merge_text)
 
234
 
 
235
 
 
236
class MergeFileHookParams(object):
 
237
    """Object holding parameters passed to merge_file_content hooks.
 
238
 
 
239
    There are some fields hooks can access:
 
240
 
 
241
    :ivar file_id: the file ID of the file being merged
 
242
    :ivar trans_id: the transform ID for the merge of this file
 
243
    :ivar this_kind: kind of file_id in 'this' tree
 
244
    :ivar other_kind: kind of file_id in 'other' tree
 
245
    :ivar winner: one of 'this', 'other', 'conflict'
 
246
    """
 
247
 
 
248
    def __init__(self, merger, file_id, trans_id, this_kind, other_kind,
 
249
            winner):
 
250
        self._merger = merger
 
251
        self.file_id = file_id
 
252
        self.trans_id = trans_id
 
253
        self.this_kind = this_kind
 
254
        self.other_kind = other_kind
 
255
        self.winner = winner
 
256
 
 
257
    def is_file_merge(self):
 
258
        """True if this_kind and other_kind are both 'file'."""
 
259
        return self.this_kind == 'file' and self.other_kind == 'file'
 
260
 
 
261
    @decorators.cachedproperty
 
262
    def base_lines(self):
 
263
        """The lines of the 'base' version of the file."""
 
264
        return self._merger.get_lines(self._merger.base_tree, self.file_id)
 
265
 
 
266
    @decorators.cachedproperty
 
267
    def this_lines(self):
 
268
        """The lines of the 'this' version of the file."""
 
269
        return self._merger.get_lines(self._merger.this_tree, self.file_id)
 
270
 
 
271
    @decorators.cachedproperty
 
272
    def other_lines(self):
 
273
        """The lines of the 'other' version of the file."""
 
274
        return self._merger.get_lines(self._merger.other_tree, self.file_id)
87
275
 
88
276
 
89
277
class Merger(object):
 
278
 
 
279
    hooks = MergeHooks()
 
280
 
90
281
    def __init__(self, this_branch, other_tree=None, base_tree=None,
91
 
                 this_tree=None, pb=DummyProgress(), change_reporter=None):
 
282
                 this_tree=None, pb=None, change_reporter=None,
 
283
                 recurse='down', revision_graph=None):
92
284
        object.__init__(self)
93
 
        assert this_tree is not None, "this_tree is required"
94
285
        self.this_branch = this_branch
95
 
        self.this_basis = this_branch.last_revision()
 
286
        self.this_basis = _mod_revision.ensure_null(
 
287
            this_branch.last_revision())
96
288
        self.this_rev_id = None
97
289
        self.this_tree = this_tree
98
290
        self.this_revision_tree = None
99
291
        self.this_basis_tree = None
100
292
        self.other_tree = other_tree
 
293
        self.other_branch = None
101
294
        self.base_tree = base_tree
102
295
        self.ignore_zero = False
103
296
        self.backup_files = False
104
297
        self.interesting_ids = None
 
298
        self.interesting_files = None
105
299
        self.show_base = False
106
300
        self.reprocess = False
107
 
        self._pb = pb
 
301
        if pb is not None:
 
302
            warnings.warn("pb parameter to Merger() is deprecated and ignored")
108
303
        self.pp = None
 
304
        self.recurse = recurse
109
305
        self.change_reporter = change_reporter
110
 
 
111
 
    def revision_tree(self, revision_id):
112
 
        return self.this_branch.repository.revision_tree(revision_id)
113
 
 
114
 
    def ensure_revision_trees(self):
115
 
        if self.this_revision_tree is None:
116
 
            self.this_basis_tree = self.this_branch.repository.revision_tree(
117
 
                self.this_basis)
118
 
            if self.this_basis == self.this_rev_id:
119
 
                self.this_revision_tree = self.this_basis_tree
120
 
 
121
 
        if self.other_rev_id is None:
122
 
            other_basis_tree = self.revision_tree(self.other_basis)
123
 
            changes = other_basis_tree.changes_from(self.other_tree)
124
 
            if changes.has_changed():
125
 
                raise WorkingTreeNotRevision(self.this_tree)
126
 
            other_rev_id = self.other_basis
127
 
            self.other_tree = other_basis_tree
128
 
 
129
 
    def file_revisions(self, file_id):
130
 
        self.ensure_revision_trees()
131
 
        def get_id(tree, file_id):
132
 
            revision_id = tree.inventory[file_id].revision
133
 
            assert revision_id is not None
134
 
            return revision_id
135
 
        if self.this_rev_id is None:
136
 
            if self.this_basis_tree.get_file_sha1(file_id) != \
137
 
                self.this_tree.get_file_sha1(file_id):
138
 
                raise WorkingTreeNotRevision(self.this_tree)
139
 
 
140
 
        trees = (self.this_basis_tree, self.other_tree)
141
 
        return [get_id(tree, file_id) for tree in trees]
142
 
 
143
 
    def check_basis(self, check_clean, require_commits=True):
144
 
        if self.this_basis is None and require_commits is True:
145
 
            raise BzrCommandError("This branch has no commits."
146
 
                                  " (perhaps you would prefer 'bzr pull')")
147
 
        if check_clean:
148
 
            self.compare_basis()
149
 
            if self.this_basis != self.this_rev_id:
150
 
                raise BzrCommandError("Working tree has uncommitted changes.")
151
 
 
152
 
    def compare_basis(self):
153
 
        changes = self.this_tree.changes_from(self.this_tree.basis_tree())
154
 
        if not changes.has_changed():
155
 
            self.this_rev_id = self.this_basis
 
306
        self._cached_trees = {}
 
307
        self._revision_graph = revision_graph
 
308
        self._base_is_ancestor = None
 
309
        self._base_is_other_ancestor = None
 
310
        self._is_criss_cross = None
 
311
        self._lca_trees = None
 
312
 
 
313
    def cache_trees_with_revision_ids(self, trees):
 
314
        """Cache any tree in trees if it has a revision_id."""
 
315
        for maybe_tree in trees:
 
316
            if maybe_tree is None:
 
317
                continue
 
318
            try:
 
319
                rev_id = maybe_tree.get_revision_id()
 
320
            except AttributeError:
 
321
                continue
 
322
            self._cached_trees[rev_id] = maybe_tree
 
323
 
 
324
    @property
 
325
    def revision_graph(self):
 
326
        if self._revision_graph is None:
 
327
            self._revision_graph = self.this_branch.repository.get_graph()
 
328
        return self._revision_graph
 
329
 
 
330
    def _set_base_is_ancestor(self, value):
 
331
        self._base_is_ancestor = value
 
332
 
 
333
    def _get_base_is_ancestor(self):
 
334
        if self._base_is_ancestor is None:
 
335
            self._base_is_ancestor = self.revision_graph.is_ancestor(
 
336
                self.base_rev_id, self.this_basis)
 
337
        return self._base_is_ancestor
 
338
 
 
339
    base_is_ancestor = property(_get_base_is_ancestor, _set_base_is_ancestor)
 
340
 
 
341
    def _set_base_is_other_ancestor(self, value):
 
342
        self._base_is_other_ancestor = value
 
343
 
 
344
    def _get_base_is_other_ancestor(self):
 
345
        if self._base_is_other_ancestor is None:
 
346
            if self.other_basis is None:
 
347
                return True
 
348
            self._base_is_other_ancestor = self.revision_graph.is_ancestor(
 
349
                self.base_rev_id, self.other_basis)
 
350
        return self._base_is_other_ancestor
 
351
 
 
352
    base_is_other_ancestor = property(_get_base_is_other_ancestor,
 
353
                                      _set_base_is_other_ancestor)
 
354
 
 
355
    @staticmethod
 
356
    def from_uncommitted(tree, other_tree, pb=None, base_tree=None):
 
357
        """Return a Merger for uncommitted changes in other_tree.
 
358
 
 
359
        :param tree: The tree to merge into
 
360
        :param other_tree: The tree to get uncommitted changes from
 
361
        :param pb: A progress indicator
 
362
        :param base_tree: The basis to use for the merge.  If unspecified,
 
363
            other_tree.basis_tree() will be used.
 
364
        """
 
365
        if base_tree is None:
 
366
            base_tree = other_tree.basis_tree()
 
367
        merger = Merger(tree.branch, other_tree, base_tree, tree, pb)
 
368
        merger.base_rev_id = merger.base_tree.get_revision_id()
 
369
        merger.other_rev_id = None
 
370
        merger.other_basis = merger.base_rev_id
 
371
        return merger
 
372
 
 
373
    @classmethod
 
374
    def from_mergeable(klass, tree, mergeable, pb):
 
375
        """Return a Merger for a bundle or merge directive.
 
376
 
 
377
        :param tree: The tree to merge changes into
 
378
        :param mergeable: A merge directive or bundle
 
379
        :param pb: A progress indicator
 
380
        """
 
381
        mergeable.install_revisions(tree.branch.repository)
 
382
        base_revision_id, other_revision_id, verified =\
 
383
            mergeable.get_merge_request(tree.branch.repository)
 
384
        revision_graph = tree.branch.repository.get_graph()
 
385
        if base_revision_id is not None:
 
386
            if (base_revision_id != _mod_revision.NULL_REVISION and
 
387
                revision_graph.is_ancestor(
 
388
                base_revision_id, tree.branch.last_revision())):
 
389
                base_revision_id = None
 
390
            else:
 
391
                trace.warning('Performing cherrypick')
 
392
        merger = klass.from_revision_ids(pb, tree, other_revision_id,
 
393
                                         base_revision_id, revision_graph=
 
394
                                         revision_graph)
 
395
        return merger, verified
 
396
 
 
397
    @staticmethod
 
398
    def from_revision_ids(pb, tree, other, base=None, other_branch=None,
 
399
                          base_branch=None, revision_graph=None,
 
400
                          tree_branch=None):
 
401
        """Return a Merger for revision-ids.
 
402
 
 
403
        :param pb: A progress indicator
 
404
        :param tree: The tree to merge changes into
 
405
        :param other: The revision-id to use as OTHER
 
406
        :param base: The revision-id to use as BASE.  If not specified, will
 
407
            be auto-selected.
 
408
        :param other_branch: A branch containing the other revision-id.  If
 
409
            not supplied, tree.branch is used.
 
410
        :param base_branch: A branch containing the base revision-id.  If
 
411
            not supplied, other_branch or tree.branch will be used.
 
412
        :param revision_graph: If you have a revision_graph precomputed, pass
 
413
            it in, otherwise it will be created for you.
 
414
        :param tree_branch: The branch associated with tree.  If not supplied,
 
415
            tree.branch will be used.
 
416
        """
 
417
        if tree_branch is None:
 
418
            tree_branch = tree.branch
 
419
        merger = Merger(tree_branch, this_tree=tree, pb=pb,
 
420
                        revision_graph=revision_graph)
 
421
        if other_branch is None:
 
422
            other_branch = tree.branch
 
423
        merger.set_other_revision(other, other_branch)
 
424
        if base is None:
 
425
            merger.find_base()
 
426
        else:
 
427
            if base_branch is None:
 
428
                base_branch = other_branch
 
429
            merger.set_base_revision(base, base_branch)
 
430
        return merger
 
431
 
 
432
    def revision_tree(self, revision_id, branch=None):
 
433
        if revision_id not in self._cached_trees:
 
434
            if branch is None:
 
435
                branch = self.this_branch
 
436
            try:
 
437
                tree = self.this_tree.revision_tree(revision_id)
 
438
            except errors.NoSuchRevisionInTree:
 
439
                tree = branch.repository.revision_tree(revision_id)
 
440
            self._cached_trees[revision_id] = tree
 
441
        return self._cached_trees[revision_id]
 
442
 
 
443
    def _get_tree(self, treespec, possible_transports=None):
 
444
        location, revno = treespec
 
445
        if revno is None:
 
446
            tree = workingtree.WorkingTree.open_containing(location)[0]
 
447
            return tree.branch, tree
 
448
        branch = _mod_branch.Branch.open_containing(
 
449
            location, possible_transports)[0]
 
450
        if revno == -1:
 
451
            revision_id = branch.last_revision()
 
452
        else:
 
453
            revision_id = branch.get_rev_id(revno)
 
454
        revision_id = _mod_revision.ensure_null(revision_id)
 
455
        return branch, self.revision_tree(revision_id, branch)
156
456
 
157
457
    def set_interesting_files(self, file_list):
158
 
        try:
159
 
            self._set_interesting_files(file_list)
160
 
        except NotVersionedError, e:
161
 
            raise BzrCommandError("%s is not a source file in any"
162
 
                                      " tree." % e.path)
163
 
 
164
 
    def _set_interesting_files(self, file_list):
165
 
        """Set the list of interesting ids from a list of files."""
166
 
        if file_list is None:
167
 
            self.interesting_ids = None
168
 
            return
169
 
 
170
 
        interesting_ids = set()
171
 
        for path in file_list:
172
 
            found_id = False
173
 
            # TODO: jam 20070226 The trees are not locked at this time,
174
 
            #       wouldn't it make merge faster if it locks everything in the
175
 
            #       beginning? It locks at do_merge time, but this happens
176
 
            #       before that.
177
 
            for tree in (self.this_tree, self.base_tree, self.other_tree):
178
 
                file_id = tree.path2id(path)
179
 
                if file_id is not None:
180
 
                    interesting_ids.add(file_id)
181
 
                    found_id = True
182
 
            if not found_id:
183
 
                raise NotVersionedError(path=path)
184
 
        self.interesting_ids = interesting_ids
 
458
        self.interesting_files = file_list
185
459
 
186
460
    def set_pending(self):
187
 
        if not self.base_is_ancestor:
188
 
            return
189
 
        if self.other_rev_id is None:
190
 
            return
191
 
        ancestry = self.this_branch.repository.get_ancestry(self.this_basis)
192
 
        if self.other_rev_id in ancestry:
193
 
            return
194
 
        self.this_tree.add_parent_tree((self.other_rev_id, self.other_tree))
195
 
 
196
 
    def set_other(self, other_revision):
 
461
        if (not self.base_is_ancestor or not self.base_is_other_ancestor
 
462
            or self.other_rev_id is None):
 
463
            return
 
464
        self._add_parent()
 
465
 
 
466
    def _add_parent(self):
 
467
        new_parents = self.this_tree.get_parent_ids() + [self.other_rev_id]
 
468
        new_parent_trees = []
 
469
        operation = cleanup.OperationWithCleanups(
 
470
            self.this_tree.set_parent_trees)
 
471
        for revision_id in new_parents:
 
472
            try:
 
473
                tree = self.revision_tree(revision_id)
 
474
            except errors.NoSuchRevision:
 
475
                tree = None
 
476
            else:
 
477
                tree.lock_read()
 
478
                operation.add_cleanup(tree.unlock)
 
479
            new_parent_trees.append((revision_id, tree))
 
480
        operation.run_simple(new_parent_trees, allow_leftmost_as_ghost=True)
 
481
 
 
482
    def set_other(self, other_revision, possible_transports=None):
197
483
        """Set the revision and tree to merge from.
198
484
 
199
485
        This sets the other_tree, other_rev_id, other_basis attributes.
200
486
 
201
487
        :param other_revision: The [path, revision] list to merge from.
202
488
        """
203
 
        other_branch, self.other_tree = _get_tree(other_revision,
204
 
                                                  self.this_branch)
 
489
        self.other_branch, self.other_tree = self._get_tree(other_revision,
 
490
                                                            possible_transports)
205
491
        if other_revision[1] == -1:
206
 
            self.other_rev_id = other_branch.last_revision()
207
 
            if self.other_rev_id is None:
208
 
                raise NoCommits(other_branch)
 
492
            self.other_rev_id = _mod_revision.ensure_null(
 
493
                self.other_branch.last_revision())
 
494
            if _mod_revision.is_null(self.other_rev_id):
 
495
                raise errors.NoCommits(self.other_branch)
209
496
            self.other_basis = self.other_rev_id
210
497
        elif other_revision[1] is not None:
211
 
            self.other_rev_id = other_branch.get_rev_id(other_revision[1])
 
498
            self.other_rev_id = self.other_branch.get_rev_id(other_revision[1])
212
499
            self.other_basis = self.other_rev_id
213
500
        else:
214
501
            self.other_rev_id = None
215
 
            self.other_basis = other_branch.last_revision()
 
502
            self.other_basis = self.other_branch.last_revision()
216
503
            if self.other_basis is None:
217
 
                raise NoCommits(other_branch)
218
 
        if other_branch.base != self.this_branch.base:
219
 
            self.this_branch.fetch(other_branch, last_revision=self.other_basis)
 
504
                raise errors.NoCommits(self.other_branch)
 
505
        if self.other_rev_id is not None:
 
506
            self._cached_trees[self.other_rev_id] = self.other_tree
 
507
        self._maybe_fetch(self.other_branch, self.this_branch, self.other_basis)
 
508
 
 
509
    def set_other_revision(self, revision_id, other_branch):
 
510
        """Set 'other' based on a branch and revision id
 
511
 
 
512
        :param revision_id: The revision to use for a tree
 
513
        :param other_branch: The branch containing this tree
 
514
        """
 
515
        self.other_rev_id = revision_id
 
516
        self.other_branch = other_branch
 
517
        self._maybe_fetch(other_branch, self.this_branch, self.other_rev_id)
 
518
        self.other_tree = self.revision_tree(revision_id)
 
519
        self.other_basis = revision_id
 
520
 
 
521
    def set_base_revision(self, revision_id, branch):
 
522
        """Set 'base' based on a branch and revision id
 
523
 
 
524
        :param revision_id: The revision to use for a tree
 
525
        :param branch: The branch containing this tree
 
526
        """
 
527
        self.base_rev_id = revision_id
 
528
        self.base_branch = branch
 
529
        self._maybe_fetch(branch, self.this_branch, revision_id)
 
530
        self.base_tree = self.revision_tree(revision_id)
 
531
 
 
532
    def _maybe_fetch(self, source, target, revision_id):
 
533
        if not source.repository.has_same_location(target.repository):
 
534
            target.fetch(source, revision_id)
220
535
 
221
536
    def find_base(self):
222
 
        self.set_base([None, None])
 
537
        revisions = [_mod_revision.ensure_null(self.this_basis),
 
538
                     _mod_revision.ensure_null(self.other_basis)]
 
539
        if _mod_revision.NULL_REVISION in revisions:
 
540
            self.base_rev_id = _mod_revision.NULL_REVISION
 
541
            self.base_tree = self.revision_tree(self.base_rev_id)
 
542
            self._is_criss_cross = False
 
543
        else:
 
544
            lcas = self.revision_graph.find_lca(revisions[0], revisions[1])
 
545
            self._is_criss_cross = False
 
546
            if len(lcas) == 0:
 
547
                self.base_rev_id = _mod_revision.NULL_REVISION
 
548
            elif len(lcas) == 1:
 
549
                self.base_rev_id = list(lcas)[0]
 
550
            else: # len(lcas) > 1
 
551
                self._is_criss_cross = True
 
552
                if len(lcas) > 2:
 
553
                    # find_unique_lca can only handle 2 nodes, so we have to
 
554
                    # start back at the beginning. It is a shame to traverse
 
555
                    # the graph again, but better than re-implementing
 
556
                    # find_unique_lca.
 
557
                    self.base_rev_id = self.revision_graph.find_unique_lca(
 
558
                                            revisions[0], revisions[1])
 
559
                else:
 
560
                    self.base_rev_id = self.revision_graph.find_unique_lca(
 
561
                                            *lcas)
 
562
                sorted_lca_keys = self.revision_graph.find_merge_order(
 
563
                    revisions[0], lcas)
 
564
                if self.base_rev_id == _mod_revision.NULL_REVISION:
 
565
                    self.base_rev_id = sorted_lca_keys[0]
 
566
 
 
567
            if self.base_rev_id == _mod_revision.NULL_REVISION:
 
568
                raise errors.UnrelatedBranches()
 
569
            if self._is_criss_cross:
 
570
                trace.warning('Warning: criss-cross merge encountered.  See bzr'
 
571
                              ' help criss-cross.')
 
572
                trace.mutter('Criss-cross lcas: %r' % lcas)
 
573
                if self.base_rev_id in lcas:
 
574
                    trace.mutter('Unable to find unique lca. '
 
575
                                 'Fallback %r as best option.'
 
576
                                 % self.base_rev_id)
 
577
                interesting_revision_ids = set(lcas)
 
578
                interesting_revision_ids.add(self.base_rev_id)
 
579
                interesting_trees = dict((t.get_revision_id(), t)
 
580
                    for t in self.this_branch.repository.revision_trees(
 
581
                        interesting_revision_ids))
 
582
                self._cached_trees.update(interesting_trees)
 
583
                if self.base_rev_id in lcas:
 
584
                    self.base_tree = interesting_trees[self.base_rev_id]
 
585
                else:
 
586
                    self.base_tree = interesting_trees.pop(self.base_rev_id)
 
587
                self._lca_trees = [interesting_trees[key]
 
588
                                   for key in sorted_lca_keys]
 
589
            else:
 
590
                self.base_tree = self.revision_tree(self.base_rev_id)
 
591
        self.base_is_ancestor = True
 
592
        self.base_is_other_ancestor = True
 
593
        trace.mutter('Base revid: %r' % self.base_rev_id)
223
594
 
224
595
    def set_base(self, base_revision):
225
596
        """Set the base revision to use for the merge.
226
597
 
227
598
        :param base_revision: A 2-list containing a path and revision number.
228
599
        """
229
 
        mutter("doing merge() with no base_revision specified")
 
600
        trace.mutter("doing merge() with no base_revision specified")
230
601
        if base_revision == [None, None]:
231
 
            try:
232
 
                pb = ui.ui_factory.nested_progress_bar()
233
 
                try:
234
 
                    this_repo = self.this_branch.repository
235
 
                    self.base_rev_id = common_ancestor(self.this_basis, 
236
 
                                                       self.other_basis, 
237
 
                                                       this_repo, pb)
238
 
                finally:
239
 
                    pb.finished()
240
 
            except NoCommonAncestor:
241
 
                raise UnrelatedBranches()
242
 
            self.base_tree = _get_revid_tree(self.this_branch, self.base_rev_id,
243
 
                                            None)
244
 
            self.base_is_ancestor = True
 
602
            self.find_base()
245
603
        else:
246
 
            base_branch, self.base_tree = _get_tree(base_revision)
 
604
            base_branch, self.base_tree = self._get_tree(base_revision)
247
605
            if base_revision[1] == -1:
248
606
                self.base_rev_id = base_branch.last_revision()
249
607
            elif base_revision[1] is None:
250
 
                self.base_rev_id = None
 
608
                self.base_rev_id = _mod_revision.NULL_REVISION
251
609
            else:
252
 
                self.base_rev_id = base_branch.get_rev_id(base_revision[1])
253
 
            if self.this_branch.base != base_branch.base:
254
 
                self.this_branch.fetch(base_branch)
255
 
            self.base_is_ancestor = is_ancestor(self.this_basis, 
256
 
                                                self.base_rev_id,
257
 
                                                self.this_branch)
 
610
                self.base_rev_id = _mod_revision.ensure_null(
 
611
                    base_branch.get_rev_id(base_revision[1]))
 
612
            self._maybe_fetch(base_branch, self.this_branch, self.base_rev_id)
258
613
 
259
 
    def do_merge(self):
260
 
        kwargs = {'working_tree':self.this_tree, 'this_tree': self.this_tree,
 
614
    def make_merger(self):
 
615
        kwargs = {'working_tree': self.this_tree, 'this_tree': self.this_tree,
261
616
                  'other_tree': self.other_tree,
262
617
                  'interesting_ids': self.interesting_ids,
263
 
                  'pp': self.pp}
 
618
                  'interesting_files': self.interesting_files,
 
619
                  'this_branch': self.this_branch,
 
620
                  'other_branch': self.other_branch,
 
621
                  'do_merge': False}
264
622
        if self.merge_type.requires_base:
265
623
            kwargs['base_tree'] = self.base_tree
266
624
        if self.merge_type.supports_reprocess:
267
625
            kwargs['reprocess'] = self.reprocess
268
626
        elif self.reprocess:
269
 
            raise BzrError("Conflict reduction is not supported for merge"
270
 
                                  " type %s." % self.merge_type)
 
627
            raise errors.BzrError(
 
628
                "Conflict reduction is not supported for merge"
 
629
                " type %s." % self.merge_type)
271
630
        if self.merge_type.supports_show_base:
272
631
            kwargs['show_base'] = self.show_base
273
632
        elif self.show_base:
274
 
            raise BzrError("Showing base is not supported for this"
 
633
            raise errors.BzrError("Showing base is not supported for this"
275
634
                                  " merge type. %s" % self.merge_type)
 
635
        if (not getattr(self.merge_type, 'supports_reverse_cherrypick', True)
 
636
            and not self.base_is_other_ancestor):
 
637
            raise errors.CannotReverseCherrypick()
 
638
        if self.merge_type.supports_cherrypick:
 
639
            kwargs['cherrypick'] = (not self.base_is_ancestor or
 
640
                                    not self.base_is_other_ancestor)
 
641
        if self._is_criss_cross and getattr(self.merge_type,
 
642
                                            'supports_lca_trees', False):
 
643
            kwargs['lca_trees'] = self._lca_trees
 
644
        return self.merge_type(pb=None,
 
645
                               change_reporter=self.change_reporter,
 
646
                               **kwargs)
 
647
 
 
648
    def _do_merge_to(self):
 
649
        merge = self.make_merger()
 
650
        if self.other_branch is not None:
 
651
            self.other_branch.update_references(self.this_branch)
 
652
        for hook in Merger.hooks['pre_merge']:
 
653
            hook(merge)
 
654
        merge.do_merge()
 
655
        for hook in Merger.hooks['post_merge']:
 
656
            hook(merge)
 
657
        if self.recurse == 'down':
 
658
            for relpath, file_id in self.this_tree.iter_references():
 
659
                sub_tree = self.this_tree.get_nested_tree(file_id, relpath)
 
660
                other_revision = self.other_tree.get_reference_revision(
 
661
                    file_id, relpath)
 
662
                if  other_revision == sub_tree.last_revision():
 
663
                    continue
 
664
                sub_merge = Merger(sub_tree.branch, this_tree=sub_tree)
 
665
                sub_merge.merge_type = self.merge_type
 
666
                other_branch = self.other_branch.reference_parent(file_id,
 
667
                                                                  relpath)
 
668
                sub_merge.set_other_revision(other_revision, other_branch)
 
669
                base_revision = self.base_tree.get_reference_revision(file_id)
 
670
                sub_merge.base_tree = \
 
671
                    sub_tree.branch.repository.revision_tree(base_revision)
 
672
                sub_merge.base_rev_id = base_revision
 
673
                sub_merge.do_merge()
 
674
        return merge
 
675
 
 
676
    def do_merge(self):
 
677
        operation = cleanup.OperationWithCleanups(self._do_merge_to)
276
678
        self.this_tree.lock_tree_write()
 
679
        operation.add_cleanup(self.this_tree.unlock)
277
680
        if self.base_tree is not None:
278
681
            self.base_tree.lock_read()
 
682
            operation.add_cleanup(self.base_tree.unlock)
279
683
        if self.other_tree is not None:
280
684
            self.other_tree.lock_read()
281
 
        try:
282
 
            merge = self.merge_type(pb=self._pb,
283
 
                                    change_reporter=self.change_reporter,
284
 
                                    **kwargs)
285
 
        finally:
286
 
            if self.other_tree is not None:
287
 
                self.other_tree.unlock()
288
 
            if self.base_tree is not None:
289
 
                self.base_tree.unlock()
290
 
            self.this_tree.unlock()
 
685
            operation.add_cleanup(self.other_tree.unlock)
 
686
        merge = operation.run_simple()
291
687
        if len(merge.cooked_conflicts) == 0:
292
 
            if not self.ignore_zero:
293
 
                note("All changes applied successfully.")
 
688
            if not self.ignore_zero and not trace.is_quiet():
 
689
                trace.note(gettext("All changes applied successfully."))
294
690
        else:
295
 
            note("%d conflicts encountered." % len(merge.cooked_conflicts))
 
691
            trace.note(gettext("%d conflicts encountered.")
 
692
                       % len(merge.cooked_conflicts))
296
693
 
297
694
        return len(merge.cooked_conflicts)
298
695
 
299
 
    def regen_inventory(self, new_entries):
300
 
        old_entries = self.this_tree.read_working_inventory()
301
 
        new_inventory = {}
302
 
        by_path = {}
303
 
        new_entries_map = {} 
304
 
        for path, file_id in new_entries:
305
 
            if path is None:
306
 
                continue
307
 
            new_entries_map[file_id] = path
308
 
 
309
 
        def id2path(file_id):
310
 
            path = new_entries_map.get(file_id)
311
 
            if path is not None:
312
 
                return path
313
 
            entry = old_entries[file_id]
314
 
            if entry.parent_id is None:
315
 
                return entry.name
316
 
            return pathjoin(id2path(entry.parent_id), entry.name)
317
 
            
318
 
        for file_id in old_entries:
319
 
            entry = old_entries[file_id]
320
 
            path = id2path(file_id)
321
 
            if file_id in self.base_tree.inventory:
322
 
                executable = getattr(self.base_tree.inventory[file_id], 'executable', False)
323
 
            else:
324
 
                executable = getattr(entry, 'executable', False)
325
 
            new_inventory[file_id] = (path, file_id, entry.parent_id, 
326
 
                                      entry.kind, executable)
327
 
                                      
328
 
            by_path[path] = file_id
329
 
        
330
 
        deletions = 0
331
 
        insertions = 0
332
 
        new_path_list = []
333
 
        for path, file_id in new_entries:
334
 
            if path is None:
335
 
                del new_inventory[file_id]
336
 
                deletions += 1
337
 
            else:
338
 
                new_path_list.append((path, file_id))
339
 
                if file_id not in old_entries:
340
 
                    insertions += 1
341
 
        # Ensure no file is added before its parent
342
 
        new_path_list.sort()
343
 
        for path, file_id in new_path_list:
344
 
            if path == '':
345
 
                parent = None
346
 
            else:
347
 
                parent = by_path[os.path.dirname(path)]
348
 
            abspath = pathjoin(self.this_tree.basedir, path)
349
 
            kind = osutils.file_kind(abspath)
350
 
            if file_id in self.base_tree.inventory:
351
 
                executable = getattr(self.base_tree.inventory[file_id], 'executable', False)
352
 
            else:
353
 
                executable = False
354
 
            new_inventory[file_id] = (path, file_id, parent, kind, executable)
355
 
            by_path[path] = file_id 
356
 
 
357
 
        # Get a list in insertion order
358
 
        new_inventory_list = new_inventory.values()
359
 
        mutter ("""Inventory regeneration:
360
 
    old length: %i insertions: %i deletions: %i new_length: %i"""\
361
 
            % (len(old_entries), insertions, deletions, 
362
 
               len(new_inventory_list)))
363
 
        assert len(new_inventory_list) == len(old_entries) + insertions\
364
 
            - deletions
365
 
        new_inventory_list.sort()
366
 
        return new_inventory_list
 
696
 
 
697
class _InventoryNoneEntry(object):
 
698
    """This represents an inventory entry which *isn't there*.
 
699
 
 
700
    It simplifies the merging logic if we always have an InventoryEntry, even
 
701
    if it isn't actually present
 
702
    """
 
703
    executable = None
 
704
    kind = None
 
705
    name = None
 
706
    parent_id = None
 
707
    revision = None
 
708
    symlink_target = None
 
709
    text_sha1 = None
 
710
 
 
711
_none_entry = _InventoryNoneEntry()
367
712
 
368
713
 
369
714
class Merge3Merger(object):
372
717
    supports_reprocess = True
373
718
    supports_show_base = True
374
719
    history_based = False
 
720
    supports_cherrypick = True
 
721
    supports_reverse_cherrypick = True
 
722
    winner_idx = {"this": 2, "other": 1, "conflict": 1}
 
723
    supports_lca_trees = True
375
724
 
376
 
    def __init__(self, working_tree, this_tree, base_tree, other_tree, 
 
725
    def __init__(self, working_tree, this_tree, base_tree, other_tree,
377
726
                 interesting_ids=None, reprocess=False, show_base=False,
378
 
                 pb=DummyProgress(), pp=None, change_reporter=None):
379
 
        """Initialize the merger object and perform the merge."""
 
727
                 pb=None, pp=None, change_reporter=None,
 
728
                 interesting_files=None, do_merge=True,
 
729
                 cherrypick=False, lca_trees=None, this_branch=None,
 
730
                 other_branch=None):
 
731
        """Initialize the merger object and perform the merge.
 
732
 
 
733
        :param working_tree: The working tree to apply the merge to
 
734
        :param this_tree: The local tree in the merge operation
 
735
        :param base_tree: The common tree in the merge operation
 
736
        :param other_tree: The other tree to merge changes from
 
737
        :param this_branch: The branch associated with this_tree.  Defaults to
 
738
            this_tree.branch if not supplied.
 
739
        :param other_branch: The branch associated with other_tree, if any.
 
740
        :param interesting_ids: The file_ids of files that should be
 
741
            participate in the merge.  May not be combined with
 
742
            interesting_files.
 
743
        :param: reprocess If True, perform conflict-reduction processing.
 
744
        :param show_base: If True, show the base revision in text conflicts.
 
745
            (incompatible with reprocess)
 
746
        :param pb: ignored
 
747
        :param pp: A ProgressPhase object
 
748
        :param change_reporter: An object that should report changes made
 
749
        :param interesting_files: The tree-relative paths of files that should
 
750
            participate in the merge.  If these paths refer to directories,
 
751
            the contents of those directories will also be included.  May not
 
752
            be combined with interesting_ids.  If neither interesting_files nor
 
753
            interesting_ids is specified, all files may participate in the
 
754
            merge.
 
755
        :param lca_trees: Can be set to a dictionary of {revision_id:rev_tree}
 
756
            if the ancestry was found to include a criss-cross merge.
 
757
            Otherwise should be None.
 
758
        """
380
759
        object.__init__(self)
381
 
        self.this_tree = working_tree
382
 
        self.this_tree.lock_tree_write()
 
760
        if interesting_files is not None and interesting_ids is not None:
 
761
            raise ValueError(
 
762
                'specify either interesting_ids or interesting_files')
 
763
        if this_branch is None:
 
764
            this_branch = this_tree.branch
 
765
        self.interesting_ids = interesting_ids
 
766
        self.interesting_files = interesting_files
 
767
        self.working_tree = working_tree
 
768
        self.this_tree = this_tree
383
769
        self.base_tree = base_tree
384
 
        self.base_tree.lock_read()
385
770
        self.other_tree = other_tree
386
 
        self.other_tree.lock_read()
 
771
        self.this_branch = this_branch
 
772
        self.other_branch = other_branch
387
773
        self._raw_conflicts = []
388
774
        self.cooked_conflicts = []
389
775
        self.reprocess = reprocess
390
776
        self.show_base = show_base
391
 
        self.pb = pb
392
 
        self.pp = pp
 
777
        self._lca_trees = lca_trees
 
778
        # Uncommenting this will change the default algorithm to always use
 
779
        # _entries_lca. This can be useful for running the test suite and
 
780
        # making sure we haven't missed any corner cases.
 
781
        # if lca_trees is None:
 
782
        #     self._lca_trees = [self.base_tree]
393
783
        self.change_reporter = change_reporter
394
 
        if self.pp is None:
395
 
            self.pp = ProgressPhase("Merge phase", 3, self.pb)
396
 
 
397
 
        if interesting_ids is not None:
398
 
            all_ids = interesting_ids
399
 
        else:
400
 
            all_ids = set(base_tree)
401
 
            all_ids.update(other_tree)
402
 
        self.tt = TreeTransform(working_tree, self.pb)
403
 
        try:
404
 
            self.pp.next_phase()
405
 
            child_pb = ui.ui_factory.nested_progress_bar()
406
 
            try:
407
 
                for num, file_id in enumerate(all_ids):
408
 
                    child_pb.update('Preparing file merge', num, len(all_ids))
409
 
                    self.merge_names(file_id)
410
 
                    file_status = self.merge_contents(file_id)
411
 
                    self.merge_executable(file_id, file_status)
412
 
            finally:
413
 
                child_pb.finished()
414
 
            self.fix_root()
415
 
            self.pp.next_phase()
416
 
            child_pb = ui.ui_factory.nested_progress_bar()
417
 
            try:
418
 
                fs_conflicts = resolve_conflicts(self.tt, child_pb)
419
 
            finally:
420
 
                child_pb.finished()
421
 
            if change_reporter is not None:
422
 
                from bzrlib import delta
423
 
                delta.report_changes(self.tt._iter_changes(), change_reporter)
424
 
            self.cook_conflicts(fs_conflicts)
425
 
            for conflict in self.cooked_conflicts:
426
 
                warning(conflict)
427
 
            self.pp.next_phase()
428
 
            results = self.tt.apply()
429
 
            self.write_modified(results)
430
 
            try:
431
 
                working_tree.add_conflicts(self.cooked_conflicts)
432
 
            except UnsupportedOperation:
433
 
                pass
434
 
        finally:
435
 
            self.tt.finalize()
436
 
            self.other_tree.unlock()
437
 
            self.base_tree.unlock()
438
 
            self.this_tree.unlock()
439
 
            self.pb.clear()
440
 
 
 
784
        self.cherrypick = cherrypick
 
785
        if do_merge:
 
786
            self.do_merge()
 
787
        if pp is not None:
 
788
            warnings.warn("pp argument to Merge3Merger is deprecated")
 
789
        if pb is not None:
 
790
            warnings.warn("pb argument to Merge3Merger is deprecated")
 
791
 
 
792
    def do_merge(self):
 
793
        operation = cleanup.OperationWithCleanups(self._do_merge)
 
794
        self.working_tree.lock_tree_write()
 
795
        operation.add_cleanup(self.working_tree.unlock)
 
796
        self.this_tree.lock_read()
 
797
        operation.add_cleanup(self.this_tree.unlock)
 
798
        self.base_tree.lock_read()
 
799
        operation.add_cleanup(self.base_tree.unlock)
 
800
        self.other_tree.lock_read()
 
801
        operation.add_cleanup(self.other_tree.unlock)
 
802
        operation.run()
 
803
 
 
804
    def _do_merge(self, operation):
 
805
        self.tt = transform.TreeTransform(self.working_tree, None)
 
806
        operation.add_cleanup(self.tt.finalize)
 
807
        self._compute_transform()
 
808
        results = self.tt.apply(no_conflicts=True)
 
809
        self.write_modified(results)
 
810
        try:
 
811
            self.working_tree.add_conflicts(self.cooked_conflicts)
 
812
        except errors.UnsupportedOperation:
 
813
            pass
 
814
 
 
815
    def make_preview_transform(self):
 
816
        operation = cleanup.OperationWithCleanups(self._make_preview_transform)
 
817
        self.base_tree.lock_read()
 
818
        operation.add_cleanup(self.base_tree.unlock)
 
819
        self.other_tree.lock_read()
 
820
        operation.add_cleanup(self.other_tree.unlock)
 
821
        return operation.run_simple()
 
822
 
 
823
    def _make_preview_transform(self):
 
824
        self.tt = transform.TransformPreview(self.working_tree)
 
825
        self._compute_transform()
 
826
        return self.tt
 
827
 
 
828
    def _compute_transform(self):
 
829
        if self._lca_trees is None:
 
830
            entries = self._entries3()
 
831
            resolver = self._three_way
 
832
        else:
 
833
            entries = self._entries_lca()
 
834
            resolver = self._lca_multi_way
 
835
        # Prepare merge hooks
 
836
        factories = Merger.hooks['merge_file_content']
 
837
        # One hook for each registered one plus our default merger
 
838
        hooks = [factory(self) for factory in factories] + [self]
 
839
        self.active_hooks = [hook for hook in hooks if hook is not None]
 
840
        child_pb = ui.ui_factory.nested_progress_bar()
 
841
        try:
 
842
            for num, (file_id, changed, parents3, names3,
 
843
                      executable3) in enumerate(entries):
 
844
                # Try merging each entry
 
845
                child_pb.update(gettext('Preparing file merge'),
 
846
                                num, len(entries))
 
847
                self._merge_names(file_id, parents3, names3, resolver=resolver)
 
848
                if changed:
 
849
                    file_status = self._do_merge_contents(file_id)
 
850
                else:
 
851
                    file_status = 'unmodified'
 
852
                self._merge_executable(file_id,
 
853
                    executable3, file_status, resolver=resolver)
 
854
        finally:
 
855
            child_pb.finished()
 
856
        self.tt.fixup_new_roots()
 
857
        self._finish_computing_transform()
 
858
 
 
859
    def _finish_computing_transform(self):
 
860
        """Finalize the transform and report the changes.
 
861
 
 
862
        This is the second half of _compute_transform.
 
863
        """
 
864
        child_pb = ui.ui_factory.nested_progress_bar()
 
865
        try:
 
866
            fs_conflicts = transform.resolve_conflicts(self.tt, child_pb,
 
867
                lambda t, c: transform.conflict_pass(t, c, self.other_tree))
 
868
        finally:
 
869
            child_pb.finished()
 
870
        if self.change_reporter is not None:
 
871
            from bzrlib import delta
 
872
            delta.report_changes(
 
873
                self.tt.iter_changes(), self.change_reporter)
 
874
        self.cook_conflicts(fs_conflicts)
 
875
        for conflict in self.cooked_conflicts:
 
876
            trace.warning(unicode(conflict))
 
877
 
 
878
    def _entries3(self):
 
879
        """Gather data about files modified between three trees.
 
880
 
 
881
        Return a list of tuples of file_id, changed, parents3, names3,
 
882
        executable3.  changed is a boolean indicating whether the file contents
 
883
        or kind were changed.  parents3 is a tuple of parent ids for base,
 
884
        other and this.  names3 is a tuple of names for base, other and this.
 
885
        executable3 is a tuple of execute-bit values for base, other and this.
 
886
        """
 
887
        result = []
 
888
        iterator = self.other_tree.iter_changes(self.base_tree,
 
889
                specific_files=self.interesting_files,
 
890
                extra_trees=[self.this_tree])
 
891
        this_entries = dict((e.file_id, e) for p, e in
 
892
                            self.this_tree.iter_entries_by_dir(
 
893
                            self.interesting_ids))
 
894
        for (file_id, paths, changed, versioned, parents, names, kind,
 
895
             executable) in iterator:
 
896
            if (self.interesting_ids is not None and
 
897
                file_id not in self.interesting_ids):
 
898
                continue
 
899
            entry = this_entries.get(file_id)
 
900
            if entry is not None:
 
901
                this_name = entry.name
 
902
                this_parent = entry.parent_id
 
903
                this_executable = entry.executable
 
904
            else:
 
905
                this_name = None
 
906
                this_parent = None
 
907
                this_executable = None
 
908
            parents3 = parents + (this_parent,)
 
909
            names3 = names + (this_name,)
 
910
            executable3 = executable + (this_executable,)
 
911
            result.append((file_id, changed, parents3, names3, executable3))
 
912
        return result
 
913
 
 
914
    def _entries_lca(self):
 
915
        """Gather data about files modified between multiple trees.
 
916
 
 
917
        This compares OTHER versus all LCA trees, and for interesting entries,
 
918
        it then compares with THIS and BASE.
 
919
 
 
920
        For the multi-valued entries, the format will be (BASE, [lca1, lca2])
 
921
 
 
922
        :return: [(file_id, changed, parents, names, executable)], where:
 
923
 
 
924
            * file_id: Simple file_id of the entry
 
925
            * changed: Boolean, True if the kind or contents changed else False
 
926
            * parents: ((base, [parent_id, in, lcas]), parent_id_other,
 
927
                        parent_id_this)
 
928
            * names:   ((base, [name, in, lcas]), name_in_other, name_in_this)
 
929
            * executable: ((base, [exec, in, lcas]), exec_in_other,
 
930
                        exec_in_this)
 
931
        """
 
932
        if self.interesting_files is not None:
 
933
            lookup_trees = [self.this_tree, self.base_tree]
 
934
            lookup_trees.extend(self._lca_trees)
 
935
            # I think we should include the lca trees as well
 
936
            interesting_ids = self.other_tree.paths2ids(self.interesting_files,
 
937
                                                        lookup_trees)
 
938
        else:
 
939
            interesting_ids = self.interesting_ids
 
940
        result = []
 
941
        walker = _mod_tree.MultiWalker(self.other_tree, self._lca_trees)
 
942
 
 
943
        base_inventory = self.base_tree.root_inventory
 
944
        this_inventory = self.this_tree.root_inventory
 
945
        for path, file_id, other_ie, lca_values in walker.iter_all():
 
946
            # Is this modified at all from any of the other trees?
 
947
            if other_ie is None:
 
948
                other_ie = _none_entry
 
949
            if interesting_ids is not None and file_id not in interesting_ids:
 
950
                continue
 
951
 
 
952
            # If other_revision is found in any of the lcas, that means this
 
953
            # node is uninteresting. This is because when merging, if there are
 
954
            # multiple heads(), we have to create a new node. So if we didn't,
 
955
            # we know that the ancestry is linear, and that OTHER did not
 
956
            # modify anything
 
957
            # See doc/developers/lca_merge_resolution.txt for details
 
958
            other_revision = other_ie.revision
 
959
            if other_revision is not None:
 
960
                # We can't use this shortcut when other_revision is None,
 
961
                # because it may be None because things are WorkingTrees, and
 
962
                # not because it is *actually* None.
 
963
                is_unmodified = False
 
964
                for lca_path, ie in lca_values:
 
965
                    if ie is not None and ie.revision == other_revision:
 
966
                        is_unmodified = True
 
967
                        break
 
968
                if is_unmodified:
 
969
                    continue
 
970
 
 
971
            lca_entries = []
 
972
            for lca_path, lca_ie in lca_values:
 
973
                if lca_ie is None:
 
974
                    lca_entries.append(_none_entry)
 
975
                else:
 
976
                    lca_entries.append(lca_ie)
 
977
 
 
978
            if base_inventory.has_id(file_id):
 
979
                base_ie = base_inventory[file_id]
 
980
            else:
 
981
                base_ie = _none_entry
 
982
 
 
983
            if this_inventory.has_id(file_id):
 
984
                this_ie = this_inventory[file_id]
 
985
            else:
 
986
                this_ie = _none_entry
 
987
 
 
988
            lca_kinds = []
 
989
            lca_parent_ids = []
 
990
            lca_names = []
 
991
            lca_executable = []
 
992
            for lca_ie in lca_entries:
 
993
                lca_kinds.append(lca_ie.kind)
 
994
                lca_parent_ids.append(lca_ie.parent_id)
 
995
                lca_names.append(lca_ie.name)
 
996
                lca_executable.append(lca_ie.executable)
 
997
 
 
998
            kind_winner = self._lca_multi_way(
 
999
                (base_ie.kind, lca_kinds),
 
1000
                other_ie.kind, this_ie.kind)
 
1001
            parent_id_winner = self._lca_multi_way(
 
1002
                (base_ie.parent_id, lca_parent_ids),
 
1003
                other_ie.parent_id, this_ie.parent_id)
 
1004
            name_winner = self._lca_multi_way(
 
1005
                (base_ie.name, lca_names),
 
1006
                other_ie.name, this_ie.name)
 
1007
 
 
1008
            content_changed = True
 
1009
            if kind_winner == 'this':
 
1010
                # No kind change in OTHER, see if there are *any* changes
 
1011
                if other_ie.kind == 'directory':
 
1012
                    if parent_id_winner == 'this' and name_winner == 'this':
 
1013
                        # No change for this directory in OTHER, skip
 
1014
                        continue
 
1015
                    content_changed = False
 
1016
                elif other_ie.kind is None or other_ie.kind == 'file':
 
1017
                    def get_sha1(ie, tree):
 
1018
                        if ie.kind != 'file':
 
1019
                            return None
 
1020
                        return tree.get_file_sha1(file_id)
 
1021
                    base_sha1 = get_sha1(base_ie, self.base_tree)
 
1022
                    lca_sha1s = [get_sha1(ie, tree) for ie, tree
 
1023
                                 in zip(lca_entries, self._lca_trees)]
 
1024
                    this_sha1 = get_sha1(this_ie, self.this_tree)
 
1025
                    other_sha1 = get_sha1(other_ie, self.other_tree)
 
1026
                    sha1_winner = self._lca_multi_way(
 
1027
                        (base_sha1, lca_sha1s), other_sha1, this_sha1,
 
1028
                        allow_overriding_lca=False)
 
1029
                    exec_winner = self._lca_multi_way(
 
1030
                        (base_ie.executable, lca_executable),
 
1031
                        other_ie.executable, this_ie.executable)
 
1032
                    if (parent_id_winner == 'this' and name_winner == 'this'
 
1033
                        and sha1_winner == 'this' and exec_winner == 'this'):
 
1034
                        # No kind, parent, name, exec, or content change for
 
1035
                        # OTHER, so this node is not considered interesting
 
1036
                        continue
 
1037
                    if sha1_winner == 'this':
 
1038
                        content_changed = False
 
1039
                elif other_ie.kind == 'symlink':
 
1040
                    def get_target(ie, tree):
 
1041
                        if ie.kind != 'symlink':
 
1042
                            return None
 
1043
                        return tree.get_symlink_target(file_id)
 
1044
                    base_target = get_target(base_ie, self.base_tree)
 
1045
                    lca_targets = [get_target(ie, tree) for ie, tree
 
1046
                                   in zip(lca_entries, self._lca_trees)]
 
1047
                    this_target = get_target(this_ie, self.this_tree)
 
1048
                    other_target = get_target(other_ie, self.other_tree)
 
1049
                    target_winner = self._lca_multi_way(
 
1050
                        (base_target, lca_targets),
 
1051
                        other_target, this_target)
 
1052
                    if (parent_id_winner == 'this' and name_winner == 'this'
 
1053
                        and target_winner == 'this'):
 
1054
                        # No kind, parent, name, or symlink target change
 
1055
                        # not interesting
 
1056
                        continue
 
1057
                    if target_winner == 'this':
 
1058
                        content_changed = False
 
1059
                elif other_ie.kind == 'tree-reference':
 
1060
                    # The 'changed' information seems to be handled at a higher
 
1061
                    # level. At least, _entries3 returns False for content
 
1062
                    # changed, even when at a new revision_id.
 
1063
                    content_changed = False
 
1064
                    if (parent_id_winner == 'this' and name_winner == 'this'):
 
1065
                        # Nothing interesting
 
1066
                        continue
 
1067
                else:
 
1068
                    raise AssertionError('unhandled kind: %s' % other_ie.kind)
 
1069
 
 
1070
            # If we have gotten this far, that means something has changed
 
1071
            result.append((file_id, content_changed,
 
1072
                           ((base_ie.parent_id, lca_parent_ids),
 
1073
                            other_ie.parent_id, this_ie.parent_id),
 
1074
                           ((base_ie.name, lca_names),
 
1075
                            other_ie.name, this_ie.name),
 
1076
                           ((base_ie.executable, lca_executable),
 
1077
                            other_ie.executable, this_ie.executable)
 
1078
                          ))
 
1079
        return result
 
1080
 
 
1081
    @deprecated_method(deprecated_in((2, 4, 0)))
441
1082
    def fix_root(self):
442
 
        try:
443
 
            self.tt.final_kind(self.tt.root)
444
 
        except NoSuchFile:
 
1083
        if self.tt.final_kind(self.tt.root) is None:
445
1084
            self.tt.cancel_deletion(self.tt.root)
446
1085
        if self.tt.final_file_id(self.tt.root) is None:
447
 
            self.tt.version_file(self.tt.tree_file_id(self.tt.root), 
 
1086
            self.tt.version_file(self.tt.tree_file_id(self.tt.root),
448
1087
                                 self.tt.root)
449
 
        if self.other_tree.inventory.root is None:
 
1088
        other_root_file_id = self.other_tree.get_root_id()
 
1089
        if other_root_file_id is None:
450
1090
            return
451
 
        other_root_file_id = self.other_tree.inventory.root.file_id
452
1091
        other_root = self.tt.trans_id_file_id(other_root_file_id)
453
1092
        if other_root == self.tt.root:
454
1093
            return
455
 
        try:
456
 
            self.tt.final_kind(other_root)
457
 
        except NoSuchFile:
 
1094
        if self.this_tree.has_id(
 
1095
            self.other_tree.get_root_id()):
 
1096
            # the other tree's root is a non-root in the current tree (as
 
1097
            # when a previously unrelated branch is merged into another)
458
1098
            return
459
 
        self.reparent_children(self.other_tree.inventory.root, self.tt.root)
460
 
        self.tt.cancel_creation(other_root)
461
 
        self.tt.cancel_versioning(other_root)
462
 
 
463
 
    def reparent_children(self, ie, target):
464
 
        for thing, child in ie.children.iteritems():
465
 
            trans_id = self.tt.trans_id_file_id(child.file_id)
466
 
            self.tt.adjust_path(self.tt.final_name(trans_id), target, trans_id)
 
1099
        if self.tt.final_kind(other_root) is not None:
 
1100
            other_root_is_present = True
 
1101
        else:
 
1102
            # other_root doesn't have a physical representation. We still need
 
1103
            # to move any references to the actual root of the tree.
 
1104
            other_root_is_present = False
 
1105
        # the other tree root is not present in this tree. We are
 
1106
        # calling adjust_path for children which *want* to be present with a
 
1107
        # correct place to go.
 
1108
        for child_id in self.other_tree.iter_children(
 
1109
                self.other_tree.get_root_id()):
 
1110
            trans_id = self.tt.trans_id_file_id(child_id)
 
1111
            if not other_root_is_present:
 
1112
                if self.tt.final_kind(trans_id) is not None:
 
1113
                    # The item exist in the final tree and has a defined place
 
1114
                    # to go already.
 
1115
                    continue
 
1116
            # Move the item into the root
 
1117
            try:
 
1118
                final_name = self.tt.final_name(trans_id)
 
1119
            except errors.NoFinalPath:
 
1120
                # This file is not present anymore, ignore it.
 
1121
                continue
 
1122
            self.tt.adjust_path(final_name, self.tt.root, trans_id)
 
1123
        if other_root_is_present:
 
1124
            self.tt.cancel_creation(other_root)
 
1125
            self.tt.cancel_versioning(other_root)
467
1126
 
468
1127
    def write_modified(self, results):
469
1128
        modified_hashes = {}
470
1129
        for path in results.modified_paths:
471
 
            file_id = self.this_tree.path2id(self.this_tree.relpath(path))
 
1130
            file_id = self.working_tree.path2id(self.working_tree.relpath(path))
472
1131
            if file_id is None:
473
1132
                continue
474
 
            hash = self.this_tree.get_file_sha1(file_id)
 
1133
            hash = self.working_tree.get_file_sha1(file_id)
475
1134
            if hash is None:
476
1135
                continue
477
1136
            modified_hashes[file_id] = hash
478
 
        self.this_tree.set_merge_modified(modified_hashes)
 
1137
        self.working_tree.set_merge_modified(modified_hashes)
479
1138
 
480
1139
    @staticmethod
481
1140
    def parent(entry, file_id):
490
1149
        if entry is None:
491
1150
            return None
492
1151
        return entry.name
493
 
    
 
1152
 
494
1153
    @staticmethod
495
1154
    def contents_sha1(tree, file_id):
496
1155
        """Determine the sha1 of the file contents (used as a key method)."""
497
 
        if file_id not in tree:
 
1156
        if not tree.has_id(file_id):
498
1157
            return None
499
1158
        return tree.get_file_sha1(file_id)
500
1159
 
501
1160
    @staticmethod
502
1161
    def executable(tree, file_id):
503
1162
        """Determine the executability of a file-id (used as a key method)."""
504
 
        if file_id not in tree:
 
1163
        if not tree.has_id(file_id):
505
1164
            return None
506
1165
        if tree.kind(file_id) != "file":
507
1166
            return False
510
1169
    @staticmethod
511
1170
    def kind(tree, file_id):
512
1171
        """Determine the kind of a file-id (used as a key method)."""
513
 
        if file_id not in tree:
 
1172
        if not tree.has_id(file_id):
514
1173
            return None
515
1174
        return tree.kind(file_id)
516
1175
 
517
1176
    @staticmethod
 
1177
    def _three_way(base, other, this):
 
1178
        if base == other:
 
1179
            # if 'base == other', either they all agree, or only 'this' has
 
1180
            # changed.
 
1181
            return 'this'
 
1182
        elif this not in (base, other):
 
1183
            # 'this' is neither 'base' nor 'other', so both sides changed
 
1184
            return 'conflict'
 
1185
        elif this == other:
 
1186
            # "Ambiguous clean merge" -- both sides have made the same change.
 
1187
            return "this"
 
1188
        else:
 
1189
            # this == base: only other has changed.
 
1190
            return "other"
 
1191
 
 
1192
    @staticmethod
 
1193
    def _lca_multi_way(bases, other, this, allow_overriding_lca=True):
 
1194
        """Consider LCAs when determining whether a change has occurred.
 
1195
 
 
1196
        If LCAS are all identical, this is the same as a _three_way comparison.
 
1197
 
 
1198
        :param bases: value in (BASE, [LCAS])
 
1199
        :param other: value in OTHER
 
1200
        :param this: value in THIS
 
1201
        :param allow_overriding_lca: If there is more than one unique lca
 
1202
            value, allow OTHER to override THIS if it has a new value, and
 
1203
            THIS only has an lca value, or vice versa. This is appropriate for
 
1204
            truly scalar values, not as much for non-scalars.
 
1205
        :return: 'this', 'other', or 'conflict' depending on whether an entry
 
1206
            changed or not.
 
1207
        """
 
1208
        # See doc/developers/lca_tree_merging.txt for details about this
 
1209
        # algorithm.
 
1210
        if other == this:
 
1211
            # Either Ambiguously clean, or nothing was actually changed. We
 
1212
            # don't really care
 
1213
            return 'this'
 
1214
        base_val, lca_vals = bases
 
1215
        # Remove 'base_val' from the lca_vals, because it is not interesting
 
1216
        filtered_lca_vals = [lca_val for lca_val in lca_vals
 
1217
                                      if lca_val != base_val]
 
1218
        if len(filtered_lca_vals) == 0:
 
1219
            return Merge3Merger._three_way(base_val, other, this)
 
1220
 
 
1221
        unique_lca_vals = set(filtered_lca_vals)
 
1222
        if len(unique_lca_vals) == 1:
 
1223
            return Merge3Merger._three_way(unique_lca_vals.pop(), other, this)
 
1224
 
 
1225
        if allow_overriding_lca:
 
1226
            if other in unique_lca_vals:
 
1227
                if this in unique_lca_vals:
 
1228
                    # Each side picked a different lca, conflict
 
1229
                    return 'conflict'
 
1230
                else:
 
1231
                    # This has a value which supersedes both lca values, and
 
1232
                    # other only has an lca value
 
1233
                    return 'this'
 
1234
            elif this in unique_lca_vals:
 
1235
                # OTHER has a value which supersedes both lca values, and this
 
1236
                # only has an lca value
 
1237
                return 'other'
 
1238
 
 
1239
        # At this point, the lcas disagree, and the tip disagree
 
1240
        return 'conflict'
 
1241
 
 
1242
    @staticmethod
 
1243
    @deprecated_method(deprecated_in((2, 2, 0)))
518
1244
    def scalar_three_way(this_tree, base_tree, other_tree, file_id, key):
519
1245
        """Do a three-way test on a scalar.
520
1246
        Return "this", "other" or "conflict", depending whether a value wins.
525
1251
        if key_base == key_other:
526
1252
            return "this"
527
1253
        key_this = key(this_tree, file_id)
528
 
        if key_this not in (key_base, key_other):
 
1254
        # "Ambiguous clean merge"
 
1255
        if key_this == key_other:
 
1256
            return "this"
 
1257
        elif key_this == key_base:
 
1258
            return "other"
 
1259
        else:
529
1260
            return "conflict"
530
 
        # "Ambiguous clean merge"
531
 
        elif key_this == key_other:
532
 
            return "this"
533
 
        else:
534
 
            assert key_this == key_base
535
 
            return "other"
536
1261
 
537
1262
    def merge_names(self, file_id):
538
 
        """Perform a merge on file_id names and parents"""
539
1263
        def get_entry(tree):
540
 
            if file_id in tree.inventory:
541
 
                return tree.inventory[file_id]
542
 
            else:
 
1264
            try:
 
1265
                return tree.root_inventory[file_id]
 
1266
            except errors.NoSuchId:
543
1267
                return None
544
1268
        this_entry = get_entry(self.this_tree)
545
1269
        other_entry = get_entry(self.other_tree)
546
1270
        base_entry = get_entry(self.base_tree)
547
 
        name_winner = self.scalar_three_way(this_entry, base_entry, 
548
 
                                            other_entry, file_id, self.name)
549
 
        parent_id_winner = self.scalar_three_way(this_entry, base_entry, 
550
 
                                                 other_entry, file_id, 
551
 
                                                 self.parent)
552
 
        if this_entry is None:
 
1271
        entries = (base_entry, other_entry, this_entry)
 
1272
        names = []
 
1273
        parents = []
 
1274
        for entry in entries:
 
1275
            if entry is None:
 
1276
                names.append(None)
 
1277
                parents.append(None)
 
1278
            else:
 
1279
                names.append(entry.name)
 
1280
                parents.append(entry.parent_id)
 
1281
        return self._merge_names(file_id, parents, names,
 
1282
                                 resolver=self._three_way)
 
1283
 
 
1284
    def _merge_names(self, file_id, parents, names, resolver):
 
1285
        """Perform a merge on file_id names and parents"""
 
1286
        base_name, other_name, this_name = names
 
1287
        base_parent, other_parent, this_parent = parents
 
1288
 
 
1289
        name_winner = resolver(*names)
 
1290
 
 
1291
        parent_id_winner = resolver(*parents)
 
1292
        if this_name is None:
553
1293
            if name_winner == "this":
554
1294
                name_winner = "other"
555
1295
            if parent_id_winner == "this":
556
1296
                parent_id_winner = "other"
557
1297
        if name_winner == "this" and parent_id_winner == "this":
558
1298
            return
559
 
        if name_winner == "conflict":
560
 
            trans_id = self.tt.trans_id_file_id(file_id)
561
 
            self._raw_conflicts.append(('name conflict', trans_id, 
562
 
                                        self.name(this_entry, file_id), 
563
 
                                        self.name(other_entry, file_id)))
564
 
        if parent_id_winner == "conflict":
565
 
            trans_id = self.tt.trans_id_file_id(file_id)
566
 
            self._raw_conflicts.append(('parent conflict', trans_id, 
567
 
                                        self.parent(this_entry, file_id), 
568
 
                                        self.parent(other_entry, file_id)))
569
 
        if other_entry is None:
570
 
            # it doesn't matter whether the result was 'other' or 
571
 
            # 'conflict'-- if there's no 'other', we leave it alone.
 
1299
        if name_winner == 'conflict' or parent_id_winner == 'conflict':
 
1300
            # Creating helpers (.OTHER or .THIS) here cause problems down the
 
1301
            # road if a ContentConflict needs to be created so we should not do
 
1302
            # that
 
1303
            trans_id = self.tt.trans_id_file_id(file_id)
 
1304
            self._raw_conflicts.append(('path conflict', trans_id, file_id,
 
1305
                                        this_parent, this_name,
 
1306
                                        other_parent, other_name))
 
1307
        if not self.other_tree.has_id(file_id):
 
1308
            # it doesn't matter whether the result was 'other' or
 
1309
            # 'conflict'-- if it has no file id, we leave it alone.
572
1310
            return
573
 
        # if we get here, name_winner and parent_winner are set to safe values.
574
 
        winner_entry = {"this": this_entry, "other": other_entry, 
575
 
                        "conflict": other_entry}
576
 
        trans_id = self.tt.trans_id_file_id(file_id)
577
 
        parent_id = winner_entry[parent_id_winner].parent_id
578
 
        if parent_id is not None:
579
 
            parent_trans_id = self.tt.trans_id_file_id(parent_id)
580
 
            self.tt.adjust_path(winner_entry[name_winner].name, 
581
 
                                parent_trans_id, trans_id)
 
1311
        parent_id = parents[self.winner_idx[parent_id_winner]]
 
1312
        name = names[self.winner_idx[name_winner]]
 
1313
        if parent_id is not None or name is not None:
 
1314
            # if we get here, name_winner and parent_winner are set to safe
 
1315
            # values.
 
1316
            if parent_id is None and name is not None:
 
1317
                # if parent_id is None and name is non-None, current file is
 
1318
                # the tree root.
 
1319
                if names[self.winner_idx[parent_id_winner]] != '':
 
1320
                    raise AssertionError(
 
1321
                        'File looks like a root, but named %s' %
 
1322
                        names[self.winner_idx[parent_id_winner]])
 
1323
                parent_trans_id = transform.ROOT_PARENT
 
1324
            else:
 
1325
                parent_trans_id = self.tt.trans_id_file_id(parent_id)
 
1326
            self.tt.adjust_path(name, parent_trans_id,
 
1327
                                self.tt.trans_id_file_id(file_id))
582
1328
 
583
 
    def merge_contents(self, file_id):
584
 
        """Performa a merge on file_id contents."""
 
1329
    def _do_merge_contents(self, file_id):
 
1330
        """Performs a merge on file_id contents."""
585
1331
        def contents_pair(tree):
586
 
            if file_id not in tree:
 
1332
            if not tree.has_id(file_id):
587
1333
                return (None, None)
588
1334
            kind = tree.kind(file_id)
589
1335
            if kind == "file":
594
1340
                contents = None
595
1341
            return kind, contents
596
1342
 
597
 
        def contents_conflict():
598
 
            trans_id = self.tt.trans_id_file_id(file_id)
599
 
            name = self.tt.final_name(trans_id)
600
 
            parent_id = self.tt.final_parent(trans_id)
601
 
            if file_id in self.this_tree.inventory:
602
 
                self.tt.unversion_file(trans_id)
603
 
                if file_id in self.this_tree:
604
 
                    self.tt.delete_contents(trans_id)
605
 
            file_group = self._dump_conflicts(name, parent_id, file_id, 
606
 
                                              set_version=True)
607
 
            self._raw_conflicts.append(('contents conflict', file_group))
608
 
 
609
1343
        # See SPOT run.  run, SPOT, run.
610
1344
        # So we're not QUITE repeating ourselves; we do tricky things with
611
1345
        # file kind...
612
1346
        base_pair = contents_pair(self.base_tree)
613
1347
        other_pair = contents_pair(self.other_tree)
614
 
        if base_pair == other_pair:
615
 
            # OTHER introduced no changes
616
 
            return "unmodified"
617
 
        this_pair = contents_pair(self.this_tree)
618
 
        if this_pair == other_pair:
619
 
            # THIS and OTHER introduced the same changes
620
 
            return "unmodified"
 
1348
        if self._lca_trees:
 
1349
            this_pair = contents_pair(self.this_tree)
 
1350
            lca_pairs = [contents_pair(tree) for tree in self._lca_trees]
 
1351
            winner = self._lca_multi_way((base_pair, lca_pairs), other_pair,
 
1352
                                         this_pair, allow_overriding_lca=False)
621
1353
        else:
622
 
            trans_id = self.tt.trans_id_file_id(file_id)
623
 
            if this_pair == base_pair:
624
 
                # only OTHER introduced changes
625
 
                if file_id in self.this_tree:
626
 
                    # Remove any existing contents
627
 
                    self.tt.delete_contents(trans_id)
628
 
                if file_id in self.other_tree:
629
 
                    # OTHER changed the file
630
 
                    create_by_entry(self.tt, 
631
 
                                    self.other_tree.inventory[file_id], 
632
 
                                    self.other_tree, trans_id)
633
 
                    if file_id not in self.this_tree.inventory:
634
 
                        self.tt.version_file(file_id, trans_id)
635
 
                    return "modified"
636
 
                elif file_id in self.this_tree.inventory:
637
 
                    # OTHER deleted the file
 
1354
            if base_pair == other_pair:
 
1355
                winner = 'this'
 
1356
            else:
 
1357
                # We delayed evaluating this_pair as long as we can to avoid
 
1358
                # unnecessary sha1 calculation
 
1359
                this_pair = contents_pair(self.this_tree)
 
1360
                winner = self._three_way(base_pair, other_pair, this_pair)
 
1361
        if winner == 'this':
 
1362
            # No interesting changes introduced by OTHER
 
1363
            return "unmodified"
 
1364
        # We have a hypothetical conflict, but if we have files, then we
 
1365
        # can try to merge the content
 
1366
        trans_id = self.tt.trans_id_file_id(file_id)
 
1367
        params = MergeFileHookParams(self, file_id, trans_id, this_pair[0],
 
1368
            other_pair[0], winner)
 
1369
        hooks = self.active_hooks
 
1370
        hook_status = 'not_applicable'
 
1371
        for hook in hooks:
 
1372
            hook_status, lines = hook.merge_contents(params)
 
1373
            if hook_status != 'not_applicable':
 
1374
                # Don't try any more hooks, this one applies.
 
1375
                break
 
1376
        # If the merge ends up replacing the content of the file, we get rid of
 
1377
        # it at the end of this method (this variable is used to track the
 
1378
        # exceptions to this rule).
 
1379
        keep_this = False
 
1380
        result = "modified"
 
1381
        if hook_status == 'not_applicable':
 
1382
            # No merge hook was able to resolve the situation. Two cases exist:
 
1383
            # a content conflict or a duplicate one.
 
1384
            result = None
 
1385
            name = self.tt.final_name(trans_id)
 
1386
            parent_id = self.tt.final_parent(trans_id)
 
1387
            duplicate = False
 
1388
            inhibit_content_conflict = False
 
1389
            if params.this_kind is None: # file_id is not in THIS
 
1390
                # Is the name used for a different file_id ?
 
1391
                dupe_path = self.other_tree.id2path(file_id)
 
1392
                this_id = self.this_tree.path2id(dupe_path)
 
1393
                if this_id is not None:
 
1394
                    # Two entries for the same path
 
1395
                    keep_this = True
 
1396
                    # versioning the merged file will trigger a duplicate
 
1397
                    # conflict
 
1398
                    self.tt.version_file(file_id, trans_id)
 
1399
                    transform.create_from_tree(
 
1400
                        self.tt, trans_id, self.other_tree, file_id,
 
1401
                        filter_tree_path=self._get_filter_tree_path(file_id))
 
1402
                    inhibit_content_conflict = True
 
1403
            elif params.other_kind is None: # file_id is not in OTHER
 
1404
                # Is the name used for a different file_id ?
 
1405
                dupe_path = self.this_tree.id2path(file_id)
 
1406
                other_id = self.other_tree.path2id(dupe_path)
 
1407
                if other_id is not None:
 
1408
                    # Two entries for the same path again, but here, the other
 
1409
                    # entry will also be merged.  We simply inhibit the
 
1410
                    # 'content' conflict creation because we know OTHER will
 
1411
                    # create (or has already created depending on ordering) an
 
1412
                    # entry at the same path. This will trigger a 'duplicate'
 
1413
                    # conflict later.
 
1414
                    keep_this = True
 
1415
                    inhibit_content_conflict = True
 
1416
            if not inhibit_content_conflict:
 
1417
                if params.this_kind is not None:
638
1418
                    self.tt.unversion_file(trans_id)
639
 
                    return "deleted"
640
 
            #BOTH THIS and OTHER introduced changes; scalar conflict
641
 
            elif this_pair[0] == "file" and other_pair[0] == "file":
642
 
                # THIS and OTHER are both files, so text merge.  Either
643
 
                # BASE is a file, or both converted to files, so at least we
644
 
                # have agreement that output should be a file.
645
 
                try:
646
 
                    self.text_merge(file_id, trans_id)
647
 
                except BinaryFile:
648
 
                    return contents_conflict()
649
 
                if file_id not in self.this_tree.inventory:
650
 
                    self.tt.version_file(file_id, trans_id)
651
 
                try:
652
 
                    self.tt.tree_kind(trans_id)
653
 
                    self.tt.delete_contents(trans_id)
654
 
                except NoSuchFile:
655
 
                    pass
656
 
                return "modified"
657
 
            else:
658
 
                # Scalar conflict, can't text merge.  Dump conflicts
659
 
                return contents_conflict()
 
1419
                # This is a contents conflict, because none of the available
 
1420
                # functions could merge it.
 
1421
                file_group = self._dump_conflicts(name, parent_id, file_id,
 
1422
                                                  set_version=True)
 
1423
                self._raw_conflicts.append(('contents conflict', file_group))
 
1424
        elif hook_status == 'success':
 
1425
            self.tt.create_file(lines, trans_id)
 
1426
        elif hook_status == 'conflicted':
 
1427
            # XXX: perhaps the hook should be able to provide
 
1428
            # the BASE/THIS/OTHER files?
 
1429
            self.tt.create_file(lines, trans_id)
 
1430
            self._raw_conflicts.append(('text conflict', trans_id))
 
1431
            name = self.tt.final_name(trans_id)
 
1432
            parent_id = self.tt.final_parent(trans_id)
 
1433
            self._dump_conflicts(name, parent_id, file_id)
 
1434
        elif hook_status == 'delete':
 
1435
            self.tt.unversion_file(trans_id)
 
1436
            result = "deleted"
 
1437
        elif hook_status == 'done':
 
1438
            # The hook function did whatever it needs to do directly, no
 
1439
            # further action needed here.
 
1440
            pass
 
1441
        else:
 
1442
            raise AssertionError('unknown hook_status: %r' % (hook_status,))
 
1443
        if not self.this_tree.has_id(file_id) and result == "modified":
 
1444
            self.tt.version_file(file_id, trans_id)
 
1445
        if not keep_this:
 
1446
            # The merge has been performed and produced a new content, so the
 
1447
            # old contents should not be retained.
 
1448
            self.tt.delete_contents(trans_id)
 
1449
        return result
 
1450
 
 
1451
    def _default_other_winner_merge(self, merge_hook_params):
 
1452
        """Replace this contents with other."""
 
1453
        file_id = merge_hook_params.file_id
 
1454
        trans_id = merge_hook_params.trans_id
 
1455
        if self.other_tree.has_id(file_id):
 
1456
            # OTHER changed the file
 
1457
            transform.create_from_tree(
 
1458
                self.tt, trans_id, self.other_tree, file_id,
 
1459
                filter_tree_path=self._get_filter_tree_path(file_id))
 
1460
            return 'done', None
 
1461
        elif self.this_tree.has_id(file_id):
 
1462
            # OTHER deleted the file
 
1463
            return 'delete', None
 
1464
        else:
 
1465
            raise AssertionError(
 
1466
                'winner is OTHER, but file_id %r not in THIS or OTHER tree'
 
1467
                % (file_id,))
 
1468
 
 
1469
    def merge_contents(self, merge_hook_params):
 
1470
        """Fallback merge logic after user installed hooks."""
 
1471
        # This function is used in merge hooks as the fallback instance.
 
1472
        # Perhaps making this function and the functions it calls be a 
 
1473
        # a separate class would be better.
 
1474
        if merge_hook_params.winner == 'other':
 
1475
            # OTHER is a straight winner, so replace this contents with other
 
1476
            return self._default_other_winner_merge(merge_hook_params)
 
1477
        elif merge_hook_params.is_file_merge():
 
1478
            # THIS and OTHER are both files, so text merge.  Either
 
1479
            # BASE is a file, or both converted to files, so at least we
 
1480
            # have agreement that output should be a file.
 
1481
            try:
 
1482
                self.text_merge(merge_hook_params.file_id,
 
1483
                    merge_hook_params.trans_id)
 
1484
            except errors.BinaryFile:
 
1485
                return 'not_applicable', None
 
1486
            return 'done', None
 
1487
        else:
 
1488
            return 'not_applicable', None
660
1489
 
661
1490
    def get_lines(self, tree, file_id):
662
1491
        """Return the lines in a file, or an empty list."""
663
 
        if file_id in tree:
664
 
            return tree.get_file(file_id).readlines()
 
1492
        if tree.has_id(file_id):
 
1493
            return tree.get_file_lines(file_id)
665
1494
        else:
666
1495
            return []
667
1496
 
669
1498
        """Perform a three-way text merge on a file_id"""
670
1499
        # it's possible that we got here with base as a different type.
671
1500
        # if so, we just want two-way text conflicts.
672
 
        if file_id in self.base_tree and \
 
1501
        if self.base_tree.has_id(file_id) and \
673
1502
            self.base_tree.kind(file_id) == "file":
674
1503
            base_lines = self.get_lines(self.base_tree, file_id)
675
1504
        else:
676
1505
            base_lines = []
677
1506
        other_lines = self.get_lines(self.other_tree, file_id)
678
1507
        this_lines = self.get_lines(self.this_tree, file_id)
679
 
        m3 = Merge3(base_lines, this_lines, other_lines)
 
1508
        m3 = merge3.Merge3(base_lines, this_lines, other_lines,
 
1509
                           is_cherrypick=self.cherrypick)
680
1510
        start_marker = "!START OF MERGE CONFLICT!" + "I HOPE THIS IS UNIQUE"
681
1511
        if self.show_base is True:
682
1512
            base_marker = '|' * 7
685
1515
 
686
1516
        def iter_merge3(retval):
687
1517
            retval["text_conflicts"] = False
688
 
            for line in m3.merge_lines(name_a = "TREE", 
689
 
                                       name_b = "MERGE-SOURCE", 
 
1518
            for line in m3.merge_lines(name_a = "TREE",
 
1519
                                       name_b = "MERGE-SOURCE",
690
1520
                                       name_base = "BASE-REVISION",
691
 
                                       start_marker=start_marker, 
 
1521
                                       start_marker=start_marker,
692
1522
                                       base_marker=base_marker,
693
1523
                                       reprocess=self.reprocess):
694
1524
                if line.startswith(start_marker):
703
1533
            self._raw_conflicts.append(('text conflict', trans_id))
704
1534
            name = self.tt.final_name(trans_id)
705
1535
            parent_id = self.tt.final_parent(trans_id)
706
 
            file_group = self._dump_conflicts(name, parent_id, file_id, 
 
1536
            file_group = self._dump_conflicts(name, parent_id, file_id,
707
1537
                                              this_lines, base_lines,
708
1538
                                              other_lines)
709
1539
            file_group.append(trans_id)
710
1540
 
711
 
    def _dump_conflicts(self, name, parent_id, file_id, this_lines=None, 
 
1541
 
 
1542
    def _get_filter_tree_path(self, file_id):
 
1543
        if self.this_tree.supports_content_filtering():
 
1544
            # We get the path from the working tree if it exists.
 
1545
            # That fails though when OTHER is adding a file, so
 
1546
            # we fall back to the other tree to find the path if
 
1547
            # it doesn't exist locally.
 
1548
            try:
 
1549
                return self.this_tree.id2path(file_id)
 
1550
            except errors.NoSuchId:
 
1551
                return self.other_tree.id2path(file_id)
 
1552
        # Skip the id2path lookup for older formats
 
1553
        return None
 
1554
 
 
1555
    def _dump_conflicts(self, name, parent_id, file_id, this_lines=None,
712
1556
                        base_lines=None, other_lines=None, set_version=False,
713
1557
                        no_base=False):
714
1558
        """Emit conflict files.
716
1560
        determined automatically.  If set_version is true, the .OTHER, .THIS
717
1561
        or .BASE (in that order) will be created as versioned files.
718
1562
        """
719
 
        data = [('OTHER', self.other_tree, other_lines), 
 
1563
        data = [('OTHER', self.other_tree, other_lines),
720
1564
                ('THIS', self.this_tree, this_lines)]
721
1565
        if not no_base:
722
1566
            data.append(('BASE', self.base_tree, base_lines))
 
1567
 
 
1568
        # We need to use the actual path in the working tree of the file here,
 
1569
        # ignoring the conflict suffixes
 
1570
        wt = self.this_tree
 
1571
        if wt.supports_content_filtering():
 
1572
            try:
 
1573
                filter_tree_path = wt.id2path(file_id)
 
1574
            except errors.NoSuchId:
 
1575
                # file has been deleted
 
1576
                filter_tree_path = None
 
1577
        else:
 
1578
            # Skip the id2path lookup for older formats
 
1579
            filter_tree_path = None
 
1580
 
723
1581
        versioned = False
724
1582
        file_group = []
725
1583
        for suffix, tree, lines in data:
726
 
            if file_id in tree:
 
1584
            if tree.has_id(file_id):
727
1585
                trans_id = self._conflict_file(name, parent_id, tree, file_id,
728
 
                                               suffix, lines)
 
1586
                                               suffix, lines, filter_tree_path)
729
1587
                file_group.append(trans_id)
730
1588
                if set_version and not versioned:
731
1589
                    self.tt.version_file(file_id, trans_id)
732
1590
                    versioned = True
733
1591
        return file_group
734
 
           
735
 
    def _conflict_file(self, name, parent_id, tree, file_id, suffix, 
736
 
                       lines=None):
 
1592
 
 
1593
    def _conflict_file(self, name, parent_id, tree, file_id, suffix,
 
1594
                       lines=None, filter_tree_path=None):
737
1595
        """Emit a single conflict file."""
738
1596
        name = name + '.' + suffix
739
1597
        trans_id = self.tt.create_path(name, parent_id)
740
 
        entry = tree.inventory[file_id]
741
 
        create_by_entry(self.tt, entry, tree, trans_id, lines)
 
1598
        transform.create_from_tree(self.tt, trans_id, tree, file_id, lines,
 
1599
            filter_tree_path)
742
1600
        return trans_id
743
1601
 
744
1602
    def merge_executable(self, file_id, file_status):
745
1603
        """Perform a merge on the execute bit."""
 
1604
        executable = [self.executable(t, file_id) for t in (self.base_tree,
 
1605
                      self.other_tree, self.this_tree)]
 
1606
        self._merge_executable(file_id, executable, file_status,
 
1607
                               resolver=self._three_way)
 
1608
 
 
1609
    def _merge_executable(self, file_id, executable, file_status,
 
1610
                          resolver):
 
1611
        """Perform a merge on the execute bit."""
 
1612
        base_executable, other_executable, this_executable = executable
746
1613
        if file_status == "deleted":
747
1614
            return
748
 
        trans_id = self.tt.trans_id_file_id(file_id)
749
 
        try:
750
 
            if self.tt.final_kind(trans_id) != "file":
751
 
                return
752
 
        except NoSuchFile:
753
 
            return
754
 
        winner = self.scalar_three_way(self.this_tree, self.base_tree, 
755
 
                                       self.other_tree, file_id, 
756
 
                                       self.executable)
 
1615
        winner = resolver(*executable)
757
1616
        if winner == "conflict":
758
1617
        # There must be a None in here, if we have a conflict, but we
759
1618
        # need executability since file status was not deleted.
761
1620
                winner = "this"
762
1621
            else:
763
1622
                winner = "other"
 
1623
        if winner == 'this' and file_status != "modified":
 
1624
            return
 
1625
        trans_id = self.tt.trans_id_file_id(file_id)
 
1626
        if self.tt.final_kind(trans_id) != "file":
 
1627
            return
764
1628
        if winner == "this":
765
 
            if file_status == "modified":
766
 
                executability = self.this_tree.is_executable(file_id)
767
 
                if executability is not None:
768
 
                    trans_id = self.tt.trans_id_file_id(file_id)
769
 
                    self.tt.set_executability(executability, trans_id)
 
1629
            executability = this_executable
770
1630
        else:
771
 
            assert winner == "other"
772
 
            if file_id in self.other_tree:
773
 
                executability = self.other_tree.is_executable(file_id)
774
 
            elif file_id in self.this_tree:
775
 
                executability = self.this_tree.is_executable(file_id)
776
 
            elif file_id in self.base_tree:
777
 
                executability = self.base_tree.is_executable(file_id)
778
 
            if executability is not None:
779
 
                trans_id = self.tt.trans_id_file_id(file_id)
780
 
                self.tt.set_executability(executability, trans_id)
 
1631
            if self.other_tree.has_id(file_id):
 
1632
                executability = other_executable
 
1633
            elif self.this_tree.has_id(file_id):
 
1634
                executability = this_executable
 
1635
            elif self.base_tree_has_id(file_id):
 
1636
                executability = base_executable
 
1637
        if executability is not None:
 
1638
            trans_id = self.tt.trans_id_file_id(file_id)
 
1639
            self.tt.set_executability(executability, trans_id)
781
1640
 
782
1641
    def cook_conflicts(self, fs_conflicts):
783
1642
        """Convert all conflicts into a form that doesn't depend on trans_id"""
784
 
        from conflicts import Conflict
785
 
        name_conflicts = {}
786
 
        self.cooked_conflicts.extend(cook_conflicts(fs_conflicts, self.tt))
787
 
        fp = FinalPaths(self.tt)
 
1643
        content_conflict_file_ids = set()
 
1644
        cooked_conflicts = transform.cook_conflicts(fs_conflicts, self.tt)
 
1645
        fp = transform.FinalPaths(self.tt)
788
1646
        for conflict in self._raw_conflicts:
789
1647
            conflict_type = conflict[0]
790
 
            if conflict_type in ('name conflict', 'parent conflict'):
791
 
                trans_id = conflict[1]
792
 
                conflict_args = conflict[2:]
793
 
                if trans_id not in name_conflicts:
794
 
                    name_conflicts[trans_id] = {}
795
 
                unique_add(name_conflicts[trans_id], conflict_type, 
796
 
                           conflict_args)
797
 
            if conflict_type == 'contents conflict':
 
1648
            if conflict_type == 'path conflict':
 
1649
                (trans_id, file_id,
 
1650
                this_parent, this_name,
 
1651
                other_parent, other_name) = conflict[1:]
 
1652
                if this_parent is None or this_name is None:
 
1653
                    this_path = '<deleted>'
 
1654
                else:
 
1655
                    parent_path =  fp.get_path(
 
1656
                        self.tt.trans_id_file_id(this_parent))
 
1657
                    this_path = osutils.pathjoin(parent_path, this_name)
 
1658
                if other_parent is None or other_name is None:
 
1659
                    other_path = '<deleted>'
 
1660
                else:
 
1661
                    if other_parent == self.other_tree.get_root_id():
 
1662
                        # The tree transform doesn't know about the other root,
 
1663
                        # so we special case here to avoid a NoFinalPath
 
1664
                        # exception
 
1665
                        parent_path = ''
 
1666
                    else:
 
1667
                        parent_path =  fp.get_path(
 
1668
                            self.tt.trans_id_file_id(other_parent))
 
1669
                    other_path = osutils.pathjoin(parent_path, other_name)
 
1670
                c = _mod_conflicts.Conflict.factory(
 
1671
                    'path conflict', path=this_path,
 
1672
                    conflict_path=other_path,
 
1673
                    file_id=file_id)
 
1674
            elif conflict_type == 'contents conflict':
798
1675
                for trans_id in conflict[1]:
799
1676
                    file_id = self.tt.final_file_id(trans_id)
800
1677
                    if file_id is not None:
 
1678
                        # Ok we found the relevant file-id
801
1679
                        break
802
1680
                path = fp.get_path(trans_id)
803
1681
                for suffix in ('.BASE', '.THIS', '.OTHER'):
804
1682
                    if path.endswith(suffix):
 
1683
                        # Here is the raw path
805
1684
                        path = path[:-len(suffix)]
806
1685
                        break
807
 
                c = Conflict.factory(conflict_type, path=path, file_id=file_id)
808
 
                self.cooked_conflicts.append(c)
809
 
            if conflict_type == 'text conflict':
 
1686
                c = _mod_conflicts.Conflict.factory(conflict_type,
 
1687
                                                    path=path, file_id=file_id)
 
1688
                content_conflict_file_ids.add(file_id)
 
1689
            elif conflict_type == 'text conflict':
810
1690
                trans_id = conflict[1]
811
1691
                path = fp.get_path(trans_id)
812
1692
                file_id = self.tt.final_file_id(trans_id)
813
 
                c = Conflict.factory(conflict_type, path=path, file_id=file_id)
814
 
                self.cooked_conflicts.append(c)
 
1693
                c = _mod_conflicts.Conflict.factory(conflict_type,
 
1694
                                                    path=path, file_id=file_id)
 
1695
            else:
 
1696
                raise AssertionError('bad conflict type: %r' % (conflict,))
 
1697
            cooked_conflicts.append(c)
815
1698
 
816
 
        for trans_id, conflicts in name_conflicts.iteritems():
817
 
            try:
818
 
                this_parent, other_parent = conflicts['parent conflict']
819
 
                assert this_parent != other_parent
820
 
            except KeyError:
821
 
                this_parent = other_parent = \
822
 
                    self.tt.final_file_id(self.tt.final_parent(trans_id))
823
 
            try:
824
 
                this_name, other_name = conflicts['name conflict']
825
 
                assert this_name != other_name
826
 
            except KeyError:
827
 
                this_name = other_name = self.tt.final_name(trans_id)
828
 
            other_path = fp.get_path(trans_id)
829
 
            if this_parent is not None:
830
 
                this_parent_path = \
831
 
                    fp.get_path(self.tt.trans_id_file_id(this_parent))
832
 
                this_path = pathjoin(this_parent_path, this_name)
833
 
            else:
834
 
                this_path = "<deleted>"
835
 
            file_id = self.tt.final_file_id(trans_id)
836
 
            c = Conflict.factory('path conflict', path=this_path,
837
 
                                 conflict_path=other_path, file_id=file_id)
 
1699
        self.cooked_conflicts = []
 
1700
        # We want to get rid of path conflicts when a corresponding contents
 
1701
        # conflict exists. This can occur when one branch deletes a file while
 
1702
        # the other renames *and* modifies it. In this case, the content
 
1703
        # conflict is enough.
 
1704
        for c in cooked_conflicts:
 
1705
            if (c.typestring == 'path conflict'
 
1706
                and c.file_id in content_conflict_file_ids):
 
1707
                continue
838
1708
            self.cooked_conflicts.append(c)
839
 
        self.cooked_conflicts.sort(key=Conflict.sort_key)
 
1709
        self.cooked_conflicts.sort(key=_mod_conflicts.Conflict.sort_key)
840
1710
 
841
1711
 
842
1712
class WeaveMerger(Merge3Merger):
843
1713
    """Three-way tree merger, text weave merger."""
844
1714
    supports_reprocess = True
845
1715
    supports_show_base = False
846
 
 
847
 
    def __init__(self, working_tree, this_tree, base_tree, other_tree, 
848
 
                 interesting_ids=None, pb=DummyProgress(), pp=None,
849
 
                 reprocess=False, change_reporter=None):
850
 
        self.this_revision_tree = self._get_revision_tree(this_tree)
851
 
        self.other_revision_tree = self._get_revision_tree(other_tree)
852
 
        super(WeaveMerger, self).__init__(working_tree, this_tree, 
853
 
                                          base_tree, other_tree, 
854
 
                                          interesting_ids=interesting_ids, 
855
 
                                          pb=pb, pp=pp, reprocess=reprocess,
856
 
                                          change_reporter=change_reporter)
857
 
 
858
 
    def _get_revision_tree(self, tree):
859
 
        """Return a revision tree related to this tree.
860
 
        If the tree is a WorkingTree, the basis will be returned.
861
 
        """
862
 
        if getattr(tree, 'get_weave', False) is False:
863
 
            # If we have a WorkingTree, try using the basis
864
 
            return tree.branch.basis_tree()
865
 
        else:
866
 
            return tree
867
 
 
868
 
    def _check_file(self, file_id):
869
 
        """Check that the revision tree's version of the file matches."""
870
 
        for tree, rt in ((self.this_tree, self.this_revision_tree), 
871
 
                         (self.other_tree, self.other_revision_tree)):
872
 
            if rt is tree:
873
 
                continue
874
 
            if tree.get_file_sha1(file_id) != rt.get_file_sha1(file_id):
875
 
                raise WorkingTreeNotRevision(self.this_tree)
 
1716
    supports_reverse_cherrypick = False
 
1717
    history_based = True
 
1718
 
 
1719
    def _generate_merge_plan(self, file_id, base):
 
1720
        return self.this_tree.plan_file_merge(file_id, self.other_tree,
 
1721
                                              base=base)
876
1722
 
877
1723
    def _merged_lines(self, file_id):
878
1724
        """Generate the merged lines.
879
1725
        There is no distinction between lines that are meant to contain <<<<<<<
880
1726
        and conflicts.
881
1727
        """
882
 
        weave = self.this_revision_tree.get_weave(file_id)
883
 
        this_revision_id = self.this_revision_tree.inventory[file_id].revision
884
 
        other_revision_id = \
885
 
            self.other_revision_tree.inventory[file_id].revision
886
 
        wm = WeaveMerge(weave, this_revision_id, other_revision_id, 
887
 
                        '<<<<<<< TREE\n', '>>>>>>> MERGE-SOURCE\n')
888
 
        return wm.merge_lines(self.reprocess)
 
1728
        if self.cherrypick:
 
1729
            base = self.base_tree
 
1730
        else:
 
1731
            base = None
 
1732
        plan = self._generate_merge_plan(file_id, base)
 
1733
        if 'merge' in debug.debug_flags:
 
1734
            plan = list(plan)
 
1735
            trans_id = self.tt.trans_id_file_id(file_id)
 
1736
            name = self.tt.final_name(trans_id) + '.plan'
 
1737
            contents = ('%11s|%s' % l for l in plan)
 
1738
            self.tt.new_file(name, self.tt.final_parent(trans_id), contents)
 
1739
        textmerge = versionedfile.PlanWeaveMerge(plan, '<<<<<<< TREE\n',
 
1740
                                                 '>>>>>>> MERGE-SOURCE\n')
 
1741
        lines, conflicts = textmerge.merge_lines(self.reprocess)
 
1742
        if conflicts:
 
1743
            base_lines = textmerge.base_from_plan()
 
1744
        else:
 
1745
            base_lines = None
 
1746
        return lines, base_lines
889
1747
 
890
1748
    def text_merge(self, file_id, trans_id):
891
1749
        """Perform a (weave) text merge for a given file and file-id.
892
1750
        If conflicts are encountered, .THIS and .OTHER files will be emitted,
893
1751
        and a conflict will be noted.
894
1752
        """
895
 
        self._check_file(file_id)
896
 
        lines, conflicts = self._merged_lines(file_id)
 
1753
        lines, base_lines = self._merged_lines(file_id)
897
1754
        lines = list(lines)
898
 
        # Note we're checking whether the OUTPUT is binary in this case, 
 
1755
        # Note we're checking whether the OUTPUT is binary in this case,
899
1756
        # because we don't want to get into weave merge guts.
900
 
        check_text_lines(lines)
 
1757
        textfile.check_text_lines(lines)
901
1758
        self.tt.create_file(lines, trans_id)
902
 
        if conflicts:
 
1759
        if base_lines is not None:
 
1760
            # Conflict
903
1761
            self._raw_conflicts.append(('text conflict', trans_id))
904
1762
            name = self.tt.final_name(trans_id)
905
1763
            parent_id = self.tt.final_parent(trans_id)
906
 
            file_group = self._dump_conflicts(name, parent_id, file_id, 
907
 
                                              no_base=True)
 
1764
            file_group = self._dump_conflicts(name, parent_id, file_id,
 
1765
                                              no_base=False,
 
1766
                                              base_lines=base_lines)
908
1767
            file_group.append(trans_id)
909
1768
 
910
1769
 
 
1770
class LCAMerger(WeaveMerger):
 
1771
 
 
1772
    def _generate_merge_plan(self, file_id, base):
 
1773
        return self.this_tree.plan_file_lca_merge(file_id, self.other_tree,
 
1774
                                                  base=base)
 
1775
 
911
1776
class Diff3Merger(Merge3Merger):
912
1777
    """Three-way merger using external diff3 for text merging"""
913
1778
 
914
1779
    def dump_file(self, temp_dir, name, tree, file_id):
915
 
        out_path = pathjoin(temp_dir, name)
 
1780
        out_path = osutils.pathjoin(temp_dir, name)
916
1781
        out_file = open(out_path, "wb")
917
1782
        try:
918
1783
            in_file = tree.get_file(file_id)
930
1795
        import bzrlib.patch
931
1796
        temp_dir = osutils.mkdtemp(prefix="bzr-")
932
1797
        try:
933
 
            new_file = pathjoin(temp_dir, "new")
 
1798
            new_file = osutils.pathjoin(temp_dir, "new")
934
1799
            this = self.dump_file(temp_dir, "this", self.this_tree, file_id)
935
1800
            base = self.dump_file(temp_dir, "base", self.base_tree, file_id)
936
1801
            other = self.dump_file(temp_dir, "other", self.other_tree, file_id)
937
1802
            status = bzrlib.patch.diff3(new_file, this, base, other)
938
1803
            if status not in (0, 1):
939
 
                raise BzrError("Unhandled diff3 exit code")
 
1804
                raise errors.BzrError("Unhandled diff3 exit code")
940
1805
            f = open(new_file, 'rb')
941
1806
            try:
942
1807
                self.tt.create_file(f, trans_id)
951
1816
            osutils.rmtree(temp_dir)
952
1817
 
953
1818
 
 
1819
class PathNotInTree(errors.BzrError):
 
1820
 
 
1821
    _fmt = """Merge-into failed because %(tree)s does not contain %(path)s."""
 
1822
 
 
1823
    def __init__(self, path, tree):
 
1824
        errors.BzrError.__init__(self, path=path, tree=tree)
 
1825
 
 
1826
 
 
1827
class MergeIntoMerger(Merger):
 
1828
    """Merger that understands other_tree will be merged into a subdir.
 
1829
 
 
1830
    This also changes the Merger api so that it uses real Branch, revision_id,
 
1831
    and RevisonTree objects, rather than using revision specs.
 
1832
    """
 
1833
 
 
1834
    def __init__(self, this_tree, other_branch, other_tree, target_subdir,
 
1835
            source_subpath, other_rev_id=None):
 
1836
        """Create a new MergeIntoMerger object.
 
1837
 
 
1838
        source_subpath in other_tree will be effectively copied to
 
1839
        target_subdir in this_tree.
 
1840
 
 
1841
        :param this_tree: The tree that we will be merging into.
 
1842
        :param other_branch: The Branch we will be merging from.
 
1843
        :param other_tree: The RevisionTree object we want to merge.
 
1844
        :param target_subdir: The relative path where we want to merge
 
1845
            other_tree into this_tree
 
1846
        :param source_subpath: The relative path specifying the subtree of
 
1847
            other_tree to merge into this_tree.
 
1848
        """
 
1849
        # It is assumed that we are merging a tree that is not in our current
 
1850
        # ancestry, which means we are using the "EmptyTree" as our basis.
 
1851
        null_ancestor_tree = this_tree.branch.repository.revision_tree(
 
1852
                                _mod_revision.NULL_REVISION)
 
1853
        super(MergeIntoMerger, self).__init__(
 
1854
            this_branch=this_tree.branch,
 
1855
            this_tree=this_tree,
 
1856
            other_tree=other_tree,
 
1857
            base_tree=null_ancestor_tree,
 
1858
            )
 
1859
        self._target_subdir = target_subdir
 
1860
        self._source_subpath = source_subpath
 
1861
        self.other_branch = other_branch
 
1862
        if other_rev_id is None:
 
1863
            other_rev_id = other_tree.get_revision_id()
 
1864
        self.other_rev_id = self.other_basis = other_rev_id
 
1865
        self.base_is_ancestor = True
 
1866
        self.backup_files = True
 
1867
        self.merge_type = Merge3Merger
 
1868
        self.show_base = False
 
1869
        self.reprocess = False
 
1870
        self.interesting_ids = None
 
1871
        self.merge_type = _MergeTypeParameterizer(MergeIntoMergeType,
 
1872
              target_subdir=self._target_subdir,
 
1873
              source_subpath=self._source_subpath)
 
1874
        if self._source_subpath != '':
 
1875
            # If this isn't a partial merge make sure the revisions will be
 
1876
            # present.
 
1877
            self._maybe_fetch(self.other_branch, self.this_branch,
 
1878
                self.other_basis)
 
1879
 
 
1880
    def set_pending(self):
 
1881
        if self._source_subpath != '':
 
1882
            return
 
1883
        Merger.set_pending(self)
 
1884
 
 
1885
 
 
1886
class _MergeTypeParameterizer(object):
 
1887
    """Wrap a merge-type class to provide extra parameters.
 
1888
    
 
1889
    This is hack used by MergeIntoMerger to pass some extra parameters to its
 
1890
    merge_type.  Merger.do_merge() sets up its own set of parameters to pass to
 
1891
    the 'merge_type' member.  It is difficult override do_merge without
 
1892
    re-writing the whole thing, so instead we create a wrapper which will pass
 
1893
    the extra parameters.
 
1894
    """
 
1895
 
 
1896
    def __init__(self, merge_type, **kwargs):
 
1897
        self._extra_kwargs = kwargs
 
1898
        self._merge_type = merge_type
 
1899
 
 
1900
    def __call__(self, *args, **kwargs):
 
1901
        kwargs.update(self._extra_kwargs)
 
1902
        return self._merge_type(*args, **kwargs)
 
1903
 
 
1904
    def __getattr__(self, name):
 
1905
        return getattr(self._merge_type, name)
 
1906
 
 
1907
 
 
1908
class MergeIntoMergeType(Merge3Merger):
 
1909
    """Merger that incorporates a tree (or part of a tree) into another."""
 
1910
 
 
1911
    def __init__(self, *args, **kwargs):
 
1912
        """Initialize the merger object.
 
1913
 
 
1914
        :param args: See Merge3Merger.__init__'s args.
 
1915
        :param kwargs: See Merge3Merger.__init__'s keyword args, except for
 
1916
            source_subpath and target_subdir.
 
1917
        :keyword source_subpath: The relative path specifying the subtree of
 
1918
            other_tree to merge into this_tree.
 
1919
        :keyword target_subdir: The relative path where we want to merge
 
1920
            other_tree into this_tree
 
1921
        """
 
1922
        # All of the interesting work happens during Merge3Merger.__init__(),
 
1923
        # so we have have to hack in to get our extra parameters set.
 
1924
        self._source_subpath = kwargs.pop('source_subpath')
 
1925
        self._target_subdir = kwargs.pop('target_subdir')
 
1926
        super(MergeIntoMergeType, self).__init__(*args, **kwargs)
 
1927
 
 
1928
    def _compute_transform(self):
 
1929
        child_pb = ui.ui_factory.nested_progress_bar()
 
1930
        try:
 
1931
            entries = self._entries_to_incorporate()
 
1932
            entries = list(entries)
 
1933
            for num, (entry, parent_id) in enumerate(entries):
 
1934
                child_pb.update(gettext('Preparing file merge'), num, len(entries))
 
1935
                parent_trans_id = self.tt.trans_id_file_id(parent_id)
 
1936
                trans_id = transform.new_by_entry(self.tt, entry,
 
1937
                    parent_trans_id, self.other_tree)
 
1938
        finally:
 
1939
            child_pb.finished()
 
1940
        self._finish_computing_transform()
 
1941
 
 
1942
    def _entries_to_incorporate(self):
 
1943
        """Yields pairs of (inventory_entry, new_parent)."""
 
1944
        other_inv = self.other_tree.root_inventory
 
1945
        subdir_id = other_inv.path2id(self._source_subpath)
 
1946
        if subdir_id is None:
 
1947
            # XXX: The error would be clearer if it gave the URL of the source
 
1948
            # branch, but we don't have a reference to that here.
 
1949
            raise PathNotInTree(self._source_subpath, "Source tree")
 
1950
        subdir = other_inv[subdir_id]
 
1951
        parent_in_target = osutils.dirname(self._target_subdir)
 
1952
        target_id = self.this_tree.path2id(parent_in_target)
 
1953
        if target_id is None:
 
1954
            raise PathNotInTree(self._target_subdir, "Target tree")
 
1955
        name_in_target = osutils.basename(self._target_subdir)
 
1956
        merge_into_root = subdir.copy()
 
1957
        merge_into_root.name = name_in_target
 
1958
        if self.this_tree.has_id(merge_into_root.file_id):
 
1959
            # Give the root a new file-id.
 
1960
            # This can happen fairly easily if the directory we are
 
1961
            # incorporating is the root, and both trees have 'TREE_ROOT' as
 
1962
            # their root_id.  Users will expect this to Just Work, so we
 
1963
            # change the file-id here.
 
1964
            # Non-root file-ids could potentially conflict too.  That's really
 
1965
            # an edge case, so we don't do anything special for those.  We let
 
1966
            # them cause conflicts.
 
1967
            merge_into_root.file_id = generate_ids.gen_file_id(name_in_target)
 
1968
        yield (merge_into_root, target_id)
 
1969
        if subdir.kind != 'directory':
 
1970
            # No children, so we are done.
 
1971
            return
 
1972
        for ignored_path, entry in other_inv.iter_entries_by_dir(subdir_id):
 
1973
            parent_id = entry.parent_id
 
1974
            if parent_id == subdir.file_id:
 
1975
                # The root's parent ID has changed, so make sure children of
 
1976
                # the root refer to the new ID.
 
1977
                parent_id = merge_into_root.file_id
 
1978
            yield (entry, parent_id)
 
1979
 
 
1980
 
954
1981
def merge_inner(this_branch, other_tree, base_tree, ignore_zero=False,
955
1982
                backup_files=False,
956
1983
                merge_type=Merge3Merger,
960
1987
                other_rev_id=None,
961
1988
                interesting_files=None,
962
1989
                this_tree=None,
963
 
                pb=DummyProgress(),
 
1990
                pb=None,
964
1991
                change_reporter=None):
965
 
    """Primary interface for merging. 
966
 
 
967
 
        typical use is probably 
968
 
        'merge_inner(branch, branch.get_revision_tree(other_revision),
969
 
                     branch.get_revision_tree(base_revision))'
970
 
        """
 
1992
    """Primary interface for merging.
 
1993
 
 
1994
    Typical use is probably::
 
1995
 
 
1996
        merge_inner(branch, branch.get_revision_tree(other_revision),
 
1997
                    branch.get_revision_tree(base_revision))
 
1998
    """
971
1999
    if this_tree is None:
972
 
        warnings.warn("bzrlib.merge.merge_inner requires a this_tree parameter as of "
973
 
             "bzrlib version 0.8.",
974
 
             DeprecationWarning,
975
 
             stacklevel=2)
976
 
        this_tree = this_branch.bzrdir.open_workingtree()
 
2000
        raise errors.BzrError("bzrlib.merge.merge_inner requires a this_tree "
 
2001
                              "parameter")
977
2002
    merger = Merger(this_branch, other_tree, base_tree, this_tree=this_tree,
978
2003
                    pb=pb, change_reporter=change_reporter)
979
2004
    merger.backup_files = backup_files
981
2006
    merger.interesting_ids = interesting_ids
982
2007
    merger.ignore_zero = ignore_zero
983
2008
    if interesting_files:
984
 
        assert not interesting_ids, ('Only supply interesting_ids'
985
 
                                     ' or interesting_files')
986
 
        merger._set_interesting_files(interesting_files)
 
2009
        if interesting_ids:
 
2010
            raise ValueError('Only supply interesting_ids'
 
2011
                             ' or interesting_files')
 
2012
        merger.interesting_files = interesting_files
987
2013
    merger.show_base = show_base
988
2014
    merger.reprocess = reprocess
989
2015
    merger.other_rev_id = other_rev_id
990
2016
    merger.other_basis = other_rev_id
 
2017
    get_revision_id = getattr(base_tree, 'get_revision_id', None)
 
2018
    if get_revision_id is None:
 
2019
        get_revision_id = base_tree.last_revision
 
2020
    merger.cache_trees_with_revision_ids([other_tree, base_tree, this_tree])
 
2021
    merger.set_base_revision(get_revision_id(), this_branch)
991
2022
    return merger.do_merge()
992
2023
 
 
2024
 
 
2025
merge_type_registry = registry.Registry()
 
2026
merge_type_registry.register('diff3', Diff3Merger,
 
2027
                             "Merge using external diff3.")
 
2028
merge_type_registry.register('lca', LCAMerger,
 
2029
                             "LCA-newness merge.")
 
2030
merge_type_registry.register('merge3', Merge3Merger,
 
2031
                             "Native diff3-style merge.")
 
2032
merge_type_registry.register('weave', WeaveMerger,
 
2033
                             "Weave-based merge.")
 
2034
 
 
2035
 
993
2036
def get_merge_type_registry():
994
 
    """Merge type registry is in bzrlib.option to avoid circular imports.
995
 
 
996
 
    This method provides a sanctioned way to retrieve it.
997
 
    """
998
 
    from bzrlib import option
999
 
    return option._merge_type_registry
 
2037
    """Merge type registry was previously in bzrlib.option
 
2038
 
 
2039
    This method provides a backwards compatible way to retrieve it.
 
2040
    """
 
2041
    return merge_type_registry
 
2042
 
 
2043
 
 
2044
def _plan_annotate_merge(annotated_a, annotated_b, ancestors_a, ancestors_b):
 
2045
    def status_a(revision, text):
 
2046
        if revision in ancestors_b:
 
2047
            return 'killed-b', text
 
2048
        else:
 
2049
            return 'new-a', text
 
2050
 
 
2051
    def status_b(revision, text):
 
2052
        if revision in ancestors_a:
 
2053
            return 'killed-a', text
 
2054
        else:
 
2055
            return 'new-b', text
 
2056
 
 
2057
    plain_a = [t for (a, t) in annotated_a]
 
2058
    plain_b = [t for (a, t) in annotated_b]
 
2059
    matcher = patiencediff.PatienceSequenceMatcher(None, plain_a, plain_b)
 
2060
    blocks = matcher.get_matching_blocks()
 
2061
    a_cur = 0
 
2062
    b_cur = 0
 
2063
    for ai, bi, l in blocks:
 
2064
        # process all mismatched sections
 
2065
        # (last mismatched section is handled because blocks always
 
2066
        # includes a 0-length last block)
 
2067
        for revision, text in annotated_a[a_cur:ai]:
 
2068
            yield status_a(revision, text)
 
2069
        for revision, text in annotated_b[b_cur:bi]:
 
2070
            yield status_b(revision, text)
 
2071
        # and now the matched section
 
2072
        a_cur = ai + l
 
2073
        b_cur = bi + l
 
2074
        for text_a in plain_a[ai:a_cur]:
 
2075
            yield "unchanged", text_a
 
2076
 
 
2077
 
 
2078
class _PlanMergeBase(object):
 
2079
 
 
2080
    def __init__(self, a_rev, b_rev, vf, key_prefix):
 
2081
        """Contructor.
 
2082
 
 
2083
        :param a_rev: Revision-id of one revision to merge
 
2084
        :param b_rev: Revision-id of the other revision to merge
 
2085
        :param vf: A VersionedFiles containing both revisions
 
2086
        :param key_prefix: A prefix for accessing keys in vf, typically
 
2087
            (file_id,).
 
2088
        """
 
2089
        self.a_rev = a_rev
 
2090
        self.b_rev = b_rev
 
2091
        self.vf = vf
 
2092
        self._last_lines = None
 
2093
        self._last_lines_revision_id = None
 
2094
        self._cached_matching_blocks = {}
 
2095
        self._key_prefix = key_prefix
 
2096
        self._precache_tip_lines()
 
2097
 
 
2098
    def _precache_tip_lines(self):
 
2099
        lines = self.get_lines([self.a_rev, self.b_rev])
 
2100
        self.lines_a = lines[self.a_rev]
 
2101
        self.lines_b = lines[self.b_rev]
 
2102
 
 
2103
    def get_lines(self, revisions):
 
2104
        """Get lines for revisions from the backing VersionedFiles.
 
2105
 
 
2106
        :raises RevisionNotPresent: on absent texts.
 
2107
        """
 
2108
        keys = [(self._key_prefix + (rev,)) for rev in revisions]
 
2109
        result = {}
 
2110
        for record in self.vf.get_record_stream(keys, 'unordered', True):
 
2111
            if record.storage_kind == 'absent':
 
2112
                raise errors.RevisionNotPresent(record.key, self.vf)
 
2113
            result[record.key[-1]] = osutils.chunks_to_lines(
 
2114
                record.get_bytes_as('chunked'))
 
2115
        return result
 
2116
 
 
2117
    def plan_merge(self):
 
2118
        """Generate a 'plan' for merging the two revisions.
 
2119
 
 
2120
        This involves comparing their texts and determining the cause of
 
2121
        differences.  If text A has a line and text B does not, then either the
 
2122
        line was added to text A, or it was deleted from B.  Once the causes
 
2123
        are combined, they are written out in the format described in
 
2124
        VersionedFile.plan_merge
 
2125
        """
 
2126
        blocks = self._get_matching_blocks(self.a_rev, self.b_rev)
 
2127
        unique_a, unique_b = self._unique_lines(blocks)
 
2128
        new_a, killed_b = self._determine_status(self.a_rev, unique_a)
 
2129
        new_b, killed_a = self._determine_status(self.b_rev, unique_b)
 
2130
        return self._iter_plan(blocks, new_a, killed_b, new_b, killed_a)
 
2131
 
 
2132
    def _iter_plan(self, blocks, new_a, killed_b, new_b, killed_a):
 
2133
        last_i = 0
 
2134
        last_j = 0
 
2135
        for i, j, n in blocks:
 
2136
            for a_index in range(last_i, i):
 
2137
                if a_index in new_a:
 
2138
                    if a_index in killed_b:
 
2139
                        yield 'conflicted-a', self.lines_a[a_index]
 
2140
                    else:
 
2141
                        yield 'new-a', self.lines_a[a_index]
 
2142
                else:
 
2143
                    yield 'killed-b', self.lines_a[a_index]
 
2144
            for b_index in range(last_j, j):
 
2145
                if b_index in new_b:
 
2146
                    if b_index in killed_a:
 
2147
                        yield 'conflicted-b', self.lines_b[b_index]
 
2148
                    else:
 
2149
                        yield 'new-b', self.lines_b[b_index]
 
2150
                else:
 
2151
                    yield 'killed-a', self.lines_b[b_index]
 
2152
            # handle common lines
 
2153
            for a_index in range(i, i+n):
 
2154
                yield 'unchanged', self.lines_a[a_index]
 
2155
            last_i = i+n
 
2156
            last_j = j+n
 
2157
 
 
2158
    def _get_matching_blocks(self, left_revision, right_revision):
 
2159
        """Return a description of which sections of two revisions match.
 
2160
 
 
2161
        See SequenceMatcher.get_matching_blocks
 
2162
        """
 
2163
        cached = self._cached_matching_blocks.get((left_revision,
 
2164
                                                   right_revision))
 
2165
        if cached is not None:
 
2166
            return cached
 
2167
        if self._last_lines_revision_id == left_revision:
 
2168
            left_lines = self._last_lines
 
2169
            right_lines = self.get_lines([right_revision])[right_revision]
 
2170
        else:
 
2171
            lines = self.get_lines([left_revision, right_revision])
 
2172
            left_lines = lines[left_revision]
 
2173
            right_lines = lines[right_revision]
 
2174
        self._last_lines = right_lines
 
2175
        self._last_lines_revision_id = right_revision
 
2176
        matcher = patiencediff.PatienceSequenceMatcher(None, left_lines,
 
2177
                                                       right_lines)
 
2178
        return matcher.get_matching_blocks()
 
2179
 
 
2180
    def _unique_lines(self, matching_blocks):
 
2181
        """Analyse matching_blocks to determine which lines are unique
 
2182
 
 
2183
        :return: a tuple of (unique_left, unique_right), where the values are
 
2184
            sets of line numbers of unique lines.
 
2185
        """
 
2186
        last_i = 0
 
2187
        last_j = 0
 
2188
        unique_left = []
 
2189
        unique_right = []
 
2190
        for i, j, n in matching_blocks:
 
2191
            unique_left.extend(range(last_i, i))
 
2192
            unique_right.extend(range(last_j, j))
 
2193
            last_i = i + n
 
2194
            last_j = j + n
 
2195
        return unique_left, unique_right
 
2196
 
 
2197
    @staticmethod
 
2198
    def _subtract_plans(old_plan, new_plan):
 
2199
        """Remove changes from new_plan that came from old_plan.
 
2200
 
 
2201
        It is assumed that the difference between the old_plan and new_plan
 
2202
        is their choice of 'b' text.
 
2203
 
 
2204
        All lines from new_plan that differ from old_plan are emitted
 
2205
        verbatim.  All lines from new_plan that match old_plan but are
 
2206
        not about the 'b' revision are emitted verbatim.
 
2207
 
 
2208
        Lines that match and are about the 'b' revision are the lines we
 
2209
        don't want, so we convert 'killed-b' -> 'unchanged', and 'new-b'
 
2210
        is skipped entirely.
 
2211
        """
 
2212
        matcher = patiencediff.PatienceSequenceMatcher(None, old_plan,
 
2213
                                                       new_plan)
 
2214
        last_j = 0
 
2215
        for i, j, n in matcher.get_matching_blocks():
 
2216
            for jj in range(last_j, j):
 
2217
                yield new_plan[jj]
 
2218
            for jj in range(j, j+n):
 
2219
                plan_line = new_plan[jj]
 
2220
                if plan_line[0] == 'new-b':
 
2221
                    pass
 
2222
                elif plan_line[0] == 'killed-b':
 
2223
                    yield 'unchanged', plan_line[1]
 
2224
                else:
 
2225
                    yield plan_line
 
2226
            last_j = j + n
 
2227
 
 
2228
 
 
2229
class _PlanMerge(_PlanMergeBase):
 
2230
    """Plan an annotate merge using on-the-fly annotation"""
 
2231
 
 
2232
    def __init__(self, a_rev, b_rev, vf, key_prefix):
 
2233
        super(_PlanMerge, self).__init__(a_rev, b_rev, vf, key_prefix)
 
2234
        self.a_key = self._key_prefix + (self.a_rev,)
 
2235
        self.b_key = self._key_prefix + (self.b_rev,)
 
2236
        self.graph = _mod_graph.Graph(self.vf)
 
2237
        heads = self.graph.heads((self.a_key, self.b_key))
 
2238
        if len(heads) == 1:
 
2239
            # one side dominates, so we can just return its values, yay for
 
2240
            # per-file graphs
 
2241
            # Ideally we would know that before we get this far
 
2242
            self._head_key = heads.pop()
 
2243
            if self._head_key == self.a_key:
 
2244
                other = b_rev
 
2245
            else:
 
2246
                other = a_rev
 
2247
            trace.mutter('found dominating revision for %s\n%s > %s', self.vf,
 
2248
                         self._head_key[-1], other)
 
2249
            self._weave = None
 
2250
        else:
 
2251
            self._head_key = None
 
2252
            self._build_weave()
 
2253
 
 
2254
    def _precache_tip_lines(self):
 
2255
        # Turn this into a no-op, because we will do this later
 
2256
        pass
 
2257
 
 
2258
    def _find_recursive_lcas(self):
 
2259
        """Find all the ancestors back to a unique lca"""
 
2260
        cur_ancestors = (self.a_key, self.b_key)
 
2261
        # graph.find_lca(uncommon, keys) now returns plain NULL_REVISION,
 
2262
        # rather than a key tuple. We will just map that directly to no common
 
2263
        # ancestors.
 
2264
        parent_map = {}
 
2265
        while True:
 
2266
            next_lcas = self.graph.find_lca(*cur_ancestors)
 
2267
            # Map a plain NULL_REVISION to a simple no-ancestors
 
2268
            if next_lcas == set([_mod_revision.NULL_REVISION]):
 
2269
                next_lcas = ()
 
2270
            # Order the lca's based on when they were merged into the tip
 
2271
            # While the actual merge portion of weave merge uses a set() of
 
2272
            # active revisions, the order of insertion *does* effect the
 
2273
            # implicit ordering of the texts.
 
2274
            for rev_key in cur_ancestors:
 
2275
                ordered_parents = tuple(self.graph.find_merge_order(rev_key,
 
2276
                                                                    next_lcas))
 
2277
                parent_map[rev_key] = ordered_parents
 
2278
            if len(next_lcas) == 0:
 
2279
                break
 
2280
            elif len(next_lcas) == 1:
 
2281
                parent_map[list(next_lcas)[0]] = ()
 
2282
                break
 
2283
            elif len(next_lcas) > 2:
 
2284
                # More than 2 lca's, fall back to grabbing all nodes between
 
2285
                # this and the unique lca.
 
2286
                trace.mutter('More than 2 LCAs, falling back to all nodes for:'
 
2287
                             ' %s, %s\n=> %s',
 
2288
                             self.a_key, self.b_key, cur_ancestors)
 
2289
                cur_lcas = next_lcas
 
2290
                while len(cur_lcas) > 1:
 
2291
                    cur_lcas = self.graph.find_lca(*cur_lcas)
 
2292
                if len(cur_lcas) == 0:
 
2293
                    # No common base to find, use the full ancestry
 
2294
                    unique_lca = None
 
2295
                else:
 
2296
                    unique_lca = list(cur_lcas)[0]
 
2297
                    if unique_lca == _mod_revision.NULL_REVISION:
 
2298
                        # find_lca will return a plain 'NULL_REVISION' rather
 
2299
                        # than a key tuple when there is no common ancestor, we
 
2300
                        # prefer to just use None, because it doesn't confuse
 
2301
                        # _get_interesting_texts()
 
2302
                        unique_lca = None
 
2303
                parent_map.update(self._find_unique_parents(next_lcas,
 
2304
                                                            unique_lca))
 
2305
                break
 
2306
            cur_ancestors = next_lcas
 
2307
        return parent_map
 
2308
 
 
2309
    def _find_unique_parents(self, tip_keys, base_key):
 
2310
        """Find ancestors of tip that aren't ancestors of base.
 
2311
 
 
2312
        :param tip_keys: Nodes that are interesting
 
2313
        :param base_key: Cull all ancestors of this node
 
2314
        :return: The parent map for all revisions between tip_keys and
 
2315
            base_key. base_key will be included. References to nodes outside of
 
2316
            the ancestor set will also be removed.
 
2317
        """
 
2318
        # TODO: this would be simpler if find_unique_ancestors took a list
 
2319
        #       instead of a single tip, internally it supports it, but it
 
2320
        #       isn't a "backwards compatible" api change.
 
2321
        if base_key is None:
 
2322
            parent_map = dict(self.graph.iter_ancestry(tip_keys))
 
2323
            # We remove NULL_REVISION because it isn't a proper tuple key, and
 
2324
            # thus confuses things like _get_interesting_texts, and our logic
 
2325
            # to add the texts into the memory weave.
 
2326
            if _mod_revision.NULL_REVISION in parent_map:
 
2327
                parent_map.pop(_mod_revision.NULL_REVISION)
 
2328
        else:
 
2329
            interesting = set()
 
2330
            for tip in tip_keys:
 
2331
                interesting.update(
 
2332
                    self.graph.find_unique_ancestors(tip, [base_key]))
 
2333
            parent_map = self.graph.get_parent_map(interesting)
 
2334
            parent_map[base_key] = ()
 
2335
        culled_parent_map, child_map, tails = self._remove_external_references(
 
2336
            parent_map)
 
2337
        # Remove all the tails but base_key
 
2338
        if base_key is not None:
 
2339
            tails.remove(base_key)
 
2340
            self._prune_tails(culled_parent_map, child_map, tails)
 
2341
        # Now remove all the uninteresting 'linear' regions
 
2342
        simple_map = _mod_graph.collapse_linear_regions(culled_parent_map)
 
2343
        return simple_map
 
2344
 
 
2345
    @staticmethod
 
2346
    def _remove_external_references(parent_map):
 
2347
        """Remove references that go outside of the parent map.
 
2348
 
 
2349
        :param parent_map: Something returned from Graph.get_parent_map(keys)
 
2350
        :return: (filtered_parent_map, child_map, tails)
 
2351
            filtered_parent_map is parent_map without external references
 
2352
            child_map is the {parent_key: [child_keys]} mapping
 
2353
            tails is a list of nodes that do not have any parents in the map
 
2354
        """
 
2355
        # TODO: The basic effect of this function seems more generic than
 
2356
        #       _PlanMerge. But the specific details of building a child_map,
 
2357
        #       and computing tails seems very specific to _PlanMerge.
 
2358
        #       Still, should this be in Graph land?
 
2359
        filtered_parent_map = {}
 
2360
        child_map = {}
 
2361
        tails = []
 
2362
        for key, parent_keys in parent_map.iteritems():
 
2363
            culled_parent_keys = [p for p in parent_keys if p in parent_map]
 
2364
            if not culled_parent_keys:
 
2365
                tails.append(key)
 
2366
            for parent_key in culled_parent_keys:
 
2367
                child_map.setdefault(parent_key, []).append(key)
 
2368
            # TODO: Do we want to do this, it adds overhead for every node,
 
2369
            #       just to say that the node has no children
 
2370
            child_map.setdefault(key, [])
 
2371
            filtered_parent_map[key] = culled_parent_keys
 
2372
        return filtered_parent_map, child_map, tails
 
2373
 
 
2374
    @staticmethod
 
2375
    def _prune_tails(parent_map, child_map, tails_to_remove):
 
2376
        """Remove tails from the parent map.
 
2377
 
 
2378
        This will remove the supplied revisions until no more children have 0
 
2379
        parents.
 
2380
 
 
2381
        :param parent_map: A dict of {child: [parents]}, this dictionary will
 
2382
            be modified in place.
 
2383
        :param tails_to_remove: A list of tips that should be removed,
 
2384
            this list will be consumed
 
2385
        :param child_map: The reverse dict of parent_map ({parent: [children]})
 
2386
            this dict will be modified
 
2387
        :return: None, parent_map will be modified in place.
 
2388
        """
 
2389
        while tails_to_remove:
 
2390
            next = tails_to_remove.pop()
 
2391
            parent_map.pop(next)
 
2392
            children = child_map.pop(next)
 
2393
            for child in children:
 
2394
                child_parents = parent_map[child]
 
2395
                child_parents.remove(next)
 
2396
                if len(child_parents) == 0:
 
2397
                    tails_to_remove.append(child)
 
2398
 
 
2399
    def _get_interesting_texts(self, parent_map):
 
2400
        """Return a dict of texts we are interested in.
 
2401
 
 
2402
        Note that the input is in key tuples, but the output is in plain
 
2403
        revision ids.
 
2404
 
 
2405
        :param parent_map: The output from _find_recursive_lcas
 
2406
        :return: A dict of {'revision_id':lines} as returned by
 
2407
            _PlanMergeBase.get_lines()
 
2408
        """
 
2409
        all_revision_keys = set(parent_map)
 
2410
        all_revision_keys.add(self.a_key)
 
2411
        all_revision_keys.add(self.b_key)
 
2412
 
 
2413
        # Everything else is in 'keys' but get_lines is in 'revision_ids'
 
2414
        all_texts = self.get_lines([k[-1] for k in all_revision_keys])
 
2415
        return all_texts
 
2416
 
 
2417
    def _build_weave(self):
 
2418
        from bzrlib import weave
 
2419
        self._weave = weave.Weave(weave_name='in_memory_weave',
 
2420
                                  allow_reserved=True)
 
2421
        parent_map = self._find_recursive_lcas()
 
2422
 
 
2423
        all_texts = self._get_interesting_texts(parent_map)
 
2424
 
 
2425
        # Note: Unfortunately, the order given by topo_sort will effect the
 
2426
        # ordering resolution in the output. Specifically, if you add A then B,
 
2427
        # then in the output text A lines will show up before B lines. And, of
 
2428
        # course, topo_sort doesn't guarantee any real ordering.
 
2429
        # So we use merge_sort, and add a fake node on the tip.
 
2430
        # This ensures that left-hand parents will always be inserted into the
 
2431
        # weave before right-hand parents.
 
2432
        tip_key = self._key_prefix + (_mod_revision.CURRENT_REVISION,)
 
2433
        parent_map[tip_key] = (self.a_key, self.b_key)
 
2434
 
 
2435
        for seq_num, key, depth, eom in reversed(tsort.merge_sort(parent_map,
 
2436
                                                                  tip_key)):
 
2437
            if key == tip_key:
 
2438
                continue
 
2439
        # for key in tsort.topo_sort(parent_map):
 
2440
            parent_keys = parent_map[key]
 
2441
            revision_id = key[-1]
 
2442
            parent_ids = [k[-1] for k in parent_keys]
 
2443
            self._weave.add_lines(revision_id, parent_ids,
 
2444
                                  all_texts[revision_id])
 
2445
 
 
2446
    def plan_merge(self):
 
2447
        """Generate a 'plan' for merging the two revisions.
 
2448
 
 
2449
        This involves comparing their texts and determining the cause of
 
2450
        differences.  If text A has a line and text B does not, then either the
 
2451
        line was added to text A, or it was deleted from B.  Once the causes
 
2452
        are combined, they are written out in the format described in
 
2453
        VersionedFile.plan_merge
 
2454
        """
 
2455
        if self._head_key is not None: # There was a single head
 
2456
            if self._head_key == self.a_key:
 
2457
                plan = 'new-a'
 
2458
            else:
 
2459
                if self._head_key != self.b_key:
 
2460
                    raise AssertionError('There was an invalid head: %s != %s'
 
2461
                                         % (self.b_key, self._head_key))
 
2462
                plan = 'new-b'
 
2463
            head_rev = self._head_key[-1]
 
2464
            lines = self.get_lines([head_rev])[head_rev]
 
2465
            return ((plan, line) for line in lines)
 
2466
        return self._weave.plan_merge(self.a_rev, self.b_rev)
 
2467
 
 
2468
 
 
2469
class _PlanLCAMerge(_PlanMergeBase):
 
2470
    """
 
2471
    This merge algorithm differs from _PlanMerge in that:
 
2472
 
 
2473
    1. comparisons are done against LCAs only
 
2474
    2. cases where a contested line is new versus one LCA but old versus
 
2475
       another are marked as conflicts, by emitting the line as conflicted-a
 
2476
       or conflicted-b.
 
2477
 
 
2478
    This is faster, and hopefully produces more useful output.
 
2479
    """
 
2480
 
 
2481
    def __init__(self, a_rev, b_rev, vf, key_prefix, graph):
 
2482
        _PlanMergeBase.__init__(self, a_rev, b_rev, vf, key_prefix)
 
2483
        lcas = graph.find_lca(key_prefix + (a_rev,), key_prefix + (b_rev,))
 
2484
        self.lcas = set()
 
2485
        for lca in lcas:
 
2486
            if lca == _mod_revision.NULL_REVISION:
 
2487
                self.lcas.add(lca)
 
2488
            else:
 
2489
                self.lcas.add(lca[-1])
 
2490
        for lca in self.lcas:
 
2491
            if _mod_revision.is_null(lca):
 
2492
                lca_lines = []
 
2493
            else:
 
2494
                lca_lines = self.get_lines([lca])[lca]
 
2495
            matcher = patiencediff.PatienceSequenceMatcher(None, self.lines_a,
 
2496
                                                           lca_lines)
 
2497
            blocks = list(matcher.get_matching_blocks())
 
2498
            self._cached_matching_blocks[(a_rev, lca)] = blocks
 
2499
            matcher = patiencediff.PatienceSequenceMatcher(None, self.lines_b,
 
2500
                                                           lca_lines)
 
2501
            blocks = list(matcher.get_matching_blocks())
 
2502
            self._cached_matching_blocks[(b_rev, lca)] = blocks
 
2503
 
 
2504
    def _determine_status(self, revision_id, unique_line_numbers):
 
2505
        """Determines the status unique lines versus all lcas.
 
2506
 
 
2507
        Basically, determines why the line is unique to this revision.
 
2508
 
 
2509
        A line may be determined new, killed, or both.
 
2510
 
 
2511
        If a line is determined new, that means it was not present in at least
 
2512
        one LCA, and is not present in the other merge revision.
 
2513
 
 
2514
        If a line is determined killed, that means the line was present in
 
2515
        at least one LCA.
 
2516
 
 
2517
        If a line is killed and new, this indicates that the two merge
 
2518
        revisions contain differing conflict resolutions.
 
2519
 
 
2520
        :param revision_id: The id of the revision in which the lines are
 
2521
            unique
 
2522
        :param unique_line_numbers: The line numbers of unique lines.
 
2523
        :return: a tuple of (new_this, killed_other)
 
2524
        """
 
2525
        new = set()
 
2526
        killed = set()
 
2527
        unique_line_numbers = set(unique_line_numbers)
 
2528
        for lca in self.lcas:
 
2529
            blocks = self._get_matching_blocks(revision_id, lca)
 
2530
            unique_vs_lca, _ignored = self._unique_lines(blocks)
 
2531
            new.update(unique_line_numbers.intersection(unique_vs_lca))
 
2532
            killed.update(unique_line_numbers.difference(unique_vs_lca))
 
2533
        return new, killed