~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/missing.py

  • Committer: Martin Pool
  • Date: 2008-06-11 02:36:40 UTC
  • mfrom: (3490 +trunk)
  • mto: This revision was merged to the branch mainline in revision 3492.
  • Revision ID: mbp@sourcefrog.net-20080611023640-db0lqd75yueksdw7
Merge news

Show diffs side-by-side

added added

removed removed

Lines of Context:
16
16
 
17
17
"""Display what revisions are missing in 'other' from 'this' and vice versa."""
18
18
 
19
 
from bzrlib import ui
20
19
from bzrlib.log import (
21
20
    LogRevision,
22
21
    )
23
 
from bzrlib.symbol_versioning import (
24
 
    deprecated_function,
25
 
    zero_seventeen,
26
 
    )
27
 
 
28
 
 
29
 
@deprecated_function(zero_seventeen)
30
 
def iter_log_data(revisions, revision_source, verbose):
31
 
    for revision in iter_log_revisions(revisions, revision_source, verbose):
32
 
        yield revision.revno, revision.rev, revision.delta
33
22
 
34
23
 
35
24
def iter_log_revisions(revisions, revision_source, verbose):
53
42
        yield LogRevision(rev, revno, delta=delta)
54
43
 
55
44
 
56
 
def find_unmerged(local_branch, remote_branch):
57
 
    progress = ui.ui_factory.nested_progress_bar()
 
45
def find_unmerged(local_branch, remote_branch, restrict='all'):
 
46
    """Find revisions from each side that have not been merged.
 
47
 
 
48
    :param local_branch: Compare the history of local_branch
 
49
    :param remote_branch: versus the history of remote_branch, and determine
 
50
        mainline revisions which have not been merged.
 
51
    :param restrict: ('all', 'local', 'remote') If 'all', we will return the
 
52
        unique revisions from both sides. If 'local', we will return None
 
53
        for the remote revisions, similarly if 'remote' we will return None for
 
54
        the local revisions.
 
55
 
 
56
    :return: A list of [(revno, revision_id)] for the mainline revisions on
 
57
        each side.
 
58
    """
58
59
    local_branch.lock_read()
59
60
    try:
60
61
        remote_branch.lock_read()
61
62
        try:
62
 
            # check for special case: both branches are equivalent
63
 
            if (local_branch.last_revision_info() ==
64
 
                remote_branch.last_revision_info()):
65
 
                return [], []
66
 
            local_rev_history, local_rev_history_map = \
67
 
                _get_history(local_branch, progress, "local", 0)
68
 
            remote_rev_history, remote_rev_history_map = \
69
 
                _get_history(remote_branch, progress, "remote", 1)
70
 
            result = _shortcut(local_rev_history, remote_rev_history)
71
 
            if result is not None:
72
 
                local_extra, remote_extra = result
73
 
                local_extra = sorted_revisions(local_extra, 
74
 
                                               local_rev_history_map)
75
 
                remote_extra = sorted_revisions(remote_extra, 
76
 
                                                remote_rev_history_map)
77
 
                return local_extra, remote_extra
78
 
 
79
 
            local_ancestry = _get_ancestry(local_branch.repository, progress, 
80
 
                                           "local", 2, local_rev_history)
81
 
            remote_ancestry = _get_ancestry(remote_branch.repository, progress,
82
 
                                            "remote", 3, remote_rev_history)
83
 
            progress.update('pondering', 4, 5)
84
 
            extras = local_ancestry.symmetric_difference(remote_ancestry) 
85
 
            local_extra = extras.intersection(set(local_rev_history))
86
 
            remote_extra = extras.intersection(set(remote_rev_history))
87
 
            local_extra = sorted_revisions(local_extra, local_rev_history_map)
88
 
            remote_extra = sorted_revisions(remote_extra, 
89
 
                                            remote_rev_history_map)
90
 
                    
 
63
            return _find_unmerged(local_branch,
 
64
                remote_branch, restrict=restrict)
91
65
        finally:
92
66
            remote_branch.unlock()
93
67
    finally:
94
68
        local_branch.unlock()
95
 
        progress.finished()
96
 
    return (local_extra, remote_extra)
97
 
 
98
 
def _shortcut(local_rev_history, remote_rev_history):
99
 
    local_history = set(local_rev_history)
100
 
    remote_history = set(remote_rev_history)
101
 
    if len(local_rev_history) == 0:
102
 
        return set(), remote_history
103
 
    elif len(remote_rev_history) == 0:
104
 
        return local_history, set()
