~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/merge.py

  • Committer: Alexander Belchenko
  • Date: 2006-07-30 16:43:12 UTC
  • mto: (1711.2.111 jam-integration)
  • mto: This revision was merged to the branch mainline in revision 1906.
  • Revision ID: bialix@ukr.net-20060730164312-b025fd3ff0cee59e
rename  gpl.txt => COPYING.txt

Show diffs side-by-side

added added

removed removed

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