~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/merge.py

  • Committer: John Arbash Meinel
  • Date: 2013-05-19 14:29:37 UTC
  • mfrom: (6437.63.9 2.5)
  • mto: (6437.63.10 2.5)
  • mto: This revision was merged to the branch mainline in revision 6575.
  • Revision ID: john@arbash-meinel.com-20130519142937-21ykz2n2y2f22za9
Merge in the actual 2.5 branch. It seems I failed before

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