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

Merge lp:bzr.

Show diffs side-by-side

added added

removed removed

Lines of Context:
bzrlib/graph.py
1
 
# Copyright (C) 2007-2010 Canonical Ltd
 
1
# Copyright (C) 2007-2011 Canonical Ltd
2
2
#
3
3
# This program is free software; you can redistribute it and/or modify
4
4
# it under the terms of the GNU General Public License as published by
258
258
        right = searchers[1].seen
259
259
        return (left.difference(right), right.difference(left))
260
260
 
 
261
    def find_descendants(self, old_key, new_key):
 
262
        """Find descendants of old_key that are ancestors of new_key."""
 
263
        child_map = self.get_child_map(self._find_descendant_ancestors(
 
264
            old_key, new_key))
 
265
        graph = Graph(DictParentsProvider(child_map))
 
266
        searcher = graph._make_breadth_first_searcher([old_key])
 
267
        list(searcher)
 
268
        return searcher.seen
 
269
 
 
270
    def _find_descendant_ancestors(self, old_key, new_key):
 
271
        """Find ancestors of new_key that may be descendants of old_key."""
 
272
        stop = self._make_breadth_first_searcher([old_key])
 
273
        descendants = self._make_breadth_first_searcher([new_key])
 
274
        for revisions in descendants:
 
275
            old_stop = stop.seen.intersection(revisions)
 
276
            descendants.stop_searching_any(old_stop)
 
277
            seen_stop = descendants.find_seen_ancestors(stop.step())
 
278
            descendants.stop_searching_any(seen_stop)
 
279
        return descendants.seen.difference(stop.seen)
 
280
 
 
281
    def get_child_map(self, keys):
 
282
        """Get a mapping from parents to children of the specified keys.
 
283
 
 
284
        This is simply the inversion of get_parent_map.  Only supplied keys
 
285
        will be discovered as children.
 
286
        :return: a dict of key:child_list for keys.
 
287
        """
 
288
        parent_map = self._parents_provider.get_parent_map(keys)
 
289
        parent_child = {}
 
290
        for child, parents in sorted(parent_map.items()):
 
291
            for parent in parents:
 
292
                parent_child.setdefault(parent, []).append(child)
 
293
        return parent_child
 
294
 
261
295
    def find_distance_to_null(self, target_revision_id, known_revision_ids):
262
296
        """Find the left-hand distance to the NULL_REVISION.
263
297
 
862
896
                stop.add(parent_id)
863
897
        return found
864
898
 
 
899
    def find_lefthand_merger(self, merged_key, tip_key):
 
900
        """Find the first lefthand ancestor of tip_key that merged merged_key.
 
901
 
 
902
        We do this by first finding the descendants of merged_key, then
 
903
        walking through the lefthand ancestry of tip_key until we find a key
 
904
        that doesn't descend from merged_key.  Its child is the key that
 
905
        merged merged_key.
 
906
 
 
907
        :return: The first lefthand ancestor of tip_key to merge merged_key.
 
908
            merged_key if it is a lefthand ancestor of tip_key.
 
909
            None if no ancestor of tip_key merged merged_key.
 
910
        """
 
911
        descendants = self.find_descendants(merged_key, tip_key)
 
912
        candidate_iterator = self.iter_lefthand_ancestry(tip_key)
 
913
        last_candidate = None
 
914
        for candidate in candidate_iterator:
 
915
            if candidate not in descendants:
 
916
                return last_candidate
 
917
            last_candidate = candidate
 
918
 
865
919
    def find_unique_lca(self, left_revision, right_revision,
866
920
                        count_steps=False):
867
921
        """Find a unique LCA.
919
973
                yield (ghost, None)
920
974
            pending = next_pending
921
975
 
 
976
    def iter_lefthand_ancestry(self, start_key, stop_keys=None):
 
977
        if stop_keys is None:
 
978
            stop_keys = ()
 
979
        next_key = start_key
 
980
        def get_parents(key):
 
981
            try:
 
982
                return self._parents_provider.get_parent_map([key])[key]
 
983
            except KeyError:
 
984
                raise errors.RevisionNotPresent(next_key, self)
 
985
        while True:
 
986
            if next_key in stop_keys:
 
987
                return
 
988
            parents = get_parents(next_key)
 
989
            yield next_key
 
990
            if len(parents) == 0:
 
991
                return
 
992
            else:
 
993
                next_key = parents[0]
 
994
 
922
995
    def iter_topo_order(self, revisions):
923
996
        """Iterate through the input revisions in topological order.
924
997
 
1463
1536
            return revs, ghosts
1464
1537
 
1465
1538
 
1466
 
class SearchResult(object):
 
1539
class AbstractSearchResult(object):
 
1540
 
 
1541
    def get_recipe(self):
 
1542
        """Return a recipe that can be used to replay this search.
 
1543
 
 
1544
        The recipe allows reconstruction of the same results at a later date.
 
1545
 
 
1546
        :return: A tuple of (search_kind_str, *details).  The details vary by
 
1547
            kind of search result.
 