105
 
    elif local_rev_history[-1] in remote_history:
106
 
        return set(), _after(remote_rev_history, local_rev_history)
107
 
    elif remote_rev_history[-1] in local_history:
108
 
        return _after(local_rev_history, remote_rev_history), set()
109
 
    else:
 
69
 
 
70
 
 
71
def _enumerate_mainline(ancestry, graph, tip_revno, tip):
 
72
    """Enumerate the mainline revisions for these revisions.
 
73
 
 
74
    :param ancestry: A set of revisions that we care about
 
75
    :param graph: A Graph which lets us find the parents for a revision
 
76
    :param tip_revno: The revision number for the tip revision
 
77
    :param tip: The tip of mainline
 
78
    :return: [(revno, revision_id)] for all revisions in ancestry that
 
79
        are left-hand parents from tip, or None if ancestry is None.
 
80
    """
 
81
    if ancestry is None:
110
82
        return None
111
 
 
112
 
def _after(larger_history, smaller_history):
113
 
    return set(larger_history[larger_history.index(smaller_history[-1])+1:])
114
 
 
115
 
def _get_history(branch, progress, label, step):
116
 
    progress.update('%s history' % label, step, 5)
117
 
    rev_history = branch.revision_history()
118
 
    rev_history_map = dict(
119
 
        [(rev, rev_history.index(rev) + 1)
120
 
         for rev in rev_history])
121
 
    return rev_history, rev_history_map
122
 
 
123
 
def _get_ancestry(repository, progress, label, step, rev_history):
124
 
    progress.update('%s ancestry' % label, step, 5)
125
 
    if len(rev_history) > 0:
126
 
        ancestry = set(repository.get_ancestry(rev_history[-1],
127
 
                       topo_sorted=False))
 
83
    if not ancestry: #Empty ancestry, no need to do any work
 
84
        return []
 
85
 
 
86
    # Optionally, we could make 1 call to graph.get_parent_map with all
 
87
    # ancestors. However that will often check many more parents than we
 
88
    # actually need, and the Graph is likely to already have the parents cached
 
89
    # anyway.
 
90
    mainline = []
 
91
    cur = tip
 
92
    cur_revno = tip_revno
 
93
    while cur in ancestry:
 
94
        parent_map = graph.get_parent_map([cur])
 
95
        parents = parent_map.get(cur)
 
96
        if not parents:
 
97
            break # Ghost, we are done
 
98
        mainline.append((cur_revno, cur))
 
99
        cur = parents[0]
 
100
        cur_revno -= 1
 
101
    mainline.reverse()
 
102
    return mainline
 
103
 
 
104
 
 
105
def _find_unmerged(local_branch, remote_branch, restrict):
 
106
    """See find_unmerged.
 
107
 
 
108
    The branches should already be locked before entering.
 
109
    """
 
110
    local_revno, local_revision_id = local_branch.last_revision_info()
 
111
    remote_revno, remote_revision_id = remote_branch.last_revision_info()
 
112
    if local_revno == remote_revno and local_revision_id == remote_revision_id:
 
113
        # A simple shortcut when the tips are at the same point
 
114
        return [], []
 
115
    graph = local_branch.repository.get_graph(
 
116
                remote_branch.repository)
 
117
    if restrict == 'remote':
 
118
        local_extra = None
 
119
        remote_extra = graph.find_unique_ancestors(
 
120
            remote_revision_id, [local_revision_id])
 
121
    elif restrict == 'local':
 
122
        remote_extra = None
 
123
        local_extra = graph.find_unique_ancestors(
 
124
            local_revision_id, [remote_revision_id])
128
125
    else:
129
 
        ancestry = set()
130
 
    return ancestry
131
 
    
 
126
        if restrict != 'all':
 
127
            raise ValueError('param restrict not one of "all", "local",'
 
128
                             ' "remote": %r' % (restrict,))
 
129
        local_extra, remote_extra = graph.find_difference(
 
130
            local_revision_id, remote_revision_id)
 
131
    # Now that we have unique ancestors, compute just the mainline, and
 
132
    # generate revnos for them.
 
133
    local_mainline = _enumerate_mainline(local_extra, graph, local_revno,
 
134
                                         local_revision_id)
 
135
    remote_mainline = _enumerate_mainline(remote_extra, graph, remote_revno,
 
136
                                          remote_revision_id)
 
137
    return local_mainline, remote_mainline
 
138
 
132
139
 
133
140
def sorted_revisions(revisions, history_map):
134
141
    revisions = [(history_map[r],r) for r in revisions]