/brz/remove-bazaar

To get this branch, use:
bzr branch http://gegoxaren.bato24.eu/bzr/brz/remove-bazaar

« back to all changes in this revision

Viewing changes to bzrlib/merge.py

  • Committer: Robert Collins
  • Date: 2005-09-30 02:54:51 UTC
  • mfrom: (1395)
  • mto: This revision was merged to the branch mainline in revision 1397.
  • Revision ID: robertc@robertcollins.net-20050930025451-47b9e412202be44b
symlink and weaves, whaddya know

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
# Copyright (C) 2005 Canonical Ltd
 
2
 
 
3
# This program is free software; you can redistribute it and/or modify
 
4
# it under the terms of the GNU General Public License as published by
 
5
# the Free Software Foundation; either version 2 of the License, or
 
6
# (at your option) any later version.
 
7
 
 
8
# This program is distributed in the hope that it will be useful,
 
9
# but WITHOUT ANY WARRANTY; without even the implied warranty of
 
10
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 
11
# GNU General Public License for more details.
 
12
 
 
13
# You should have received a copy of the GNU General Public License
 
14
# along with this program; if not, write to the Free Software
 
15
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 
16
 
 
17
 
 
18
import os
 
19
import tempfile
 
20
import shutil
 
21
import errno
 
22
 
 
23
import bzrlib.osutils
 
24
import bzrlib.revision
 
25
from bzrlib.merge_core import merge_flex, ApplyMerge3, BackupBeforeChange
 
26
from bzrlib.changeset import generate_changeset, ExceptionConflictHandler
 
27
from bzrlib.changeset import Inventory, Diff3Merge
 
28
from bzrlib.branch import Branch
 
29
from bzrlib.errors import BzrCommandError, UnrelatedBranches, NoCommonAncestor
 
30
from bzrlib.errors import NoCommits
 
31
from bzrlib.delta import compare_trees
 
32
from bzrlib.trace import mutter, warning
 
33
from bzrlib.fetch import greedy_fetch, fetch
 
34
from bzrlib.revision import is_ancestor
 
35
from bzrlib.osutils import rename
 
36
from bzrlib.revision import common_ancestor, MultipleRevisionSources
 
37
from bzrlib.errors import NoSuchRevision
 
38
 
 
39
 
 
40
# comments from abentley on irc: merge happens in two stages, each
 
41
# of which generates a changeset object
 
42
 
 
43
# stage 1: generate OLD->OTHER,
 
44
# stage 2: use MINE and OLD->OTHER to generate MINE -> RESULT
 
45
 
 
46
class MergeConflictHandler(ExceptionConflictHandler):
 
47
    """Handle conflicts encountered while merging.
 
48
 
 
49
    This subclasses ExceptionConflictHandler, so that any types of
 
50
    conflict that are not explicitly handled cause an exception and
 
51
    terminate the merge.
 
52
    """
 
53
    def __init__(self, ignore_zero=False):
 
54
        ExceptionConflictHandler.__init__(self)
 
55
        self.conflicts = 0
 
56
        self.ignore_zero = ignore_zero
 
57
 
 
58
    def copy(self, source, dest):
 
59
        """Copy the text and mode of a file
 
60
        :param source: The path of the file to copy
 
61
        :param dest: The distination file to create
 
62
        """
 
63
        s_file = file(source, "rb")
 
64
        d_file = file(dest, "wb")
 
65
        for line in s_file:
 
66
            d_file.write(line)
 
67
        os.chmod(dest, 0777 & os.stat(source).st_mode)
 
68
 
 
69
    def dump(self, lines, dest):
 
70
        """Copy the text and mode of a file
 
71
        :param source: The path of the file to copy
 
72
        :param dest: The distination file to create
 
73
        """
 
74
        d_file = file(dest, "wb")
 
75
        for line in lines:
 
76
            d_file.write(line)
 
77
 
 
78
    def add_suffix(self, name, suffix, last_new_name=None):
 
79
        """Rename a file to append a suffix.  If the new name exists, the
 
80
        suffix is added repeatedly until a non-existant name is found
 
81
 
 
82
        :param name: The path of the file
 
83
        :param suffix: The suffix to append
 
84
        :param last_new_name: (used for recursive calls) the last name tried
 
85
        """
 
86
        if last_new_name is None:
 
87
            last_new_name = name
 
88
        new_name = last_new_name+suffix
 
89
        try:
 
90
            rename(name, new_name)
 
91
            return new_name
 
92
        except OSError, e:
 
93
            if e.errno != errno.EEXIST and e.errno != errno.ENOTEMPTY:
 
94
                raise
 
95
            return self.add_suffix(name, suffix, last_new_name=new_name)
 
96
 
 
97
    def conflict(self, text):
 
98
        warning(text)
 
99
        self.conflicts += 1
 
100
        
 
101
 
 
102
    def merge_conflict(self, new_file, this_path, base_lines, other_lines):
 
103
        """
 
104
        Handle diff3 conflicts by producing a .THIS, .BASE and .OTHER.  The
 
105
        main file will be a version with diff3 conflicts.
 
106
        :param new_file: Path to the output file with diff3 markers
 
107
        :param this_path: Path to the file text for the THIS tree
 
108
        :param base_path: Path to the file text for the BASE tree
 
109
        :param other_path: Path to the file text for the OTHER tree
 
110
        """
 
111
        self.add_suffix(this_path, ".THIS")
 
112
        self.dump(base_lines, this_path+".BASE")
 
113
        self.dump(other_lines, this_path+".OTHER")
 
114
        rename(new_file, this_path)
 
115
        self.conflict("Diff3 conflict encountered in %s" % this_path)
 
116
 
 
117
    def new_contents_conflict(self, filename, other_contents):
 
118
        """Conflicting contents for newly added file."""
 
119
        self.copy(other_contents, filename + ".OTHER")
 
120
        self.conflict("Conflict in newly added file %s" % filename)
 
121
    
 
122
 
 
123
    def target_exists(self, entry, target, old_path):
 
124
        """Handle the case when the target file or dir exists"""
 
125
        moved_path = self.add_suffix(target, ".moved")
 
126
        self.conflict("Moved existing %s to %s" % (target, moved_path))
 
127
 
 
128
    def rmdir_non_empty(self, filename):
 
129
        """Handle the case where the dir to be removed still has contents"""
 
130
        self.conflict("Directory %s not removed because it is not empty"\
 
131
            % filename)
 
132
        return "skip"
 
133
 
 
134
    def finalize(self):
 
135
        if not self.ignore_zero:
 
136
            print "%d conflicts encountered.\n" % self.conflicts
 
137
            
 
138
def get_tree(treespec, temp_root, label, local_branch=None):
 
139
    location, revno = treespec
 
140
    branch = Branch.open_containing(location)
 
141
    if revno is None:
 
142
        revision = None
 
143
    elif revno == -1:
 
144
        revision = branch.last_revision()
 
145
    else:
 
146
        revision = branch.get_rev_id(revno)
 
147
    return branch, get_revid_tree(branch, revision, temp_root, label,
 
148
                                  local_branch)
 
149
 
 
150
def get_revid_tree(branch, revision, temp_root, label, local_branch):
 
151
    if revision is None:
 
152
        base_tree = branch.working_tree()
 
153
    else:
 
154
        if local_branch is not None:
 
155
            greedy_fetch(local_branch, branch, revision)
 
156
            base_tree = local_branch.revision_tree(revision)
 
157
        else:
 
158
            base_tree = branch.revision_tree(revision)
 
159
    temp_path = os.path.join(temp_root, label)
 
160
    os.mkdir(temp_path)
 
161
    return MergeTree(base_tree, temp_path)
 
162
 
 
163
 
 
164
def file_exists(tree, file_id):
 
165
    return tree.has_filename(tree.id2path(file_id))
 
166
    
 
167
 
 
168
class MergeTree(object):
 
169
    def __init__(self, tree, tempdir):
 
170
        object.__init__(self)
 
171
        if hasattr(tree, "basedir"):
 
172
            self.root = tree.basedir
 
173
        else:
 
174
            self.root = None
 
175
        self.tree = tree
 
176
        self.tempdir = tempdir
 
177
        os.mkdir(os.path.join(self.tempdir, "texts"))
 
178
        os.mkdir(os.path.join(self.tempdir, "symlinks"))
 
179
        self.cached = {}
 
180
 
 
181
    def __iter__(self):
 
182
        return self.tree.__iter__()
 
183
 
 
184
    def __contains__(self, file_id):
 
185
        return file_id in self.tree
 
186
 
 
187
    def get_file(self, file_id):
 
188
        return self.tree.get_file(file_id)
 
189
 
 
190
    def get_file_sha1(self, id):
 
191
        return self.tree.get_file_sha1(id)
 
192
 
 
193
    def id2path(self, file_id):
 
194
        return self.tree.id2path(file_id)
 
195
 
 
196
    def has_id(self, file_id):
 
197
        return self.tree.has_id(file_id)
 
198
 
 
199
    def has_or_had_id(self, file_id):
 
200
        if file_id == self.tree.inventory.root.file_id:
 
201
            return True
 
202
        return self.tree.inventory.has_id(file_id)
 
203
 
 
204
    def has_or_had_id(self, file_id):
 
205
        if file_id == self.tree.inventory.root.file_id:
 
206
            return True
 
207
        return self.tree.inventory.has_id(file_id)
 
208
 
 
209
    def readonly_path(self, id):
 
210
        if id not in self.tree:
 
211
            return None
 
212
        if self.root is not None:
 
213
            return self.tree.abspath(self.tree.id2path(id))
 
214
        else:
 
215
            kind = self.tree.inventory[id].kind
 
216
            if kind in ("directory", "root_directory"):
 
217
                return self.tempdir
 
218
            if not self.cached.has_key(id):
 
219
                if kind == "file":
 
220
                    path = os.path.join(self.tempdir, "texts", id)
 
221
                    outfile = file(path, "wb")
 
222
                    outfile.write(self.tree.get_file(id).read())
 
223
                    assert(os.path.exists(path))
 
224
                else:
 
225
                    assert kind == "symlink"
 
226
                    path = os.path.join(self.tempdir, "symlinks", id)
 
227
                    target = self.tree.get_symlink_target(id)
 
228
                    os.symlink(target, path)
 
229
                self.cached[id] = path
 
230
            return self.cached[id]
 
231
 
 
232
 
 
233
 
 
234
def merge(other_revision, base_revision,
 
235
          check_clean=True, ignore_zero=False,
 
236
          this_dir=None, backup_files=False, merge_type=ApplyMerge3,
 
237
          file_list=None):
 
238
    """Merge changes into a tree.
 
239
 
 
240
    base_revision
 
241
        tuple(path, revision) Base for three-way merge.
 
242
    other_revision
 
243
        tuple(path, revision) Other revision for three-way merge.
 
244
    this_dir
 
245
        Directory to merge changes into; '.' by default.
 
246
    check_clean
 
247
        If true, this_dir must have no uncommitted changes before the
 
248
        merge begins.
 
249
 
 
250
    All available ancestors of other_revision and base_revision are
 
251
    automatically pulled into the branch.
 
252
    """
 
253
    tempdir = tempfile.mkdtemp(prefix="bzr-")
 
254
    try:
 
255
        if this_dir is None:
 
256
            this_dir = '.'
 
257
        this_branch = Branch.open_containing(this_dir)
 
258
        this_rev_id = this_branch.last_revision()
 
259
        if this_rev_id is None:
 
260
            raise BzrCommandError("This branch has no commits")
 
261
        if check_clean:
 
262
            changes = compare_trees(this_branch.working_tree(), 
 
263
                                    this_branch.basis_tree(), False)
 
264
            if changes.has_changed():
 
265
                raise BzrCommandError("Working tree has uncommitted changes.")
 
266
        other_branch, other_tree = get_tree(other_revision, tempdir, "other",
 
267
                                            this_branch)
 
268
        if other_revision[1] == -1:
 
269
            other_rev_id = other_branch.last_revision()
 
270
            if other_rev_id is None:
 
271
                raise NoCommits(other_branch)
 
272
            other_basis = other_rev_id
 
273
        elif other_revision[1] is not None:
 
274
            other_rev_id = other_branch.get_rev_id(other_revision[1])
 
275
            other_basis = other_rev_id
 
276
        else:
 
277
            other_rev_id = None
 
278
            other_basis = other_branch.last_revision()
 
279
            if other_basis is None:
 
280
                raise NoCommits(other_branch)
 
281
        if base_revision == [None, None]:
 
282
            try:
 
283
                base_rev_id = common_ancestor(this_rev_id, other_basis, 
 
284
                                              this_branch)
 
285
            except NoCommonAncestor:
 
286
                raise UnrelatedBranches()
 
287
            base_tree = get_revid_tree(this_branch, base_rev_id, tempdir, 
 
288
                                       "base", None)
 
289
            base_is_ancestor = True
 
290
        else:
 
291
            base_branch, base_tree = get_tree(base_revision, tempdir, "base")
 
292
            if base_revision[1] == -1:
 
293
                base_rev_id = base_branch.last_revision()
 
294
            elif base_revision[1] is None:
 
295
                base_rev_id = None
 
296
            else:
 
297
                base_rev_id = base_branch.get_rev_id(base_revision[1])
 
298
            fetch(from_branch=base_branch, to_branch=this_branch)
 
299
            base_is_ancestor = is_ancestor(this_rev_id, base_rev_id,
 
300
                                           this_branch)
 
301
        if file_list is None:
 
302
            interesting_ids = None
 
303
        else:
 
304
            interesting_ids = set()
 
305
            this_tree = this_branch.working_tree()
 
306
            for fname in file_list:
 
307
                path = this_branch.relpath(fname)
 
308
                found_id = False
 
309
                for tree in (this_tree, base_tree.tree, other_tree.tree):
 
310
                    file_id = tree.inventory.path2id(path)
 
311
                    if file_id is not None:
 
312
                        interesting_ids.add(file_id)
 
313
                        found_id = True
 
314
                if not found_id:
 
315
                    raise BzrCommandError("%s is not a source file in any"
 
316
                                          " tree." % fname)
 
317
        merge_inner(this_branch, other_tree, base_tree, tempdir, 
 
318
                    ignore_zero=ignore_zero, backup_files=backup_files, 
 
319
                    merge_type=merge_type, interesting_ids=interesting_ids)
 
320
        if base_is_ancestor and other_rev_id is not None\
 
321
            and other_rev_id not in this_branch.revision_history():
 
322
            this_branch.add_pending_merge(other_rev_id)
 
323
    finally:
 
324
        shutil.rmtree(tempdir)
 
325
 
 
326
 
 
327
def set_interesting(inventory_a, inventory_b, interesting_ids):
 
328
    """Mark files whose ids are in interesting_ids as interesting
 
329
    """
 
330
    for inventory in (inventory_a, inventory_b):
 
331
        for path, source_file in inventory.iteritems():
 
332
             source_file.interesting = source_file.id in interesting_ids
 
333
 
 
334
 
 
335
def generate_cset_optimized(tree_a, tree_b, interesting_ids=None):
 
336
    """Generate a changeset.  If interesting_ids is supplied, only changes
 
337
    to those files will be shown.  Metadata changes are stripped.
 
338
    """ 
 
339
    cset =  generate_changeset(tree_a, tree_b, interesting_ids)
 
340
    for entry in cset.entries.itervalues():
 
341
        entry.metadata_change = None
 
342
    return cset
 
343
 
 
344
 
 
345
def merge_inner(this_branch, other_tree, base_tree, tempdir, 
 
346
                ignore_zero=False, merge_type=ApplyMerge3, backup_files=False,
 
347
                interesting_ids=None):
 
348
 
 
349
    def merge_factory(file_id, base, other):
 
350
        contents_change = merge_type(file_id, base, other)
 
351
        if backup_files:
 
352
            contents_change = BackupBeforeChange(contents_change)
 
353
        return contents_change
 
354
 
 
355
    this_tree = get_tree((this_branch.base, None), tempdir, "this")[1]
 
356
 
 
357
    def get_inventory(tree):
 
358
        return tree.tree.inventory
 
359
 
 
360
    inv_changes = merge_flex(this_tree, base_tree, other_tree,
 
361
                             generate_cset_optimized, get_inventory,
 
362
                             MergeConflictHandler(ignore_zero=ignore_zero),
 
363
                             merge_factory=merge_factory, 
 
364
                             interesting_ids=interesting_ids)
 
365
 
 
366
    adjust_ids = []
 
367
    for id, path in inv_changes.iteritems():
 
368
        if path is not None:
 
369
            if path == '.':
 
370
                path = ''
 
371
            else:
 
372
                assert path.startswith('.' + os.sep), "path is %s" % path
 
373
            path = path[2:]
 
374
        adjust_ids.append((path, id))
 
375
    if len(adjust_ids) > 0:
 
376
        this_branch.set_inventory(regen_inventory(this_branch, this_tree.root,
 
377
                                                  adjust_ids))
 
378
 
 
379
 
 
380
def regen_inventory(this_branch, root, new_entries):
 
381
    old_entries = this_branch.read_working_inventory()
 
382
    new_inventory = {}
 
383
    by_path = {}
 
384
    new_entries_map = {} 
 
385
    for path, file_id in new_entries:
 
386
        if path is None:
 
387
            continue
 
388
        new_entries_map[file_id] = path
 
389
 
 
390
    def id2path(file_id):
 
391
        path = new_entries_map.get(file_id)
 
392
        if path is not None:
 
393
            return path
 
394
        entry = old_entries[file_id]
 
395
        if entry.parent_id is None:
 
396
            return entry.name
 
397
        return os.path.join(id2path(entry.parent_id), entry.name)
 
398
        
 
399
    for file_id in old_entries:
 
400
        entry = old_entries[file_id]
 
401
        path = id2path(file_id)
 
402
        new_inventory[file_id] = (path, file_id, entry.parent_id, entry.kind)
 
403
        by_path[path] = file_id
 
404
    
 
405
    deletions = 0
 
406
    insertions = 0
 
407
    new_path_list = []
 
408
    for path, file_id in new_entries:
 
409
        if path is None:
 
410
            del new_inventory[file_id]
 
411
            deletions += 1
 
412
        else:
 
413
            new_path_list.append((path, file_id))
 
414
            if file_id not in old_entries:
 
415
                insertions += 1
 
416
    # Ensure no file is added before its parent
 
417
    new_path_list.sort()
 
418
    for path, file_id in new_path_list:
 
419
        if path == '':
 
420
            parent = None
 
421
        else:
 
422
            parent = by_path[os.path.dirname(path)]
 
423
        kind = bzrlib.osutils.file_kind(os.path.join(root, path))
 
424
        new_inventory[file_id] = (path, file_id, parent, kind)
 
425
        by_path[path] = file_id 
 
426
 
 
427
    # Get a list in insertion order
 
428
    new_inventory_list = new_inventory.values()
 
429
    mutter ("""Inventory regeneration:
 
430
old length: %i insertions: %i deletions: %i new_length: %i"""\
 
431
        % (len(old_entries), insertions, deletions, len(new_inventory_list)))
 
432
    assert len(new_inventory_list) == len(old_entries) + insertions - deletions
 
433
    new_inventory_list.sort()
 
434
    return new_inventory_list
 
435
 
 
436
merge_types = {     "merge3": (ApplyMerge3, "Native diff3-style merge"), 
 
437
                     "diff3": (Diff3Merge,  "Merge using external diff3")
 
438
              }
 
439