~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/missing.py

  • Committer: Martin Pool
  • Date: 2009-06-19 06:21:13 UTC
  • mto: This revision was merged to the branch mainline in revision 4558.
  • Revision ID: mbp@sourcefrog.net-20090619062113-019bp0a3bl2y4nkx
Un-soft-deprecate _supports_progress - still useful

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
 
#!/usr/bin/env python
2
 
"""\
3
 
A plugin for displaying what revisions are in 'other' but not in local.
4
 
"""
5
 
 
6
 
import bzrlib
7
 
 
8
 
try:
9
 
    set
10
 
except NameError:
11
 
    from sets import Set as set
12
 
 
13
 
 
14
 
def get_parent(branch):
15
 
    """Get the last pull/push location.
16
 
 
17
 
    TODO: This should probably be part of a Branch object.
18
 
    """
19
 
    import errno
20
 
    _locs = ['parent', 'pull', 'x-pull']
21
 
    loc = None
22
 
    for l in _locs:
23
 
        try:
24
 
            stored_loc = branch.controlfile(l, 'rb').read().strip('\n')
25
 
        except IOError, e:
26
 
            if e.errno != errno.ENOENT:
27
 
                raise
 
1
# Copyright (C) 2005, 2006 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., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
 
16
 
 
17
"""Display what revisions are missing in 'other' from 'this' and vice versa."""
 
18
 
 
19
from bzrlib import (
 
20
    log,
 
21
    repository as _mod_repository,
 
22
    tsort,
 
23
    )
 
24
import bzrlib.revision as _mod_revision
 
25
 
 
26
 
 
27
def iter_log_revisions(revisions, revision_source, verbose):
 
28
    last_tree = revision_source.revision_tree(_mod_revision.NULL_REVISION)
 
29
    last_rev_id = None
 
30
    for rev in revisions:
 
31
        # We need the following for backward compatibilty (hopefully
 
32
        # this will be deprecated soon :-/) -- vila 080911
 
33
        if len(rev) == 2:
 
34
            revno, rev_id = rev
 
35
            merge_depth = 0
28
36
        else:
29
 
            return stored_loc
30
 
 
31
 
 
32
 
def show_missing(br_local, br_remote, verbose=False, quiet=False):
33
 
    """Show the revisions which exist in br_remote, that 
34
 
    do not exist in br_local.
35
 
    """
36
 
    from bzrlib.log import show_one_log
37
 
    import sys
38
 
    local_history = br_local.revision_history()
39
 
    remote_history = br_remote.revision_history()
40
 
    if local_history == remote_history:
41
 
        if not quiet:
42
 
            print 'Trees are identical.'
43
 
        return 0
44
 
    if local_history[:len(remote_history)] == remote_history:
45
 
        # Local is not missing anything from remote, so consider it
46
 
        # up-to-date
47
 
        if not quiet:
48
 
            print 'Local tree has all of remote revisions (remote is missing local)'
49
 
        return 0
50
 
    if quiet:
51
 
        return 1
52
 
 
53
 
    # Check for divergence
54
 
    common_idx = min(len(local_history), len(remote_history)) - 1
55
 
    if common_idx >= 0 and local_history[common_idx] != remote_history[common_idx]:
56
 
        print 'Trees have diverged'
57
 
 
58
 
    local_rev_set = set(local_history)
59
 
 
60
 
    # Find the last common revision between the two trees
61
 
    revno = 0
62
 
    for revno, (local_rev, remote_rev) in enumerate(zip(local_history, remote_history)):
63
 
        if local_rev != remote_rev:
64
 
            break
65
 
 
66
 
    missing_remote = []
67
 
    for rno, rev_id in enumerate(remote_history[revno:]):
68
 
        # This assumes that you can have a revision in the
69
 
        # local history, which does not have the same ancestry
70
 
        # as the remote ancestry.
71
 
        # This may or may not be possible.
72
 
        # In the future this should also checked for merged revisions.
73
 
        if rev_id not in local_rev_set:
74
 
            missing_remote.append((rno+revno+1, rev_id))
75
 
 
76
 
    print 'Missing %d revisions' %  len(missing_remote)
77
 
    print
78
 
 
79
 
    if verbose:
80
 
        from bzrlib.diff import compare_trees
81
 
        from bzrlib.tree import EmptyTree
82
 
        show_ids = True
83
 
        last_tree = EmptyTree
84
 
        last_rev_id = None
85
 
    else:
86
 
        show_ids = False
87
 
    for revno, rev_id in missing_remote:
88
 
        rev = br_remote.get_revision(rev_id)
 
37
            revno, rev_id, merge_depth = rev
 
38
        rev = revision_source.get_revision(rev_id)
89
39
        if verbose:
90
 
            parent_rev_id = rev.parents[0].revision_id
91
 
            if last_rev_id == parent_rev_id:
