merge.py
411 lines
| 14.9 KiB
| text/x-python
|
PythonLexer
/ mercurial / merge.py
Matt Mackall
|
r2775 | # merge.py - directory-level update/merge handling for Mercurial | ||
# | ||||
Thomas Arendsen Hein
|
r4635 | # Copyright 2006, 2007 Matt Mackall <mpm@selenic.com> | ||
Matt Mackall
|
r2775 | # | ||
# This software may be used and distributed according to the terms | ||||
# of the GNU General Public License, incorporated herein by reference. | ||||
Joel Rosdahl
|
r6211 | from node import nullid, nullrev | ||
Matt Mackall
|
r3891 | from i18n import _ | ||
Matt Mackall
|
r6274 | import errno, util, os, filemerge, copies | ||
Matt Mackall
|
r2775 | |||
Matt Mackall
|
r6269 | def _checkunknown(wctx, mctx): | ||
Matt Mackall
|
r3315 | "check for collisions between unknown files and files in mctx" | ||
Matt Mackall
|
r3218 | for f in wctx.unknown(): | ||
Matt Mackall
|
r6272 | if f in mctx and mctx[f].cmp(wctx[f].data()): | ||
raise util.Abort(_("untracked file in working directory differs" | ||||
" from file in requested revision: '%s'") % f) | ||||
Matt Mackall
|
r3107 | |||
Matt Mackall
|
r6269 | def _checkcollision(mctx): | ||
Matt Mackall
|
r3785 | "check for case folding collisions in the destination context" | ||
folded = {} | ||||
Matt Mackall
|
r6272 | for fn in mctx: | ||
Matt Mackall
|
r3785 | fold = fn.lower() | ||
if fold in folded: | ||||
raise util.Abort(_("case-folding collision between %s and %s") | ||||
% (fn, folded[fold])) | ||||
folded[fold] = fn | ||||
Matt Mackall
|
r6269 | def _forgetremoved(wctx, mctx, branchmerge): | ||
Matt Mackall
|
r3107 | """ | ||
Forget removed files | ||||
If we're jumping between revisions (as opposed to merging), and if | ||||
neither the working directory nor the target rev has the file, | ||||
then we need to remove it from the dirstate, to prevent the | ||||
dirstate from listing the file when it is no longer in the | ||||
manifest. | ||||
Alexis S. L. Carvalho
|
r6242 | |||
If we're merging, and the other revision has removed a file | ||||
that is not present in the working directory, we need to mark it | ||||
as removed. | ||||
Matt Mackall
|
r3107 | """ | ||
action = [] | ||||
Alexis S. L. Carvalho
|
r6242 | state = branchmerge and 'r' or 'f' | ||
for f in wctx.deleted(): | ||||
Matt Mackall
|
r6272 | if f not in mctx: | ||
Alexis S. L. Carvalho
|
r6242 | action.append((f, state)) | ||
if not branchmerge: | ||||
for f in wctx.removed(): | ||||
Matt Mackall
|
r6272 | if f not in mctx: | ||
Alexis S. L. Carvalho
|
r6242 | action.append((f, "f")) | ||
Matt Mackall
|
r3107 | |||
return action | ||||
Matt Mackall
|
r3295 | def manifestmerge(repo, p1, p2, pa, overwrite, partial): | ||
Matt Mackall
|
r3105 | """ | ||
Matt Mackall
|
r3315 | Merge p1 and p2 with ancestor ma and generate merge action list | ||
overwrite = whether we clobber working files | ||||
partial = function to filter file lists | ||||
Matt Mackall
|
r3105 | """ | ||
Matt Mackall
|
r3314 | repo.ui.note(_("resolving manifests\n")) | ||
repo.ui.debug(_(" overwrite %s partial %s\n") % (overwrite, bool(partial))) | ||||
repo.ui.debug(_(" ancestor %s local %s remote %s\n") % (pa, p1, p2)) | ||||
Matt Mackall
|
r3295 | m1 = p1.manifest() | ||
m2 = p2.manifest() | ||||
ma = pa.manifest() | ||||
backwards = (pa == p2) | ||||
Matt Mackall
|
r3314 | action = [] | ||
Matt Mackall
|
r6274 | copy, copied, diverge = {}, {}, {} | ||
Matt Mackall
|
r3295 | |||
Matt Mackall
|
r3249 | def fmerge(f, f2=None, fa=None): | ||
Matt Mackall
|
r4007 | """merge flags""" | ||
Matt Mackall
|
r3249 | if not f2: | ||
f2 = f | ||||
fa = f | ||||
Matt Mackall
|
r5708 | a, m, n = ma.flags(fa), m1.flags(f), m2.flags(f2) | ||
if m == n: # flags agree | ||||
return m # unchanged | ||||
if m and n: # flags are set but don't agree | ||||
if not a: # both differ from parent | ||||
r = repo.ui.prompt( | ||||
_(" conflicting flags for %s\n" | ||||
"(n)one, e(x)ec or sym(l)ink?") % f, "[nxl]", "n") | ||||
return r != "n" and r or '' | ||||
if m == a: | ||||
return n # changed from m to n | ||||
return m # changed from n to m | ||||
if m and m != a: # changed from a to m | ||||
return m | ||||
if n and n != a: # changed from a to n | ||||
return n | ||||
return '' # flag was cleared | ||||
Matt Mackall
|
r3118 | |||
Matt Mackall
|
r3307 | def act(msg, m, f, *args): | ||
Matt Mackall
|
r3295 | repo.ui.debug(" %s: %s -> %s\n" % (f, msg, m)) | ||
Matt Mackall
|
r3121 | action.append((f, m) + args) | ||
Matt Mackall
|
r6275 | if pa and not (backwards or overwrite): | ||
Matt Mackall
|
r6274 | copy, diverge = copies.copies(repo, p1, p2, pa) | ||
copied = dict.fromkeys(copy.values()) | ||||
for of, fl in diverge.items(): | ||||
act("divergent renames", "dr", of, fl) | ||||
Matt Mackall
|
r3295 | |||
Matt Mackall
|
r3105 | # Compare manifests | ||
for f, n in m1.iteritems(): | ||||
Matt Mackall
|
r3248 | if partial and not partial(f): | ||
continue | ||||
Matt Mackall
|
r3105 | if f in m2: | ||
Matt Mackall
|
r5708 | if overwrite or backwards: | ||
rflags = m2.flags(f) | ||||
else: | ||||
rflags = fmerge(f) | ||||
Matt Mackall
|
r3105 | # are files different? | ||
if n != m2[f]: | ||||
a = ma.get(f, nullid) | ||||
Matt Mackall
|
r5700 | # are we clobbering? | ||
if overwrite: | ||||
Matt Mackall
|
r5708 | act("clobbering", "g", f, rflags) | ||
Matt Mackall
|
r5700 | # or are we going back in time and clean? | ||
elif backwards and not n[20:]: | ||||
Matt Mackall
|
r5708 | act("reverting", "g", f, rflags) | ||
Matt Mackall
|
r3105 | # are both different from the ancestor? | ||
Matt Mackall
|
r5700 | elif n != a and m2[f] != a: | ||
Matt Mackall
|
r5708 | act("versions differ", "m", f, f, f, rflags, False) | ||
Matt Mackall
|
r3105 | # is remote's version newer? | ||
Matt Mackall
|
r5700 | elif m2[f] != a: | ||
Matt Mackall
|
r5708 | act("remote is newer", "g", f, rflags) | ||
Matt Mackall
|
r3113 | # local is newer, not overwrite, check mode bits | ||
Matt Mackall
|
r5708 | elif m1.flags(f) != rflags: | ||
act("update permissions", "e", f, rflags) | ||||
Matt Mackall
|
r3113 | # contents same, check mode bits | ||
Matt Mackall
|
r5708 | elif m1.flags(f) != rflags: | ||
act("update permissions", "e", f, rflags) | ||||
Matt Mackall
|
r3730 | elif f in copied: | ||
continue | ||||
Matt Mackall
|
r3249 | elif f in copy: | ||
f2 = copy[f] | ||||
Matt Mackall
|
r3733 | if f2 not in m2: # directory rename | ||
act("remote renamed directory to " + f2, "d", | ||||
Matt Mackall
|
r4007 | f, None, f2, m1.flags(f)) | ||
Matt Mackall
|
r3733 | elif f2 in m1: # case 2 A,B/B/B | ||
Matt Mackall
|
r3730 | act("local copied to " + f2, "m", | ||
f, f2, f, fmerge(f, f2, f2), False) | ||||
else: # case 4,21 A/B/B | ||||
act("local moved to " + f2, "m", | ||||
f, f2, f, fmerge(f, f2, f2), False) | ||||
Matt Mackall
|
r3105 | elif f in ma: | ||
Matt Mackall
|
r3117 | if n != ma[f] and not overwrite: | ||
Matt Mackall
|
r3295 | if repo.ui.prompt( | ||
Thomas Arendsen Hein
|
r5670 | _(" local changed %s which remote deleted\n" | ||
"use (c)hanged version or (d)elete?") % f, | ||||
_("[cd]"), _("c")) == _("d"): | ||||
Matt Mackall
|
r3307 | act("prompt delete", "r", f) | ||
Matt Mackall
|
r3105 | else: | ||
Matt Mackall
|
r3307 | act("other deleted", "r", f) | ||
Matt Mackall
|
r3105 | else: | ||
# file is created on branch or in working directory | ||||
Matt Mackall
|
r3120 | if (overwrite and n[20:] != "u") or (backwards and not n[20:]): | ||
Matt Mackall
|
r3307 | act("remote deleted", "r", f) | ||
Matt Mackall
|
r3105 | |||
for f, n in m2.iteritems(): | ||||
Matt Mackall
|
r3248 | if partial and not partial(f): | ||
continue | ||||
if f in m1: | ||||
continue | ||||
Matt Mackall
|
r3729 | if f in copied: | ||
continue | ||||
Matt Mackall
|
r3249 | if f in copy: | ||
f2 = copy[f] | ||||
Matt Mackall
|
r3733 | if f2 not in m1: # directory rename | ||
act("local renamed directory to " + f2, "d", | ||||
Matt Mackall
|
r4007 | None, f, f2, m2.flags(f)) | ||
Matt Mackall
|
r3733 | elif f2 in m2: # rename case 1, A/A,B/A | ||
Matt Mackall
|
r3730 | act("remote copied to " + f, "m", | ||
f2, f, f, fmerge(f2, f, f2), False) | ||||
else: # case 3,20 A/B/A | ||||
act("remote moved to " + f, "m", | ||||
f2, f, f, fmerge(f2, f, f2), True) | ||||
Matt Mackall
|
r3249 | elif f in ma: | ||
Matt Mackall
|
r3116 | if overwrite or backwards: | ||
Matt Mackall
|
r4007 | act("recreating", "g", f, m2.flags(f)) | ||
Matt Mackall
|
r3116 | elif n != ma[f]: | ||
Matt Mackall
|
r3295 | if repo.ui.prompt( | ||
Thomas Arendsen Hein
|
r5670 | _("remote changed %s which local deleted\n" | ||
"use (c)hanged version or leave (d)eleted?") % f, | ||||
_("[cd]"), _("c")) == _("c"): | ||||
Matt Mackall
|
r4007 | act("prompt recreating", "g", f, m2.flags(f)) | ||
Matt Mackall
|
r3115 | else: | ||
Matt Mackall
|
r4007 | act("remote created", "g", f, m2.flags(f)) | ||
Matt Mackall
|
r3105 | |||
return action | ||||
Matt Mackall
|
r3297 | def applyupdates(repo, action, wctx, mctx): | ||
Matt Mackall
|
r3315 | "apply the merge action list to the working directory" | ||
Matt Mackall
|
r3111 | updated, merged, removed, unresolved = 0, 0, 0, 0 | ||
action.sort() | ||||
Matt Mackall
|
r5042 | # prescan for copy/renames | ||
for a in action: | ||||
f, m = a[:2] | ||||
if m == 'm': # merge | ||||
f2, fd, flags, move = a[2:] | ||||
if f != fd: | ||||
repo.ui.debug(_("copying %s to %s\n") % (f, fd)) | ||||
repo.wwrite(fd, repo.wread(f), flags) | ||||
Bryan O'Sullivan
|
r5158 | audit_path = util.path_auditor(repo.root) | ||
Matt Mackall
|
r3111 | for a in action: | ||
f, m = a[:2] | ||||
Matt Mackall
|
r3733 | if f and f[0] == "/": | ||
Matt Mackall
|
r3111 | continue | ||
if m == "r": # remove | ||||
repo.ui.note(_("removing %s\n") % f) | ||||
Bryan O'Sullivan
|
r5158 | audit_path(f) | ||
Matt Mackall
|
r3111 | try: | ||
util.unlink(repo.wjoin(f)) | ||||
except OSError, inst: | ||||
if inst.errno != errno.ENOENT: | ||||
repo.ui.warn(_("update failed to remove %s: %s!\n") % | ||||
(f, inst.strerror)) | ||||
Thomas Arendsen Hein
|
r3673 | removed += 1 | ||
Matt Mackall
|
r3308 | elif m == "m": # merge | ||
Matt Mackall
|
r4007 | f2, fd, flags, move = a[2:] | ||
Matt Mackall
|
r6003 | r = filemerge.filemerge(repo, f, fd, f2, wctx, mctx) | ||
Matt Mackall
|
r3400 | if r > 0: | ||
Matt Mackall
|
r3249 | unresolved += 1 | ||
Matt Mackall
|
r3309 | else: | ||
Matt Mackall
|
r3400 | if r is None: | ||
updated += 1 | ||||
else: | ||||
merged += 1 | ||||
Matt Mackall
|
r5704 | util.set_flags(repo.wjoin(fd), flags) | ||
Matt Mackall
|
r5059 | if f != fd and move and util.lexists(repo.wjoin(f)): | ||
Matt Mackall
|
r5042 | repo.ui.debug(_("removing %s\n") % f) | ||
os.unlink(repo.wjoin(f)) | ||||
Matt Mackall
|
r3111 | elif m == "g": # get | ||
Matt Mackall
|
r4007 | flags = a[2] | ||
Matt Mackall
|
r3111 | repo.ui.note(_("getting %s\n") % f) | ||
Matt Mackall
|
r3303 | t = mctx.filectx(f).data() | ||
Matt Mackall
|
r4007 | repo.wwrite(f, t, flags) | ||
Matt Mackall
|
r3111 | updated += 1 | ||
Matt Mackall
|
r3733 | elif m == "d": # directory rename | ||
Matt Mackall
|
r4007 | f2, fd, flags = a[2:] | ||
Matt Mackall
|
r3733 | if f: | ||
repo.ui.note(_("moving %s to %s\n") % (f, fd)) | ||||
t = wctx.filectx(f).data() | ||||
Matt Mackall
|
r4007 | repo.wwrite(fd, t, flags) | ||
Matt Mackall
|
r3733 | util.unlink(repo.wjoin(f)) | ||
if f2: | ||||
repo.ui.note(_("getting %s to %s\n") % (f2, fd)) | ||||
t = mctx.filectx(f2).data() | ||||
Matt Mackall
|
r4007 | repo.wwrite(fd, t, flags) | ||
Matt Mackall
|
r3733 | updated += 1 | ||
Matt Mackall
|
r4674 | elif m == "dr": # divergent renames | ||
fl = a[2] | ||||
repo.ui.warn("warning: detected divergent renames of %s to:\n" % f) | ||||
for nf in fl: | ||||
repo.ui.warn(" %s\n" % nf) | ||||
Matt Mackall
|
r3111 | elif m == "e": # exec | ||
Matt Mackall
|
r4007 | flags = a[2] | ||
Matt Mackall
|
r5704 | util.set_flags(repo.wjoin(f), flags) | ||
Matt Mackall
|
r3111 | |||
return updated, merged, removed, unresolved | ||||
Matt Mackall
|
r3372 | def recordupdates(repo, action, branchmerge): | ||
Matt Mackall
|
r3315 | "record merge actions to the dirstate" | ||
Matt Mackall
|
r3111 | for a in action: | ||
f, m = a[:2] | ||||
if m == "r": # remove | ||||
if branchmerge: | ||||
Matt Mackall
|
r4904 | repo.dirstate.remove(f) | ||
Matt Mackall
|
r3111 | else: | ||
Matt Mackall
|
r4904 | repo.dirstate.forget(f) | ||
Matt Mackall
|
r3111 | elif m == "f": # forget | ||
Matt Mackall
|
r4904 | repo.dirstate.forget(f) | ||
Matt Mackall
|
r4997 | elif m in "ge": # get or exec change | ||
Matt Mackall
|
r3111 | if branchmerge: | ||
Matt Mackall
|
r4904 | repo.dirstate.normaldirty(f) | ||
Matt Mackall
|
r3111 | else: | ||
Matt Mackall
|
r4904 | repo.dirstate.normal(f) | ||
Matt Mackall
|
r3111 | elif m == "m": # merge | ||
Matt Mackall
|
r3303 | f2, fd, flag, move = a[2:] | ||
Matt Mackall
|
r3251 | if branchmerge: | ||
# We've done a branch merge, mark this file as merged | ||||
# so that we properly record the merger later | ||||
Matt Mackall
|
r4904 | repo.dirstate.merge(fd) | ||
Matt Mackall
|
r3372 | if f != f2: # copy/rename | ||
if move: | ||||
Matt Mackall
|
r4904 | repo.dirstate.remove(f) | ||
Matt Mackall
|
r3372 | if f != fd: | ||
repo.dirstate.copy(f, fd) | ||||
else: | ||||
repo.dirstate.copy(f2, fd) | ||||
Matt Mackall
|
r3251 | else: | ||
# We've update-merged a locally modified file, so | ||||
# we set the dirstate to emulate a normal checkout | ||||
# of that file some time in the past. Thus our | ||||
# merge will appear as a normal local file | ||||
# modification. | ||||
Alexis S. L. Carvalho
|
r5210 | repo.dirstate.normallookup(fd) | ||
Matt Mackall
|
r3308 | if move: | ||
Matt Mackall
|
r4904 | repo.dirstate.forget(f) | ||
Matt Mackall
|
r3733 | elif m == "d": # directory rename | ||
f2, fd, flag = a[2:] | ||||
Matt Mackall
|
r4819 | if not f2 and f not in repo.dirstate: | ||
# untracked file moved | ||||
continue | ||||
Matt Mackall
|
r3733 | if branchmerge: | ||
Matt Mackall
|
r4904 | repo.dirstate.add(fd) | ||
Matt Mackall
|
r3733 | if f: | ||
Matt Mackall
|
r4904 | repo.dirstate.remove(f) | ||
Matt Mackall
|
r3733 | repo.dirstate.copy(f, fd) | ||
if f2: | ||||
repo.dirstate.copy(f2, fd) | ||||
else: | ||||
Matt Mackall
|
r4904 | repo.dirstate.normal(fd) | ||
Matt Mackall
|
r3733 | if f: | ||
Matt Mackall
|
r4904 | repo.dirstate.forget(f) | ||
Matt Mackall
|
r3111 | |||
Matt Mackall
|
r4917 | def update(repo, node, branchmerge, force, partial): | ||
Matt Mackall
|
r3315 | """ | ||
Perform a merge between the working directory and the given node | ||||
branchmerge = whether to merge between branches | ||||
force = whether to force branch merging or file overwriting | ||||
partial = a function to filter file lists (dirstate not updated) | ||||
""" | ||||
Matt Mackall
|
r2815 | |||
Matt Mackall
|
r4917 | wlock = repo.wlock() | ||
Matt Mackall
|
r4915 | try: | ||
wc = repo.workingctx() | ||||
if node is None: | ||||
# tip of current branch | ||||
try: | ||||
node = repo.branchtags()[wc.branch()] | ||||
except KeyError: | ||||
Matt Mackall
|
r5570 | if wc.branch() == "default": # no default branch! | ||
node = repo.lookup("tip") # update to tip | ||||
else: | ||||
raise util.Abort(_("branch %s not found") % wc.branch()) | ||||
Matt Mackall
|
r4915 | overwrite = force and not branchmerge | ||
pl = wc.parents() | ||||
p1, p2 = pl[0], repo.changectx(node) | ||||
pa = p1.ancestor(p2) | ||||
fp1, fp2, xp1, xp2 = p1.node(), p2.node(), str(p1), str(p2) | ||||
fastforward = False | ||||
Matt Mackall
|
r3314 | |||
Matt Mackall
|
r4915 | ### check phase | ||
if not overwrite and len(pl) > 1: | ||||
raise util.Abort(_("outstanding uncommitted merges")) | ||||
Matt Mackall
|
r6375 | if branchmerge: | ||
if pa == p2: | ||||
raise util.Abort(_("can't merge with ancestor")) | ||||
elif pa == p1: | ||||
if p1.branch() != p2.branch(): | ||||
Matt Mackall
|
r4915 | fastforward = True | ||
else: | ||||
Matt Mackall
|
r6375 | raise util.Abort(_("nothing to merge (use 'hg update'" | ||
" or check 'hg heads')")) | ||||
if not force and (wc.files() or wc.deleted()): | ||||
Matt Mackall
|
r4915 | raise util.Abort(_("outstanding uncommitted changes")) | ||
Matt Mackall
|
r6375 | elif not overwrite: | ||
if pa == p1 or pa == p2: # linear | ||||
pass # all good | ||||
elif p1.branch() == p2.branch(): | ||||
if wc.files() or wc.deleted(): | ||||
raise util.Abort(_("crosses branches (use 'hg merge' or " | ||||
"'hg update -C' to discard changes)")) | ||||
Thomas Arendsen Hein
|
r6381 | raise util.Abort(_("crosses branches (use 'hg merge' " | ||
Matt Mackall
|
r6375 | "or 'hg update -C')")) | ||
elif wc.files() or wc.deleted(): | ||||
raise util.Abort(_("crosses named branches (use " | ||||
"'hg update -C' to discard changes)")) | ||||
else: | ||||
# Allow jumping branches if there are no changes | ||||
overwrite = True | ||||
Matt Mackall
|
r2814 | |||
Matt Mackall
|
r4915 | ### calculate phase | ||
action = [] | ||||
if not force: | ||||
Matt Mackall
|
r6269 | _checkunknown(wc, p2) | ||
Matt Mackall
|
r4915 | if not util.checkfolding(repo.path): | ||
Matt Mackall
|
r6269 | _checkcollision(p2) | ||
action += _forgetremoved(wc, p2, branchmerge) | ||||
Matt Mackall
|
r4915 | action += manifestmerge(repo, wc, p2, pa, overwrite, partial) | ||
Matt Mackall
|
r2775 | |||
Matt Mackall
|
r4915 | ### apply phase | ||
if not branchmerge: # just jump to the new rev | ||||
fp1, fp2, xp1, xp2 = fp2, nullid, xp2, '' | ||||
if not partial: | ||||
repo.hook('preupdate', throw=True, parent1=xp1, parent2=xp2) | ||||
Matt Mackall
|
r2775 | |||
Matt Mackall
|
r4915 | stats = applyupdates(repo, action, wc, p2) | ||
Matt Mackall
|
r2899 | |||
Matt Mackall
|
r4915 | if not partial: | ||
recordupdates(repo, action, branchmerge) | ||||
repo.dirstate.setparents(fp1, fp2) | ||||
if not branchmerge and not fastforward: | ||||
repo.dirstate.setbranch(p2.branch()) | ||||
repo.hook('update', parent1=xp1, parent2=xp2, error=stats[3]) | ||||
Matt Mackall
|
r3314 | |||
Matt Mackall
|
r4915 | return stats | ||
finally: | ||||
del wlock | ||||