/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/revision.py

  • Committer: Andrew Bennetts
  • Date: 2008-03-17 17:16:11 UTC
  • mfrom: (3290 +trunk)
  • mto: This revision was merged to the branch mainline in revision 3756.
  • Revision ID: andrew.bennetts@canonical.com-20080317171611-o9wdrnf0m7qwo198
Merge from bzr.dev.

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
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., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 
16
 
 
17
# TODO: Some kind of command-line display of revision properties: 
 
18
# perhaps show them in log -v and allow them as options to the commit command.
 
19
 
 
20
 
 
21
from bzrlib.lazy_import import lazy_import
 
22
lazy_import(globals(), """
 
23
from bzrlib import deprecated_graph
 
24
""")
 
25
from bzrlib import (
 
26
    errors,
 
27
    symbol_versioning,
 
28
    )
 
29
from bzrlib.osutils import contains_whitespace
 
30
from bzrlib.progress import DummyProgress
 
31
from bzrlib.symbol_versioning import (deprecated_function,
 
32
        )
 
33
 
 
34
NULL_REVISION="null:"
 
35
CURRENT_REVISION="current:"
 
36
 
 
37
 
 
38
class Revision(object):
 
39
    """Single revision on a branch.
 
40
 
 
41
    Revisions may know their revision_hash, but only once they've been
 
42
    written out.  This is not stored because you cannot write the hash
 
43
    into the file it describes.
 
44
 
 
45
    After bzr 0.0.5 revisions are allowed to have multiple parents.
 
46
 
 
47
    parent_ids
 
48
        List of parent revision_ids
 
49
 
 
50
    properties
 
51
        Dictionary of revision properties.  These are attached to the
 
52
        revision as extra metadata.  The name must be a single 
 
53
        word; the value can be an arbitrary string.
 
54
    """
 
55
    
 
56
    def __init__(self, revision_id, properties=None, **args):
 
57
        self.revision_id = revision_id
 
58
        self.properties = properties or {}
 
59
        self._check_properties()
 
60
        self.parent_ids = []
 
61
        self.parent_sha1s = []
 
62
        """Not used anymore - legacy from for 4."""
 
63
        self.__dict__.update(args)
 
64
 
 
65
    def __repr__(self):
 
66
        return "<Revision id %s>" % self.revision_id
 
67
 
 
68
    def __eq__(self, other):
 
69
        if not isinstance(other, Revision):
 
70
            return False
 
71
        # FIXME: rbc 20050930 parent_ids are not being compared
 
72
        return (
 
73
                self.inventory_sha1 == other.inventory_sha1
 
74
                and self.revision_id == other.revision_id
 
75
                and self.timestamp == other.timestamp
 
76
                and self.message == other.message
 
77
                and self.timezone == other.timezone
 
78
                and self.committer == other.committer
 
79
                and self.properties == other.properties)
 
80
 
 
81
    def __ne__(self, other):
 
82
        return not self.__eq__(other)
 
83
 
 
84
    def _check_properties(self):
 
85
        """Verify that all revision properties are OK."""
 
86
        for name, value in self.properties.iteritems():
 
87
            if not isinstance(name, basestring) or contains_whitespace(name):
 
88
                raise ValueError("invalid property name %r" % name)
 
89
            if not isinstance(value, basestring):
 
90
                raise ValueError("invalid property value %r for %r" % 
 
91
                                 (name, value))
 
92
 
 
93
    def get_history(self, repository):
 
94
        """Return the canonical line-of-history for this revision.
 
95
 
 
96
        If ghosts are present this may differ in result from a ghost-free
 
97
        repository.
 
98
        """
 
99
        current_revision = self
 
100
        reversed_result = []
 
101
        while current_revision is not None:
 
102
            reversed_result.append(current_revision.revision_id)
 
103
            if not len (current_revision.parent_ids):
 
104
                reversed_result.append(None)
 
105
                current_revision = None
 
106
            else:
 
107
                next_revision_id = current_revision.parent_ids[0]
 
108
                current_revision = repository.get_revision(next_revision_id)
 
109
        reversed_result.reverse()
 
110
        return reversed_result
 
111
 
 
112
    def get_summary(self):
 
113
        """Get the first line of the log message for this revision.
 
114
        """
 
115
        return self.message.lstrip().split('\n', 1)[0]
 
116
 
 
117
    def get_apparent_author(self):
 
118
        """Return the apparent author of this revision.
 
119
 
 
120
        If the revision properties contain the author name,
 
121
        return it. Otherwise return the committer name.
 
122
        """
 
123
        return self.properties.get('author', self.committer)
 
124
 
 
125
 
 
126
@deprecated_function(symbol_versioning.one_zero)
 
127
def is_ancestor(revision_id, candidate_id, branch):
 
