~bzr-pqm/bzr/bzr.dev

4988.1.1 by John Arbash Meinel
Merge the per-file-hook updates.
1
# Copyright (C) 2005-2010 Canonical Ltd
1773.4.1 by Martin Pool
Add pyflakes makefile target; fix many warnings
2
#
1110 by Martin Pool
- merge aaron's merge improvements:
3
# This program is free software; you can redistribute it and/or modify
4
# it under the terms of the GNU General Public License as published by
5
# the Free Software Foundation; either version 2 of the License, or
6
# (at your option) any later version.
1773.4.1 by Martin Pool
Add pyflakes makefile target; fix many warnings
7
#
1110 by Martin Pool
- merge aaron's merge improvements:
8
# This program is distributed in the hope that it will be useful,
9
# but WITHOUT ANY WARRANTY; without even the implied warranty of
10
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
11
# GNU General Public License for more details.
1773.4.1 by Martin Pool
Add pyflakes makefile target; fix many warnings
12
#
1110 by Martin Pool
- merge aaron's merge improvements:
13
# You should have received a copy of the GNU General Public License
14
# along with this program; if not, write to the Free Software
4183.7.1 by Sabin Iacob
update FSF mailing address
15
# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
1110 by Martin Pool
- merge aaron's merge improvements:
16
1545.2.3 by Aaron Bentley
Updated following j-a-meinel's comments
17
1996.3.18 by John Arbash Meinel
Now that mkdtemp and rmtree are lazy, they should not be directly improted.
18
from bzrlib import (
4721.3.1 by Vincent Ladeuil
Cleanup imports.
19
    branch as _mod_branch,
20
    conflicts as _mod_conflicts,
1551.19.17 by Aaron Bentley
Add debugging flag for merges
21
    debug,
4869.3.13 by Andrew Bennetts
Add simple cachedproperty decorator, and add {this,other,base}_lines cachedproperties to MergeHookParams.
22
    decorators,
2590.2.11 by Aaron Bentley
Aggressively cache trees, use dirstate. re-mplement _add_parent.
23
    errors,
3514.2.14 by John Arbash Meinel
Bring in the code to collapse linear portions of the graph.
24
    graph as _mod_graph,
4869.3.1 by Andrew Bennetts
Basic per-file merge hook.
25
    hooks,
4721.3.1 by Vincent Ladeuil
Cleanup imports.
26
    merge3,
1996.3.18 by John Arbash Meinel
Now that mkdtemp and rmtree are lazy, they should not be directly improted.
27
    osutils,
1551.15.46 by Aaron Bentley
Move plan merge to tree
28
    patiencediff,
4721.3.1 by Vincent Ladeuil
Cleanup imports.
29
    progress,
2598.5.1 by Aaron Bentley
Start eliminating the use of None to indicate null revision
30
    revision as _mod_revision,
4721.3.1 by Vincent Ladeuil
Cleanup imports.
31
    textfile,
32
    trace,
33
    transform,
3514.4.5 by John Arbash Meinel
Initial work on _entries_lca.
34
    tree as _mod_tree,
3514.2.5 by John Arbash Meinel
Switch to the get_parent_map design I had settled on.
35
    tsort,
4721.3.1 by Vincent Ladeuil
Cleanup imports.
36
    ui,
37
    versionedfile
1996.3.18 by John Arbash Meinel
Now that mkdtemp and rmtree are lazy, they should not be directly improted.
38
    )
4721.3.2 by Vincent Ladeuil
Simplify mutable_tree.has_changes() and update call sites.
39
from bzrlib.symbol_versioning import (
40
    deprecated_in,
41
    deprecated_method,
42
    )
1545.2.6 by Aaron Bentley
Removed _merge, renamed MergeConflictHandler to _MergeConflictHandler
43
# TODO: Report back as changes are merged in
44
2325.3.1 by John Arbash Meinel
New helper function for merge, which allows us to re-use the existing workingtree, rather than opening it again.
45
1185.35.4 by Aaron Bentley
Implemented remerge
46
def transform_tree(from_tree, to_tree, interesting_ids=None):
4595.13.1 by Alexander Belchenko
[cherrypick revno.4635 from bzr.dev] (robertc) Fix many locking errors on windows due to a small bug in merge.transform_tree. (Robert Collins)
47
    from_tree.lock_tree_write()
48
    try:
49
        merge_inner(from_tree.branch, to_tree, from_tree, ignore_zero=True,
50
                    interesting_ids=interesting_ids, this_tree=from_tree)
51
    finally:
52
        from_tree.unlock()
1185.12.76 by Aaron Bentley
Refactored merge and merge_inner to use Merger
53
1457.1.12 by Robert Collins
Update comment to reflect author.
54
4869.3.1 by Andrew Bennetts
Basic per-file merge hook.
55
class MergeHooks(hooks.Hooks):
56
57
    def __init__(self):
58
        hooks.Hooks.__init__(self)
59
        self.create_hook(hooks.HookPoint('merge_file_content',
4797.5.1 by Robert Collins
Support state on per-file merging to permit more efficient use of configuration data.
60
            "Called with a bzrlib.merge.Merger object to create a per file "
61
            "merge object when starting a merge. "
62
            "Should return either None or a subclass of "
63
            "``bzrlib.merge.AbstractPerFileMerger``. "
64
            "Such objects will then be called per file "
65
            "that needs to be merged (including when one "
66
            "side has deleted the file and the other has changed it). "
67
            "See the AbstractPerFileMerger API docs for details on how it is "
68
            "used by merge.",
4869.3.9 by Andrew Bennetts
Document hook point better
69
            (2, 1), None))
4869.3.1 by Andrew Bennetts
Basic per-file merge hook.
70
71
4797.5.1 by Robert Collins
Support state on per-file merging to permit more efficient use of configuration data.
72
class AbstractPerFileMerger(object):
73
    """PerFileMerger objects are used by plugins extending merge for bzrlib.
74
75
    See ``bzrlib.plugins.news_merge.news_merge`` for an example concrete class.
76
    
77
    :ivar merger: The Merge3Merger performing the merge.
78
    """
79
80
    def __init__(self, merger):
81
        """Create a PerFileMerger for use with merger."""
82
        self.merger = merger
83
84
    def merge_contents(self, merge_params):
85
        """Attempt to merge the contents of a single file.
86
        
87
        :param merge_params: A bzrlib.merge.MergeHookParams
88
        :return : A tuple of (status, chunks), where status is one of
89
            'not_applicable', 'success', 'conflicted', or 'delete'.  If status
90
            is 'success' or 'conflicted', then chunks should be an iterable of
91
            strings for the new file contents.
92
        """
93
        return ('not applicable', None)
94
95
4797.5.2 by Robert Collins
Refactor NewsMerger into a reusable base class merge.ConfigurableFileMerger.
96
class ConfigurableFileMerger(AbstractPerFileMerger):
97
    """Merge individual files when configured via a .conf file.
98
99
    This is a base class for concrete custom file merging logic. Concrete
100
    classes should implement ``merge_text``.
101
102
    :ivar affected_files: The configured file paths to merge.
4797.5.3 by Robert Collins
Tweak ConfigurableFileMerger to use class variables rather than requiring __init__ wrapping as future proofing for helper functions.
103
    :cvar name_prefix: The prefix to use when looking up configuration
4797.5.2 by Robert Collins
Refactor NewsMerger into a reusable base class merge.ConfigurableFileMerger.
104
        details.
4797.5.3 by Robert Collins
Tweak ConfigurableFileMerger to use class variables rather than requiring __init__ wrapping as future proofing for helper functions.
105
    :cvar default_files: The default file paths to merge when no configuration
4797.5.2 by Robert Collins
Refactor NewsMerger into a reusable base class merge.ConfigurableFileMerger.
106
        is present.
107
    """
108
4797.5.3 by Robert Collins
Tweak ConfigurableFileMerger to use class variables rather than requiring __init__ wrapping as future proofing for helper functions.
109
    name_prefix = None
110
    default_files = None
111
112
    def __init__(self, merger):
4797.5.2 by Robert Collins
Refactor NewsMerger into a reusable base class merge.ConfigurableFileMerger.
113
        super(ConfigurableFileMerger, self).__init__(merger)
114
        self.affected_files = None
4797.5.3 by Robert Collins
Tweak ConfigurableFileMerger to use class variables rather than requiring __init__ wrapping as future proofing for helper functions.
115
        self.default_files = self.__class__.default_files or []
116
        self.name_prefix = self.__class__.name_prefix
117
        if self.name_prefix is None:
118
            raise ValueError("name_prefix must be set.")
4797.5.2 by Robert Collins
Refactor NewsMerger into a reusable base class merge.ConfigurableFileMerger.
119
120
    def filename_matches_config(self, params):
121
        affected_files = self.affected_files
122
        if affected_files is None:
123
            config = self.merger.this_tree.branch.get_config()
124
            # Until bzr provides a better policy for caching the config, we
125
            # just add the part we're interested in to the params to avoid
126
            # reading the config files repeatedly (bazaar.conf, location.conf,
127
            # branch.conf).
128
            config_key = self.name_prefix + '_merge_files'
129
            affected_files = config.get_user_option_as_list(config_key)
130
            if affected_files is None:
131
                # If nothing was specified in the config, use the default.
132
                affected_files = self.default_files
133
            self.affected_files = affected_files
134
        if affected_files:
135
            filename = self.merger.this_tree.id2path(params.file_id)
136
            if filename in affected_files:
137
                return True
138
        return False
139
140
    def merge_contents(self, params):
141
        """Merge the contents of a single file."""
142
        # First, check whether this custom merge logic should be used.  We
143
        # expect most files should not be merged by this handler.
144
        if (
145
            # OTHER is a straight winner, rely on default merge.
146
            params.winner == 'other' or
147
            # THIS and OTHER aren't both files.
148
            not params.is_file_merge() or
149
            # The filename isn't listed in the 'NAME_merge_files' config
150
            # option.
151
            not self.filename_matches_config(params)):
152
            return 'not_applicable', None
153
        return self.merge_text(self, params)
154
155
    def merge_text(self, params):
156
        """Merge the byte contents of a single file.
157
158
        This is called after checking that the merge should be performed in
159
        merge_contents, and it should behave as per
160
        ``bzrlib.merge.AbstractPerFileMerger.merge_contents``.
161
        """
162
        raise NotImplementedError(self.merge_text)
163
164
4869.3.1 by Andrew Bennetts
Basic per-file merge hook.
165
class MergeHookParams(object):
4869.3.11 by Andrew Bennetts
More docs.
166
    """Object holding parameters passed to merge_file_content hooks.
167
4797.5.1 by Robert Collins
Support state on per-file merging to permit more efficient use of configuration data.
168
    There are some fields hooks can access:
4869.3.11 by Andrew Bennetts
More docs.
169
170
    :ivar file_id: the file ID of the file being merged
4869.3.24 by Andrew Bennetts
Mention 'winner' attribute in MergeHookParams' docstring.
171
    :ivar trans_id: the transform ID for the merge of this file
4869.3.21 by Andrew Bennetts
Pass kinds (not pairs) to MergeHookParams.
172
    :ivar this_kind: kind of file_id in 'this' tree
173
    :ivar other_kind: kind of file_id in 'other' tree
4869.3.24 by Andrew Bennetts
Mention 'winner' attribute in MergeHookParams' docstring.
174
    :ivar winner: one of 'this', 'other', 'conflict'
4869.3.11 by Andrew Bennetts
More docs.
175
    """
4869.3.1 by Andrew Bennetts
Basic per-file merge hook.
176
4869.3.21 by Andrew Bennetts
Pass kinds (not pairs) to MergeHookParams.
177
    def __init__(self, merger, file_id, trans_id, this_kind, other_kind,
4869.3.16 by Andrew Bennetts
Move handling of winner==OTHER case into generic hook path too.
178
            winner):
4797.5.1 by Robert Collins
Support state on per-file merging to permit more efficient use of configuration data.
179
        self._merger = merger
4869.3.1 by Andrew Bennetts
Basic per-file merge hook.
180
        self.file_id = file_id
181
        self.trans_id = trans_id
4869.3.21 by Andrew Bennetts
Pass kinds (not pairs) to MergeHookParams.
182
        self.this_kind = this_kind
183
        self.other_kind = other_kind
4869.3.16 by Andrew Bennetts
Move handling of winner==OTHER case into generic hook path too.
184
        self.winner = winner
4869.3.34 by Vincent Ladeuil
Finish the patch based on reviews.
185
4869.3.15 by Andrew Bennetts
Refactor so that the default text merge is the final hook tried. Other hooks can now invoke it directly via merger.default_text_merge if they wish.
186
    def is_file_merge(self):
4869.3.21 by Andrew Bennetts
Pass kinds (not pairs) to MergeHookParams.
187
        """True if this_kind and other_kind are both 'file'."""
188
        return self.this_kind == 'file' and self.other_kind == 'file'
4869.3.34 by Vincent Ladeuil
Finish the patch based on reviews.
189
4869.3.13 by Andrew Bennetts
Add simple cachedproperty decorator, and add {this,other,base}_lines cachedproperties to MergeHookParams.
190
    @decorators.cachedproperty
191
    def base_lines(self):
192
        """The lines of the 'base' version of the file."""
4797.5.1 by Robert Collins
Support state on per-file merging to permit more efficient use of configuration data.
193
        return self._merger.get_lines(self._merger.base_tree, self.file_id)
4869.3.13 by Andrew Bennetts
Add simple cachedproperty decorator, and add {this,other,base}_lines cachedproperties to MergeHookParams.
194
195
    @decorators.cachedproperty
196
    def this_lines(self):
197
        """The lines of the 'this' version of the file."""
4797.5.1 by Robert Collins
Support state on per-file merging to permit more efficient use of configuration data.
198
        return self._merger.get_lines(self._merger.this_tree, self.file_id)
4869.3.13 by Andrew Bennetts
Add simple cachedproperty decorator, and add {this,other,base}_lines cachedproperties to MergeHookParams.
199
200
    @decorators.cachedproperty
201
    def other_lines(self):
202
        """The lines of the 'other' version of the file."""
4797.5.1 by Robert Collins
Support state on per-file merging to permit more efficient use of configuration data.
203
        return self._merger.get_lines(self._merger.other_tree, self.file_id)
4869.3.13 by Andrew Bennetts
Add simple cachedproperty decorator, and add {this,other,base}_lines cachedproperties to MergeHookParams.
204
4869.3.1 by Andrew Bennetts
Basic per-file merge hook.
205
1185.12.76 by Aaron Bentley
Refactored merge and merge_inner to use Merger
206
class Merger(object):
4869.3.1 by Andrew Bennetts
Basic per-file merge hook.
207
208
    hooks = MergeHooks()
209
2255.2.31 by Robert Collins
Work in progress to make merge_inner work with dirstate trees.
210
    def __init__(self, this_branch, other_tree=None, base_tree=None,
1551.21.8 by Aaron Bentley
Remove now-redundant DummyProgress from Merger.__init__
211
                 this_tree=None, pb=None, change_reporter=None,
3146.5.3 by Aaron Bentley
Avoid retrieving revision graph twice
212
                 recurse='down', revision_graph=None):
1185.12.76 by Aaron Bentley
Refactored merge and merge_inner to use Merger
213
        object.__init__(self)
214
        self.this_branch = this_branch
2598.5.4 by Aaron Bentley
Restore original Branch.last_revision behavior, fix bits that care
215
        self.this_basis = _mod_revision.ensure_null(
216
            this_branch.last_revision())
1185.12.76 by Aaron Bentley
Refactored merge and merge_inner to use Merger
217
        self.this_rev_id = None
1534.4.26 by Robert Collins
Move working tree initialisation out from Branch.initialize, deprecated Branch.initialize to Branch.create.
218
        self.this_tree = this_tree
1185.12.83 by Aaron Bentley
Preliminary weave merge support
219
        self.this_revision_tree = None
1185.35.5 by Aaron Bentley
Made weave merge succeed if interesting files match history
220
        self.this_basis_tree = None
1185.12.76 by Aaron Bentley
Refactored merge and merge_inner to use Merger
221
        self.other_tree = other_tree
2100.3.29 by Aaron Bentley
Get merge working initially
222
        self.other_branch = None
1185.12.76 by Aaron Bentley
Refactored merge and merge_inner to use Merger
223
        self.base_tree = base_tree
224
        self.ignore_zero = False
225
        self.backup_files = False
226
        self.interesting_ids = None
2590.2.5 by Aaron Bentley
Allow selected files to be specified instead of selected ids
227
        self.interesting_files = None
1185.12.76 by Aaron Bentley
Refactored merge and merge_inner to use Merger
228
        self.show_base = False
1185.24.3 by Aaron Bentley
Integrated reprocessing into the rest of the merge stuff
229
        self.reprocess = False
1551.21.7 by Aaron Bentley
Fix progress warning
230
        if pb is None:
4721.3.1 by Vincent Ladeuil
Cleanup imports.
231
            pb = progress.DummyProgress()
2255.2.31 by Robert Collins
Work in progress to make merge_inner work with dirstate trees.
232
        self._pb = pb
1551.2.32 by Aaron Bentley
Handle progress phases more nicely in merge
233
        self.pp = None
2100.3.29 by Aaron Bentley
Get merge working initially
234
        self.recurse = recurse
1551.11.9 by Aaron Bentley
Apply change reporting to merge
235
        self.change_reporter = change_reporter
2590.2.11 by Aaron Bentley
Aggressively cache trees, use dirstate. re-mplement _add_parent.
236
        self._cached_trees = {}
3146.5.3 by Aaron Bentley
Avoid retrieving revision graph twice
237
        self._revision_graph = revision_graph
3146.5.1 by Aaron Bentley
Make merge --uncommitted work with merge-type weave
238
        self._base_is_ancestor = None
239
        self._base_is_other_ancestor = None
3514.4.39 by John Arbash Meinel
Use self._lca_multi_way rather than Merge3Merger._lca_multi_way by Aaron's request.
240
        self._is_criss_cross = None
3514.4.2 by John Arbash Meinel
Extract the lca trees and the base tree when we find a criss-cross
241
        self._lca_trees = None
