/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
 
from merge_core import merge_flex, ApplyMerge3, BackupBeforeChange
2
 
from changeset import generate_changeset, ExceptionConflictHandler
3
 
from changeset import Inventory, Diff3Merge
4
 
from bzrlib import find_branch
5
 
import bzrlib.osutils
6
 
from bzrlib.errors import BzrCommandError
7
 
from bzrlib.delta import compare_trees
8
 
from trace import mutter, warning
9
 
import os.path
 
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
10
19
import tempfile
11
20
import shutil
12
21
import errno
13
22
 
14
 
class UnrelatedBranches(BzrCommandError):
15
 
    def __init__(self):
16
 
        msg = "Branches have no common ancestor, and no base revision"\
17
 
            " specified."
18
 
        BzrCommandError.__init__(self, msg)
19
 
 
 
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
20
45
 
21
46
class MergeConflictHandler(ExceptionConflictHandler):
22
 
    """Handle conflicts encountered while merging"""
23
 
    def __init__(self, dir, ignore_zero=False):
24
 
        ExceptionConflictHandler.__init__(self, dir)
 
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)
25
55
        self.conflicts = 0
26
56
        self.ignore_zero = ignore_zero
27
57
 
36
66
            d_file.write(line)
37
67
        os.chmod(dest, 0777 & os.stat(source).st_mode)
38
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
 
39
78
    def add_suffix(self, name, suffix, last_new_name=None):
40
79
        """Rename a file to append a suffix.  If the new name exists, the
41
80
        suffix is added repeatedly until a non-existant name is found
48
87
            last_new_name = name
49
88
        new_name = last_new_name+suffix
50
89
        try:
51
 
            os.rename(name, new_name)
 
90
            rename(name, new_name)
52
91
            return new_name
53
92
        except OSError, e:
54
93
            if e.errno != errno.EEXIST and e.errno != errno.ENOTEMPTY:
60
99
        self.conflicts += 1
61
100
        
62
101
 
63
 
    def merge_conflict(self, new_file, this_path, base_path, other_path):
 
102
    def merge_conflict(self, new_file, this_path, base_lines, other_lines):
64
103
        """
65
104
        Handle diff3 conflicts by producing a .THIS, .BASE and .OTHER.  The
66
105
        main file will be a version with diff3 conflicts.
70
109
        :param other_path: Path to the file text for the OTHER tree
71
110
        """
72
111
        self.add_suffix(this_path, ".THIS")
73
 
        self.copy(base_path, this_path+".BASE")
74
 
        self.copy(other_path, this_path+".OTHER")
75
 
        os.rename(new_file, this_path)
 
112
        self.dump(base_lines, this_path+".BASE")
 
113
        self.dump(other_lines, this_path+".OTHER")
 
114
        rename(new_file, this_path)
76
115
        self.conflict("Diff3 conflict encountered in %s" % this_path)
77
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
 
78
123
    def target_exists(self, entry, target, old_path):
79
124
        """Handle the case when the target file or dir exists"""
80
125
        moved_path = self.add_suffix(target, ".moved")
90
135
        if not self.ignore_zero:
91
136
            print "%d conflicts encountered.\n" % self.conflicts
92
137
            
93
 
class SourceFile(object):
94
 
    def __init__(self, path, id, present=None, isdir=None):
95
 
        self.path = path
96
 
        self.id = id
97
 
        self.present = present
98
 
        self.isdir = isdir
99
 
        self.interesting = True
100
 
 
101
 
    def __repr__(self):
102
 
        return "SourceFile(%s, %s)" % (self.path, self.id)
103
 
 
104
 
def get_tree(treespec, temp_root, label):
 
138
def get_tree(treespec, temp_root, label, local_branch=None):
105
139
    location, revno = treespec
106
 
    branch = find_branch(location)
 
140
    branch = Branch.open_containing(location)
107
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:
108
152
        base_tree = branch.working_tree()
109
 
    elif revno == -1:
110
 
        base_tree = branch.basis_tree()
111
153
    else:
112
 
        base_tree = branch.revision_tree(branch.lookup_revision(revno))
 
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)
113
159
    temp_path = os.path.join(temp_root, label)
114
160
    os.mkdir(temp_path)
115
 
    return branch, MergeTree(base_tree, temp_path)
116
 
 
117
 
 
118
 
def abspath(tree, file_id):
119
 
    path = tree.inventory.id2path(file_id)
120
 
    if path == "":
121
 
        return "./."
122
 
    return "./" + path
 
161
    return MergeTree(base_tree, temp_path)
 
162
 
123
163
 
124
164
def file_exists(tree, file_id):
125
165
    return tree.has_filename(tree.id2path(file_id))
126
166
    
127
 
def inventory_map(tree):
128
 
    inventory = {}
129
 
    for file_id in tree.inventory:
130
 
        path = abspath(tree, file_id)
131
 
        inventory[path] = SourceFile(path, file_id)
132
 
    return inventory
133
 
 
134
167
 
135
168
class MergeTree(object):
136
169
    def __init__(self, tree, tempdir):
139
172
            self.root = tree.basedir
140
173
        else:
141
174
            self.root = None
142
 
        self.inventory = inventory_map(tree)
143
175
        self.tree = tree
144
176
        self.tempdir = tempdir
145
177
        os.mkdir(os.path.join(self.tempdir, "texts"))
 
178
        os.mkdir(os.path.join(self.tempdir, "symlinks"))
146
179
        self.cached = {}
147
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
 
148
209
    def readonly_path(self, id):
149
210
        if id not in self.tree:
150
211
            return None
151
212
        if self.root is not None:
152
213
            return self.tree.abspath(self.tree.id2path(id))
153
214
        else:
154
 
            if self.tree.inventory[id].kind in ("directory", "root_directory"):
 
215
            kind = self.tree.inventory[id].kind
 
216
            if kind in ("directory", "root_directory"):
155
217
                return self.tempdir
156
218
            if not self.cached.has_key(id):
157
 
                path = os.path.join(self.tempdir, "texts", id)
158
 
                outfile = file(path, "wb")
159
 
                outfile.write(self.tree.get_file(id).read())
160
 
                assert(os.path.exists(path))
 
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)
161
229
                self.cached[id] = path
162
230
            return self.cached[id]
163
231
 
170
238
    """Merge changes into a tree.