92
 
                parent_tree = last_tree
93
 
            else:
94
 
                parent_tree = br_remote.revision_tree(parent_rev_id)
95
 
            revision_tree = br_remote.revision_tree(rev_id)
96
 
            last_rev_id = rev_id
97
 
            last_tree = revision_tree
98
 
            delta = compare_trees(revision_tree, parent_tree)
 
40
            delta = revision_source.get_revision_delta(rev_id)
99
41
        else:
100
42
            delta = None
101
 
 
102
 
        show_one_log(revno, rev, delta, verbose, sys.stdout, 'original')
103
 
    return 1
104
 
 
 
43
        yield log.LogRevision(rev, revno, merge_depth, delta=delta)
 
44
 
 
45
 
 
46
def find_unmerged(local_branch, remote_branch, restrict='all',
 
47
                  include_merges=False, backward=False,
 
48
                  local_revid_range=None, remote_revid_range=None):
 
49
    """Find revisions from each side that have not been merged.
 
50
 
 
51
    :param local_branch: Compare the history of local_branch
 
52
    :param remote_branch: versus the history of remote_branch, and determine
 
53
        mainline revisions which have not been merged.
 
54
    :param restrict: ('all', 'local', 'remote') If 'all', we will return the
 
55
        unique revisions from both sides. If 'local', we will return None
 
56
        for the remote revisions, similarly if 'remote' we will return None for
 
57
        the local revisions.
 
58
    :param include_merges: Show mainline revisions only if False,
 
59
        all revisions otherwise.
 
60
    :param backward: Show oldest versions first when True, newest versions
 
61
        first when False.
 
62
    :param local_revid_range: Revision-id range for filtering local_branch
 
63
        revisions (lower bound, upper bound)
 
64
    :param remote_revid_range: Revision-id range for filtering remote_branch
 
65
        revisions (lower bound, upper bound)
 
66
 
 
67
    :return: A list of [(revno, revision_id)] for the mainline revisions on
 
68
        each side.
 
69
    """
 
70
    local_branch.lock_read()
 
71
    try:
 
72
        remote_branch.lock_read()
 
73
        try:
 
74
            return _find_unmerged(
 
75
                local_branch, remote_branch, restrict=restrict,
 
76
                include_merges=include_merges, backward=backward,
 
77
                local_revid_range=local_revid_range,
 
78
                remote_revid_range=remote_revid_range)
 
79
        finally:
 
80
            remote_branch.unlock()
 
81
    finally:
 
82
        local_branch.unlock()
 
83
 
 
84
 
 
85
def _enumerate_mainline(ancestry, graph, tip_revno, tip, backward=True):
 
86
    """Enumerate the mainline revisions for these revisions.
 
87
 
 
88
    :param ancestry: A set of revisions that we care about
 
89
    :param graph: A Graph which lets us find the parents for a revision
 
90
    :param tip_revno: The revision number for the tip revision
 
91
    :param tip: The tip of mainline
 
92
    :param backward: Show oldest versions first when True, newest versions
 
93
        first when False.
 
94
    :return: [(revno, revision_id)] for all revisions in ancestry that
 
95
        are left-hand parents from tip, or None if ancestry is None.
 
96
    """
 
97
    if ancestry is None:
 
98
        return None
 
99
    if not ancestry: #Empty ancestry, no need to do any work
 
100
        return []
 
101
 
 
102
    # Optionally, we could make 1 call to graph.get_parent_map with all
 
103
    # ancestors. However that will often check many more parents than we
 
104
    # actually need, and the Graph is likely to already have the parents cached
 
105
    # anyway.
 
106
    mainline = []
 
107
    cur = tip
 
108
    cur_revno = tip_revno
 
109
    while cur in ancestry:
 
110
        parent_map = graph.get_parent_map([cur])
 
111
        parents = parent_map.get(cur)
 
112
        if not parents:
 
113
            break # Ghost, we are done
 
114
        mainline.append((str(cur_revno), cur))
 
115
        cur = parents[0]
 
116
        cur_revno -= 1
 
117
    if not backward:
 
118
        mainline.reverse()
 
119
    return mainline
 
120
 
 
121
 
 
122
def _enumerate_with_merges(branch, ancestry, graph, tip_revno, tip,
 
123
                           backward=True):
 
124
    """Enumerate the revisions for the ancestry.
 
125
 
 
126
    :param branch: The branch we care about
 
127
    :param ancestry: A set of revisions that we care about
 
128
    :param graph: A Graph which lets us find the parents for a revision
 
129
    :param tip_revno: The revision number for the tip revision
 
130
    :param tip: The tip of the ancsetry
 
131
    :param backward: Show oldest versions first when True, newest versions
 
132
        first when False.
 
133
    :return: [(revno, revision_id)] for all revisions in ancestry that
 
134
        are parents from tip, or None if ancestry is None.
 
135
    """
 
