repoview.py
194 lines
| 7.5 KiB
| text/x-python
|
PythonLexer
/ mercurial / repoview.py
|
r18100 | # repoview.py - Filtered view of a localrepo object | ||
# | ||||
# Copyright 2012 Pierre-Yves David <pierre-yves.david@ens-lyon.org> | ||||
# Logilab SA <contact@logilab.fr> | ||||
# | ||||
# This software may be used and distributed according to the terms of the | ||||
# GNU General Public License version 2 or any later version. | ||||
import copy | ||||
|
r18102 | import phases | ||
|
r18245 | import util | ||
|
r18272 | import obsolete, bookmarks, revset | ||
|
r18102 | |||
|
r18242 | |||
|
r18293 | def hideablerevs(repo): | ||
"""Revisions candidates to be hidden | ||||
This is a standalone function to help extensions to wrap it.""" | ||||
return obsolete.getrevs(repo, 'obsolete') | ||||
|
r18242 | def computehidden(repo): | ||
"""compute the set of hidden revision to filter | ||||
During most operation hidden should be filtered.""" | ||||
assert not repo.changelog.filteredrevs | ||||
|
r18293 | hideable = hideablerevs(repo) | ||
|
r18272 | if hideable: | ||
cl = repo.changelog | ||||
firsthideable = min(hideable) | ||||
revs = cl.revs(start=firsthideable) | ||||
blockers = [r for r in revset._children(repo, revs, hideable) | ||||
if r not in hideable] | ||||
for par in repo[None].parents(): | ||||
blockers.append(par.rev()) | ||||
for bm in bookmarks.listbookmarks(repo).values(): | ||||
blockers.append(repo[bm].rev()) | ||||
blocked = cl.ancestors(blockers, inclusive=True) | ||||
return frozenset(r for r in hideable if r not in blocked) | ||||
|
r18242 | return frozenset() | ||
|
r18102 | def computeunserved(repo): | ||
"""compute the set of revision that should be filtered when used a server | ||||
Secret and hidden changeset should not pretend to be here.""" | ||||
assert not repo.changelog.filteredrevs | ||||
# fast path in simple case to avoid impact of non optimised code | ||||
|
r18382 | hiddens = filterrevs(repo, 'visible') | ||
|
r18273 | if phases.hassecret(repo): | ||
cl = repo.changelog | ||||
secret = phases.secret | ||||
getphase = repo._phasecache.phase | ||||
first = min(cl.rev(n) for n in repo._phasecache.phaseroots[secret]) | ||||
revs = cl.revs(start=first) | ||||
secrets = set(r for r in revs if getphase(repo, r) >= secret) | ||||
return frozenset(hiddens | secrets) | ||||
else: | ||||
return hiddens | ||||
|
r18231 | return frozenset() | ||
|
r18100 | |||
|
r18245 | def computemutable(repo): | ||
"""compute the set of revision that should be filtered when used a server | ||||
Secret and hidden changeset should not pretend to be here.""" | ||||
assert not repo.changelog.filteredrevs | ||||
# fast check to avoid revset call on huge repo | ||||
if util.any(repo._phasecache.phaseroots[1:]): | ||||
|
r18274 | getphase = repo._phasecache.phase | ||
|
r18382 | maymutable = filterrevs(repo, 'base') | ||
|
r18274 | return frozenset(r for r in maymutable if getphase(repo, r)) | ||
|
r18245 | return frozenset() | ||
|
r18246 | def computeimpactable(repo): | ||
"""Everything impactable by mutable revision | ||||
The mutable filter still have some chance to get invalidated. This will | ||||
happen when: | ||||
- you garbage collect hidden changeset, | ||||
- public phase is moved backward, | ||||
- something is changed in the filtering (this could be fixed) | ||||
This filter out any mutable changeset and any public changeset that may be | ||||
impacted by something happening to a mutable revision. | ||||
This is achieved by filtered everything with a revision number egal or | ||||
higher than the first mutable changeset is filtered.""" | ||||
assert not repo.changelog.filteredrevs | ||||
cl = repo.changelog | ||||
firstmutable = len(cl) | ||||
for roots in repo._phasecache.phaseroots[1:]: | ||||
if roots: | ||||
firstmutable = min(firstmutable, min(cl.rev(r) for r in roots)) | ||||
return frozenset(xrange(firstmutable, len(cl))) | ||||
|
r18100 | # function to compute filtered set | ||
|
r18382 | filtertable = {'visible': computehidden, | ||
'served': computeunserved, | ||||
'immutable': computemutable, | ||||
'base': computeimpactable} | ||||
|
r18233 | ### Nearest subset relation | ||
# Nearest subset of filter X is a filter Y so that: | ||||
# * Y is included in X, | ||||
# * X - Y is as small as possible. | ||||
# This create and ordering used for branchmap purpose. | ||||
# the ordering may be partial | ||||
|
r18382 | subsettable = {None: 'visible', | ||
'visible': 'served', | ||||
'served': 'immutable', | ||||
'immutable': 'base'} | ||||
|
r18100 | |||
|
r18382 | def filterrevs(repo, filtername): | ||
|
r18100 | """returns set of filtered revision for this filter name""" | ||
|
r18101 | if filtername not in repo.filteredrevcache: | ||
func = filtertable[filtername] | ||||
repo.filteredrevcache[filtername] = func(repo.unfiltered()) | ||||
return repo.filteredrevcache[filtername] | ||||
|
r18100 | |||
class repoview(object): | ||||
"""Provide a read/write view of a repo through a filtered changelog | ||||
This object is used to access a filtered version of a repository without | ||||
altering the original repository object itself. We can not alter the | ||||
original object for two main reasons: | ||||
- It prevents the use of a repo with multiple filters at the same time. In | ||||
particular when multiple threads are involved. | ||||
- It makes scope of the filtering harder to control. | ||||
This object behaves very closely to the original repository. All attribute | ||||
operations are done on the original repository: | ||||
- An access to `repoview.someattr` actually returns `repo.someattr`, | ||||
- A write to `repoview.someattr` actually sets value of `repo.someattr`, | ||||
- A deletion of `repoview.someattr` actually drops `someattr` | ||||
from `repo.__dict__`. | ||||
The only exception is the `changelog` property. It is overridden to return | ||||
a (surface) copy of `repo.changelog` with some revisions filtered. The | ||||
`filtername` attribute of the view control the revisions that need to be | ||||
filtered. (the fact the changelog is copied is an implementation detail). | ||||
Unlike attributes, this object intercepts all method calls. This means that | ||||
all methods are run on the `repoview` object with the filtered `changelog` | ||||
property. For this purpose the simple `repoview` class must be mixed with | ||||
the actual class of the repository. This ensures that the resulting | ||||
`repoview` object have the very same methods than the repo object. This | ||||
leads to the property below. | ||||
repoview.method() --> repo.__class__.method(repoview) | ||||
The inheritance has to be done dynamically because `repo` can be of any | ||||
subclasses of `localrepo`. Eg: `bundlerepo` or `httprepo`. | ||||
""" | ||||
def __init__(self, repo, filtername): | ||||
object.__setattr__(self, '_unfilteredrepo', repo) | ||||
object.__setattr__(self, 'filtername', filtername) | ||||
# not a cacheproperty on purpose we shall implement a proper cache later | ||||
@property | ||||
def changelog(self): | ||||
"""return a filtered version of the changeset | ||||
this changelog must not be used for writing""" | ||||
# some cache may be implemented later | ||||
cl = copy.copy(self._unfilteredrepo.changelog) | ||||
|
r18382 | cl.filteredrevs = filterrevs(self._unfilteredrepo, self.filtername) | ||
|
r18100 | return cl | ||
def unfiltered(self): | ||||
"""Return an unfiltered version of a repo""" | ||||
return self._unfilteredrepo | ||||
def filtered(self, name): | ||||
"""Return a filtered version of a repository""" | ||||
if name == self.filtername: | ||||
return self | ||||
return self.unfiltered().filtered(name) | ||||
# everything access are forwarded to the proxied repo | ||||
def __getattr__(self, attr): | ||||
return getattr(self._unfilteredrepo, attr) | ||||
def __setattr__(self, attr, value): | ||||
return setattr(self._unfilteredrepo, attr, value) | ||||
def __delattr__(self, attr): | ||||
return delattr(self._unfilteredrepo, attr) | ||||
# The `requirement` attribut is initialiazed during __init__. But | ||||
# __getattr__ won't be called as it also exists on the class. We need | ||||
# explicit forwarding to main repo here | ||||
@property | ||||
def requirements(self): | ||||
return self._unfilteredrepo.requirements | ||||