3146.5.1 by Aaron Bentley
Make merge --uncommitted work with merge-type weave
242
4595.13.2 by Alexander Belchenko
[cherrypick revno 4650 from bzr.dev] Fix shelve on windows. (Robert Collins, #305006)
243
    def cache_trees_with_revision_ids(self, trees):
244
        """Cache any tree in trees if it has a revision_id."""
245
        for maybe_tree in trees:
246
            if maybe_tree is None:
247
                continue
248
            try:
249
                rev_id = maybe_tree.get_revision_id()
250
            except AttributeError:
251
                continue
252
            self._cached_trees[rev_id] = maybe_tree
253
3146.5.1 by Aaron Bentley
Make merge --uncommitted work with merge-type weave
254
    @property
255
    def revision_graph(self):
256
        if self._revision_graph is None:
3146.5.3 by Aaron Bentley
Avoid retrieving revision graph twice
257
            self._revision_graph = self.this_branch.repository.get_graph()
3146.5.1 by Aaron Bentley
Make merge --uncommitted work with merge-type weave
258
        return self._revision_graph
259
260
    def _set_base_is_ancestor(self, value):
261
        self._base_is_ancestor = value
262
263
    def _get_base_is_ancestor(self):
264
        if self._base_is_ancestor is None:
265
            self._base_is_ancestor = self.revision_graph.is_ancestor(
266
                self.base_rev_id, self.this_basis)
267
        return self._base_is_ancestor
268
269
    base_is_ancestor = property(_get_base_is_ancestor, _set_base_is_ancestor)
270
271
    def _set_base_is_other_ancestor(self, value):
272
        self._base_is_other_ancestor = value
273
274
    def _get_base_is_other_ancestor(self):
275
        if self._base_is_other_ancestor is None:
3249.3.1 by John Arbash Meinel
Implement cherrypick support for Merge3
276
            if self.other_basis is None:
277
                return True
278
            self._base_is_other_ancestor = self.revision_graph.is_ancestor(
3146.5.3 by Aaron Bentley
Avoid retrieving revision graph twice
279
                self.base_rev_id, self.other_basis)
3146.5.1 by Aaron Bentley
Make merge --uncommitted work with merge-type weave
280
        return self._base_is_other_ancestor
281
282
    base_is_other_ancestor = property(_get_base_is_other_ancestor,
283
                                      _set_base_is_other_ancestor)
2590.2.11 by Aaron Bentley
Aggressively cache trees, use dirstate. re-mplement _add_parent.
284
1551.15.67 by Aaron Bentley
Stop using _merge_helper for merging
285
    @staticmethod
1551.21.7 by Aaron Bentley
Fix progress warning
286
    def from_uncommitted(tree, other_tree, pb=None, base_tree=None):
1551.15.74 by Aaron Bentley
Textual updates from review
287
        """Return a Merger for uncommitted changes in other_tree.
288
289
        :param tree: The tree to merge into
290
        :param other_tree: The tree to get uncommitted changes from
291
        :param pb: A progress indicator
3363.17.17 by Aaron Bentley
Start testing merging PreviewTree as OTHER
292
        :param base_tree: The basis to use for the merge.  If unspecified,
293
            other_tree.basis_tree() will be used.
1551.15.74 by Aaron Bentley
Textual updates from review
294
        """
3363.17.17 by Aaron Bentley
Start testing merging PreviewTree as OTHER
295
        if base_tree is None:
296
            base_tree = other_tree.basis_tree()
297
        merger = Merger(tree.branch, other_tree, base_tree, tree, pb)
1551.15.67 by Aaron Bentley
Stop using _merge_helper for merging
298
        merger.base_rev_id = merger.base_tree.get_revision_id()
299
        merger.other_rev_id = None
3146.5.1 by Aaron Bentley
Make merge --uncommitted work with merge-type weave
300
        merger.other_basis = merger.base_rev_id
1551.15.67 by Aaron Bentley
Stop using _merge_helper for merging
301
        return merger
302
303
    @classmethod
304
    def from_mergeable(klass, tree, mergeable, pb):
1551.15.74 by Aaron Bentley
Textual updates from review
305
        """Return a Merger for a bundle or merge directive.
306
307
        :param tree: The tree to merge changes into
308
        :param mergeable: A merge directive or bundle
309
        :param pb: A progress indicator
310
        """
1551.15.67 by Aaron Bentley
Stop using _merge_helper for merging
311
        mergeable.install_revisions(tree.branch.repository)
312
        base_revision_id, other_revision_id, verified =\
313
            mergeable.get_merge_request(tree.branch.repository)
3146.5.3 by Aaron Bentley
Avoid retrieving revision graph twice
314
        revision_graph = tree.branch.repository.get_graph()
1551.19.44 by Aaron Bentley
Fix handling of old merge directives with stricter get_parent_map
315
        if base_revision_id is not None:
316
            if (base_revision_id != _mod_revision.NULL_REVISION and
317
                revision_graph.is_ancestor(
318
                base_revision_id, tree.branch.last_revision())):
319
                base_revision_id = None
320
            else:
4721.3.1 by Vincent Ladeuil
Cleanup imports.
321
                trace.warning('Performing cherrypick')
1551.15.67 by Aaron Bentley
Stop using _merge_helper for merging
322
        merger = klass.from_revision_ids(pb, tree, other_revision_id,
3146.5.3 by Aaron Bentley
Avoid retrieving revision graph twice
323
                                         base_revision_id, revision_graph=
324
                                         revision_graph)
1551.15.67 by Aaron Bentley
Stop using _merge_helper for merging
325
        return merger, verified
326
327
    @staticmethod
3249.3.1 by John Arbash Meinel
Implement cherrypick support for Merge3
328
    def from_revision_ids(pb, tree, other, base=None, other_branch=None,
3363.17.1 by Aaron Bentley
Avoid inventory for merge and transform code
329
                          base_branch=None, revision_graph=None,
330
                          tree_branch=None):
1551.15.74 by Aaron Bentley
Textual updates from review
331
        """Return a Merger for revision-ids.
332
3363.17.15 by Aaron Bentley
Update docs
333
        :param pb: A progress indicator
1551.15.74 by Aaron Bentley
Textual updates from review
334
        :param tree: The tree to merge changes into
335
        :param other: The revision-id to use as OTHER
336
        :param base: The revision-id to use as BASE.  If not specified, will
337
            be auto-selected.
338
        :param other_branch: A branch containing the other revision-id.  If
3249.3.1 by John Arbash Meinel
Implement cherrypick support for Merge3
339
            not supplied, tree.branch is used.
1551.15.74 by Aaron Bentley
Textual updates from review
340
        :param base_branch: A branch containing the base revision-id.  If
3249.3.1 by John Arbash Meinel
Implement cherrypick support for Merge3
341
            not supplied, other_branch or tree.branch will be used.
342
        :param revision_graph: If you have a revision_graph precomputed, pass
343
            it in, otherwise it will be created for you.
3363.17.15 by Aaron Bentley
Update docs
344
        :param tree_branch: The branch associated with tree.  If not supplied,
345
            tree.branch will be used.
1551.15.74 by Aaron Bentley
Textual updates from review
346
        """
3363.17.1 by Aaron Bentley
Avoid inventory for merge and transform code
347
        if tree_branch is None:
348
            tree_branch = tree.branch
349
        merger = Merger(tree_branch, this_tree=tree, pb=pb,
3146.5.3 by Aaron Bentley
Avoid retrieving revision graph twice
350
                        revision_graph=revision_graph)
1551.15.67 by Aaron Bentley
Stop using _merge_helper for merging
351
        if other_branch is None:
3249.3.1 by John Arbash Meinel
Implement cherrypick support for Merge3
352
            other_branch = tree.branch
1551.15.67 by Aaron Bentley
Stop using _merge_helper for merging
353
        merger.set_other_revision(other, other_branch)
354
        if base is None:
355
            merger.find_base()
356
        else:
357
            if base_branch is None:
358
                base_branch = other_branch
359
            merger.set_base_revision(base, base_branch)
360
        return merger
361
2590.2.11 by Aaron Bentley
Aggressively cache trees, use dirstate. re-mplement _add_parent.
362
    def revision_tree(self, revision_id, branch=None):
363
        if revision_id not in self._cached_trees:
364
            if branch is None:
365
                branch = self.this_branch
366
            try:
367
                tree = self.this_tree.revision_tree(revision_id)
368
            except errors.NoSuchRevisionInTree:
369
                tree = branch.repository.revision_tree(revision_id)
370
            self._cached_trees[revision_id] = tree
371
        return self._cached_trees[revision_id]
372
2485.8.58 by Vincent Ladeuil
merge bzr.dev@1617
373
    def _get_tree(self, treespec, possible_transports=None):
2590.2.11 by Aaron Bentley
Aggressively cache trees, use dirstate. re-mplement _add_parent.
374
        from bzrlib import workingtree
375
        location, revno = treespec
376
        if revno is None:
377
            tree = workingtree.WorkingTree.open_containing(location)[0]
378
            return tree.branch, tree
4721.3.1 by Vincent Ladeuil
Cleanup imports.
379
        branch = _mod_branch.Branch.open_containing(
380
            location, possible_transports)[0]
2590.2.11 by Aaron Bentley
Aggressively cache trees, use dirstate. re-mplement _add_parent.
381
        if revno == -1:
382
            revision_id = branch.last_revision()
383
        else:
384
            revision_id = branch.get_rev_id(revno)
4721.3.1 by Vincent Ladeuil
Cleanup imports.
385
        revision_id = _mod_revision.ensure_null(revision_id)
2590.2.11 by Aaron Bentley
Aggressively cache trees, use dirstate. re-mplement _add_parent.
386
        return branch, self.revision_tree(revision_id, branch)
1185.12.83 by Aaron Bentley
Preliminary weave merge support
387
4721.3.2 by Vincent Ladeuil
Simplify mutable_tree.has_changes() and update call sites.
388
    @deprecated_method(deprecated_in((2, 1, 0)))
1185.12.83 by Aaron Bentley
Preliminary weave merge support
389
    def ensure_revision_trees(self):
390
        if self.this_revision_tree is None:
2590.2.11 by Aaron Bentley
Aggressively cache trees, use dirstate. re-mplement _add_parent.
391
            self.this_basis_tree = self.revision_tree(self.this_basis)
1185.35.5 by Aaron Bentley
Made weave merge succeed if interesting files match history
392
            if self.this_basis == self.this_rev_id:
393
                self.this_revision_tree = self.this_basis_tree
394
1185.12.83 by Aaron Bentley
Preliminary weave merge support
395
        if self.other_rev_id is None:
396
            other_basis_tree = self.revision_tree(self.other_basis)
4503.1.2 by Vincent Ladeuil
Use tree.has_changes() where appropriate (the test suite caught a
397
            if other_basis_tree.has_changes(self.other_tree):
4869.2.1 by Andrew Bennetts
Trivial improvements to bzrlib/merge.py suggested by pyflakes.
398
                raise errors.WorkingTreeNotRevision(self.this_tree)
1773.4.1 by Martin Pool
Add pyflakes makefile target; fix many warnings
399
            other_rev_id = self.other_basis
1185.12.83 by Aaron Bentley
Preliminary weave merge support
400
            self.other_tree = other_basis_tree
401
4721.3.2 by Vincent Ladeuil
Simplify mutable_tree.has_changes() and update call sites.
402
    @deprecated_method(deprecated_in((2, 1, 0)))
1185.12.83 by Aaron Bentley
Preliminary weave merge support
403
    def file_revisions(self, file_id):
404
        self.ensure_revision_trees()
405
        def get_id(tree, file_id):
406
            revision_id = tree.inventory[file_id].revision
407
            return revision_id
1185.35.5 by Aaron Bentley
Made weave merge succeed if interesting files match history
408
        if self.this_rev_id is None:
409
            if self.this_basis_tree.get_file_sha1(file_id) != \
410
                self.this_tree.get_file_sha1(file_id):
4721.3.1 by Vincent Ladeuil
Cleanup imports.
411
                raise errors.WorkingTreeNotRevision(self.this_tree)
1185.35.5 by Aaron Bentley
Made weave merge succeed if interesting files match history
412
413
        trees = (self.this_basis_tree, self.other_tree)
1185.12.83 by Aaron Bentley
Preliminary weave merge support
414
        return [get_id(tree, file_id) for tree in trees]
415
4721.3.2 by Vincent Ladeuil
Simplify mutable_tree.has_changes() and update call sites.
416
    @deprecated_method(deprecated_in((2, 1, 0)))
1185.82.44 by Aaron Bentley
Switch to merge_changeset in test suite
417
    def check_basis(self, check_clean, require_commits=True):
418
        if self.this_basis is None and require_commits is True:
4721.3.1 by Vincent Ladeuil
Cleanup imports.
419
            raise errors.BzrCommandError(
420
                "This branch has no commits."
421
                " (perhaps you would prefer 'bzr pull')")
1185.12.76 by Aaron Bentley
Refactored merge and merge_inner to use Merger
422
        if check_clean:
423
            self.compare_basis()
424
            if self.this_basis != self.this_rev_id:
2796.2.1 by Aaron Bentley
Begin work on reconfigure command
425
                raise errors.UncommittedChanges(self.this_tree)
1185.12.76 by Aaron Bentley
Refactored merge and merge_inner to use Merger
426
4721.3.2 by Vincent Ladeuil
Simplify mutable_tree.has_changes() and update call sites.
427
    @deprecated_method(deprecated_in((2, 1, 0)))
1185.12.76 by Aaron Bentley
Refactored merge and merge_inner to use Merger
428
    def compare_basis(self):
2590.2.20 by Aaron Bentley
Fix handling of ghost base trees
429
        try:
430
            basis_tree = self.revision_tree(self.this_tree.last_revision())
3350.6.4 by Robert Collins
First cut at pluralised VersionedFiles. Some rather massive API incompatabilities, primarily because of the difficulty of coherence among competing stores.
431
        except errors.NoSuchRevision:
2590.2.20 by Aaron Bentley
Fix handling of ghost base trees
432
            basis_tree = self.this_tree.basis_tree()
4503.1.2 by Vincent Ladeuil
Use tree.has_changes() where appropriate (the test suite caught a
433
        if not self.this_tree.has_changes(basis_tree):
1185.12.76 by Aaron Bentley
Refactored merge and merge_inner to use Merger
434
            self.this_rev_id = self.this_basis
435
436
    def set_interesting_files(self, file_list):
2590.2.7 by Aaron Bentley
Misc cleanup
437
        self.interesting_files = file_list
1457.1.8 by Robert Collins
Replace the WorkingTree.revert method algorithm with a call to merge_inner.
438
1185.12.76 by Aaron Bentley
Refactored merge and merge_inner to use Merger
439
    def set_pending(self):
4721.3.2 by Vincent Ladeuil
Simplify mutable_tree.has_changes() and update call sites.
440
        if (not self.base_is_ancestor or not self.base_is_other_ancestor
441
            or self.other_rev_id is None):
1185.12.77 by Aaron Bentley
Prevented all ancestors from being marked as pending merges
442
            return
2590.2.11 by Aaron Bentley
Aggressively cache trees, use dirstate. re-mplement _add_parent.
443
        self._add_parent()
444
445
    def _add_parent(self):
446
        new_parents = self.this_tree.get_parent_ids() + [self.other_rev_id]
2590.2.20 by Aaron Bentley
Fix handling of ghost base trees
447
        new_parent_trees = []
448
        for revision_id in new_parents:
449
            try:
450
                tree = self.revision_tree(revision_id)
3350.6.4 by Robert Collins
First cut at pluralised VersionedFiles. Some rather massive API incompatabilities, primarily because of the difficulty of coherence among competing stores.
451
            except errors.NoSuchRevision:
2590.2.20 by Aaron Bentley
Fix handling of ghost base trees
452
                tree = None
453
            else:
454
                tree.lock_read()
455
            new_parent_trees.append((revision_id, tree))
2590.2.11 by Aaron Bentley
Aggressively cache trees, use dirstate. re-mplement _add_parent.
456
        try:
2590.2.20 by Aaron Bentley
Fix handling of ghost base trees
457
            self.this_tree.set_parent_trees(new_parent_trees,
458
                                            allow_leftmost_as_ghost=True)
2590.2.11 by Aaron Bentley
Aggressively cache trees, use dirstate. re-mplement _add_parent.
459
        finally:
460
            for _revision_id, tree in new_parent_trees:
2590.2.20 by Aaron Bentley
Fix handling of ghost base trees
461
                if tree is not None:
462
                    tree.unlock()
1185.12.76 by Aaron Bentley
Refactored merge and merge_inner to use Merger
463
2485.8.37 by Vincent Ladeuil
Fix merge multiple connections. Test suite *not* passing (sftp
464
    def set_other(self, other_revision, possible_transports=None):
1979.2.1 by Robert Collins
(robertc) adds a convenience method "merge_from_branch" to WorkingTree.
465
        """Set the revision and tree to merge from.
466
467
        This sets the other_tree, other_rev_id, other_basis attributes.
468
469
        :param other_revision: The [path, revision] list to merge from.
470
        """
2485.8.58 by Vincent Ladeuil
merge bzr.dev@1617
471
        self.other_branch, self.other_tree = self._get_tree(other_revision,
472
                                                            possible_transports)
1185.12.76 by Aaron Bentley
Refactored merge and merge_inner to use Merger
473
        if other_revision[1] == -1:
2598.5.4 by Aaron Bentley
Restore original Branch.last_revision behavior, fix bits that care
474
            self.other_rev_id = _mod_revision.ensure_null(
475
                self.other_branch.last_revision())
2598.5.1 by Aaron Bentley
Start eliminating the use of None to indicate null revision
476
            if _mod_revision.is_null(self.other_rev_id):
4721.3.1 by Vincent Ladeuil
Cleanup imports.
477
                raise errors.NoCommits(self.other_branch)
1185.12.76 by Aaron Bentley
Refactored merge and merge_inner to use Merger
478
            self.other_basis = self.other_rev_id
479
        elif other_revision[1] is not None:
2100.3.31 by Aaron Bentley
Merged bzr.dev (17 tests failing)
480
            self.other_rev_id = self.other_branch.get_rev_id(other_revision[1])
1185.12.76 by Aaron Bentley
Refactored merge and merge_inner to use Merger
481
            self.other_basis = self.other_rev_id
482
        else:
483
            self.other_rev_id = None
2100.3.31 by Aaron Bentley
Merged bzr.dev (17 tests failing)
484
            self.other_basis = self.other_branch.last_revision()
1185.12.76 by Aaron Bentley
Refactored merge and merge_inner to use Merger
485
            if self.other_basis is None:
4721.3.1 by Vincent Ladeuil
Cleanup imports.
486
                raise errors.NoCommits(self.other_branch)
2590.2.11 by Aaron Bentley
Aggressively cache trees, use dirstate. re-mplement _add_parent.
487
        if self.other_rev_id is not None:
488
            self._cached_trees[self.other_rev_id] = self.other_tree
2590.2.19 by Aaron Bentley
Avoid fetch within a repository
489
        self._maybe_fetch(self.other_branch,self.this_branch, self.other_basis)
1185.12.76 by Aaron Bentley
Refactored merge and merge_inner to use Merger
490
2100.3.29 by Aaron Bentley
Get merge working initially
491
    def set_other_revision(self, revision_id, other_branch):
492
        """Set 'other' based on a branch and revision id
493
494
        :param revision_id: The revision to use for a tree
495
        :param other_branch: The branch containing this tree
496
        """
497
        self.other_rev_id = revision_id
498
        self.other_branch = other_branch
2590.2.19 by Aaron Bentley
Avoid fetch within a repository
499
        self._maybe_fetch(other_branch, self.this_branch, self.other_rev_id)
2100.3.29 by Aaron Bentley
Get merge working initially
500
        self.other_tree = self.revision_tree(revision_id)
501
        self.other_basis = revision_id
502
2520.4.110 by Aaron Bentley
Implement cherrypick support for merge directives
503
    def set_base_revision(self, revision_id, branch):
504
        """Set 'base' based on a branch and revision id
505
506
        :param revision_id: The revision to use for a tree
507
        :param branch: The branch containing this tree
508
        """
509
        self.base_rev_id = revision_id
510
        self.base_branch = branch
2520.4.132 by Aaron Bentley
Merge from bzr.dev
511
        self._maybe_fetch(branch, self.this_branch, revision_id)
2520.4.110 by Aaron Bentley
Implement cherrypick support for merge directives
512
        self.base_tree = self.revision_tree(revision_id)
2520.4.132 by Aaron Bentley
Merge from bzr.dev
513
2590.2.19 by Aaron Bentley
Avoid fetch within a repository
514
    def _maybe_fetch(self, source, target, revision_id):
2665.5.2 by Aaron Bentley
Switch commit and merge to Repository.has_same_location
515
        if not source.repository.has_same_location(target.repository):
2590.2.19 by Aaron Bentley
Avoid fetch within a repository
516
            target.fetch(source, revision_id)
2520.4.110 by Aaron Bentley
Implement cherrypick support for merge directives
517
1185.82.25 by Aaron Bentley
Added changeset-merging functionality
518
    def find_base(self):
4721.3.1 by Vincent Ladeuil
Cleanup imports.
519
        revisions = [_mod_revision.ensure_null(self.this_basis),
520
                     _mod_revision.ensure_null(self.other_basis)]
521
        if _mod_revision.NULL_REVISION in revisions:
522
            self.base_rev_id = _mod_revision.NULL_REVISION
3514.4.36 by John Arbash Meinel
Optimizing how we extracted multiple trees left a path that didn't create a base_tree.
523
            self.base_tree = self.revision_tree(self.base_rev_id)
3514.4.39 by John Arbash Meinel
Use self._lca_multi_way rather than Merge3Merger._lca_multi_way by Aaron's request.
524
            self._is_criss_cross = False
2590.2.22 by Aaron Bentley
Remove cruft
525
        else:
3514.4.2 by John Arbash Meinel
Extract the lca trees and the base tree when we find a criss-cross
526
            lcas = self.revision_graph.find_lca(revisions[0], revisions[1])
3514.4.39 by John Arbash Meinel
Use self._lca_multi_way rather than Merge3Merger._lca_multi_way by Aaron's request.
527
            self._is_criss_cross = False
3514.4.2 by John Arbash Meinel
Extract the lca trees and the base tree when we find a criss-cross
528
            if len(lcas) == 0:
4721.3.1 by Vincent Ladeuil
Cleanup imports.
529
                self.base_rev_id = _mod_revision.NULL_REVISION
3514.4.2 by John Arbash Meinel
Extract the lca trees and the base tree when we find a criss-cross
530
            elif len(lcas) == 1:
531
                self.base_rev_id = list(lcas)[0]
532
            else: # len(lcas) > 1
3514.4.23 by John Arbash Meinel
Handle when there are more than 2 LCAs while searching for the unique lca.
533
                if len(lcas) > 2:
534
                    # find_unique_lca can only handle 2 nodes, so we have to
535
                    # start back at the beginning. It is a shame to traverse
536
                    # the graph again, but better than re-implementing
537
                    # find_unique_lca.
538
                    self.base_rev_id = self.revision_graph.find_unique_lca(
539
                                            revisions[0], revisions[1])
540
                else:
541
                    self.base_rev_id = self.revision_graph.find_unique_lca(
542
                                            *lcas)
3514.4.2 by John Arbash Meinel
Extract the lca trees and the base tree when we find a criss-cross
543
                self._is_criss_cross = True
4721.3.1 by Vincent Ladeuil
Cleanup imports.
544
            if self.base_rev_id == _mod_revision.NULL_REVISION:
545
                raise errors.UnrelatedBranches()
3514.4.2 by John Arbash Meinel
Extract the lca trees and the base tree when we find a criss-cross
546
            if self._is_criss_cross:
4721.3.1 by Vincent Ladeuil
Cleanup imports.
547
                trace.warning('Warning: criss-cross merge encountered.  See bzr'
548
                              ' help criss-cross.')
549
                trace.mutter('Criss-cross lcas: %r' % lcas)
3514.4.2 by John Arbash Meinel
Extract the lca trees and the base tree when we find a criss-cross
550
                interesting_revision_ids = [self.base_rev_id]
551
                interesting_revision_ids.extend(lcas)
552
                interesting_trees = dict((t.get_revision_id(), t)
553
                    for t in self.this_branch.repository.revision_trees(
554
                        interesting_revision_ids))
555
                self._cached_trees.update(interesting_trees)
556
                self.base_tree = interesting_trees.pop(self.base_rev_id)
3514.4.13 by John Arbash Meinel
Switch the lca_trees to be in 'find_merge_order'.
557
                sorted_lca_keys = self.revision_graph.find_merge_order(
558
                    revisions[0], lcas)
559
                self._lca_trees = [interesting_trees[key]
560
                                   for key in sorted_lca_keys]
3514.4.2 by John Arbash Meinel
Extract the lca trees and the base tree when we find a criss-cross
561
            else:
562
                self.base_tree = self.revision_tree(self.base_rev_id)
2590.2.13 by Aaron Bentley
Make find_base implement the base_finding code
563
        self.base_is_ancestor = True
2590.2.18 by Aaron Bentley
Merge is_ancestor fix
564
        self.base_is_other_ancestor = True
4721.3.1 by Vincent Ladeuil
Cleanup imports.
565
        trace.mutter('Base revid: %r' % self.base_rev_id)
1185.82.25 by Aaron Bentley
Added changeset-merging functionality
566
1185.12.76 by Aaron Bentley
Refactored merge and merge_inner to use Merger
567
    def set_base(self, base_revision):
1979.2.1 by Robert Collins
(robertc) adds a convenience method "merge_from_branch" to WorkingTree.
568
        """Set the base revision to use for the merge.
569
570
        :param base_revision: A 2-list containing a path and revision number.
571
        """
4721.3.1 by Vincent Ladeuil
Cleanup imports.
572
        trace.mutter("doing merge() with no base_revision specified")
1185.12.76 by Aaron Bentley
Refactored merge and merge_inner to use Merger
573
        if base_revision == [None, None]:
2590.2.13 by Aaron Bentley
Make find_base implement the base_finding code
574
            self.find_base()
1185.12.76 by Aaron Bentley
Refactored merge and merge_inner to use Merger
575
        else:
2590.2.11 by Aaron Bentley
Aggressively cache trees, use dirstate. re-mplement _add_parent.
576
            base_branch, self.base_tree = self._get_tree(base_revision)
1185.12.76 by Aaron Bentley
Refactored merge and merge_inner to use Merger
577
            if base_revision[1] == -1:
578
                self.base_rev_id = base_branch.last_revision()
579
            elif base_revision[1] is None:
2598.5.3 by Aaron Bentley
Push NULL_REVISION deeper
580
                self.base_rev_id = _mod_revision.NULL_REVISION
493 by Martin Pool
- Merge aaron's merge command
581
            else:
2598.5.3 by Aaron Bentley
Push NULL_REVISION deeper
582
                self.base_rev_id = _mod_revision.ensure_null(
583
                    base_branch.get_rev_id(base_revision[1]))
2590.2.19 by Aaron Bentley
Avoid fetch within a repository
584
            self._maybe_fetch(base_branch, self.this_branch, self.base_rev_id)
1185.12.76 by Aaron Bentley
Refactored merge and merge_inner to use Merger
585
3008.1.8 by Michael Hudson
extract merger creation into a method
586
    def make_merger(self):
2255.2.31 by Robert Collins
Work in progress to make merge_inner work with dirstate trees.
587
        kwargs = {'working_tree':self.this_tree, 'this_tree': self.this_tree,
588
                  'other_tree': self.other_tree,
1551.2.32 by Aaron Bentley
Handle progress phases more nicely in merge
589
                  'interesting_ids': self.interesting_ids,
2590.2.5 by Aaron Bentley
Allow selected files to be specified instead of selected ids
590
                  'interesting_files': self.interesting_files,
4869.3.27 by Andrew Bennetts
Move news_merge plugin from contrib to bzrlib/plugins, change it to be enabled via a 'news_merge_files' config option, move more code out of the __init__ to minimise overhead, and add lots of docstrings, add NEWS entry.
591
                  'pp': self.pp, 'this_branch': self.this_branch,
3008.1.11 by Michael Hudson
restore the default behaviour of Merge3Merger.__init__().
592
                  'do_merge': False}
1534.7.84 by Aaron Bentley
Added reprocess support, support for varying merge types
593
        if self.merge_type.requires_base:
594
            kwargs['base_tree'] = self.base_tree
1534.7.137 by Aaron Bentley
Avoided generating a new tree for every weave merge
595
        if self.merge_type.supports_reprocess:
596
            kwargs['reprocess'] = self.reprocess
597
        elif self.reprocess:
4721.3.1 by Vincent Ladeuil
Cleanup imports.
598
            raise errors.BzrError(
599
                "Conflict reduction is not supported for merge"
600
                " type %s." % self.merge_type)
1534.7.137 by Aaron Bentley
Avoided generating a new tree for every weave merge
601
        if self.merge_type.supports_show_base:
602
            kwargs['show_base'] = self.show_base
603
        elif self.show_base:
4721.3.1 by Vincent Ladeuil
Cleanup imports.
604
            raise errors.BzrError("Showing base is not supported for this"
605
                                  " merge type. %s" % self.merge_type)
3062.2.7 by Aaron Bentley
Prevent reverse cherry-picking with weave
606
        if (not getattr(self.merge_type, 'supports_reverse_cherrypick', True)
607
            and not self.base_is_other_ancestor):
608
            raise errors.CannotReverseCherrypick()
3249.3.1 by John Arbash Meinel
Implement cherrypick support for Merge3
609
        if self.merge_type.supports_cherrypick:
3062.2.9 by Aaron Bentley
Don't use the base if not cherrypicking
610
            kwargs['cherrypick'] = (not self.base_is_ancestor or
611
                                    not self.base_is_other_ancestor)
3514.4.4 by John Arbash Meinel
Test that the lca_trees are passed down to the Merger object when appropriate.
612
        if self._is_criss_cross and getattr(self.merge_type,
613
                                            'supports_lca_trees', False):
614
            kwargs['lca_trees'] = self._lca_trees
3008.1.8 by Michael Hudson
extract merger creation into a method
615
        return self.merge_type(pb=self._pb,
616
                               change_reporter=self.change_reporter,
617
                               **kwargs)
618
3619.6.4 by Mark Hammond
do_merge gets one 'finally' per lock so locks always released on failure.
619
    def _do_merge_to(self, merge):
4273.1.9 by Aaron Bentley
Cleanup
620
        if self.other_branch is not None:
621
            self.other_branch.update_references(self.this_branch)
3619.6.4 by Mark Hammond
do_merge gets one 'finally' per lock so locks always released on failure.
622
        merge.do_merge()
623
        if self.recurse == 'down':
624
            for relpath, file_id in self.this_tree.iter_references():
625
                sub_tree = self.this_tree.get_nested_tree(file_id, relpath)
626
                other_revision = self.other_tree.get_reference_revision(
627
                    file_id, relpath)
628
                if  other_revision == sub_tree.last_revision():
629
                    continue
630
                sub_merge = Merger(sub_tree.branch, this_tree=sub_tree)
631
                sub_merge.merge_type = self.merge_type
632
                other_branch = self.other_branch.reference_parent(file_id, relpath)
633
                sub_merge.set_other_revision(other_revision, other_branch)
634
                base_revision = self.base_tree.get_reference_revision(file_id)
635
                sub_merge.base_tree = \
636
                    sub_tree.branch.repository.revision_tree(base_revision)
637
                sub_merge.base_rev_id = base_revision
638
                sub_merge.do_merge()
3943.8.1 by Marius Kruger
remove all trailing whitespace from bzr source
639
3008.1.8 by Michael Hudson
extract merger creation into a method
640
    def do_merge(self):
2255.2.50 by John Arbash Meinel
merge only needs a lock_tree_write() on the working tree, not a full lock_write()
641
        self.this_tree.lock_tree_write()
2255.2.31 by Robert Collins
Work in progress to make merge_inner work with dirstate trees.
642
        try:
643
            if self.base_tree is not None:
3619.6.4 by Mark Hammond
do_merge gets one 'finally' per lock so locks always released on failure.
644
                self.base_tree.lock_read()
645
            try:
646
                if self.other_tree is not None:
647
                    self.other_tree.lock_read()
648
                try:
649
                    merge = self.make_merger()
650
                    self._do_merge_to(merge)
651
                finally:
652
                    if self.other_tree is not None:
653
                        self.other_tree.unlock()
654
            finally:
655
                if self.base_tree is not None:
656
                    self.base_tree.unlock()
657
        finally:
2255.2.31 by Robert Collins
Work in progress to make merge_inner work with dirstate trees.
658
            self.this_tree.unlock()
1534.7.151 by Aaron Bentley
Fixed all changes applied successfully
659
        if len(merge.cooked_conflicts) == 0:
4721.3.1 by Vincent Ladeuil
Cleanup imports.
660
            if not self.ignore_zero and not trace.is_quiet():
661
                trace.note("All changes applied successfully.")
1534.7.141 by Aaron Bentley
Added conflict reporting
662
        else:
4721.3.1 by Vincent Ladeuil
Cleanup imports.
663
            trace.note("%d conflicts encountered."
664
                       % len(merge.cooked_conflicts))
1534.7.141 by Aaron Bentley
Added conflict reporting
665
1534.7.134 by Aaron Bentley
Hid raw conflicts
666
        return len(merge.cooked_conflicts)
1185.12.76 by Aaron Bentley
Refactored merge and merge_inner to use Merger
667
1545.2.4 by Aaron Bentley
PEP8 fixes
668
3514.4.20 by John Arbash Meinel
Use the _lca_multi_way to work out if there is actually a kind/parent/name/content change.
669
class _InventoryNoneEntry(object):
670
    """This represents an inventory entry which *isn't there*.
671
672
    It simplifies the merging logic if we always have an InventoryEntry, even
673
    if it isn't actually present
674
    """
675
    executable = None
676
    kind = None
677
    name = None
678
    parent_id = None
679
    revision = None
680
    symlink_target = None
681
    text_sha1 = None
682
683
_none_entry = _InventoryNoneEntry()
684
685
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
686
class Merge3Merger(object):
1534.7.167 by Aaron Bentley
PEP8 and comment cleanups
687
    """Three-way merger that uses the merge3 text merger"""
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
688
    requires_base = True
689
    supports_reprocess = True
690
    supports_show_base = True
691
    history_based = False
3249.3.1 by John Arbash Meinel
Implement cherrypick support for Merge3
692
    supports_cherrypick = True
3062.2.7 by Aaron Bentley
Prevent reverse cherry-picking with weave
693
    supports_reverse_cherrypick = True
2590.2.7 by Aaron Bentley
Misc cleanup
694
    winner_idx = {"this": 2, "other": 1, "conflict": 1}
3514.4.4 by John Arbash Meinel
Test that the lca_trees are passed down to the Merger object when appropriate.
695
    supports_lca_trees = True
1534.7.167 by Aaron Bentley
PEP8 and comment cleanups
696
3943.8.1 by Marius Kruger
remove all trailing whitespace from bzr source
697
    def __init__(self, working_tree, this_tree, base_tree, other_tree,
1558.2.2 by Aaron Bentley
Make remerge honour interesting-ids
698
                 interesting_ids=None, reprocess=False, show_base=False,
4721.3.1 by Vincent Ladeuil
Cleanup imports.
699
                 pb=progress.DummyProgress(), pp=None, change_reporter=None,
3249.3.1 by John Arbash Meinel
Implement cherrypick support for Merge3
700
                 interesting_files=None, do_merge=True,
4869.3.27 by Andrew Bennetts
Move news_merge plugin from contrib to bzrlib/plugins, change it to be enabled via a 'news_merge_files' config option, move more code out of the __init__ to minimise overhead, and add lots of docstrings, add NEWS entry.
701
                 cherrypick=False, lca_trees=None, this_branch=None):
2590.2.10 by Aaron Bentley
Updates from review
702
        """Initialize the merger object and perform the merge.
703
704
        :param working_tree: The working tree to apply the merge to
705
        :param this_tree: The local tree in the merge operation
706
        :param base_tree: The common tree in the merge operation
4031.3.1 by Frank Aspell
Fixing various typos
707
        :param other_tree: The other tree to merge changes from
4869.3.27 by Andrew Bennetts
Move news_merge plugin from contrib to bzrlib/plugins, change it to be enabled via a 'news_merge_files' config option, move more code out of the __init__ to minimise overhead, and add lots of docstrings, add NEWS entry.
708
        :param this_branch: The branch associated with this_tree
2590.2.10 by Aaron Bentley
Updates from review
709
        :param interesting_ids: The file_ids of files that should be
710
            participate in the merge.  May not be combined with
711
            interesting_files.
712
        :param: reprocess If True, perform conflict-reduction processing.
713
        :param show_base: If True, show the base revision in text conflicts.
714
            (incompatible with reprocess)
715
        :param pb: A Progress bar
716
        :param pp: A ProgressPhase object
717
        :param change_reporter: An object that should report changes made
718
        :param interesting_files: The tree-relative paths of files that should
719
            participate in the merge.  If these paths refer to directories,
720
            the contents of those directories will also be included.  May not
721
            be combined with interesting_ids.  If neither interesting_files nor
722
            interesting_ids is specified, all files may participate in the
723
            merge.
3514.4.4 by John Arbash Meinel
Test that the lca_trees are passed down to the Merger object when appropriate.
724
        :param lca_trees: Can be set to a dictionary of {revision_id:rev_tree}
725
            if the ancestry was found to include a criss-cross merge.
726
            Otherwise should be None.
2590.2.10 by Aaron Bentley
Updates from review
727
        """
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
728
        object.__init__(self)
3376.2.4 by Martin Pool
Remove every assert statement from bzrlib!
729
        if interesting_files is not None and interesting_ids is not None:
730
            raise ValueError(
731
                'specify either interesting_ids or interesting_files')
2590.2.4 by Aaron Bentley
Move entry generation to a helper
732
        self.interesting_ids = interesting_ids
2590.2.5 by Aaron Bentley
Allow selected files to be specified instead of selected ids
733
        self.interesting_files = interesting_files
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
734
        self.this_tree = working_tree
735
        self.base_tree = base_tree
736
        self.other_tree = other_tree
4869.3.27 by Andrew Bennetts
Move news_merge plugin from contrib to bzrlib/plugins, change it to be enabled via a 'news_merge_files' config option, move more code out of the __init__ to minimise overhead, and add lots of docstrings, add NEWS entry.
737
        self.this_branch = this_branch
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
738
        self._raw_conflicts = []
739
        self.cooked_conflicts = []
740
        self.reprocess = reprocess
741
        self.show_base = show_base
3514.4.4 by John Arbash Meinel
Test that the lca_trees are passed down to the Merger object when appropriate.
742
        self._lca_trees = lca_trees
3514.4.37 by John Arbash Meinel
Tests pass when using _entries_lca as the default algorithm.
743
        # Uncommenting this will change the default algorithm to always use
744
        # _entries_lca. This can be useful for running the test suite and
745
        # making sure we haven't missed any corner cases.
3514.4.34 by John Arbash Meinel
Handle symlinks properly when objects are not RevisionTrees
746
        # if lca_trees is None:
747
        #     self._lca_trees = [self.base_tree]
1534.9.1 by Aaron Bentley
Added progress bars to merge
748
        self.pb = pb
1551.2.32 by Aaron Bentley
Handle progress phases more nicely in merge
749
        self.pp = pp
1551.11.9 by Aaron Bentley
Apply change reporting to merge
750
        self.change_reporter = change_reporter
3249.3.1 by John Arbash Meinel
Implement cherrypick support for Merge3
751
        self.cherrypick = cherrypick
1551.2.32 by Aaron Bentley
Handle progress phases more nicely in merge
752
        if self.pp is None:
4721.3.1 by Vincent Ladeuil
Cleanup imports.
753
            self.pp = progress.ProgressPhase("Merge phase", 3, self.pb)
3008.1.11 by Michael Hudson
restore the default behaviour of Merge3Merger.__init__().
754
        if do_merge:
755
            self.do_merge()
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
756
3008.1.6 by Michael Hudson
chop up Merge3Merger.__init__ into pieces
757
    def do_merge(self):
758
        self.this_tree.lock_tree_write()
759
        self.base_tree.lock_read()
760
        self.other_tree.lock_read()
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
761
        try:
4721.3.1 by Vincent Ladeuil
Cleanup imports.
762
            self.tt = transform.TreeTransform(self.this_tree, self.pb)
1534.10.12 by Aaron Bentley
Merge produces new conflicts
763
            try:
4684.1.2 by Gary van der Merwe
In merger, make sure that we unlock the trees if we fail to create a TreeTransform object.
764
                self.pp.next_phase()
765
                self._compute_transform()
766
                self.pp.next_phase()
767
                results = self.tt.apply(no_conflicts=True)
768
                self.write_modified(results)
769
                try:
770
                    self.this_tree.add_conflicts(self.cooked_conflicts)
4721.3.1 by Vincent Ladeuil
Cleanup imports.
771
                except errors.UnsupportedOperation:
4684.1.2 by Gary van der Merwe
In merger, make sure that we unlock the trees if we fail to create a TreeTransform object.
772
                    pass
773
            finally:
774
                self.tt.finalize()
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
775
        finally:
2255.7.52 by Robert Collins
Lock trees in Merge3Merger correctly.
776
            self.other_tree.unlock()
777
            self.base_tree.unlock()
778
            self.this_tree.unlock()
1551.2.31 by Aaron Bentley
Got merge and revert using nested pbs
779
            self.pb.clear()
1534.7.192 by Aaron Bentley
Record hashes produced by merges
780
3008.1.9 by Michael Hudson
wanton hacking that lets me write an efficient version of get_diff_as_merged
781
    def make_preview_transform(self):
782
        self.base_tree.lock_read()
783
        self.other_tree.lock_read()
4721.3.1 by Vincent Ladeuil
Cleanup imports.
784
        self.tt = transform.TransformPreview(self.this_tree)
3008.1.9 by Michael Hudson
wanton hacking that lets me write an efficient version of get_diff_as_merged
785
        try:
786
            self.pp.next_phase()
3008.1.21 by Aaron Bentley
Make compute_transform private, test make_preview_transform
787
            self._compute_transform()
3008.1.9 by Michael Hudson
wanton hacking that lets me write an efficient version of get_diff_as_merged
788
            self.pp.next_phase()
789
        finally:
790
            self.other_tree.unlock()
791
            self.base_tree.unlock()
792
            self.pb.clear()
793
        return self.tt
794
3008.1.21 by Aaron Bentley
Make compute_transform private, test make_preview_transform
795
    def _compute_transform(self):
3514.4.21 by John Arbash Meinel
Hook up the lca-way logic into the path handlers.
796
        if self._lca_trees is None:
797
            entries = self._entries3()
798
            resolver = self._three_way
799
        else:
800
            entries = self._entries_lca()
801
            resolver = self._lca_multi_way
3008.1.6 by Michael Hudson
chop up Merge3Merger.__init__ into pieces
802
        child_pb = ui.ui_factory.nested_progress_bar()
803
        try:
4797.5.1 by Robert Collins
Support state on per-file merging to permit more efficient use of configuration data.
804
            factories = Merger.hooks['merge_file_content']
805
            hooks = [factory(self) for factory in factories] + [self]
806
            self.active_hooks = [hook for hook in hooks if hook is not None]
3008.1.6 by Michael Hudson
chop up Merge3Merger.__init__ into pieces
807
            for num, (file_id, changed, parents3, names3,
808
                      executable3) in enumerate(entries):
809
                child_pb.update('Preparing file merge', num, len(entries))
3514.4.21 by John Arbash Meinel
Hook up the lca-way logic into the path handlers.
810
                self._merge_names(file_id, parents3, names3, resolver=resolver)
3008.1.6 by Michael Hudson
chop up Merge3Merger.__init__ into pieces
811
                if changed:
4797.5.1 by Robert Collins
Support state on per-file merging to permit more efficient use of configuration data.
812
                    file_status = self._do_merge_contents(file_id)
3008.1.6 by Michael Hudson
chop up Merge3Merger.__init__ into pieces
813
                else:
814
                    file_status = 'unmodified'
815
                self._merge_executable(file_id,
3514.4.21 by John Arbash Meinel
Hook up the lca-way logic into the path handlers.
816
                    executable3, file_status, resolver=resolver)
3008.1.6 by Michael Hudson
chop up Merge3Merger.__init__ into pieces
817
        finally:
818
            child_pb.finished()
819
        self.fix_root()
820
        self.pp.next_phase()
821
        child_pb = ui.ui_factory.nested_progress_bar()
822
        try:
4721.3.1 by Vincent Ladeuil
Cleanup imports.
823
            fs_conflicts = transform.resolve_conflicts(self.tt, child_pb,
824
                lambda t, c: transform.conflict_pass(t, c, self.other_tree))
3008.1.6 by Michael Hudson
chop up Merge3Merger.__init__ into pieces
825
        finally:
826
            child_pb.finished()
827
        if self.change_reporter is not None:
828
            from bzrlib import delta
829
            delta.report_changes(
3254.1.1 by Aaron Bentley
Make Tree.iter_changes a public method
830
                self.tt.iter_changes(), self.change_reporter)
3008.1.6 by Michael Hudson
chop up Merge3Merger.__init__ into pieces
831
        self.cook_conflicts(fs_conflicts)
832
        for conflict in self.cooked_conflicts:
4721.3.1 by Vincent Ladeuil
Cleanup imports.
833
            trace.warning(conflict)
3008.1.6 by Michael Hudson
chop up Merge3Merger.__init__ into pieces
834
2590.2.4 by Aaron Bentley
Move entry generation to a helper
835
    def _entries3(self):
2590.2.7 by Aaron Bentley
Misc cleanup
836
        """Gather data about files modified between three trees.
837
838
        Return a list of tuples of file_id, changed, parents3, names3,
839
        executable3.  changed is a boolean indicating whether the file contents
840
        or kind were changed.  parents3 is a tuple of parent ids for base,
841
        other and this.  names3 is a tuple of names for base, other and this.
842
        executable3 is a tuple of execute-bit values for base, other and this.
843
        """
2590.2.4 by Aaron Bentley
Move entry generation to a helper
844
        result = []
3254.1.1 by Aaron Bentley
Make Tree.iter_changes a public method
845
        iterator = self.other_tree.iter_changes(self.base_tree,
3514.2.16 by John Arbash Meinel
Review feedback from Ian.
846
                include_unchanged=True, specific_files=self.interesting_files,
2590.2.5 by Aaron Bentley
Allow selected files to be specified instead of selected ids
847
                extra_trees=[self.this_tree])
3363.17.1 by Aaron Bentley
Avoid inventory for merge and transform code
848
        this_entries = dict((e.file_id, e) for p, e in
849
                            self.this_tree.iter_entries_by_dir(
850
                            self.interesting_ids))
2590.2.4 by Aaron Bentley
Move entry generation to a helper
851
        for (file_id, paths, changed, versioned, parents, names, kind,
2590.2.5 by Aaron Bentley
Allow selected files to be specified instead of selected ids
852
             executable) in iterator:
2590.2.4 by Aaron Bentley
Move entry generation to a helper
853
            if (self.interesting_ids is not None and
854
                file_id not in self.interesting_ids):
855
                continue
3363.17.1 by Aaron Bentley
Avoid inventory for merge and transform code
856
            entry = this_entries.get(file_id)
857
            if entry is not None:
2590.2.4 by Aaron Bentley
Move entry generation to a helper
858
                this_name = entry.name
859
                this_parent = entry.parent_id
860
                this_executable = entry.executable
861
            else:
862
                this_name = None
863
                this_parent = None
864
                this_executable = None
865
            parents3 = parents + (this_parent,)
866
            names3 = names + (this_name,)
867
            executable3 = executable + (this_executable,)
868
            result.append((file_id, changed, parents3, names3, executable3))
869
        return result
870
3514.4.5 by John Arbash Meinel
Initial work on _entries_lca.
871
    def _entries_lca(self):
872
        """Gather data about files modified between multiple trees.
873
874
        This compares OTHER versus all LCA trees, and for interesting entries,
875
        it then compares with THIS and BASE.
876
877
        For the multi-valued entries, the format will be (BASE, [lca1, lca2])
878
        :return: [(file_id, changed, parents, names, executable)]
879
            file_id     Simple file_id of the entry
880
            changed     Boolean, True if the kind or contents changed
881
                        else False
882
            parents     ((base, [parent_id, in, lcas]), parent_id_other,
883
                         parent_id_this)
884
            names       ((base, [name, in, lcas]), name_in_other, name_in_this)
885
            executable  ((base, [exec, in, lcas]), exec_in_other, exec_in_this)
886
        """
3514.4.24 by John Arbash Meinel
Implement support for 'interesting_files' and 'interesting_ids' for _entries_lca
887
        if self.interesting_files is not None:
888
            lookup_trees = [self.this_tree, self.base_tree]
889
            lookup_trees.extend(self._lca_trees)
890
            # I think we should include the lca trees as well
891
            interesting_ids = self.other_tree.paths2ids(self.interesting_files,
892
                                                        lookup_trees)
893
        else:
894
            interesting_ids = self.interesting_ids
3514.4.5 by John Arbash Meinel
Initial work on _entries_lca.
895
        result = []
3514.4.13 by John Arbash Meinel
Switch the lca_trees to be in 'find_merge_order'.
896
        walker = _mod_tree.MultiWalker(self.other_tree, self._lca_trees)
3514.4.5 by John Arbash Meinel
Initial work on _entries_lca.
897
3514.4.10 by John Arbash Meinel
Test the case where BASE is missing a file that is present in THIS, OTHER and all LCAs.
898
        base_inventory = self.base_tree.inventory
899
        this_inventory = self.this_tree.inventory
3514.4.5 by John Arbash Meinel
Initial work on _entries_lca.
900
        for path, file_id, other_ie, lca_values in walker.iter_all():
901
            # Is this modified at all from any of the other trees?
3514.4.15 by John Arbash Meinel
Handle when OTHER doesn't have the entry.
902
            if other_ie is None:
3514.4.20 by John Arbash Meinel
Use the _lca_multi_way to work out if there is actually a kind/parent/name/content change.
903
                other_ie = _none_entry
3514.4.24 by John Arbash Meinel
Implement support for 'interesting_files' and 'interesting_ids' for _entries_lca
904
            if interesting_ids is not None and file_id not in interesting_ids:
905
                continue
3514.4.15 by John Arbash Meinel
Handle when OTHER doesn't have the entry.
906
3514.4.30 by John Arbash Meinel
Several updates.
907
            # If other_revision is found in any of the lcas, that means this
908
            # node is uninteresting. This is because when merging, if there are
909
            # multiple heads(), we have to create a new node. So if we didn't,
910
            # we know that the ancestry is linear, and that OTHER did not
911
            # modify anything
912
            # See doc/developers/lca_merge_resolution.txt for details
3514.4.20 by John Arbash Meinel
Use the _lca_multi_way to work out if there is actually a kind/parent/name/content change.
913
            other_revision = other_ie.revision
3514.4.32 by John Arbash Meinel
Add a test for proper behavior when *everything* is a WT.
914
            if other_revision is not None:
915
                # We can't use this shortcut when other_revision is None,
916
                # because it may be None because things are WorkingTrees, and
917
                # not because it is *actually* None.
918
                is_unmodified = False
919
                for lca_path, ie in lca_values:
920
                    if ie is not None and ie.revision == other_revision:
921
                        is_unmodified = True
922
                        break
923
                if is_unmodified:
924
                    continue
3514.4.20 by John Arbash Meinel
Use the _lca_multi_way to work out if there is actually a kind/parent/name/content change.
925
926
            lca_entries = []
927
            for lca_path, lca_ie in lca_values:
928
                if lca_ie is None:
929
                    lca_entries.append(_none_entry)
930
                else:
931
                    lca_entries.append(lca_ie)
3514.4.19 by John Arbash Meinel
Add the _lca_multi_way function, and explicit tests.
932
3514.4.10 by John Arbash Meinel
Test the case where BASE is missing a file that is present in THIS, OTHER and all LCAs.
933
            if file_id in base_inventory:
3514.4.20 by John Arbash Meinel
Use the _lca_multi_way to work out if there is actually a kind/parent/name/content change.
934
                base_ie = base_inventory[file_id]
3514.4.10 by John Arbash Meinel
Test the case where BASE is missing a file that is present in THIS, OTHER and all LCAs.
935
            else:
3514.4.20 by John Arbash Meinel
Use the _lca_multi_way to work out if there is actually a kind/parent/name/content change.
936
                base_ie = _none_entry
937
3514.4.11 by John Arbash Meinel
Handle when an entry is missing in THIS
938
            if file_id in this_inventory:
939
                this_ie = this_inventory[file_id]
940
            else:
3514.4.20 by John Arbash Meinel
Use the _lca_multi_way to work out if there is actually a kind/parent/name/content change.
941
                this_ie = _none_entry
3514.4.11 by John Arbash Meinel
Handle when an entry is missing in THIS
942
3514.4.21 by John Arbash Meinel
Hook up the lca-way logic into the path handlers.
943
            lca_kinds = []
944
            lca_parent_ids = []
945
            lca_names = []
946
            lca_executable = []
947
            for lca_ie in lca_entries:
948
                lca_kinds.append(lca_ie.kind)
949
                lca_parent_ids.append(lca_ie.parent_id)
950
                lca_names.append(lca_ie.name)
951
                lca_executable.append(lca_ie.executable)
952
3514.4.39 by John Arbash Meinel
Use self._lca_multi_way rather than Merge3Merger._lca_multi_way by Aaron's request.
953
            kind_winner = self._lca_multi_way(
3514.4.21 by John Arbash Meinel
Hook up the lca-way logic into the path handlers.
954
                (base_ie.kind, lca_kinds),
3514.4.20 by John Arbash Meinel
Use the _lca_multi_way to work out if there is actually a kind/parent/name/content change.
955
                other_ie.kind, this_ie.kind)
3514.4.39 by John Arbash Meinel
Use self._lca_multi_way rather than Merge3Merger._lca_multi_way by Aaron's request.
956
            parent_id_winner = self._lca_multi_way(
3514.4.21 by John Arbash Meinel
Hook up the lca-way logic into the path handlers.
957
                (base_ie.parent_id, lca_parent_ids),
3514.4.20 by John Arbash Meinel
Use the _lca_multi_way to work out if there is actually a kind/parent/name/content change.
958
                other_ie.parent_id, this_ie.parent_id)
3514.4.39 by John Arbash Meinel
Use self._lca_multi_way rather than Merge3Merger._lca_multi_way by Aaron's request.
959
            name_winner = self._lca_multi_way(
3514.4.21 by John Arbash Meinel
Hook up the lca-way logic into the path handlers.
960
                (base_ie.name, lca_names),
3514.4.20 by John Arbash Meinel
Use the _lca_multi_way to work out if there is actually a kind/parent/name/content change.
961
                other_ie.name, this_ie.name)
3514.4.21 by John Arbash Meinel
Hook up the lca-way logic into the path handlers.
962
3514.4.20 by John Arbash Meinel
Use the _lca_multi_way to work out if there is actually a kind/parent/name/content change.
963
            content_changed = True
964
            if kind_winner == 'this':
965
                # No kind change in OTHER, see if there are *any* changes
3948.1.1 by John Arbash Meinel
Fix an edge case with deleted files and criss-cross merges.
966
                if other_ie.kind == 'directory':
3514.4.20 by John Arbash Meinel
Use the _lca_multi_way to work out if there is actually a kind/parent/name/content change.
967
                    if parent_id_winner == 'this' and name_winner == 'this':
968
                        # No change for this directory in OTHER, skip
969
                        continue
970
                    content_changed = False
3948.1.1 by John Arbash Meinel
Fix an edge case with deleted files and criss-cross merges.
971
                elif other_ie.kind is None or other_ie.kind == 'file':
3514.4.30 by John Arbash Meinel
Several updates.
972
                    def get_sha1(ie, tree):
3514.4.35 by John Arbash Meinel
Add a test that we only call get_symlink_target if the object should be a symlink.
973
                        if ie.kind != 'file':
3514.4.30 by John Arbash Meinel
Several updates.
974
                            return None
975
                        return tree.get_file_sha1(file_id)
976
                    base_sha1 = get_sha1(base_ie, self.base_tree)
977
                    lca_sha1s = [get_sha1(ie, tree) for ie, tree
978
                                 in zip(lca_entries, self._lca_trees)]
979
                    this_sha1 = get_sha1(this_ie, self.this_tree)
980
                    other_sha1 = get_sha1(other_ie, self.other_tree)
3514.4.39 by John Arbash Meinel
Use self._lca_multi_way rather than Merge3Merger._lca_multi_way by Aaron's request.
981
                    sha1_winner = self._lca_multi_way(
3514.4.30 by John Arbash Meinel
Several updates.
982
                        (base_sha1, lca_sha1s), other_sha1, this_sha1,
983
                        allow_overriding_lca=False)
3514.4.39 by John Arbash Meinel
Use self._lca_multi_way rather than Merge3Merger._lca_multi_way by Aaron's request.
984
                    exec_winner = self._lca_multi_way(
3514.4.22 by John Arbash Meinel
Handle executable bit changes as well.
985
                        (base_ie.executable, lca_executable),
986
                        other_ie.executable, this_ie.executable)
3514.4.20 by John Arbash Meinel
Use the _lca_multi_way to work out if there is actually a kind/parent/name/content change.
987
                    if (parent_id_winner == 'this' and name_winner == 'this'
3514.4.22 by John Arbash Meinel
Handle executable bit changes as well.
988
                        and sha1_winner == 'this' and exec_winner == 'this'):
989
                        # No kind, parent, name, exec, or content change for
990
                        # OTHER, so this node is not considered interesting
3514.4.20 by John Arbash Meinel
Use the _lca_multi_way to work out if there is actually a kind/parent/name/content change.
991
                        continue
992
                    if sha1_winner == 'this':
993
                        content_changed = False
3514.4.27 by John Arbash Meinel
A couple of symlink tests, we need to do more.
994
                elif other_ie.kind == 'symlink':
3514.4.34 by John Arbash Meinel
Handle symlinks properly when objects are not RevisionTrees
995
                    def get_target(ie, tree):
3514.4.35 by John Arbash Meinel
Add a test that we only call get_symlink_target if the object should be a symlink.
996
                        if ie.kind != 'symlink':
3514.4.34 by John Arbash Meinel
Handle symlinks properly when objects are not RevisionTrees
997
                            return None
998
                        return tree.get_symlink_target(file_id)
999
                    base_target = get_target(base_ie, self.base_tree)
1000
                    lca_targets = [get_target(ie, tree) for ie, tree
1001
                                   in zip(lca_entries, self._lca_trees)]
1002
                    this_target = get_target(this_ie, self.this_tree)
1003
                    other_target = get_target(other_ie, self.other_tree)
3514.4.39 by John Arbash Meinel
Use self._lca_multi_way rather than Merge3Merger._lca_multi_way by Aaron's request.
1004
                    target_winner = self._lca_multi_way(
3514.4.34 by John Arbash Meinel
Handle symlinks properly when objects are not RevisionTrees
1005
                        (base_target, lca_targets),
1006
                        other_target, this_target)
3514.4.28 by John Arbash Meinel
More symlink tests.
1007
                    if (parent_id_winner == 'this' and name_winner == 'this'
1008
                        and target_winner == 'this'):
1009
                        # No kind, parent, name, or symlink target change
1010
                        # not interesting
1011
                        continue
1012
                    if target_winner == 'this':
1013
                        content_changed = False
3514.4.33 by John Arbash Meinel
Implement support for 'tree-reference'.
1014
                elif other_ie.kind == 'tree-reference':
1015
                    # The 'changed' information seems to be handled at a higher
1016
                    # level. At least, _entries3 returns False for content
1017
                    # changed, even when at a new revision_id.
1018
                    content_changed = False
1019
                    if (parent_id_winner == 'this' and name_winner == 'this'):
1020
                        # Nothing interesting
1021
                        continue
3514.4.21 by John Arbash Meinel
Hook up the lca-way logic into the path handlers.
1022
                else:
1023
                    raise AssertionError('unhandled kind: %s' % other_ie.kind)
1024
                # XXX: We need to handle kind == 'symlink'
3514.4.13 by John Arbash Meinel
Switch the lca_trees to be in 'find_merge_order'.
1025
1026
            # If we have gotten this far, that means something has changed
3514.4.20 by John Arbash Meinel
Use the _lca_multi_way to work out if there is actually a kind/parent/name/content change.
1027
            result.append((file_id, content_changed,
1028
                           ((base_ie.parent_id, lca_parent_ids),
1029
                            other_ie.parent_id, this_ie.parent_id),
1030
                           ((base_ie.name, lca_names),
1031
                            other_ie.name, this_ie.name),
1032
                           ((base_ie.executable, lca_executable),
1033
                            other_ie.executable, this_ie.executable)
3514.4.5 by John Arbash Meinel
Initial work on _entries_lca.
1034
                          ))
1035
        return result
1036
1037
1731.1.33 by Aaron Bentley
Revert no-special-root changes
1038
    def fix_root(self):
1039
        try:
1040
            self.tt.final_kind(self.tt.root)
4721.3.1 by Vincent Ladeuil
Cleanup imports.
1041
        except errors.NoSuchFile:
1731.1.33 by Aaron Bentley
Revert no-special-root changes
1042
            self.tt.cancel_deletion(self.tt.root)
1043
        if self.tt.final_file_id(self.tt.root) is None:
3943.8.1 by Marius Kruger
remove all trailing whitespace from bzr source
1044
            self.tt.version_file(self.tt.tree_file_id(self.tt.root),
1731.1.33 by Aaron Bentley
Revert no-special-root changes
1045
                                 self.tt.root)
2946.3.3 by John Arbash Meinel
Prefer tree.get_root_id() as more explicit than tree.path2id('')
1046
        other_root_file_id = self.other_tree.get_root_id()
3363.17.17 by Aaron Bentley
Start testing merging PreviewTree as OTHER
1047
        if other_root_file_id is None:
1048
            return
1731.1.33 by Aaron Bentley
Revert no-special-root changes
1049
        other_root = self.tt.trans_id_file_id(other_root_file_id)
1050
        if other_root == self.tt.root:
1051
            return
1052
        try:
1053
            self.tt.final_kind(other_root)
4721.3.1 by Vincent Ladeuil
Cleanup imports.
1054
        except errors.NoSuchFile:
1731.1.33 by Aaron Bentley
Revert no-special-root changes
1055
            return
4869.3.22 by Andrew Bennetts
Use 'tree.has_id(file_id)' rather than using 'file_id in tree' or using tree.inventory.
1056
        if self.this_tree.has_id(self.other_tree.inventory.root.file_id):
3649.3.1 by Jelmer Vernooij
Merging from a previously joined branch will no longer cause a traceback.
1057
            # the other tree's root is a non-root in the current tree
1058
            return
1731.1.33 by Aaron Bentley
Revert no-special-root changes
1059
        self.reparent_children(self.other_tree.inventory.root, self.tt.root)
1060
        self.tt.cancel_creation(other_root)
1061
        self.tt.cancel_versioning(other_root)
1062
1063
    def reparent_children(self, ie, target):
1064
        for thing, child in ie.children.iteritems():
1065
            trans_id = self.tt.trans_id_file_id(child.file_id)
1066
            self.tt.adjust_path(self.tt.final_name(trans_id), target, trans_id)
1067
1534.7.192 by Aaron Bentley
Record hashes produced by merges
1068
    def write_modified(self, results):
1069
        modified_hashes = {}
1070
        for path in results.modified_paths:
1071
            file_id = self.this_tree.path2id(self.this_tree.relpath(path))
1072
            if file_id is None:
1073
                continue
1074
            hash = self.this_tree.get_file_sha1(file_id)
1075
            if hash is None:
1076
                continue
1077
            modified_hashes[file_id] = hash
1078
        self.this_tree.set_merge_modified(modified_hashes)
1079
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1080
    @staticmethod
1081
    def parent(entry, file_id):
1534.7.157 by Aaron Bentley
Added more docs
1082
        """Determine the parent for a file_id (used as a key method)"""
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1083
        if entry is None:
1084
            return None
1085
        return entry.parent_id
1086
1087
    @staticmethod
1088
    def name(entry, file_id):
1534.7.157 by Aaron Bentley
Added more docs
1089
        """Determine the name for a file_id (used as a key method)"""
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1090
        if entry is None:
1091
            return None
1092
        return entry.name
3943.8.1 by Marius Kruger
remove all trailing whitespace from bzr source
1093
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1094
    @staticmethod
1095
    def contents_sha1(tree, file_id):
1534.7.157 by Aaron Bentley
Added more docs
1096
        """Determine the sha1 of the file contents (used as a key method)."""
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1097
        if file_id not in tree:
1098
            return None
1099
        return tree.get_file_sha1(file_id)
1100
1101
    @staticmethod
1102
    def executable(tree, file_id):
1534.7.157 by Aaron Bentley
Added more docs
1103
        """Determine the executability of a file-id (used as a key method)."""
4869.3.22 by Andrew Bennetts
Use 'tree.has_id(file_id)' rather than using 'file_id in tree' or using tree.inventory.
1104
        if not tree.has_id(file_id):
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1105
            return None
1106
        if tree.kind(file_id) != "file":
1107
            return False
1108
        return tree.is_executable(file_id)
1109
1110
    @staticmethod
1111
    def kind(tree, file_id):
1534.7.157 by Aaron Bentley
Added more docs
1112
        """Determine the kind of a file-id (used as a key method)."""
4869.3.22 by Andrew Bennetts
Use 'tree.has_id(file_id)' rather than using 'file_id in tree' or using tree.inventory.
1113
        if not tree.has_id(file_id):
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1114
            return None
1115
        return tree.kind(file_id)
1116
1117
    @staticmethod
2590.2.8 by Aaron Bentley
Restore conflict handling changes
1118
    def _three_way(base, other, this):
1119
        #if base == other, either they all agree, or only THIS has changed.
1120
        if base == other:
1121
            return 'this'
2590.2.10 by Aaron Bentley
Updates from review
1122
        elif this not in (base, other):
2590.2.8 by Aaron Bentley
Restore conflict handling changes
1123
            return 'conflict'
2590.2.10 by Aaron Bentley
Updates from review
1124
        # "Ambiguous clean merge" -- both sides have made the same change.
2590.2.8 by Aaron Bentley
Restore conflict handling changes
1125
        elif this == other:
1126
            return "this"
2590.2.10 by Aaron Bentley
Updates from review
1127
        # this == base: only other has changed.
2590.2.8 by Aaron Bentley
Restore conflict handling changes
1128
        else:
1129
            return "other"
1130
1131
    @staticmethod
3514.4.30 by John Arbash Meinel
Several updates.
1132
    def _lca_multi_way(bases, other, this, allow_overriding_lca=True):
3514.4.19 by John Arbash Meinel
Add the _lca_multi_way function, and explicit tests.
1133
        """Consider LCAs when determining whether a change has occurred.
1134
1135
        If LCAS are all identical, this is the same as a _three_way comparison.
1136
1137
        :param bases: value in (BASE, [LCAS])
1138
        :param other: value in OTHER
1139
        :param this: value in THIS
3514.4.30 by John Arbash Meinel
Several updates.
1140
        :param allow_overriding_lca: If there is more than one unique lca
1141
            value, allow OTHER to override THIS if it has a new value, and
1142
            THIS only has an lca value, or vice versa. This is appropriate for
1143
            truly scalar values, not as much for non-scalars.
3514.4.19 by John Arbash Meinel
Add the _lca_multi_way function, and explicit tests.
1144
        :return: 'this', 'other', or 'conflict' depending on whether an entry
1145
            changed or not.
1146
        """
3948.1.7 by Vincent Ladeuil
Slight refactoring and test fixing.
1147
        # See doc/developers/lca_tree_merging.txt for details about this
3514.4.30 by John Arbash Meinel
Several updates.
1148
        # algorithm.
3514.4.19 by John Arbash Meinel
Add the _lca_multi_way function, and explicit tests.
1149
        if other == this:
1150
            # Either Ambiguously clean, or nothing was actually changed. We
1151
            # don't really care
1152
            return 'this'
1153
        base_val, lca_vals = bases
1154
        # Remove 'base_val' from the lca_vals, because it is not interesting
1155
        filtered_lca_vals = [lca_val for lca_val in lca_vals
1156
                                      if lca_val != base_val]
1157
        if len(filtered_lca_vals) == 0:
1158
            return Merge3Merger._three_way(base_val, other, this)
3514.4.30 by John Arbash Meinel
Several updates.
1159
1160
        unique_lca_vals = set(filtered_lca_vals)
1161
        if len(unique_lca_vals) == 1:
1162
            return Merge3Merger._three_way(unique_lca_vals.pop(), other, this)
1163
1164
        if allow_overriding_lca:
1165
            if other in unique_lca_vals:
1166
                if this in unique_lca_vals:
1167
                    # Each side picked a different lca, conflict
1168
                    return 'conflict'
1169
                else:
1170
                    # This has a value which supersedes both lca values, and
1171
                    # other only has an lca value
1172
                    return 'this'
1173
            elif this in unique_lca_vals:
1174
                # OTHER has a value which supersedes both lca values, and this
3514.4.19 by John Arbash Meinel
Add the _lca_multi_way function, and explicit tests.
1175
                # only has an lca value
3514.4.30 by John Arbash Meinel
Several updates.
1176
                return 'other'
3514.4.19 by John Arbash Meinel
Add the _lca_multi_way function, and explicit tests.
1177
1178
        # At this point, the lcas disagree, and the tips disagree
1179
        return 'conflict'
1180
1181
    @staticmethod
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1182
    def scalar_three_way(this_tree, base_tree, other_tree, file_id, key):
1183
        """Do a three-way test on a scalar.
1184
        Return "this", "other" or "conflict", depending whether a value wins.
1185
        """
1186
        key_base = key(base_tree, file_id)
1187
        key_other = key(other_tree, file_id)
1188
        #if base == other, either they all agree, or only THIS has changed.
1189
        if key_base == key_other:
1190
            return "this"
1191
        key_this = key(this_tree, file_id)
3376.2.4 by Martin Pool
Remove every assert statement from bzrlib!
1192
        # "Ambiguous clean merge"
1193
        if key_this == key_other:
1194
            return "this"
1195
        elif key_this == key_base:
1196
            return "other"
1197
        else:
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1198
            return "conflict"
1199
1200
    def merge_names(self, file_id):
1201
        def get_entry(tree):
4869.3.22 by Andrew Bennetts
Use 'tree.has_id(file_id)' rather than using 'file_id in tree' or using tree.inventory.
1202
            if tree.has_id(file_id):
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1203
                return tree.inventory[file_id]
1204
            else:
1205
                return None
1206
        this_entry = get_entry(self.this_tree)
1207
        other_entry = get_entry(self.other_tree)
1208
        base_entry = get_entry(self.base_tree)
2590.2.1 by Aaron Bentley
Start work on merging names based on iter_changes
1209
        entries = (base_entry, other_entry, this_entry)
1210
        names = []
1211
        parents = []
1212
        for entry in entries:
1213
            if entry is None:
1214
                names.append(None)
1215
                parents.append(None)
1216
            else:
1217
                names.append(entry.name)
1218
                parents.append(entry.parent_id)
3514.4.40 by John Arbash Meinel
Make 'resolver' a required parameter.
1219
        return self._merge_names(file_id, parents, names,
1220
                                 resolver=self._three_way)
2590.2.1 by Aaron Bentley
Start work on merging names based on iter_changes
1221
3514.4.40 by John Arbash Meinel
Make 'resolver' a required parameter.
1222
    def _merge_names(self, file_id, parents, names, resolver):
2590.2.7 by Aaron Bentley
Misc cleanup
1223
        """Perform a merge on file_id names and parents"""
2590.2.1 by Aaron Bentley
Start work on merging names based on iter_changes
1224
        base_name, other_name, this_name = names
1225
        base_parent, other_parent, this_parent = parents
2590.2.2 by Aaron Bentley
Do most name merging from iter_changes output
1226
3514.4.21 by John Arbash Meinel
Hook up the lca-way logic into the path handlers.
1227
        name_winner = resolver(*names)
2590.2.1 by Aaron Bentley
Start work on merging names based on iter_changes
1228
3514.4.21 by John Arbash Meinel
Hook up the lca-way logic into the path handlers.
1229
        parent_id_winner = resolver(*parents)
2590.2.2 by Aaron Bentley
Do most name merging from iter_changes output
1230
        if this_name is None:
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1231
            if name_winner == "this":
1232
                name_winner = "other"
1233
            if parent_id_winner == "this":
1234
                parent_id_winner = "other"
1235
        if name_winner == "this" and parent_id_winner == "this":
1236
            return
1237
        if name_winner == "conflict":
1534.7.181 by Aaron Bentley
Renamed a bunch of functions
1238
            trans_id = self.tt.trans_id_file_id(file_id)
3943.8.1 by Marius Kruger
remove all trailing whitespace from bzr source
1239
            self._raw_conflicts.append(('name conflict', trans_id,
2590.2.1 by Aaron Bentley
Start work on merging names based on iter_changes
1240
                                        this_name, other_name))
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1241
        if parent_id_winner == "conflict":
1534.7.181 by Aaron Bentley
Renamed a bunch of functions
1242
            trans_id = self.tt.trans_id_file_id(file_id)
3943.8.1 by Marius Kruger
remove all trailing whitespace from bzr source
1243
            self._raw_conflicts.append(('parent conflict', trans_id,
2590.2.1 by Aaron Bentley
Start work on merging names based on iter_changes
1244
                                        this_parent, other_parent))
2590.2.2 by Aaron Bentley
Do most name merging from iter_changes output
1245
        if other_name is None:
3943.8.1 by Marius Kruger
remove all trailing whitespace from bzr source
1246
            # it doesn't matter whether the result was 'other' or
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1247
            # 'conflict'-- if there's no 'other', we leave it alone.
1248
            return
1249
        # if we get here, name_winner and parent_winner are set to safe values.
1534.7.181 by Aaron Bentley
Renamed a bunch of functions
1250
        trans_id = self.tt.trans_id_file_id(file_id)
2590.2.7 by Aaron Bentley
Misc cleanup
1251
        parent_id = parents[self.winner_idx[parent_id_winner]]
1731.1.33 by Aaron Bentley
Revert no-special-root changes
1252
        if parent_id is not None:
1253
            parent_trans_id = self.tt.trans_id_file_id(parent_id)
2590.2.7 by Aaron Bentley
Misc cleanup
1254
            self.tt.adjust_path(names[self.winner_idx[name_winner]],
1731.1.33 by Aaron Bentley
Revert no-special-root changes
1255
                                parent_trans_id, trans_id)
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1256
4797.5.1 by Robert Collins
Support state on per-file merging to permit more efficient use of configuration data.
1257
    def _do_merge_contents(self, file_id):
3874.2.10 by Vincent Ladeuil
Fix typo.
1258
        """Performs a merge on file_id contents."""
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1259
        def contents_pair(tree):
1260
            if file_id not in tree:
1261
                return (None, None)
1262
            kind = tree.kind(file_id)
1263
            if kind == "file":
1264
                contents = tree.get_file_sha1(file_id)
1265
            elif kind == "symlink":
1266
                contents = tree.get_symlink_target(file_id)
1267
            else:
1268
                contents = None
1269
            return kind, contents
1558.15.3 by Aaron Bentley
Handle binary files for diff3 merges
1270
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1271
        # See SPOT run.  run, SPOT, run.
1272
        # So we're not QUITE repeating ourselves; we do tricky things with
1273
        # file kind...
1274
        base_pair = contents_pair(self.base_tree)
1275
        other_pair = contents_pair(self.other_tree)
3955.2.1 by John Arbash Meinel
Change the workings of merge_content to be lca aware.
1276
        if self._lca_trees:
3948.1.7 by Vincent Ladeuil
Slight refactoring and test fixing.
1277
            this_pair = contents_pair(self.this_tree)
3955.2.1 by John Arbash Meinel
Change the workings of merge_content to be lca aware.
1278
            lca_pairs = [contents_pair(tree) for tree in self._lca_trees]
1279
            winner = self._lca_multi_way((base_pair, lca_pairs), other_pair,
1280
                                         this_pair, allow_overriding_lca=False)
1281
        else:
3948.1.7 by Vincent Ladeuil
Slight refactoring and test fixing.
1282
            if base_pair == other_pair:
1283
                winner = 'this'
1284
            else:
1285
                # We delayed evaluating this_pair as long as we can to avoid
1286
                # unnecessary sha1 calculation
1287
                this_pair = contents_pair(self.this_tree)
1288
                winner = self._three_way(base_pair, other_pair, this_pair)
3955.2.1 by John Arbash Meinel
Change the workings of merge_content to be lca aware.
1289
        if winner == 'this':
1290
            # No interesting changes introduced by OTHER
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1291
            return "unmodified"
4869.3.15 by Andrew Bennetts
Refactor so that the default text merge is the final hook tried. Other hooks can now invoke it directly via merger.default_text_merge if they wish.
1292
        # We have a hypothetical conflict, but if we have files, then we
1293
        # can try to merge the content
4869.3.16 by Andrew Bennetts
Move handling of winner==OTHER case into generic hook path too.
1294
        trans_id = self.tt.trans_id_file_id(file_id)
4869.3.21 by Andrew Bennetts
Pass kinds (not pairs) to MergeHookParams.
1295
        params = MergeHookParams(self, file_id, trans_id, this_pair[0],
1296
            other_pair[0], winner)
4797.5.1 by Robert Collins
Support state on per-file merging to permit more efficient use of configuration data.
1297
        hooks = self.active_hooks
4869.3.15 by Andrew Bennetts
Refactor so that the default text merge is the final hook tried. Other hooks can now invoke it directly via merger.default_text_merge if they wish.
1298
        hook_status = 'not_applicable'
1299
        for hook in hooks:
4797.5.1 by Robert Collins
Support state on per-file merging to permit more efficient use of configuration data.
1300
            hook_status, lines = hook.merge_contents(params)
4869.3.15 by Andrew Bennetts
Refactor so that the default text merge is the final hook tried. Other hooks can now invoke it directly via merger.default_text_merge if they wish.
1301
            if hook_status != 'not_applicable':
1302
                # Don't try any more hooks, this one applies.
4869.3.5 by Andrew Bennetts
Hook is invoked for delete vs. change conflicts, and may choose to result in deleting the file.
1303
                break
4869.3.18 by Andrew Bennetts
Simplify slightly more.
1304
        result = "modified"
4869.3.15 by Andrew Bennetts
Refactor so that the default text merge is the final hook tried. Other hooks can now invoke it directly via merger.default_text_merge if they wish.
1305
        if hook_status == 'not_applicable':
4869.3.17 by Andrew Bennetts
Remove contents_conflict nested function, replace last callsite with simpler form.
1306
            # This is a contents conflict, because none of the available
1307
            # functions could merge it.
4869.3.18 by Andrew Bennetts
Simplify slightly more.
1308
            result = None
4869.3.17 by Andrew Bennetts
Remove contents_conflict nested function, replace last callsite with simpler form.
1309
            name = self.tt.final_name(trans_id)
1310
            parent_id = self.tt.final_parent(trans_id)
4869.3.22 by Andrew Bennetts
Use 'tree.has_id(file_id)' rather than using 'file_id in tree' or using tree.inventory.
1311
            if self.this_tree.has_id(file_id):
4869.3.17 by Andrew Bennetts
Remove contents_conflict nested function, replace last callsite with simpler form.
1312
                self.tt.unversion_file(trans_id)
1313
            file_group = self._dump_conflicts(name, parent_id, file_id,
1314
                                              set_version=True)
1315
            self._raw_conflicts.append(('contents conflict', file_group))
4869.3.15 by Andrew Bennetts
Refactor so that the default text merge is the final hook tried. Other hooks can now invoke it directly via merger.default_text_merge if they wish.
1316
        elif hook_status == 'success':
1317
            self.tt.create_file(lines, trans_id)
1318
        elif hook_status == 'conflicted':
1319
            # XXX: perhaps the hook should be able to provide
1320
            # the BASE/THIS/OTHER files?
1321
            self.tt.create_file(lines, trans_id)
1322
            self._raw_conflicts.append(('text conflict', trans_id))
1323
            name = self.tt.final_name(trans_id)
1324
            parent_id = self.tt.final_parent(trans_id)
4869.3.23 by Andrew Bennetts
Remove some confusing code that has no effect.
1325
            self._dump_conflicts(name, parent_id, file_id)
4869.3.15 by Andrew Bennetts
Refactor so that the default text merge is the final hook tried. Other hooks can now invoke it directly via merger.default_text_merge if they wish.
1326
        elif hook_status == 'delete':
1327
            self.tt.unversion_file(trans_id)
4869.3.18 by Andrew Bennetts
Simplify slightly more.
1328
            result = "deleted"
4869.3.15 by Andrew Bennetts
Refactor so that the default text merge is the final hook tried. Other hooks can now invoke it directly via merger.default_text_merge if they wish.
1329
        elif hook_status == 'done':
1330
            # The hook function did whatever it needs to do directly, no
1331
            # further action needed here.
1332
            pass
1333
        else:
4869.3.18 by Andrew Bennetts
Simplify slightly more.
1334
            raise AssertionError('unknown hook_status: %r' % (hook_status,))
4869.3.22 by Andrew Bennetts
Use 'tree.has_id(file_id)' rather than using 'file_id in tree' or using tree.inventory.
1335
        if not self.this_tree.has_id(file_id) and result == "modified":
4869.3.15 by Andrew Bennetts
Refactor so that the default text merge is the final hook tried. Other hooks can now invoke it directly via merger.default_text_merge if they wish.
1336
            self.tt.version_file(file_id, trans_id)
4869.3.31 by Andrew Bennetts
Add comment, improve doc string, remove redundant line.
1337
        # The merge has been performed, so the old contents should not be
1338
        # retained.
4869.3.15 by Andrew Bennetts
Refactor so that the default text merge is the final hook tried. Other hooks can now invoke it directly via merger.default_text_merge if they wish.
1339
        try:
1340
            self.tt.delete_contents(trans_id)
1341
        except errors.NoSuchFile:
1342
            pass
4869.3.18 by Andrew Bennetts
Simplify slightly more.
1343
        return result
4869.3.15 by Andrew Bennetts
Refactor so that the default text merge is the final hook tried. Other hooks can now invoke it directly via merger.default_text_merge if they wish.
1344
4869.3.16 by Andrew Bennetts
Move handling of winner==OTHER case into generic hook path too.
1345
    def _default_other_winner_merge(self, merge_hook_params):
1346
        """Replace this contents with other."""
1347
        file_id = merge_hook_params.file_id
1348
        trans_id = merge_hook_params.trans_id
4869.3.22 by Andrew Bennetts
Use 'tree.has_id(file_id)' rather than using 'file_id in tree' or using tree.inventory.
1349
        file_in_this = self.this_tree.has_id(file_id)
1350
        if self.other_tree.has_id(file_id):
4869.3.16 by Andrew Bennetts
Move handling of winner==OTHER case into generic hook path too.
1351
            # OTHER changed the file
1352
            wt = self.this_tree
1353
            if wt.supports_content_filtering():
1354
                # We get the path from the working tree if it exists.
1355
                # That fails though when OTHER is adding a file, so
1356
                # we fall back to the other tree to find the path if
1357
                # it doesn't exist locally.
1358
                try:
1359
                    filter_tree_path = wt.id2path(file_id)
1360
                except errors.NoSuchId:
1361
                    filter_tree_path = self.other_tree.id2path(file_id)
1362
            else:
1363
                # Skip the id2path lookup for older formats
1364
                filter_tree_path = None
1365
            transform.create_from_tree(self.tt, trans_id,
1366
                             self.other_tree, file_id,
1367
                             filter_tree_path=filter_tree_path)
1368
            return 'done', None
1369
        elif file_in_this:
1370
            # OTHER deleted the file
1371
            return 'delete', None
1372
        else:
1373
            raise AssertionError(
1374
                'winner is OTHER, but file_id %r not in THIS or OTHER tree'
1375
                % (file_id,))
1376
4797.5.1 by Robert Collins
Support state on per-file merging to permit more efficient use of configuration data.
1377
    def merge_contents(self, merge_hook_params):
1378
        """Fallback merge logic after user installed hooks."""
1379
        # This function is used in merge hooks as the fallback instance.
1380
        # Perhaps making this function and the functions it calls be a 
1381
        # a separate class would be better.
4869.3.16 by Andrew Bennetts
Move handling of winner==OTHER case into generic hook path too.
1382
        if merge_hook_params.winner == 'other':
1383
            # OTHER is a straight winner, so replace this contents with other
1384
            return self._default_other_winner_merge(merge_hook_params)
1385
        elif merge_hook_params.is_file_merge():
4869.3.15 by Andrew Bennetts
Refactor so that the default text merge is the final hook tried. Other hooks can now invoke it directly via merger.default_text_merge if they wish.
1386
            # THIS and OTHER are both files, so text merge.  Either
1387
            # BASE is a file, or both converted to files, so at least we
1388
            # have agreement that output should be a file.
1389
            try:
1390
                self.text_merge(merge_hook_params.file_id,
1391
                    merge_hook_params.trans_id)
1392
            except errors.BinaryFile:
1393
                return 'not_applicable', None
4869.3.16 by Andrew Bennetts
Move handling of winner==OTHER case into generic hook path too.
1394
            return 'done', None
4869.3.15 by Andrew Bennetts
Refactor so that the default text merge is the final hook tried. Other hooks can now invoke it directly via merger.default_text_merge if they wish.
1395
        else:
1396
            return 'not_applicable', None
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1397
1398
    def get_lines(self, tree, file_id):
1534.7.157 by Aaron Bentley
Added more docs
1399
        """Return the lines in a file, or an empty list."""
4869.3.22 by Andrew Bennetts
Use 'tree.has_id(file_id)' rather than using 'file_id in tree' or using tree.inventory.
1400
        if tree.has_id(file_id):
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1401
            return tree.get_file(file_id).readlines()
1402
        else:
1403
            return []
1404
1405
    def text_merge(self, file_id, trans_id):
1406
        """Perform a three-way text merge on a file_id"""
1407
        # it's possible that we got here with base as a different type.
1408
        # if so, we just want two-way text conflicts.
4869.3.22 by Andrew Bennetts
Use 'tree.has_id(file_id)' rather than using 'file_id in tree' or using tree.inventory.
1409
        if self.base_tree.has_id(file_id) and \
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1410
            self.base_tree.kind(file_id) == "file":
1411
            base_lines = self.get_lines(self.base_tree, file_id)
1412
        else:
1413
            base_lines = []
1414
        other_lines = self.get_lines(self.other_tree, file_id)
1415
        this_lines = self.get_lines(self.this_tree, file_id)
4721.3.1 by Vincent Ladeuil
Cleanup imports.
1416
        m3 = merge3.Merge3(base_lines, this_lines, other_lines,
1417
                           is_cherrypick=self.cherrypick)
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1418
        start_marker = "!START OF MERGE CONFLICT!" + "I HOPE THIS IS UNIQUE"
1419
        if self.show_base is True:
1420
            base_marker = '|' * 7
1421
        else:
1422
            base_marker = None
1423
1424
        def iter_merge3(retval):
1425
            retval["text_conflicts"] = False
3943.8.1 by Marius Kruger
remove all trailing whitespace from bzr source
1426
            for line in m3.merge_lines(name_a = "TREE",
1427
                                       name_b = "MERGE-SOURCE",
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1428
                                       name_base = "BASE-REVISION",
3943.8.1 by Marius Kruger
remove all trailing whitespace from bzr source
1429
                                       start_marker=start_marker,
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1430
                                       base_marker=base_marker,
1431
                                       reprocess=self.reprocess):
1432
                if line.startswith(start_marker):
1433
                    retval["text_conflicts"] = True
1434
                    yield line.replace(start_marker, '<' * 7)
1435
                else:
1436
                    yield line
1437
        retval = {}
1438
        merge3_iterator = iter_merge3(retval)
1439
        self.tt.create_file(merge3_iterator, trans_id)
1440
        if retval["text_conflicts"] is True:
1441
            self._raw_conflicts.append(('text conflict', trans_id))
1442
            name = self.tt.final_name(trans_id)
1443
            parent_id = self.tt.final_parent(trans_id)
3943.8.1 by Marius Kruger
remove all trailing whitespace from bzr source
1444
            file_group = self._dump_conflicts(name, parent_id, file_id,
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1445
                                              this_lines, base_lines,
1446
                                              other_lines)
1447
            file_group.append(trans_id)
1448
3943.8.1 by Marius Kruger
remove all trailing whitespace from bzr source
1449
    def _dump_conflicts(self, name, parent_id, file_id, this_lines=None,
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1450
                        base_lines=None, other_lines=None, set_version=False,
1451
                        no_base=False):
1534.7.157 by Aaron Bentley
Added more docs
1452
        """Emit conflict files.
1453
        If this_lines, base_lines, or other_lines are omitted, they will be
1454
        determined automatically.  If set_version is true, the .OTHER, .THIS
1455
        or .BASE (in that order) will be created as versioned files.
1456
        """
3943.8.1 by Marius Kruger
remove all trailing whitespace from bzr source
1457
        data = [('OTHER', self.other_tree, other_lines),
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1458
                ('THIS', self.this_tree, this_lines)]
1459
        if not no_base:
1460
            data.append(('BASE', self.base_tree, base_lines))
4443.2.1 by Ian Clatworthy
apply content filters when merging new files
1461
1462
        # We need to use the actual path in the working tree of the file here,
1463
        # ignoring the conflict suffixes
1464
        wt = self.this_tree
1465
        if wt.supports_content_filtering():
1466
            try:
1467
                filter_tree_path = wt.id2path(file_id)
1468
            except errors.NoSuchId:
1469
                # file has been deleted
1470
                filter_tree_path = None
1471
        else:
1472
            # Skip the id2path lookup for older formats
1473
            filter_tree_path = None
1474
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1475
        versioned = False
1476
        file_group = []
1477
        for suffix, tree, lines in data:
4869.3.22 by Andrew Bennetts
Use 'tree.has_id(file_id)' rather than using 'file_id in tree' or using tree.inventory.
1478
            if tree.has_id(file_id):
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1479
                trans_id = self._conflict_file(name, parent_id, tree, file_id,
4443.2.1 by Ian Clatworthy
apply content filters when merging new files
1480
                                               suffix, lines, filter_tree_path)
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1481
                file_group.append(trans_id)
1482
                if set_version and not versioned:
1483
                    self.tt.version_file(file_id, trans_id)
1484
                    versioned = True
1485
        return file_group
3943.8.1 by Marius Kruger
remove all trailing whitespace from bzr source
1486
3363.17.21 by Aaron Bentley
Conflicts are handled when merging from preview trees
1487
    def _conflict_file(self, name, parent_id, tree, file_id, suffix,
4443.2.1 by Ian Clatworthy
apply content filters when merging new files
1488
                       lines=None, filter_tree_path=None):
1534.7.157 by Aaron Bentley
Added more docs
1489
        """Emit a single conflict file."""
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1490
        name = name + '.' + suffix
1491
        trans_id = self.tt.create_path(name, parent_id)
4854.1.1 by Andrew Bennetts
Merge lp:bzr/2.0 into lp:bzr.
1492
        transform.create_from_tree(self.tt, trans_id, tree, file_id, lines,
4443.2.1 by Ian Clatworthy
apply content filters when merging new files
1493
            filter_tree_path)
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1494
        return trans_id
1495
1496
    def merge_executable(self, file_id, file_status):
1534.7.157 by Aaron Bentley
Added more docs
1497
        """Perform a merge on the execute bit."""
2590.2.3 by Aaron Bentley
Merge the execute bit based on iter_changes
1498
        executable = [self.executable(t, file_id) for t in (self.base_tree,
1499
                      self.other_tree, self.this_tree)]
3514.4.40 by John Arbash Meinel
Make 'resolver' a required parameter.
1500
        self._merge_executable(file_id, executable, file_status,
1501
                               resolver=self._three_way)
2590.2.3 by Aaron Bentley
Merge the execute bit based on iter_changes
1502
3514.4.21 by John Arbash Meinel
Hook up the lca-way logic into the path handlers.
1503
    def _merge_executable(self, file_id, executable, file_status,
3514.4.40 by John Arbash Meinel
Make 'resolver' a required parameter.
1504
                          resolver):
2590.2.3 by Aaron Bentley
Merge the execute bit based on iter_changes
1505
        """Perform a merge on the execute bit."""
1506
        base_executable, other_executable, this_executable = executable
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1507
        if file_status == "deleted":
1508
            return
3514.4.21 by John Arbash Meinel
Hook up the lca-way logic into the path handlers.
1509
        winner = resolver(*executable)
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1510
        if winner == "conflict":
1511
        # There must be a None in here, if we have a conflict, but we
1512
        # need executability since file status was not deleted.
1534.10.35 by Aaron Bentley
Merge handles contents + executable + deletion conflict
1513
            if self.executable(self.other_tree, file_id) is None:
1534.7.142 by Aaron Bentley
Fixed executability conflicts
1514
                winner = "this"
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1515
            else:
1534.7.142 by Aaron Bentley
Fixed executability conflicts
1516
                winner = "other"
1551.19.30 by Aaron Bentley
Accelerate merge by skipping file existence check when merging execute bit
1517
        if winner == 'this' and file_status != "modified":
1518
            return
1519
        trans_id = self.tt.trans_id_file_id(file_id)
1520
        try:
1521
            if self.tt.final_kind(trans_id) != "file":
1522
                return
4721.3.1 by Vincent Ladeuil
Cleanup imports.
1523
        except errors.NoSuchFile:
1551.19.30 by Aaron Bentley
Accelerate merge by skipping file existence check when merging execute bit
1524
            return
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1525
        if winner == "this":
1551.19.30 by Aaron Bentley
Accelerate merge by skipping file existence check when merging execute bit
1526
            executability = this_executable
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1527
        else:
4869.3.22 by Andrew Bennetts
Use 'tree.has_id(file_id)' rather than using 'file_id in tree' or using tree.inventory.
1528
            if self.other_tree.has_id(file_id):
2590.2.3 by Aaron Bentley
Merge the execute bit based on iter_changes
1529
                executability = other_executable
4869.3.22 by Andrew Bennetts
Use 'tree.has_id(file_id)' rather than using 'file_id in tree' or using tree.inventory.
1530
            elif self.this_tree.has_id(file_id):
2590.2.3 by Aaron Bentley
Merge the execute bit based on iter_changes
1531
                executability = this_executable
4869.3.22 by Andrew Bennetts
Use 'tree.has_id(file_id)' rather than using 'file_id in tree' or using tree.inventory.
1532
            elif self.base_tree_has_id(file_id):
2590.2.3 by Aaron Bentley
Merge the execute bit based on iter_changes
1533
                executability = base_executable
1551.19.30 by Aaron Bentley
Accelerate merge by skipping file existence check when merging execute bit
1534
        if executability is not None:
1535
            trans_id = self.tt.trans_id_file_id(file_id)
1536
            self.tt.set_executability(executability, trans_id)
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1537
1534.7.172 by Aaron Bentley
Integrated fs conflicts with merge conflicts.
1538
    def cook_conflicts(self, fs_conflicts):
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1539
        """Convert all conflicts into a form that doesn't depend on trans_id"""
1540
        name_conflicts = {}
4721.3.1 by Vincent Ladeuil
Cleanup imports.
1541
        self.cooked_conflicts.extend(transform.cook_conflicts(
1542
                fs_conflicts, self.tt))
1543
        fp = transform.FinalPaths(self.tt)
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1544
        for conflict in self._raw_conflicts:
1545
            conflict_type = conflict[0]
1546
            if conflict_type in ('name conflict', 'parent conflict'):
1547
                trans_id = conflict[1]
1548
                conflict_args = conflict[2:]
1549
                if trans_id not in name_conflicts:
1550
                    name_conflicts[trans_id] = {}
4721.3.1 by Vincent Ladeuil
Cleanup imports.
1551
                transform.unique_add(name_conflicts[trans_id], conflict_type,
1552
                                     conflict_args)
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1553
            if conflict_type == 'contents conflict':
1554
                for trans_id in conflict[1]:
1555
                    file_id = self.tt.final_file_id(trans_id)
1556
                    if file_id is not None:
1557
                        break
1558
                path = fp.get_path(trans_id)
1559
                for suffix in ('.BASE', '.THIS', '.OTHER'):
1560
                    if path.endswith(suffix):
1561
                        path = path[:-len(suffix)]
1562
                        break
4721.3.1 by Vincent Ladeuil
Cleanup imports.
1563
                c = _mod_conflicts.Conflict.factory(conflict_type,
1564
                                                    path=path, file_id=file_id)
1534.10.19 by Aaron Bentley
Stanza conversion, cooking
1565
                self.cooked_conflicts.append(c)
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1566
            if conflict_type == 'text conflict':
1567
                trans_id = conflict[1]
1568
                path = fp.get_path(trans_id)
1569
                file_id = self.tt.final_file_id(trans_id)
4721.3.1 by Vincent Ladeuil
Cleanup imports.
1570
                c = _mod_conflicts.Conflict.factory(conflict_type,
1571
                                                    path=path, file_id=file_id)
1534.10.19 by Aaron Bentley
Stanza conversion, cooking
1572
                self.cooked_conflicts.append(c)
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1573
1574
        for trans_id, conflicts in name_conflicts.iteritems():
1575
            try:
1576
                this_parent, other_parent = conflicts['parent conflict']
3376.2.4 by Martin Pool
Remove every assert statement from bzrlib!
1577
                if this_parent == other_parent:
1578
                    raise AssertionError()
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1579
            except KeyError:
1580
                this_parent = other_parent = \
1581
                    self.tt.final_file_id(self.tt.final_parent(trans_id))
1582
            try:
1583
                this_name, other_name = conflicts['name conflict']
3376.2.4 by Martin Pool
Remove every assert statement from bzrlib!
1584
                if this_name == other_name:
1585
                    raise AssertionError()
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1586
            except KeyError:
1587
                this_name = other_name = self.tt.final_name(trans_id)
1588
            other_path = fp.get_path(trans_id)
1551.16.2 by Aaron Bentley
Don't crash on merging renamed deleted files (#110279)
1589
            if this_parent is not None and this_name is not None:
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1590
                this_parent_path = \
1534.7.181 by Aaron Bentley
Renamed a bunch of functions
1591
                    fp.get_path(self.tt.trans_id_file_id(this_parent))
4721.3.1 by Vincent Ladeuil
Cleanup imports.
1592
                this_path = osutils.pathjoin(this_parent_path, this_name)
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1593
            else:
1594
                this_path = "<deleted>"
1595
            file_id = self.tt.final_file_id(trans_id)
4721.3.1 by Vincent Ladeuil
Cleanup imports.
1596
            c = _mod_conflicts.Conflict.factory('path conflict', path=this_path,
1597
                                                conflict_path=other_path,
1598
                                                file_id=file_id)
1534.10.19 by Aaron Bentley
Stanza conversion, cooking
1599
            self.cooked_conflicts.append(c)
4721.3.1 by Vincent Ladeuil
Cleanup imports.
1600
        self.cooked_conflicts.sort(key=_mod_conflicts.Conflict.sort_key)
1534.7.141 by Aaron Bentley
Added conflict reporting
1601
1602
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1603
class WeaveMerger(Merge3Merger):
1534.7.167 by Aaron Bentley
PEP8 and comment cleanups
1604
    """Three-way tree merger, text weave merger."""
1551.6.8 by Aaron Bentley
Implemented reprocess for weave
1605
    supports_reprocess = True
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1606
    supports_show_base = False
3062.2.7 by Aaron Bentley
Prevent reverse cherry-picking with weave
1607
    supports_reverse_cherrypick = False
3062.2.9 by Aaron Bentley
Don't use the base if not cherrypicking
1608
    history_based = True
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1609
4634.101.7 by John Arbash Meinel
Start working on the ability to drop a .BASE file for --weave and --lca merge.
1610
    def _generate_merge_plan(self, file_id, base):
1611
        return self.this_tree.plan_file_merge(file_id, self.other_tree,
3062.2.9 by Aaron Bentley
Don't use the base if not cherrypicking
1612
                                              base=base)
4634.101.7 by John Arbash Meinel
Start working on the ability to drop a .BASE file for --weave and --lca merge.
1613
1614
    def _merged_lines(self, file_id):
1615
        """Generate the merged lines.
1616
        There is no distinction between lines that are meant to contain <<<<<<<
1617
        and conflicts.
1618
        """
1619
        if self.cherrypick:
1620
            base = self.base_tree
1621
        else:
1622
            base = None
1623
        plan = self._generate_merge_plan(file_id, base)
1551.19.17 by Aaron Bentley
Add debugging flag for merges
1624
        if 'merge' in debug.debug_flags:
1625
            plan = list(plan)
1626
            trans_id = self.tt.trans_id_file_id(file_id)
1627
            name = self.tt.final_name(trans_id) + '.plan'
4634.101.6 by John Arbash Meinel
killed-both and killed-base is 11 chars long.
1628
            contents = ('%11s|%s' % l for l in plan)
1551.19.17 by Aaron Bentley
Add debugging flag for merges
1629
            self.tt.new_file(name, self.tt.final_parent(trans_id), contents)
4721.3.1 by Vincent Ladeuil
Cleanup imports.
1630
        textmerge = versionedfile.PlanWeaveMerge(plan, '<<<<<<< TREE\n',
1631
                                                 '>>>>>>> MERGE-SOURCE\n')
4634.101.7 by John Arbash Meinel
Start working on the ability to drop a .BASE file for --weave and --lca merge.
1632
        lines, conflicts = textmerge.merge_lines(self.reprocess)
1633
        if conflicts:
1634
            base_lines = textmerge.base_from_plan()
1635
        else:
1636
            base_lines = None
1637
        return lines, base_lines
4869.2.2 by Andrew Bennetts
Remove some duplication.
1638
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1639
    def text_merge(self, file_id, trans_id):
1534.7.157 by Aaron Bentley
Added more docs
1640
        """Perform a (weave) text merge for a given file and file-id.
1641
        If conflicts are encountered, .THIS and .OTHER files will be emitted,
1642
        and a conflict will be noted.
1643
        """
4634.101.7 by John Arbash Meinel
Start working on the ability to drop a .BASE file for --weave and --lca merge.
1644
        lines, base_lines = self._merged_lines(file_id)
1558.15.10 by Aaron Bentley
Merge bzr.dev
1645
        lines = list(lines)
3943.8.1 by Marius Kruger
remove all trailing whitespace from bzr source
1646
        # Note we're checking whether the OUTPUT is binary in this case,
1558.15.5 by Aaron Bentley
Fixed binary handling in weave merge
1647
        # because we don't want to get into weave merge guts.
4721.3.1 by Vincent Ladeuil
Cleanup imports.
1648
        textfile.check_text_lines(lines)
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1649
        self.tt.create_file(lines, trans_id)
4634.101.7 by John Arbash Meinel
Start working on the ability to drop a .BASE file for --weave and --lca merge.
1650
        if base_lines is not None:
1651
            # Conflict
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1652
            self._raw_conflicts.append(('text conflict', trans_id))
1653
            name = self.tt.final_name(trans_id)
1654
            parent_id = self.tt.final_parent(trans_id)
3943.8.1 by Marius Kruger
remove all trailing whitespace from bzr source
1655
            file_group = self._dump_conflicts(name, parent_id, file_id,
4634.101.7 by John Arbash Meinel
Start working on the ability to drop a .BASE file for --weave and --lca merge.
1656
                                              no_base=False,
1657
                                              base_lines=base_lines)
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1658
            file_group.append(trans_id)
1659
1660
3144.3.1 by Aaron Bentley
Implement LCA merge, with problematic conflict markers
1661
class LCAMerger(WeaveMerger):
1662
4634.101.7 by John Arbash Meinel
Start working on the ability to drop a .BASE file for --weave and --lca merge.
1663
    def _generate_merge_plan(self, file_id, base):
1664
        return self.this_tree.plan_file_lca_merge(file_id, self.other_tree,
3144.3.1 by Aaron Bentley
Implement LCA merge, with problematic conflict markers
1665
                                                  base=base)
1666
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1667
class Diff3Merger(Merge3Merger):
1534.7.167 by Aaron Bentley
PEP8 and comment cleanups
1668
    """Three-way merger using external diff3 for text merging"""
1711.7.20 by John Arbash Meinel
always close files, minor PEP8 cleanup
1669
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1670
    def dump_file(self, temp_dir, name, tree, file_id):
4721.3.1 by Vincent Ladeuil
Cleanup imports.
1671
        out_path = osutils.pathjoin(temp_dir, name)
1711.7.20 by John Arbash Meinel
always close files, minor PEP8 cleanup
1672
        out_file = open(out_path, "wb")
1673
        try:
1674
            in_file = tree.get_file(file_id)
1675
            for line in in_file:
1676
                out_file.write(line)
1677
        finally:
1678
            out_file.close()
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1679
        return out_path
1680
1681
    def text_merge(self, file_id, trans_id):
1534.7.157 by Aaron Bentley
Added more docs
1682
        """Perform a diff3 merge using a specified file-id and trans-id.
1683
        If conflicts are encountered, .BASE, .THIS. and .OTHER conflict files
1684
        will be dumped, and a will be conflict noted.
1685
        """
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1686
        import bzrlib.patch
1996.3.18 by John Arbash Meinel
Now that mkdtemp and rmtree are lazy, they should not be directly improted.
1687
        temp_dir = osutils.mkdtemp(prefix="bzr-")
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1688
        try:
4721.3.1 by Vincent Ladeuil
Cleanup imports.
1689
            new_file = osutils.pathjoin(temp_dir, "new")
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1690
            this = self.dump_file(temp_dir, "this", self.this_tree, file_id)
1691
            base = self.dump_file(temp_dir, "base", self.base_tree, file_id)
1692
            other = self.dump_file(temp_dir, "other", self.other_tree, file_id)
1693
            status = bzrlib.patch.diff3(new_file, this, base, other)
1694
            if status not in (0, 1):
4721.3.1 by Vincent Ladeuil
Cleanup imports.
1695
                raise errors.BzrError("Unhandled diff3 exit code")
1711.7.20 by John Arbash Meinel
always close files, minor PEP8 cleanup
1696
            f = open(new_file, 'rb')
1697
            try:
1698
                self.tt.create_file(f, trans_id)
1699
            finally:
1700
                f.close()
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1701
            if status == 1:
1702
                name = self.tt.final_name(trans_id)
1703
                parent_id = self.tt.final_parent(trans_id)
1704
                self._dump_conflicts(name, parent_id, file_id)
1551.8.39 by Aaron Bentley
Fix diff3 conflict-reporting bug
1705
                self._raw_conflicts.append(('text conflict', trans_id))
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1706
        finally:
1996.3.18 by John Arbash Meinel
Now that mkdtemp and rmtree are lazy, they should not be directly improted.
1707
            osutils.rmtree(temp_dir)
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1708
1709
1710
def merge_inner(this_branch, other_tree, base_tree, ignore_zero=False,
2255.2.31 by Robert Collins
Work in progress to make merge_inner work with dirstate trees.
1711
                backup_files=False,
1712
                merge_type=Merge3Merger,
1713
                interesting_ids=None,
1714
                show_base=False,
1715
                reprocess=False,
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1716
                other_rev_id=None,
1717
                interesting_files=None,
1534.9.9 by Aaron Bentley
Added progress bar to pull
1718
                this_tree=None,
4721.3.1 by Vincent Ladeuil
Cleanup imports.
1719
                pb=progress.DummyProgress(),
1551.11.10 by Aaron Bentley
Add change reporting to pull
1720
                change_reporter=None):
3943.8.1 by Marius Kruger
remove all trailing whitespace from bzr source
1721
    """Primary interface for merging.
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1722
3943.8.1 by Marius Kruger
remove all trailing whitespace from bzr source
1723
        typical use is probably
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1724
        'merge_inner(branch, branch.get_revision_tree(other_revision),
1725
                     branch.get_revision_tree(base_revision))'
1726
        """
1727
    if this_tree is None:
4721.3.1 by Vincent Ladeuil
Cleanup imports.
1728
        raise errors.BzrError("bzrlib.merge.merge_inner requires a this_tree "
1729
                              "parameter as of bzrlib version 0.8.")
2255.2.31 by Robert Collins
Work in progress to make merge_inner work with dirstate trees.
1730
    merger = Merger(this_branch, other_tree, base_tree, this_tree=this_tree,
1551.11.10 by Aaron Bentley
Add change reporting to pull
1731
                    pb=pb, change_reporter=change_reporter)
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1732
    merger.backup_files = backup_files
1733
    merger.merge_type = merge_type
1734
    merger.interesting_ids = interesting_ids
1551.2.23 by Aaron Bentley
Got merge_inner's ignore_zero parameter working
1735
    merger.ignore_zero = ignore_zero
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1736
    if interesting_files:
3376.2.4 by Martin Pool
Remove every assert statement from bzrlib!
1737
        if interesting_ids:
1738
            raise ValueError('Only supply interesting_ids'
1739
                             ' or interesting_files')
2590.2.5 by Aaron Bentley
Allow selected files to be specified instead of selected ids
1740
        merger.interesting_files = interesting_files
1979.2.1 by Robert Collins
(robertc) adds a convenience method "merge_from_branch" to WorkingTree.
1741
    merger.show_base = show_base
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1742
    merger.reprocess = reprocess
1743
    merger.other_rev_id = other_rev_id
1744
    merger.other_basis = other_rev_id
3249.3.1 by John Arbash Meinel
Implement cherrypick support for Merge3
1745
    get_revision_id = getattr(base_tree, 'get_revision_id', None)
1746
    if get_revision_id is None:
1747
        get_revision_id = base_tree.last_revision
4595.13.2 by Alexander Belchenko
[cherrypick revno 4650 from bzr.dev] Fix shelve on windows. (Robert Collins, #305006)
1748
    merger.cache_trees_with_revision_ids([other_tree, base_tree, this_tree])
3249.3.1 by John Arbash Meinel
Implement cherrypick support for Merge3
1749
    merger.set_base_revision(get_revision_id(), this_branch)
1534.7.140 by Aaron Bentley
Moved the merge stuff into merge.py
1750
    return merger.do_merge()
1751
2221.4.15 by Aaron Bentley
Use RegistryOption for merge type
1752
def get_merge_type_registry():
2221.4.17 by Aaron Bentley
PEP8-ness
1753
    """Merge type registry is in bzrlib.option to avoid circular imports.
2221.4.15 by Aaron Bentley
Use RegistryOption for merge type
1754
1755
    This method provides a sanctioned way to retrieve it.
1756
    """
1757
    from bzrlib import option
2221.4.16 by Aaron Bentley
Add tests for get_merge_type_registry
1758
    return option._merge_type_registry
1551.15.46 by Aaron Bentley
Move plan merge to tree
1759
1760
1761
def _plan_annotate_merge(annotated_a, annotated_b, ancestors_a, ancestors_b):
1762
    def status_a(revision, text):
1763
        if revision in ancestors_b:
1764
            return 'killed-b', text
1765
        else:
1766
            return 'new-a', text
1767
1768
    def status_b(revision, text):
1769
        if revision in ancestors_a:
1770
            return 'killed-a', text
1771
        else:
1772
            return 'new-b', text
1773
1774
    plain_a = [t for (a, t) in annotated_a]
1775
    plain_b = [t for (a, t) in annotated_b]
1776
    matcher = patiencediff.PatienceSequenceMatcher(None, plain_a, plain_b)
1777
    blocks = matcher.get_matching_blocks()
1778
    a_cur = 0
1779
    b_cur = 0
1780
    for ai, bi, l in blocks:
1781
        # process all mismatched sections
1782
        # (last mismatched section is handled because blocks always
1783
        # includes a 0-length last block)
1784
        for revision, text in annotated_a[a_cur:ai]:
1785
            yield status_a(revision, text)
1786
        for revision, text in annotated_b[b_cur:bi]:
1787
            yield status_b(revision, text)
1788
        # and now the matched section
1789
        a_cur = ai + l
1790
        b_cur = bi + l
3376.2.8 by Martin Pool
Some review cleanups for assertion removal
1791
        for text_a in plain_a[ai:a_cur]:
1551.15.46 by Aaron Bentley
Move plan merge to tree
1792
            yield "unchanged", text_a
3062.1.9 by Aaron Bentley
Move PlanMerge into merge and _PlanMergeVersionedFile into versionedfile
1793
1794
3144.3.1 by Aaron Bentley
Implement LCA merge, with problematic conflict markers
1795
class _PlanMergeBase(object):
3062.1.9 by Aaron Bentley
Move PlanMerge into merge and _PlanMergeVersionedFile into versionedfile
1796
3350.6.10 by Martin Pool
VersionedFiles review cleanups
1797
    def __init__(self, a_rev, b_rev, vf, key_prefix):
3062.1.9 by Aaron Bentley
Move PlanMerge into merge and _PlanMergeVersionedFile into versionedfile
1798
        """Contructor.
1799
1800
        :param a_rev: Revision-id of one revision to merge
1801
        :param b_rev: Revision-id of the other revision to merge
3350.6.4 by Robert Collins
First cut at pluralised VersionedFiles. Some rather massive API incompatabilities, primarily because of the difficulty of coherence among competing stores.
1802
        :param vf: A VersionedFiles containing both revisions
3350.6.10 by Martin Pool
VersionedFiles review cleanups
1803
        :param key_prefix: A prefix for accessing keys in vf, typically
1804
            (file_id,).
3062.1.9 by Aaron Bentley
Move PlanMerge into merge and _PlanMergeVersionedFile into versionedfile
1805
        """
1806
        self.a_rev = a_rev
1807
        self.b_rev = b_rev
1808
        self.vf = vf
3062.1.12 by Aaron Bentley
Implement simple text cache
1809
        self._last_lines = None
1810
        self._last_lines_revision_id = None
3144.3.7 by Aaron Bentley
Update from review
1811
        self._cached_matching_blocks = {}
3350.6.10 by Martin Pool
VersionedFiles review cleanups
1812
        self._key_prefix = key_prefix
3514.2.2 by John Arbash Meinel
Restore a real weave merge to 'bzr merge --weave'.
1813
        self._precache_tip_lines()
1814
1815
    def _precache_tip_lines(self):
1816
        lines = self.get_lines([self.a_rev, self.b_rev])
1817
        self.lines_a = lines[self.a_rev]
1818
        self.lines_b = lines[self.b_rev]
3350.6.4 by Robert Collins
First cut at pluralised VersionedFiles. Some rather massive API incompatabilities, primarily because of the difficulty of coherence among competing stores.
1819
1820
    def get_lines(self, revisions):
1821
        """Get lines for revisions from the backing VersionedFiles.
3890.2.9 by John Arbash Meinel
Start using osutils.chunks_as_lines rather than osutils.split_lines.
1822
3350.6.10 by Martin Pool
VersionedFiles review cleanups
1823
        :raises RevisionNotPresent: on absent texts.
3350.6.4 by Robert Collins
First cut at pluralised VersionedFiles. Some rather massive API incompatabilities, primarily because of the difficulty of coherence among competing stores.
1824
        """
3350.6.10 by Martin Pool
VersionedFiles review cleanups
1825
        keys = [(self._key_prefix + (rev,)) for rev in revisions]
3350.6.4 by Robert Collins
First cut at pluralised VersionedFiles. Some rather massive API incompatabilities, primarily because of the difficulty of coherence among competing stores.
1826
        result = {}
1827
        for record in self.vf.get_record_stream(keys, 'unordered', True):
1828
            if record.storage_kind == 'absent':
1829
                raise errors.RevisionNotPresent(record.key, self.vf)
3890.2.9 by John Arbash Meinel
Start using osutils.chunks_as_lines rather than osutils.split_lines.
1830
            result[record.key[-1]] = osutils.chunks_to_lines(
1831
                record.get_bytes_as('chunked'))
3350.6.4 by Robert Collins
First cut at pluralised VersionedFiles. Some rather massive API incompatabilities, primarily because of the difficulty of coherence among competing stores.
1832
        return result
3062.1.9 by Aaron Bentley
Move PlanMerge into merge and _PlanMergeVersionedFile into versionedfile
1833
1834
    def plan_merge(self):
1835
        """Generate a 'plan' for merging the two revisions.
1836
1837
        This involves comparing their texts and determining the cause of
1838
        differences.  If text A has a line and text B does not, then either the
1839
        line was added to text A, or it was deleted from B.  Once the causes
1840
        are combined, they are written out in the format described in
1841
        VersionedFile.plan_merge
1842
        """
1843
        blocks = self._get_matching_blocks(self.a_rev, self.b_rev)
3144.3.1 by Aaron Bentley
Implement LCA merge, with problematic conflict markers
1844
        unique_a, unique_b = self._unique_lines(blocks)
1845
        new_a, killed_b = self._determine_status(self.a_rev, unique_a)
1846
        new_b, killed_a = self._determine_status(self.b_rev, unique_b)
1847
        return self._iter_plan(blocks, new_a, killed_b, new_b, killed_a)
1848
1849
    def _iter_plan(self, blocks, new_a, killed_b, new_b, killed_a):
3062.1.9 by Aaron Bentley
Move PlanMerge into merge and _PlanMergeVersionedFile into versionedfile
1850
        last_i = 0
1851
        last_j = 0
1852
        for i, j, n in blocks:
1853
            for a_index in range(last_i, i):
1854
                if a_index in new_a:
3144.3.2 by Aaron Bentley
Get conflict handling working
1855
                    if a_index in killed_b:
1856
                        yield 'conflicted-a', self.lines_a[a_index]
1857
                    else:
1858
                        yield 'new-a', self.lines_a[a_index]
1859
                else:
3144.3.1 by Aaron Bentley
Implement LCA merge, with problematic conflict markers
1860
                    yield 'killed-b', self.lines_a[a_index]
3062.1.9 by Aaron Bentley
Move PlanMerge into merge and _PlanMergeVersionedFile into versionedfile
1861
            for b_index in range(last_j, j):
1862
                if b_index in new_b:
3144.3.2 by Aaron Bentley
Get conflict handling working
1863
                    if b_index in killed_a:
3144.3.10 by Aaron Bentley
Use correct index when emitting conflicted-b
1864
                        yield 'conflicted-b', self.lines_b[b_index]
3144.3.2 by Aaron Bentley
Get conflict handling working
1865
                    else:
1866
                        yield 'new-b', self.lines_b[b_index]
1867
                else:
3144.3.1 by Aaron Bentley
Implement LCA merge, with problematic conflict markers
1868
                    yield 'killed-a', self.lines_b[b_index]
3062.1.9 by Aaron Bentley
Move PlanMerge into merge and _PlanMergeVersionedFile into versionedfile
1869
            # handle common lines
1870
            for a_index in range(i, i+n):
3144.3.1 by Aaron Bentley
Implement LCA merge, with problematic conflict markers
1871
                yield 'unchanged', self.lines_a[a_index]
3062.1.9 by Aaron Bentley
Move PlanMerge into merge and _PlanMergeVersionedFile into versionedfile
1872
            last_i = i+n
1873
            last_j = j+n
1874
1875
    def _get_matching_blocks(self, left_revision, right_revision):
1876
        """Return a description of which sections of two revisions match.
1877
1878
        See SequenceMatcher.get_matching_blocks
1879
        """
3144.3.7 by Aaron Bentley
Update from review
1880
        cached = self._cached_matching_blocks.get((left_revision,
1881
                                                   right_revision))
1882
        if cached is not None:
1883
            return cached
3062.1.12 by Aaron Bentley
Implement simple text cache
1884
        if self._last_lines_revision_id == left_revision:
1885
            left_lines = self._last_lines
3350.6.4 by Robert Collins
First cut at pluralised VersionedFiles. Some rather massive API incompatabilities, primarily because of the difficulty of coherence among competing stores.
1886
            right_lines = self.get_lines([right_revision])[right_revision]
3062.1.12 by Aaron Bentley
Implement simple text cache
1887
        else:
3350.6.4 by Robert Collins
First cut at pluralised VersionedFiles. Some rather massive API incompatabilities, primarily because of the difficulty of coherence among competing stores.
1888
            lines = self.get_lines([left_revision, right_revision])
1889
            left_lines = lines[left_revision]
1890
            right_lines = lines[right_revision]
3062.1.12 by Aaron Bentley
Implement simple text cache
1891
        self._last_lines = right_lines
1892
        self._last_lines_revision_id = right_revision
3062.1.9 by Aaron Bentley
Move PlanMerge into merge and _PlanMergeVersionedFile into versionedfile
1893
        matcher = patiencediff.PatienceSequenceMatcher(None, left_lines,
1894
                                                       right_lines)
1895
        return matcher.get_matching_blocks()
1896
1897
    def _unique_lines(self, matching_blocks):
1898
        """Analyse matching_blocks to determine which lines are unique
1899
1900
        :return: a tuple of (unique_left, unique_right), where the values are
1901
            sets of line numbers of unique lines.
1902
        """
1903
        last_i = 0
1904
        last_j = 0
1905
        unique_left = []
1906
        unique_right = []
1907
        for i, j, n in matching_blocks:
1908
            unique_left.extend(range(last_i, i))
1909
            unique_right.extend(range(last_j, j))
1910
            last_i = i + n
1911
            last_j = j + n
1912
        return unique_left, unique_right
1913
3144.3.1 by Aaron Bentley
Implement LCA merge, with problematic conflict markers
1914
    @staticmethod
1915
    def _subtract_plans(old_plan, new_plan):
3144.3.7 by Aaron Bentley
Update from review
1916
        """Remove changes from new_plan that came from old_plan.
1917
1918
        It is assumed that the difference between the old_plan and new_plan
1919
        is their choice of 'b' text.
1920
1921
        All lines from new_plan that differ from old_plan are emitted
1922
        verbatim.  All lines from new_plan that match old_plan but are
1923
        not about the 'b' revision are emitted verbatim.
1924
1925
        Lines that match and are about the 'b' revision are the lines we
1926
        don't want, so we convert 'killed-b' -> 'unchanged', and 'new-b'
1927
        is skipped entirely.
1928
        """
3144.3.1 by Aaron Bentley
Implement LCA merge, with problematic conflict markers
1929
        matcher = patiencediff.PatienceSequenceMatcher(None, old_plan,
1930
                                                       new_plan)
1931
        last_j = 0
1932
        for i, j, n in matcher.get_matching_blocks():
1933
            for jj in range(last_j, j):
1934
                yield new_plan[jj]
1935
            for jj in range(j, j+n):
1936
                plan_line = new_plan[jj]
1937
                if plan_line[0] == 'new-b':
1938
                    pass
1939
                elif plan_line[0] == 'killed-b':
1940
                    yield 'unchanged', plan_line[1]
1941
                else:
1942
                    yield plan_line
1943
            last_j = j + n
1944
1945
1946
class _PlanMerge(_PlanMergeBase):
1947
    """Plan an annotate merge using on-the-fly annotation"""
1948
3350.6.10 by Martin Pool
VersionedFiles review cleanups
1949
    def __init__(self, a_rev, b_rev, vf, key_prefix):
3514.2.2 by John Arbash Meinel
Restore a real weave merge to 'bzr merge --weave'.
1950
        super(_PlanMerge, self).__init__(a_rev, b_rev, vf, key_prefix)
1951
        self.a_key = self._key_prefix + (self.a_rev,)
1952
        self.b_key = self._key_prefix + (self.b_rev,)
4721.3.1 by Vincent Ladeuil
Cleanup imports.
1953
        self.graph = _mod_graph.Graph(self.vf)
3514.2.11 by John Arbash Meinel
Shortcut the case when one revision is in the ancestry of the other.
1954
        heads = self.graph.heads((self.a_key, self.b_key))
1955
        if len(heads) == 1:
1956
            # one side dominates, so we can just return its values, yay for
1957
            # per-file graphs
1958
            # Ideally we would know that before we get this far
1959
            self._head_key = heads.pop()
1960
            if self._head_key == self.a_key:
1961
                other = b_rev
1962
            else:
1963
                other = a_rev
4721.3.1 by Vincent Ladeuil
Cleanup imports.
1964
            trace.mutter('found dominating revision for %s\n%s > %s', self.vf,
1965
                         self._head_key[-1], other)
3514.2.11 by John Arbash Meinel
Shortcut the case when one revision is in the ancestry of the other.
1966
            self._weave = None
1967
        else:
1968
            self._head_key = None
1969
            self._build_weave()
3514.2.2 by John Arbash Meinel
Restore a real weave merge to 'bzr merge --weave'.
1970
1971
    def _precache_tip_lines(self):
1972
        # Turn this into a no-op, because we will do this later
1973
        pass
1974
1975
    def _find_recursive_lcas(self):
1976
        """Find all the ancestors back to a unique lca"""
1977
        cur_ancestors = (self.a_key, self.b_key)
1978
        # graph.find_lca(uncommon, keys) now returns plain NULL_REVISION,
3514.2.5 by John Arbash Meinel
Switch to the get_parent_map design I had settled on.
1979
        # rather than a key tuple. We will just map that directly to no common
1980
        # ancestors.
1981
        parent_map = {}
3514.2.2 by John Arbash Meinel
Restore a real weave merge to 'bzr merge --weave'.
1982
        while True:
1983
            next_lcas = self.graph.find_lca(*cur_ancestors)
3514.2.5 by John Arbash Meinel
Switch to the get_parent_map design I had settled on.
1984
            # Map a plain NULL_REVISION to a simple no-ancestors
4721.3.1 by Vincent Ladeuil
Cleanup imports.
1985
            if next_lcas == set([_mod_revision.NULL_REVISION]):
3514.2.5 by John Arbash Meinel
Switch to the get_parent_map design I had settled on.
1986
                next_lcas = ()
3514.2.9 by John Arbash Meinel
Add some debugging, and work on getting the graph right so we get the weave insertion order correct.
1987
            # Order the lca's based on when they were merged into the tip
1988
            # While the actual merge portion of weave merge uses a set() of
1989
            # active revisions, the order of insertion *does* effect the
1990
            # implicit ordering of the texts.
3514.2.5 by John Arbash Meinel
Switch to the get_parent_map design I had settled on.
1991
            for rev_key in cur_ancestors:
3514.2.9 by John Arbash Meinel
Add some debugging, and work on getting the graph right so we get the weave insertion order correct.
1992
                ordered_parents = tuple(self.graph.find_merge_order(rev_key,
1993
                                                                    next_lcas))
1994
                parent_map[rev_key] = ordered_parents
3514.2.2 by John Arbash Meinel
Restore a real weave merge to 'bzr merge --weave'.
1995
            if len(next_lcas) == 0:
1996
                break
1997
            elif len(next_lcas) == 1:
3514.2.9 by John Arbash Meinel
Add some debugging, and work on getting the graph right so we get the weave insertion order correct.
1998
                parent_map[list(next_lcas)[0]] = ()
3514.2.2 by John Arbash Meinel
Restore a real weave merge to 'bzr merge --weave'.
1999
                break
3514.2.10 by John Arbash Meinel
Handle more edge cases.
2000
            elif len(next_lcas) > 2:
3514.2.7 by John Arbash Meinel
Fix the failing test by implementing the fallback logic.
2001
                # More than 2 lca's, fall back to grabbing all nodes between
2002
                # this and the unique lca.
4721.3.1 by Vincent Ladeuil
Cleanup imports.
2003
                trace.mutter('More than 2 LCAs, falling back to all nodes for:'
2004
                             ' %s, %s\n=> %s',
2005
                             self.a_key, self.b_key, cur_ancestors)
3514.2.7 by John Arbash Meinel
Fix the failing test by implementing the fallback logic.
2006
                cur_lcas = next_lcas
2007
                while len(cur_lcas) > 1:
2008
                    cur_lcas = self.graph.find_lca(*cur_lcas)
2009
                if len(cur_lcas) == 0:
2010
                    # No common base to find, use the full ancestry
2011
                    unique_lca = None
2012
                else:
3514.2.8 by John Arbash Meinel
The insertion ordering into the weave has an impact on conflicts.
2013
                    unique_lca = list(cur_lcas)[0]
4721.3.1 by Vincent Ladeuil
Cleanup imports.
2014
                    if unique_lca == _mod_revision.NULL_REVISION:
3514.2.14 by John Arbash Meinel
Bring in the code to collapse linear portions of the graph.
2015
                        # find_lca will return a plain 'NULL_REVISION' rather
2016
                        # than a key tuple when there is no common ancestor, we
2017
                        # prefer to just use None, because it doesn't confuse
2018
                        # _get_interesting_texts()
2019
                        unique_lca = None
3514.2.7 by John Arbash Meinel
Fix the failing test by implementing the fallback logic.
2020
                parent_map.update(self._find_unique_parents(next_lcas,
2021
                                                            unique_lca))
2022
                break
3514.2.2 by John Arbash Meinel
Restore a real weave merge to 'bzr merge --weave'.
2023
            cur_ancestors = next_lcas
3514.2.5 by John Arbash Meinel
Switch to the get_parent_map design I had settled on.
2024
        return parent_map
3514.2.2 by John Arbash Meinel
Restore a real weave merge to 'bzr merge --weave'.
2025
3514.2.7 by John Arbash Meinel
Fix the failing test by implementing the fallback logic.
2026
    def _find_unique_parents(self, tip_keys, base_key):
2027
        """Find ancestors of tip that aren't ancestors of base.
3943.8.1 by Marius Kruger
remove all trailing whitespace from bzr source
2028
3514.2.7 by John Arbash Meinel
Fix the failing test by implementing the fallback logic.
2029
        :param tip_keys: Nodes that are interesting
2030
        :param base_key: Cull all ancestors of this node
2031
        :return: The parent map for all revisions between tip_keys and
2032
            base_key. base_key will be included. References to nodes outside of
2033
            the ancestor set will also be removed.
2034
        """
2035
        # TODO: this would be simpler if find_unique_ancestors took a list
2036
        #       instead of a single tip, internally it supports it, but it
2037
        #       isn't a "backwards compatible" api change.
2038
        if base_key is None:
2039
            parent_map = dict(self.graph.iter_ancestry(tip_keys))
3514.2.14 by John Arbash Meinel
Bring in the code to collapse linear portions of the graph.
2040
            # We remove NULL_REVISION because it isn't a proper tuple key, and
2041
            # thus confuses things like _get_interesting_texts, and our logic
2042
            # to add the texts into the memory weave.
4721.3.1 by Vincent Ladeuil
Cleanup imports.
2043
            if _mod_revision.NULL_REVISION in parent_map:
2044
                parent_map.pop(_mod_revision.NULL_REVISION)
3514.2.7 by John Arbash Meinel
Fix the failing test by implementing the fallback logic.
2045
        else:
2046
            interesting = set()
2047
            for tip in tip_keys:
2048
                interesting.update(
2049
                    self.graph.find_unique_ancestors(tip, [base_key]))
2050
            parent_map = self.graph.get_parent_map(interesting)
2051
            parent_map[base_key] = ()
3514.2.12 by John Arbash Meinel
Start refactoring into helper functions
2052
        culled_parent_map, child_map, tails = self._remove_external_references(
2053
            parent_map)
3514.2.13 by John Arbash Meinel
Add the ability to prune extra tails from the parent_map.
2054
        # Remove all the tails but base_key
3514.2.14 by John Arbash Meinel
Bring in the code to collapse linear portions of the graph.
2055
        if base_key is not None:
2056
            tails.remove(base_key)
2057
            self._prune_tails(culled_parent_map, child_map, tails)
2058
        # Now remove all the uninteresting 'linear' regions
3514.2.15 by John Arbash Meinel
Enable collapsing linear regions.
2059
        simple_map = _mod_graph.collapse_linear_regions(culled_parent_map)
2060
        return simple_map
3514.2.12 by John Arbash Meinel
Start refactoring into helper functions
2061
2062
    @staticmethod
2063
    def _remove_external_references(parent_map):
2064
        """Remove references that go outside of the parent map.
2065
2066
        :param parent_map: Something returned from Graph.get_parent_map(keys)
2067
        :return: (filtered_parent_map, child_map, tails)
2068
            filtered_parent_map is parent_map without external references
2069
            child_map is the {parent_key: [child_keys]} mapping
2070
            tails is a list of nodes that do not have any parents in the map
2071
        """
2072
        # TODO: The basic effect of this function seems more generic than
2073
        #       _PlanMerge. But the specific details of building a child_map,
2074
        #       and computing tails seems very specific to _PlanMerge.
2075
        #       Still, should this be in Graph land?
2076
        filtered_parent_map = {}
2077
        child_map = {}
2078
        tails = []
3514.2.7 by John Arbash Meinel
Fix the failing test by implementing the fallback logic.
2079
        for key, parent_keys in parent_map.iteritems():
3514.2.12 by John Arbash Meinel
Start refactoring into helper functions
2080
            culled_parent_keys = [p for p in parent_keys if p in parent_map]
2081
            if not culled_parent_keys:
2082
                tails.append(key)
2083
            for parent_key in culled_parent_keys:
2084
                child_map.setdefault(parent_key, []).append(key)
2085
            # TODO: Do we want to do this, it adds overhead for every node,
2086
            #       just to say that the node has no children
2087
            child_map.setdefault(key, [])
2088
            filtered_parent_map[key] = culled_parent_keys
2089
        return filtered_parent_map, child_map, tails
2090
3514.2.13 by John Arbash Meinel
Add the ability to prune extra tails from the parent_map.
2091
    @staticmethod
2092
    def _prune_tails(parent_map, child_map, tails_to_remove):
2093
        """Remove tails from the parent map.
3943.8.1 by Marius Kruger
remove all trailing whitespace from bzr source
2094
3514.2.13 by John Arbash Meinel
Add the ability to prune extra tails from the parent_map.
2095
        This will remove the supplied revisions until no more children have 0
2096
        parents.
2097
2098
        :param parent_map: A dict of {child: [parents]}, this dictionary will
2099
            be modified in place.
2100
        :param tails_to_remove: A list of tips that should be removed,
2101
            this list will be consumed
2102
        :param child_map: The reverse dict of parent_map ({parent: [children]})
2103
            this dict will be modified
2104
        :return: None, parent_map will be modified in place.
2105
        """
2106
        while tails_to_remove:
2107
            next = tails_to_remove.pop()
2108
            parent_map.pop(next)
2109
            children = child_map.pop(next)
2110
            for child in children:
2111
                child_parents = parent_map[child]
2112
                child_parents.remove(next)
2113
                if len(child_parents) == 0:
2114
                    tails_to_remove.append(child)
3514.2.7 by John Arbash Meinel
Fix the failing test by implementing the fallback logic.
2115
3514.2.5 by John Arbash Meinel
Switch to the get_parent_map design I had settled on.
2116
    def _get_interesting_texts(self, parent_map):
3514.2.2 by John Arbash Meinel
Restore a real weave merge to 'bzr merge --weave'.
2117
        """Return a dict of texts we are interested in.
2118
2119
        Note that the input is in key tuples, but the output is in plain
2120
        revision ids.
2121
3514.2.5 by John Arbash Meinel
Switch to the get_parent_map design I had settled on.
2122
        :param parent_map: The output from _find_recursive_lcas
3514.2.2 by John Arbash Meinel
Restore a real weave merge to 'bzr merge --weave'.
2123
        :return: A dict of {'revision_id':lines} as returned by
2124
            _PlanMergeBase.get_lines()
2125
        """
3514.2.5 by John Arbash Meinel
Switch to the get_parent_map design I had settled on.
2126
        all_revision_keys = set(parent_map)
2127
        all_revision_keys.add(self.a_key)
2128
        all_revision_keys.add(self.b_key)
3514.2.2 by John Arbash Meinel
Restore a real weave merge to 'bzr merge --weave'.
2129
3514.2.5 by John Arbash Meinel
Switch to the get_parent_map design I had settled on.
2130
        # Everything else is in 'keys' but get_lines is in 'revision_ids'
2131
        all_texts = self.get_lines([k[-1] for k in all_revision_keys])
3514.2.2 by John Arbash Meinel
Restore a real weave merge to 'bzr merge --weave'.
2132
        return all_texts
2133
2134
    def _build_weave(self):
2135
        from bzrlib import weave
2136
        self._weave = weave.Weave(weave_name='in_memory_weave',
2137
                                  allow_reserved=True)
3514.2.5 by John Arbash Meinel
Switch to the get_parent_map design I had settled on.
2138
        parent_map = self._find_recursive_lcas()
2139
2140
        all_texts = self._get_interesting_texts(parent_map)
2141
2142
        # Note: Unfortunately, the order given by topo_sort will effect the
2143
        # ordering resolution in the output. Specifically, if you add A then B,
2144
        # then in the output text A lines will show up before B lines. And, of
2145
        # course, topo_sort doesn't guarantee any real ordering.
3514.2.8 by John Arbash Meinel
The insertion ordering into the weave has an impact on conflicts.
2146
        # So we use merge_sort, and add a fake node on the tip.
2147
        # This ensures that left-hand parents will always be inserted into the
2148
        # weave before right-hand parents.
2149
        tip_key = self._key_prefix + (_mod_revision.CURRENT_REVISION,)
2150
        parent_map[tip_key] = (self.a_key, self.b_key)
2151
2152
        for seq_num, key, depth, eom in reversed(tsort.merge_sort(parent_map,
2153
                                                                  tip_key)):
2154
            if key == tip_key:
2155
                continue
3514.2.9 by John Arbash Meinel
Add some debugging, and work on getting the graph right so we get the weave insertion order correct.
2156
        # for key in tsort.topo_sort(parent_map):
3514.2.5 by John Arbash Meinel
Switch to the get_parent_map design I had settled on.
2157
            parent_keys = parent_map[key]
2158
            revision_id = key[-1]
2159
            parent_ids = [k[-1] for k in parent_keys]
2160
            self._weave.add_lines(revision_id, parent_ids,
2161
                                  all_texts[revision_id])
3514.2.2 by John Arbash Meinel
Restore a real weave merge to 'bzr merge --weave'.
2162
2163
    def plan_merge(self):
2164
        """Generate a 'plan' for merging the two revisions.
2165
2166
        This involves comparing their texts and determining the cause of
2167
        differences.  If text A has a line and text B does not, then either the
2168
        line was added to text A, or it was deleted from B.  Once the causes
2169
        are combined, they are written out in the format described in
2170
        VersionedFile.plan_merge
2171
        """
2172
        if self._head_key is not None: # There was a single head
2173
            if self._head_key == self.a_key:
2174
                plan = 'new-a'
3062.1.9 by Aaron Bentley
Move PlanMerge into merge and _PlanMergeVersionedFile into versionedfile
2175
            else:
3514.2.2 by John Arbash Meinel
Restore a real weave merge to 'bzr merge --weave'.
2176
                if self._head_key != self.b_key:
2177
                    raise AssertionError('There was an invalid head: %s != %s'
2178
                                         % (self.b_key, self._head_key))
2179
                plan = 'new-b'
3514.2.16 by John Arbash Meinel
Review feedback from Ian.
2180
            head_rev = self._head_key[-1]
2181
            lines = self.get_lines([head_rev])[head_rev]
3514.2.2 by John Arbash Meinel
Restore a real weave merge to 'bzr merge --weave'.
2182
            return ((plan, line) for line in lines)
2183
        return self._weave.plan_merge(self.a_rev, self.b_rev)
3062.2.1 by Aaron Bentley
Add support for plan-merge with a base
2184
3144.3.1 by Aaron Bentley
Implement LCA merge, with problematic conflict markers
2185
2186
class _PlanLCAMerge(_PlanMergeBase):
2187
    """
3144.3.7 by Aaron Bentley
Update from review
2188
    This merge algorithm differs from _PlanMerge in that:
3144.3.1 by Aaron Bentley
Implement LCA merge, with problematic conflict markers
2189
    1. comparisons are done against LCAs only
2190
    2. cases where a contested line is new versus one LCA but old versus
3144.3.7 by Aaron Bentley
Update from review
2191
       another are marked as conflicts, by emitting the line as conflicted-a
2192
       or conflicted-b.
3144.3.1 by Aaron Bentley
Implement LCA merge, with problematic conflict markers
2193
2194
    This is faster, and hopefully produces more useful output.
2195
    """
2196
3350.6.10 by Martin Pool
VersionedFiles review cleanups
2197
    def __init__(self, a_rev, b_rev, vf, key_prefix, graph):
2198
        _PlanMergeBase.__init__(self, a_rev, b_rev, vf, key_prefix)
2199
        lcas = graph.find_lca(key_prefix + (a_rev,), key_prefix + (b_rev,))
3350.6.5 by Robert Collins
Update to bzr.dev.
2200
        self.lcas = set()
2201
        for lca in lcas:
4721.3.1 by Vincent Ladeuil
Cleanup imports.
2202
            if lca == _mod_revision.NULL_REVISION:
3350.6.5 by Robert Collins
Update to bzr.dev.
2203
                self.lcas.add(lca)
2204
            else:
2205
                self.lcas.add(lca[-1])
3144.3.7 by Aaron Bentley
Update from review
2206
        for lca in self.lcas:
3287.17.1 by John Arbash Meinel
Fix bug #235715 by using the empty list as the text for a base of NULL_REVISION.
2207
            if _mod_revision.is_null(lca):
2208
                lca_lines = []
2209
            else:
3350.6.5 by Robert Collins
Update to bzr.dev.
2210
                lca_lines = self.get_lines([lca])[lca]
3144.3.7 by Aaron Bentley
Update from review
2211
            matcher = patiencediff.PatienceSequenceMatcher(None, self.lines_a,
2212
                                                           lca_lines)
2213
            blocks = list(matcher.get_matching_blocks())
2214
            self._cached_matching_blocks[(a_rev, lca)] = blocks
2215
            matcher = patiencediff.PatienceSequenceMatcher(None, self.lines_b,
2216
                                                           lca_lines)
2217
            blocks = list(matcher.get_matching_blocks())
2218
            self._cached_matching_blocks[(b_rev, lca)] = blocks
3144.3.1 by Aaron Bentley
Implement LCA merge, with problematic conflict markers
2219
3144.3.7 by Aaron Bentley
Update from review
2220
    def _determine_status(self, revision_id, unique_line_numbers):
3144.3.1 by Aaron Bentley
Implement LCA merge, with problematic conflict markers
2221
        """Determines the status unique lines versus all lcas.
2222
2223
        Basically, determines why the line is unique to this revision.
2224
2225
        A line may be determined new, killed, or both.
2226
3144.3.7 by Aaron Bentley
Update from review
2227
        If a line is determined new, that means it was not present in at least
2228
        one LCA, and is not present in the other merge revision.
3144.3.1 by Aaron Bentley
Implement LCA merge, with problematic conflict markers
2229
2230
        If a line is determined killed, that means the line was present in
2231
        at least one LCA.
2232
2233
        If a line is killed and new, this indicates that the two merge
2234
        revisions contain differing conflict resolutions.
3144.3.7 by Aaron Bentley
Update from review
2235
        :param revision_id: The id of the revision in which the lines are
2236
            unique
2237
        :param unique_line_numbers: The line numbers of unique lines.
3144.3.1 by Aaron Bentley
Implement LCA merge, with problematic conflict markers
2238
        :return a tuple of (new_this, killed_other):
2239
        """
2240
        new = set()
2241
        killed = set()
3144.3.7 by Aaron Bentley
Update from review
2242
        unique_line_numbers = set(unique_line_numbers)
3144.3.1 by Aaron Bentley
Implement LCA merge, with problematic conflict markers
2243
        for lca in self.lcas:
2244
            blocks = self._get_matching_blocks(revision_id, lca)
2245
            unique_vs_lca, _ignored = self._unique_lines(blocks)
3144.3.7 by Aaron Bentley
Update from review
2246
            new.update(unique_line_numbers.intersection(unique_vs_lca))
2247
            killed.update(unique_line_numbers.difference(unique_vs_lca))
3144.3.1 by Aaron Bentley
Implement LCA merge, with problematic conflict markers
2248
        return new, killed