128
    """Return true if candidate_id is an ancestor of revision_id.
 
129
 
 
130
    A false negative will be returned if any intermediate descendent of
 
131
    candidate_id is not present in any of the revision_sources.
 
132
    
 
133
    revisions_source is an object supporting a get_revision operation that
 
134
    behaves like Branch's.
 
135
 
 
136
    This function is deprecated, it is better for callers to directly use
 
137
    Graph.is_ancestor() (just watch out that the parameter order is switched)
 
138
    """
 
139
    return branch.repository.get_graph().is_ancestor(candidate_id, revision_id)
 
140
 
 
141
 
 
142
def iter_ancestors(revision_id, revision_source, only_present=False):
 
143
    ancestors = (revision_id,)
 
144
    distance = 0
 
145
    while len(ancestors) > 0:
 
146
        new_ancestors = []
 
147
        for ancestor in ancestors:
 
148
            if not only_present:
 
149
                yield ancestor, distance
 
150
            try:
 
151
                revision = revision_source.get_revision(ancestor)
 
152
            except errors.NoSuchRevision, e:
 
153
                if e.revision == revision_id:
 
154
                    raise 
 
155
                else:
 
156
                    continue
 
157
            if only_present:
 
158
                yield ancestor, distance
 
159
            new_ancestors.extend(revision.parent_ids)
 
160
        ancestors = new_ancestors
 
161
        distance += 1
 
162
 
 
163
 
 
164
def find_present_ancestors(revision_id, revision_source):
 
165
    """Return the ancestors of a revision present in a branch.
 
166
 
 
167
    It's possible that a branch won't have the complete ancestry of
 
168
    one of its revisions.  
 
169
 
 
170
    """
 
171
    found_ancestors = {}
 
172
    anc_iter = enumerate(iter_ancestors(revision_id, revision_source,
 
173
                         only_present=True))
 
174
    for anc_order, (anc_id, anc_distance) in anc_iter:
 
175
        if anc_id not in found_ancestors:
 
176
            found_ancestors[anc_id] = (anc_order, anc_distance)
 
177
    return found_ancestors
 
178
    
 
179
 
 
180
def __get_closest(intersection):
 
181
    intersection.sort()
 
182
    matches = [] 
 
183
    for entry in intersection:
 
184
        if entry[0] == intersection[0][0]:
 
185
            matches.append(entry[2])
 
186
    return matches
 
187
 
 
188
 
 
189
def revision_graph(revision, revision_source):
 
190
    """Produce a graph of the ancestry of the specified revision.
 
191
    
 
192
    :return: root, ancestors map, descendants map
 
193
    """
 
194
    revision_source.lock_read()
 
195
    try:
 
196
        return _revision_graph(revision, revision_source)
 
197
    finally:
 
198
        revision_source.unlock()
 
199
 
 
200
 
 
201
def _revision_graph(revision, revision_source):
 
202
    """See revision_graph."""
 
203
    from bzrlib.tsort import topo_sort
 
204
    graph = revision_source.get_revision_graph(revision)
 
205
    # mark all no-parent revisions as being NULL_REVISION parentage.
 
206
    for node, parents in graph.items():
 
207
        if len(parents) == 0:
 
208
            graph[node] = [NULL_REVISION]
 
209
    # add NULL_REVISION to the graph
 
210
    graph[NULL_REVISION] = []
 
211
 
 
212
    # pick a root. If there are multiple roots
 
213
    # this could pick a random one.
 
214
    topo_order = topo_sort(graph.items())
 
215
    root = topo_order[0]
 
216
 
 
217
    ancestors = {}
 
218
    descendants = {}
 
219
 
 
220
    # map the descendants of the graph.
 
221
    # and setup our set based return graph.
 
222
    for node in graph.keys():
 
223
        descendants[node] = {}
 
224
    for node, parents in graph.items():
 
225
        for parent in parents:
 
226
            descendants[parent][node] = 1
 
227
        ancestors[node] = set(parents)
 
228
 
 
229
    assert root not in descendants[root]
 
230
    assert root not in ancestors[root]
 
231
    return root, ancestors, descendants
 
232
 
 
233
 
 
234
@deprecated_function(symbol_versioning.one_three)
 
235
def combined_graph(revision_a, revision_b, revision_source):
 
236
    """Produce a combined ancestry graph.
 
237
    Return graph root, ancestors map, descendants map, set of common nodes"""
 
238
    root, ancestors, descendants = revision_graph(
 
239
        revision_a, revision_source)
 
240
    root_b, ancestors_b, descendants_b = revision_graph(
 
241
        revision_b, revision_source)
 
242
    if root != root_b:
 
243
        raise errors.NoCommonRoot(revision_a, revision_b)
 
244
    common = set()
 
245
    for node, node_anc in ancestors_b.iteritems():
 
246
        if node in ancestors:
 
247
            common.add(node)
 