171
239
 
172
240
    base_revision
173
 
        Base for three-way merge.
 
241
        tuple(path, revision) Base for three-way merge.
174
242
    other_revision
175
 
        Other revision for three-way merge.
 
243
        tuple(path, revision) Other revision for three-way merge.
176
244
    this_dir
177
245
        Directory to merge changes into; '.' by default.
178
246
    check_clean
179
247
        If true, this_dir must have no uncommitted changes before the
180
248
        merge begins.
 
249
 
 
250
    All available ancestors of other_revision and base_revision are
 
251
    automatically pulled into the branch.
181
252
    """
182
253
    tempdir = tempfile.mkdtemp(prefix="bzr-")
183
254
    try:
184
255
        if this_dir is None:
185
256
            this_dir = '.'
186
 
        this_branch = find_branch(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")
187
261
        if check_clean:
188
262
            changes = compare_trees(this_branch.working_tree(), 
189
263
                                    this_branch.basis_tree(), False)
190
264
            if changes.has_changed():
191
265
                raise BzrCommandError("Working tree has uncommitted changes.")
192
 
        other_branch, other_tree = get_tree(other_revision, tempdir, "other")
 
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)
193
281
        if base_revision == [None, None]:
194
 
            if other_revision[1] == -1:
195
 
                o_revno = None
196
 
            else:
197
 
                o_revno = other_revision[1]
198
 
            base_revno = this_branch.common_ancestor(other_branch, 
199
 
                                                     other_revno=o_revno)[0]
200
 
            if base_revno is None:
 
282
            try:
 
283
                base_rev_id = common_ancestor(this_rev_id, other_basis, 
 
284
                                              this_branch)
 
285
            except NoCommonAncestor:
201
286
                raise UnrelatedBranches()
202
 
            base_revision = ['.', base_revno]
203
 
        base_branch, base_tree = get_tree(base_revision, tempdir, "base")
 
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)
204
301
        if file_list is None:
205
302
            interesting_ids = None
206
303
        else:
220
317
        merge_inner(this_branch, other_tree, base_tree, tempdir, 
221
318
                    ignore_zero=ignore_zero, backup_files=backup_files, 
222
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)
223
323
    finally:
224
324
        shutil.rmtree(tempdir)
225
325
 
232
332
             source_file.interesting = source_file.id in interesting_ids
233
333
 
234
334
 
235
 
def set_optimized(tree_a, tree_b, inventory_a, inventory_b):
236
 
    """Mark files that have changed texts as interesting