136
    if ancestry is None:
 
137
        return None
 
138
    if not ancestry: #Empty ancestry, no need to do any work
 
139
        return []
 
140
 
 
141
    mainline_revs, rev_nos, start_rev_id, end_rev_id = log._get_mainline_revs(
 
142
        branch, None, tip_revno)
 
143
    if not mainline_revs:
 
144
        return []
 
145
 
 
146
    # This asks for all mainline revisions, which is size-of-history and
 
147
    # should be addressed (but currently the only way to get correct
 
148
    # revnos).
 
149
 
 
150
    # mainline_revisions always includes an extra revision at the
 
151
    # beginning, so don't request it.
 
152
    parent_map = dict(((key, value) for key, value
 
153
                       in graph.iter_ancestry(mainline_revs[1:])
 
154
                       if value is not None))
 
155
    # filter out ghosts; merge_sort errors on ghosts.
 
156
    # XXX: is this needed here ? -- vila080910
 
157
    rev_graph = _mod_repository._strip_NULL_ghosts(parent_map)
 
158
    # XXX: what if rev_graph is empty now ? -- vila080910
 
159
    merge_sorted_revisions = tsort.merge_sort(rev_graph, tip,
 
160
                                              mainline_revs,
 
161
                                              generate_revno=True)
 
162
    # Now that we got the correct revnos, keep only the relevant
 
163
    # revisions.
 
164
    merge_sorted_revisions = [
 
165
        (s, revid, n, d, e) for s, revid, n, d, e in merge_sorted_revisions
 
166
        if revid in ancestry]
 
167
    if not backward:
 
168
        merge_sorted_revisions = log.reverse_by_depth(merge_sorted_revisions)
 
169
    revline = []
 
170
    for seq, rev_id, merge_depth, revno, end_of_merge in merge_sorted_revisions:
 
171
        revline.append(('.'.join(map(str, revno)), rev_id, merge_depth))
 
172
    return revline
 
173
 
 
174
 
 
175
def _filter_revs(graph, revs, revid_range):
 
176
    if revid_range is None or revs is None:
 
177
        return revs
 
178
    return [rev for rev in revs
 
179
        if graph.is_between(rev[1], revid_range[0], revid_range[1])]
 
180
 
 
181
 
 
182
def _find_unmerged(local_branch, remote_branch, restrict,
 
183
                   include_merges, backward,
 
184
                   local_revid_range=None, remote_revid_range=None):
 
185
    """See find_unmerged.
 
186
 
 
187
    The branches should already be locked before entering.
 
188
    """
 
189
    local_revno, local_revision_id = local_branch.last_revision_info()
 
190
    remote_revno, remote_revision_id = remote_branch.last_revision_info()
 
191
    if local_revno == remote_revno and local_revision_id == remote_revision_id:
 
192
        # A simple shortcut when the tips are at the same point
 
193
        return [], []
 
194
    graph = local_branch.repository.get_graph(remote_branch.repository)
 
195
    if restrict == 'remote':
 
196
        local_extra = None
 
197
        remote_extra = graph.find_unique_ancestors(remote_revision_id,
 
198
                                                   [local_revision_id])
 
199
    elif restrict == 'local':
 
200
        remote_extra = None
 
201
        local_extra = graph.find_unique_ancestors(local_revision_id,
 
202
                                                  [remote_revision_id])
 
203
    else:
 
204
        if restrict != 'all':
 
205
            raise ValueError('param restrict not one of "all", "local",'
 
206
                             ' "remote": %r' % (restrict,))
 
207
        local_extra, remote_extra = graph.find_difference(local_revision_id,
 
208
                                                          remote_revision_id)
 
209
    if include_merges:
 
210
        locals = _enumerate_with_merges(local_branch, local_extra,
 
211
                                        graph, local_revno,
 
212
                                        local_revision_id, backward)
 
213
        remotes = _enumerate_with_merges(remote_branch, remote_extra,
 
214
                                         graph, remote_revno,
 
215
                                         remote_revision_id, backward)
 
216
    else:
 
217
        # Now that we have unique ancestors, compute just the mainline, and
 
218
        # generate revnos for them.
 
219
        locals = _enumerate_mainline(local_extra, graph, local_revno,
 
220
                                     local_revision_id, backward)
 
221
        remotes = _enumerate_mainline(remote_extra, graph, remote_revno,
 
222
                                      remote_revision_id, backward)
 
223
    return _filter_revs(graph, locals, local_revid_range), _filter_revs(graph,
 
224
        remotes, remote_revid_range)
 
225
 
 
226
 
 
227
def sorted_revisions(revisions, history_map):
 
228
    revisions = [(history_map[r],r) for r in revisions]
 
229
    revisions.sort()
 
230
    return revisions