248
        else:
 
249
            ancestors[node] = set()
 
250
        ancestors[node].update(node_anc)
 
251
    for node, node_dec in descendants_b.iteritems():
 
252
        if node not in descendants:
 
253
            descendants[node] = {}
 
254
        descendants[node].update(node_dec)
 
255
    return root, ancestors, descendants, common
 
256
 
 
257
 
 
258
@deprecated_function(symbol_versioning.one_three)
 
259
def common_ancestor(revision_a, revision_b, revision_source, 
 
260
                    pb=DummyProgress()):
 
261
    if None in (revision_a, revision_b):
 
262
        return None
 
263
    if NULL_REVISION in (revision_a, revision_b):
 
264
        return NULL_REVISION
 
265
    # trivial optimisation
 
266
    if revision_a == revision_b:
 
267
        return revision_a
 
268
    try:
 
269
        try:
 
270
            pb.update('Picking ancestor', 1, 3)
 
271
            graph = revision_source.get_revision_graph_with_ghosts(
 
272
                [revision_a, revision_b])
 
273
            # Shortcut the case where one of the tips is already included in
 
274
            # the other graphs ancestry.
 
275
            ancestry_a = graph.get_ancestry(revision_a, topo_sorted=False)
 
276
            if revision_b in ancestry_a:
 
277
                return revision_b
 
278
            ancestry_b = graph.get_ancestry(revision_b, topo_sorted=False)
 
279
            if revision_a in ancestry_b:
 
280
                return revision_a
 
281
            # convert to a NULL_REVISION based graph.
 
282
            ancestors = graph.get_ancestors()
 
283
            descendants = graph.get_descendants()
 
284
            common = set(ancestry_a)
 
285
            common.intersection_update(ancestry_b)
 
286
            descendants[NULL_REVISION] = {}
 
287
            ancestors[NULL_REVISION] = []
 
288
            for root in graph.roots:
 
289
                descendants[NULL_REVISION][root] = 1
 
290
                ancestors[root].append(NULL_REVISION)
 
291
            for ghost in graph.ghosts:
 
292
                # ghosts act as roots for the purpose of finding 
 
293
                # the longest paths from the root: any ghost *might*
 
294
                # be directly attached to the root, so we treat them
 
295
                # as being such.
 
296
                # ghost now descends from NULL
 
297
                descendants[NULL_REVISION][ghost] = 1
 
298
                # that is it has an ancestor of NULL
 
299
                ancestors[ghost] = [NULL_REVISION]
 
300
                # ghost is common if any of ghosts descendants are common:
 
301
                for ghost_descendant in descendants[ghost]:
 
302
                    if ghost_descendant in common:
 
303
                        common.add(ghost)
 
304
                
 
305
            root = NULL_REVISION
 
306
            common.add(NULL_REVISION)
 
307
        except errors.NoCommonRoot:
 
308
            raise errors.NoCommonAncestor(revision_a, revision_b)
 
309
            
 
310
        pb.update('Picking ancestor', 2, 3)
 
311
        distances = deprecated_graph.node_distances(
 
312
            descendants, ancestors, root)
 
313
        pb.update('Picking ancestor', 3, 2)
 
314
        farthest = deprecated_graph.select_farthest(distances, common)
 
315
        if farthest is None or farthest == NULL_REVISION:
 
316
            raise errors.NoCommonAncestor(revision_a, revision_b)
 
317
    finally:
 
318
        pb.clear()
 
319
    return farthest
 
320
 
 
321
 
 
322
class MultipleRevisionSources(object):
 
323
    """Proxy that looks in multiple branches for revisions."""
 
324
 
 
325
    @symbol_versioning.deprecated_method(symbol_versioning.one_three)
 
326
    def __init__(self, *args):
 
327
        object.__init__(self)
 
328
        assert len(args) != 0
 
329
        self._revision_sources = args
 
330
 
 
331
    def revision_parents(self, revision_id):
 
332
        for source in self._revision_sources:
 
333
            try:
 
334
                return source.revision_parents(revision_id)
 
335
            except (errors.WeaveRevisionNotPresent, errors.NoSuchRevision), e:
 
336
                pass
 
337
        raise e
 
338
 
 
339
    def get_revision(self, revision_id):
 
340
        for source in self._revision_sources:
 
341
            try:
 
342
                return source.get_revision(revision_id)
 
343
            except errors.NoSuchRevision, e:
 
344
                pass
 
345
        raise e
 
346
 
 
347
    def get_revision_graph(self, revision_id):
 
348
        # we could probe incrementally until the pending
 
349
        # ghosts list stop growing, but its cheaper for now
 
350
        # to just ask for the complete graph for each repository.
 
351
        graphs = []
 
352
        for source in self._revision_sources:
 
353
            ghost_graph = source.get_revision_graph_with_ghosts()
 