1548
        """
 
1549
        raise NotImplementedError(self.get_recipe)
 
1550
 
 
1551
    def get_network_struct(self):
 
1552
        """Return a tuple that can be transmitted via the HPSS protocol."""
 
1553
        raise NotImplementedError(self.get_network_struct)
 
1554
 
 
1555
    def get_keys(self):
 
1556
        """Return the keys found in this search.
 
1557
 
 
1558
        :return: A set of keys.
 
1559
        """
 
1560
        raise NotImplementedError(self.get_keys)
 
1561
 
 
1562
    def is_empty(self):
 
1563
        """Return false if the search lists 1 or more revisions."""
 
1564
        raise NotImplementedError(self.is_empty)
 
1565
 
 
1566
    def refine(self, seen, referenced):
 
1567
        """Create a new search by refining this search.
 
1568
 
 
1569
        :param seen: Revisions that have been satisfied.
 
1570
        :param referenced: Revision references observed while satisfying some
 
1571
            of this search.
 
1572
        :return: A search result.
 
1573
        """
 
1574
        raise NotImplementedError(self.refine)
 
1575
 
 
1576
 
 
1577
class AbstractSearch(object):
 
1578
 
 
1579
    def execute(self):
 
1580
        """Construct a network-ready search result from this search description.
 
1581
 
 
1582
        This may take some time to search repositories, etc.
 