237
 
    """
238
 
    for file_id in tree_a.tree.inventory:
239
 
        if file_id not in tree_b.tree.inventory:
240
 
            continue
241
 
        entry_a = tree_a.tree.inventory[file_id]
242
 
        entry_b = tree_b.tree.inventory[file_id]
243
 
        if (entry_a.kind, entry_b.kind) != ("file", "file"):
244
 
            continue
245
 
        if None in (entry_a.text_id, entry_b.text_id):
246
 
            continue
247
 
        if entry_a.text_id != entry_b.text_id:
248
 
            continue
249
 
        inventory_a[abspath(tree_a.tree, file_id)].interesting = False
250
 
        inventory_b[abspath(tree_b.tree, file_id)].interesting = False
251
 
 
252
 
 
253
 
def generate_cset_optimized(tree_a, tree_b, inventory_a, inventory_b,
254
 
                            interesting_ids=None):
255
 
    """Generate a changeset, with preprocessing to select interesting files.
256
 
    using the text_id to mark really-changed files.
257
 
    This permits blazing comparisons when text_ids are present.  It also
258
 
    disables metadata comparison for files with identical texts.
 
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.
259
338
    """ 
260
 
    if interesting_ids is None:
261
 
        set_optimized(tree_a, tree_b, inventory_a, inventory_b)
262
 
    else:
263
 
        set_interesting(inventory_a, inventory_b, interesting_ids)
264
 
    cset =  generate_changeset(tree_a, tree_b, inventory_a, inventory_b)
 
339
    cset =  generate_changeset(tree_a, tree_b, interesting_ids)
265
340
    for entry in cset.entries.itervalues():
266
341
        entry.metadata_change = None
267
342
    return cset
271
346
                ignore_zero=False, merge_type=ApplyMerge3, backup_files=False,
272
347
                interesting_ids=None):
273
348
 
274
 
    def merge_factory(base_file, other_file):
275
 
        contents_change = merge_type(base_file, other_file)
 
349
    def merge_factory(file_id, base, other):
 
350
        contents_change = merge_type(file_id, base, other)
276
351
        if backup_files:
277
352
            contents_change = BackupBeforeChange(contents_change)
278
353
        return contents_change
279
 
    
280
 
    def generate_cset(tree_a, tree_b, inventory_a, inventory_b):
281
 
        return generate_cset_optimized(tree_a, tree_b, inventory_a, inventory_b,
282
 
                                       interesting_ids)
283
354
 
284
355
    this_tree = get_tree((this_branch.base, None), tempdir, "this")[1]
285
356
 
286
357
    def get_inventory(tree):
287
 
        return tree.inventory
 
358
        return tree.tree.inventory
288
359
 
289
360
    inv_changes = merge_flex(this_tree, base_tree, other_tree,
290
 
                             generate_cset, get_inventory,
291
 
                             MergeConflictHandler(base_tree.root,
292
 
                                                  ignore_zero=ignore_zero),
293
 
                             merge_factory=merge_factory)
 
361
                             generate_cset_optimized, get_inventory,
 
362
                             MergeConflictHandler(ignore_zero=ignore_zero),
 
363
                             merge_factory=merge_factory, 
 
364
                             interesting_ids=interesting_ids)
294
365
 
295
366
    adjust_ids = []
296
367
    for id, path in inv_changes.iteritems():
298
369
            if path == '.':
299
370
                path = ''
300
371
            else:
301
 
                assert path.startswith('./')
 
372
                assert path.startswith('.' + os.sep), "path is %s" % path
302
373
            path = path[2:]
303
374
        adjust_ids.append((path, id))
304
 
    this_branch.set_inventory(regen_inventory(this_branch, this_tree.root, adjust_ids))
 
375
    if len(adjust_ids) > 0:
 
376
        this_branch.set_inventory(regen_inventory(this_branch, this_tree.root,
 
377
                                                  adjust_ids))
305
378
 
306
379
 
307
380
def regen_inventory(this_branch, root, new_entries):
308
381
    old_entries = this_branch.read_working_inventory()
309
382
    new_inventory = {}
310
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
        
311
399
    for file_id in old_entries:
312
400
        entry = old_entries[file_id]
313
 
        path = old_entries.id2path(file_id)
 
401
        path = id2path(file_id)
314
402
        new_inventory[file_id] = (path, file_id, entry.parent_id, entry.kind)
315
403
        by_path[path] = file_id
316
404