354
            graphs.append(ghost_graph)
 
355
        absent = 0
 
356
        for graph in graphs:
 
357
            if not revision_id in graph.get_ancestors():
 
358
                absent += 1
 
359
        if absent == len(graphs):
 
360
            raise errors.NoSuchRevision(self._revision_sources[0], revision_id)
 
361
 
 
362
        # combine the graphs
 
363
        result = {}
 
364
        pending = set([revision_id])
 
365
        def find_parents(node_id):
 
366
            """find the parents for node_id."""
 
367
            for graph in graphs:
 
368
                ancestors = graph.get_ancestors()
 
369
                try:
 
370
                    return ancestors[node_id]
 
371
                except KeyError:
 
372
                    pass
 
373
            raise errors.NoSuchRevision(self._revision_sources[0], node_id)
 
374
        while len(pending):
 
375
            # all the graphs should have identical parent lists
 
376
            node_id = pending.pop()
 
377
            try:
 
378
                result[node_id] = find_parents(node_id)
 
379
                for parent_node in result[node_id]:
 
380
                    if not parent_node in result:
 
381
                        pending.add(parent_node)
 
382
            except errors.NoSuchRevision:
 
383
                # ghost, ignore it.
 
384
                pass
 
385
        return result
 
386
 
 
387
    def get_revision_graph_with_ghosts(self, revision_ids):
 
388
        # query all the sources for their entire graphs 
 
389
        # and then build a combined graph for just
 
390
        # revision_ids.
 
391
        graphs = []
 
392
        for source in self._revision_sources:
 
393
            ghost_graph = source.get_revision_graph_with_ghosts()
 
394
            graphs.append(ghost_graph.get_ancestors())
 
395
        for revision_id in revision_ids:
 
396
            absent = 0
 
397
            for graph in graphs:
 
398
                    if not revision_id in graph:
 
399
                        absent += 1
 
400
            if absent == len(graphs):
 
401
                raise errors.NoSuchRevision(self._revision_sources[0],
 
402
                                            revision_id)
 
403
 
 
404
        # combine the graphs
 
405
        result = deprecated_graph.Graph()
 
406
        pending = set(revision_ids)
 
407
        done = set()
 
408
        def find_parents(node_id):
 
409
            """find the parents for node_id."""
 
410
            for graph in graphs:
 
411
                try:
 
412
                    return graph[node_id]
 
413
                except KeyError:
 
414
                    pass
 
415
            raise errors.NoSuchRevision(self._revision_sources[0], node_id)
 
416
        while len(pending):
 
417
            # all the graphs should have identical parent lists
 
418
            node_id = pending.pop()
 
419
            try:
 
420
                parents = find_parents(node_id)
 
421
                for parent_node in parents:
 
422
                    # queued or done? 
 
423
                    if (parent_node not in pending and
 
424
                        parent_node not in done):
 
425
                        # no, queue
 
426
                        pending.add(parent_node)
 
427
                result.add_node(node_id, parents)
 
428
                done.add(node_id)
 
429
            except errors.NoSuchRevision:
 
430
                # ghost
 
431
                result.add_ghost(node_id)
 
432
                continue
 
433
        return result
 
434
 
 
435
    def lock_read(self):
 
436
        for source in self._revision_sources:
 
437
            source.lock_read()
 
438
 
 
439
    def unlock(self):
 
440
        for source in self._revision_sources:
 
441
            source.unlock()
 
442
 
 
443
 
 
444
def is_reserved_id(revision_id):
 
445
    """Determine whether a revision id is reserved
 
446
 
 
447
    :return: True if the revision is is reserved, False otherwise
 
448
    """
 
449
    return isinstance(revision_id, basestring) and revision_id.endswith(':')
 
450
 
 
451
 
 
452
def check_not_reserved_id(revision_id):
 
453
    """Raise ReservedId if the supplied revision_id is reserved"""
 
454
    if is_reserved_id(revision_id):
 
455
        raise errors.ReservedId(revision_id)
 
456
 
 
457
 
 
458
def ensure_null(revision_id):
 
459
    """Ensure only NULL_REVISION is used to represent the null revision"""
 
460
    if revision_id is None:
 
461
        symbol_versioning.warn('NULL_REVISION should be used for the null'
 
462
            ' revision instead of None, as of bzr 0.91.',
 
463
            DeprecationWarning, stacklevel=2)
 
464
        return NULL_REVISION
 
465
    else:
 
466
        return revision_id
 
467
 
 
468
 
 
469
def is_null(revision_id):
 
470
    if revision_id is None:
 
471
        symbol_versioning.warn('NULL_REVISION should be used for the null'
 
472
            ' revision instead of None, as of bzr 0.90.',
 
473
            DeprecationWarning, stacklevel=2)
 
474
    return revision_id in (None, NULL_REVISION)