1583
 
 
1584
        :return: A search result (an object that implements
 
1585
            AbstractSearchResult's API).
 
1586
        """
 
1587
        raise NotImplementedError(self.execute)
 
1588
 
 
1589
 
 
1590
class SearchResult(AbstractSearchResult):
1467
1591
    """The result of a breadth first search.
1468
1592
 
1469
1593
    A SearchResult provides the ability to reconstruct the search or access a
1484
1608
        self._recipe = ('search', start_keys, exclude_keys, key_count)
1485
1609
        self._keys = frozenset(keys)
1486
1610
 
 
1611
    def __repr__(self):
 
1612
        kind, start_keys, exclude_keys, key_count = self._recipe
 
1613
        if len(start_keys) > 5:
 
1614
            start_keys_repr = repr(list(start_keys)[:5])[:-1] + ', ...]'
 
1615
        else:
 
1616
            start_keys_repr = repr(start_keys)
 
1617
        if len(exclude_keys) > 5:
 
1618
            exclude_keys_repr = repr(list(exclude_keys)[:5])[:-1] + ', ...]'
 
1619
        else:
 
1620
            exclude_keys_repr = repr(exclude_keys)
 
1621
        return '<%s %s:(%s, %s, %d)>' % (self.__class__.__name__,
 
1622
            kind, start_keys_repr, exclude_keys_repr, key_count)
 
1623
 
1487
1624
    def get_recipe(self):
1488
1625
        """Return a recipe that can be used to replay this search.
1489
1626
 
1507
1644
        """
1508
1645
        return self._recipe
1509
1646
 
 
1647
    def get_network_struct(self):
 
1648
        start_keys = ' '.join(self._recipe[1])
 
1649
        stop_keys = ' '.join(self._recipe[2])
 
1650
        count = str(self._recipe[3])
 
1651
        return (self._recipe[0], '\n'.join((start_keys, stop_keys, count)))
 
1652
 
1510
1653
    def get_keys(self):
1511
1654
        """Return the keys found in this search.
1512
1655
 
1544
1687
        return SearchResult(pending_refs, exclude, count, keys)
1545
1688
 
1546
1689
 
1547
 
class PendingAncestryResult(object):
 
1690
class PendingAncestryResult(AbstractSearchResult):
1548
1691
    """A search result that will reconstruct the ancestry for some graph heads.
1549
1692
 
1550
1693
    Unlike SearchResult, this doesn't hold the complete search result in
1561
1704
        self.heads = frozenset(heads)
1562
1705
        self.repo = repo
1563
1706
 
 
1707
    def __repr__(self):
 
1708
        if len(self.heads) > 5:
 
1709
            heads_repr = repr(list(self.heads)[:5] + ', ...]')
 
1710
        else:
 
1711
            heads_repr = repr(self.heads)
 
1712
        return '<%s heads:%s repo:%r>' % (
 
1713
            self.__class__.__name__, heads_repr, self.repo)
 
1714
 
1564
1715
    def get_recipe(self):
1565
1716
        """Return a recipe that can be used to replay this search.
1566
1717
 
1574
1725
        """
1575
1726
        return ('proxy-search', self.heads, set(), -1)
1576
1727
 
 
1728
    def get_network_struct(self):
 
1729
        parts = ['ancestry-of']
 
1730
        parts.extend(self.heads)
 
1731
        return parts
 
1732
 
1577
1733
    def get_keys(self):
1578
1734
        """See SearchResult.get_keys.
1579
1735
 
1606
1762
        return PendingAncestryResult(referenced - seen, self.repo)
1607
1763
 
1608
1764
 
 
1765
class EmptySearchResult(AbstractSearchResult):
 
1766
    """An empty search result."""
 
1767
 
 
1768
    def is_empty(self):
 
1769
        return True
 
1770
    
 
1771
 
 
1772
class EverythingResult(AbstractSearchResult):
 
1773
    """A search result that simply requests everything in the repository."""
 
1774
 
 
1775
    def __init__(self, repo):
 
1776
        self._repo = repo
 
1777
 
 
1778
    def __repr__(self):
 
1779
        return '%s(%r)' % (self.__class__.__name__, self._repo)
 
1780
 
 
1781
    def get_recipe(self):
 
1782
        raise NotImplementedError(self.get_recipe)
 
1783
 
 
1784
    def get_network_struct(self):
 
1785
        return ('everything',)
 
1786
 
 
1787
    def get_keys(self):
 
1788
        if 'evil' in debug.debug_flags:
 
1789
            from bzrlib import remote
 
1790
            if isinstance(self._repo, remote.RemoteRepository):
 
1791
                # warn developers (not users) not to do this
 
1792
                trace.mutter_callsite(
 
1793
                    2, "EverythingResult(RemoteRepository).get_keys() is slow.")
 
1794
        return self._repo.all_revision_ids()
 
1795
 
 
1796
    def is_empty(self):
 
1797
        # It's ok for this to wrongly return False: the worst that can happen
 
1798
        # is that RemoteStreamSource will initiate a get_stream on an empty
 
1799
        # repository.  And almost all repositories are non-empty.
 
1800
        return False
 
1801
 
 
1802
    def refine(self, seen, referenced):
 
1803
        heads = set(self._repo.all_revision_ids())
 
1804
        heads.difference_update(seen)
 
1805
        heads.update(referenced)
 
1806
        return PendingAncestryResult(heads, self._repo)
 
1807
 
 
1808
 
 
1809
class EverythingNotInOther(AbstractSearch):
 
1810
    """Find all revisions in that are in one repo but not the other."""
 
1811
 
 
1812
    def __init__(self, to_repo, from_repo, find_ghosts=False):
 
1813
        self.to_repo = to_repo
 
1814
        self.from_repo = from_repo
 
1815
        self.find_ghosts = find_ghosts
 
1816
 
 
1817
    def execute(self):
 
1818
        return self.to_repo.search_missing_revision_ids(
 
1819
            self.from_repo, find_ghosts=self.find_ghosts)
 
1820
 
 
1821
 
 
1822
class NotInOtherForRevs(AbstractSearch):
 
1823
    """Find all revisions missing in one repo for a some specific heads."""
 
1824
 
 
1825
    def __init__(self, to_repo, from_repo, required_ids, if_present_ids=None,
 
1826
            find_ghosts=False):
 
1827
        """Constructor.
 
1828
 
 
1829
        :param required_ids: revision IDs of heads that must be found, or else
 
1830
            the search will fail with NoSuchRevision.  All revisions in their
 
1831
            ancestry not already in the other repository will be included in
 
1832
            the search result.
 
1833
        :param if_present_ids: revision IDs of heads that may be absent in the
 
1834
            source repository.  If present, then their ancestry not already
 
1835
            found in other will be included in the search result.
 
1836
        """
 
1837
        self.to_repo = to_repo
 
1838
        self.from_repo = from_repo
 
1839
        self.find_ghosts = find_ghosts
 
1840
        self.required_ids = required_ids
 
1841
        self.if_present_ids = if_present_ids
 
1842
 
 
1843
    def __repr__(self):
 
1844
        if len(self.required_ids) > 5:
 
1845
            reqd_revs_repr = repr(list(self.required_ids)[:5])[:-1] + ', ...]'
 
1846
        else:
 
1847
            reqd_revs_repr = repr(self.required_ids)
 
1848
        if self.if_present_ids and len(self.if_present_ids) > 5:
 
1849
            ifp_revs_repr = repr(list(self.if_present_ids)[:5])[:-1] + ', ...]'
 
1850
        else:
 
1851
            ifp_revs_repr = repr(self.if_present_ids)
 
1852
 
 
1853
        return "<%s from:%r to:%r find_ghosts:%r req'd:%r if-present:%r>" % (
 
1854
            self.__class__.__name__, self.from_repo, self.to_repo,
 
1855
            self.find_ghosts, reqd_revs_repr, ifp_revs_repr)
 
1856
 
 
1857
    def execute(self):
 
1858
        return self.to_repo.search_missing_revision_ids(
 
1859
            self.from_repo, revision_ids=self.required_ids,
 
1860
            if_present_ids=self.if_present_ids, find_ghosts=self.find_ghosts)
 
1861
 
 
1862
 
1609
1863
def collapse_linear_regions(parent_map):
1610
1864
    """Collapse regions of the graph that are 'linear'.
1611
1865
 
1697
1951
    def merge_sort(self, tip_revision):
1698
1952
        return self._graph.merge_sort((tip_revision,))
1699
1953
 
 
1954
    def add_node(self, revision, parents):
 
1955
        self._graph.add_node((revision,), [(p,) for p in parents])
 
1956
 
1700
1957
 
1701
1958
_counters = [0,0,0,0,0,0,0]
1702
1959
try: