##// END OF EJS Templates
dirstate: introduce a `is_changing_any` property...
marmoute -
r50918:e1cff854 default
parent child Browse files
Show More
@@ -1,402 +1,407 b''
1 1 import contextlib
2 2 import os
3 3
4 4 from mercurial.node import sha1nodeconstants
5 5 from mercurial import (
6 6 dirstatemap,
7 7 error,
8 8 extensions,
9 9 match as matchmod,
10 10 pycompat,
11 11 scmutil,
12 12 util,
13 13 )
14 14 from mercurial.dirstateutils import (
15 15 timestamp,
16 16 )
17 17 from mercurial.interfaces import (
18 18 dirstate as intdirstate,
19 19 util as interfaceutil,
20 20 )
21 21
22 22 from . import gitutil
23 23
24 24
25 25 DirstateItem = dirstatemap.DirstateItem
26 26 propertycache = util.propertycache
27 27 pygit2 = gitutil.get_pygit2()
28 28
29 29
30 30 def readpatternfile(orig, filepath, warn, sourceinfo=False):
31 31 if not (b'info/exclude' in filepath or filepath.endswith(b'.gitignore')):
32 32 return orig(filepath, warn, sourceinfo=False)
33 33 result = []
34 34 warnings = []
35 35 with open(filepath, 'rb') as fp:
36 36 for l in fp:
37 37 l = l.strip()
38 38 if not l or l.startswith(b'#'):
39 39 continue
40 40 if l.startswith(b'!'):
41 41 warnings.append(b'unsupported ignore pattern %s' % l)
42 42 continue
43 43 if l.startswith(b'/'):
44 44 result.append(b'rootglob:' + l[1:])
45 45 else:
46 46 result.append(b'relglob:' + l)
47 47 return result, warnings
48 48
49 49
50 50 extensions.wrapfunction(matchmod, b'readpatternfile', readpatternfile)
51 51
52 52
53 53 _STATUS_MAP = {}
54 54 if pygit2:
55 55 _STATUS_MAP = {
56 56 pygit2.GIT_STATUS_CONFLICTED: b'm',
57 57 pygit2.GIT_STATUS_CURRENT: b'n',
58 58 pygit2.GIT_STATUS_IGNORED: b'?',
59 59 pygit2.GIT_STATUS_INDEX_DELETED: b'r',
60 60 pygit2.GIT_STATUS_INDEX_MODIFIED: b'n',
61 61 pygit2.GIT_STATUS_INDEX_NEW: b'a',
62 62 pygit2.GIT_STATUS_INDEX_RENAMED: b'a',
63 63 pygit2.GIT_STATUS_INDEX_TYPECHANGE: b'n',
64 64 pygit2.GIT_STATUS_WT_DELETED: b'r',
65 65 pygit2.GIT_STATUS_WT_MODIFIED: b'n',
66 66 pygit2.GIT_STATUS_WT_NEW: b'?',
67 67 pygit2.GIT_STATUS_WT_RENAMED: b'a',
68 68 pygit2.GIT_STATUS_WT_TYPECHANGE: b'n',
69 69 pygit2.GIT_STATUS_WT_UNREADABLE: b'?',
70 70 pygit2.GIT_STATUS_INDEX_MODIFIED | pygit2.GIT_STATUS_WT_MODIFIED: b'm',
71 71 }
72 72
73 73
74 74 @interfaceutil.implementer(intdirstate.idirstate)
75 75 class gitdirstate:
76 76 def __init__(self, ui, vfs, gitrepo, use_dirstate_v2):
77 77 self._ui = ui
78 78 self._root = os.path.dirname(vfs.base)
79 79 self._opener = vfs
80 80 self.git = gitrepo
81 81 self._plchangecallbacks = {}
82 82 # TODO: context.poststatusfixup is bad and uses this attribute
83 83 self._dirty = False
84 84 self._mapcls = dirstatemap.dirstatemap
85 85 self._use_dirstate_v2 = use_dirstate_v2
86 86
87 87 @propertycache
88 88 def _map(self):
89 89 """Return the dirstate contents (see documentation for dirstatemap)."""
90 90 self._map = self._mapcls(
91 91 self._ui,
92 92 self._opener,
93 93 self._root,
94 94 sha1nodeconstants,
95 95 self._use_dirstate_v2,
96 96 )
97 97 return self._map
98 98
99 99 def p1(self):
100 100 try:
101 101 return self.git.head.peel().id.raw
102 102 except pygit2.GitError:
103 103 # Typically happens when peeling HEAD fails, as in an
104 104 # empty repository.
105 105 return sha1nodeconstants.nullid
106 106
107 107 def p2(self):
108 108 # TODO: MERGE_HEAD? something like that, right?
109 109 return sha1nodeconstants.nullid
110 110
111 111 def setparents(self, p1, p2=None):
112 112 if p2 is None:
113 113 p2 = sha1nodeconstants.nullid
114 114 assert p2 == sha1nodeconstants.nullid, b'TODO merging support'
115 115 self.git.head.set_target(gitutil.togitnode(p1))
116 116
117 117 @util.propertycache
118 118 def identity(self):
119 119 return util.filestat.frompath(
120 120 os.path.join(self._root, b'.git', b'index')
121 121 )
122 122
123 123 def branch(self):
124 124 return b'default'
125 125
126 126 def parents(self):
127 127 # TODO how on earth do we find p2 if a merge is in flight?
128 128 return self.p1(), sha1nodeconstants.nullid
129 129
130 130 def __iter__(self):
131 131 return (pycompat.fsencode(f.path) for f in self.git.index)
132 132
133 133 def items(self):
134 134 for ie in self.git.index:
135 135 yield ie.path, None # value should be a DirstateItem
136 136
137 137 # py2,3 compat forward
138 138 iteritems = items
139 139
140 140 def __getitem__(self, filename):
141 141 try:
142 142 gs = self.git.status_file(filename)
143 143 except KeyError:
144 144 return b'?'
145 145 return _STATUS_MAP[gs]
146 146
147 147 def __contains__(self, filename):
148 148 try:
149 149 gs = self.git.status_file(filename)
150 150 return _STATUS_MAP[gs] != b'?'
151 151 except KeyError:
152 152 return False
153 153
154 154 def status(self, match, subrepos, ignored, clean, unknown):
155 155 listclean = clean
156 156 # TODO handling of clean files - can we get that from git.status()?
157 157 modified, added, removed, deleted, unknown, ignored, clean = (
158 158 [],
159 159 [],
160 160 [],
161 161 [],
162 162 [],
163 163 [],
164 164 [],
165 165 )
166 166
167 167 try:
168 168 mtime_boundary = timestamp.get_fs_now(self._opener)
169 169 except OSError:
170 170 # In largefiles or readonly context
171 171 mtime_boundary = None
172 172
173 173 gstatus = self.git.status()
174 174 for path, status in gstatus.items():
175 175 path = pycompat.fsencode(path)
176 176 if not match(path):
177 177 continue
178 178 if status == pygit2.GIT_STATUS_IGNORED:
179 179 if path.endswith(b'/'):
180 180 continue
181 181 ignored.append(path)
182 182 elif status in (
183 183 pygit2.GIT_STATUS_WT_MODIFIED,
184 184 pygit2.GIT_STATUS_INDEX_MODIFIED,
185 185 pygit2.GIT_STATUS_WT_MODIFIED
186 186 | pygit2.GIT_STATUS_INDEX_MODIFIED,
187 187 ):
188 188 modified.append(path)
189 189 elif status == pygit2.GIT_STATUS_INDEX_NEW:
190 190 added.append(path)
191 191 elif status == pygit2.GIT_STATUS_WT_NEW:
192 192 unknown.append(path)
193 193 elif status == pygit2.GIT_STATUS_WT_DELETED:
194 194 deleted.append(path)
195 195 elif status == pygit2.GIT_STATUS_INDEX_DELETED:
196 196 removed.append(path)
197 197 else:
198 198 raise error.Abort(
199 199 b'unhandled case: status for %r is %r' % (path, status)
200 200 )
201 201
202 202 if listclean:
203 203 observed = set(
204 204 modified + added + removed + deleted + unknown + ignored
205 205 )
206 206 index = self.git.index
207 207 index.read()
208 208 for entry in index:
209 209 path = pycompat.fsencode(entry.path)
210 210 if not match(path):
211 211 continue
212 212 if path in observed:
213 213 continue # already in some other set
214 214 if path[-1] == b'/':
215 215 continue # directory
216 216 clean.append(path)
217 217
218 218 # TODO are we really always sure of status here?
219 219 return (
220 220 False,
221 221 scmutil.status(
222 222 modified, added, removed, deleted, unknown, ignored, clean
223 223 ),
224 224 mtime_boundary,
225 225 )
226 226
227 227 def flagfunc(self, buildfallback):
228 228 # TODO we can do better
229 229 return buildfallback()
230 230
231 231 def getcwd(self):
232 232 # TODO is this a good way to do this?
233 233 return os.path.dirname(
234 234 os.path.dirname(pycompat.fsencode(self.git.path))
235 235 )
236 236
237 237 def get_entry(self, path):
238 238 """return a DirstateItem for the associated path"""
239 239 entry = self._map.get(path)
240 240 if entry is None:
241 241 return DirstateItem()
242 242 return entry
243 243
244 244 def normalize(self, path):
245 245 normed = util.normcase(path)
246 246 assert normed == path, b"TODO handling of case folding: %s != %s" % (
247 247 normed,
248 248 path,
249 249 )
250 250 return path
251 251
252 252 @property
253 253 def _checklink(self):
254 254 return util.checklink(os.path.dirname(pycompat.fsencode(self.git.path)))
255 255
256 256 def copies(self):
257 257 # TODO support copies?
258 258 return {}
259 259
260 260 # # TODO what the heck is this
261 261 _filecache = set()
262 262
263 263 def is_changing_parents(self):
264 264 # TODO: we need to implement the context manager bits and
265 265 # correctly stage/revert index edits.
266 266 return False
267 267
268 def is_changing_any(self):
269 # TODO: we need to implement the context manager bits and
270 # correctly stage/revert index edits.
271 return False
272
268 273 def write(self, tr):
269 274 # TODO: call parent change callbacks
270 275
271 276 if tr:
272 277
273 278 def writeinner(category):
274 279 self.git.index.write()
275 280
276 281 tr.addpending(b'gitdirstate', writeinner)
277 282 else:
278 283 self.git.index.write()
279 284
280 285 def pathto(self, f, cwd=None):
281 286 if cwd is None:
282 287 cwd = self.getcwd()
283 288 # TODO core dirstate does something about slashes here
284 289 assert isinstance(f, bytes)
285 290 r = util.pathto(self._root, cwd, f)
286 291 return r
287 292
288 293 def matches(self, match):
289 294 for x in self.git.index:
290 295 p = pycompat.fsencode(x.path)
291 296 if match(p):
292 297 yield p
293 298
294 299 def set_clean(self, f, parentfiledata):
295 300 """Mark a file normal and clean."""
296 301 # TODO: for now we just let libgit2 re-stat the file. We can
297 302 # clearly do better.
298 303
299 304 def set_possibly_dirty(self, f):
300 305 """Mark a file normal, but possibly dirty."""
301 306 # TODO: for now we just let libgit2 re-stat the file. We can
302 307 # clearly do better.
303 308
304 309 def walk(self, match, subrepos, unknown, ignored, full=True):
305 310 # TODO: we need to use .status() and not iterate the index,
306 311 # because the index doesn't force a re-walk and so `hg add` of
307 312 # a new file without an intervening call to status will
308 313 # silently do nothing.
309 314 r = {}
310 315 cwd = self.getcwd()
311 316 for path, status in self.git.status().items():
312 317 if path.startswith('.hg/'):
313 318 continue
314 319 path = pycompat.fsencode(path)
315 320 if not match(path):
316 321 continue
317 322 # TODO construct the stat info from the status object?
318 323 try:
319 324 s = os.stat(os.path.join(cwd, path))
320 325 except FileNotFoundError:
321 326 continue
322 327 r[path] = s
323 328 return r
324 329
325 330 def savebackup(self, tr, backupname):
326 331 # TODO: figure out a strategy for saving index backups.
327 332 pass
328 333
329 334 def restorebackup(self, tr, backupname):
330 335 # TODO: figure out a strategy for saving index backups.
331 336 pass
332 337
333 338 def set_tracked(self, f, reset_copy=False):
334 339 # TODO: support copies and reset_copy=True
335 340 uf = pycompat.fsdecode(f)
336 341 if uf in self.git.index:
337 342 return False
338 343 index = self.git.index
339 344 index.read()
340 345 index.add(uf)
341 346 index.write()
342 347 return True
343 348
344 349 def add(self, f):
345 350 index = self.git.index
346 351 index.read()
347 352 index.add(pycompat.fsdecode(f))
348 353 index.write()
349 354
350 355 def drop(self, f):
351 356 index = self.git.index
352 357 index.read()
353 358 fs = pycompat.fsdecode(f)
354 359 if fs in index:
355 360 index.remove(fs)
356 361 index.write()
357 362
358 363 def set_untracked(self, f):
359 364 index = self.git.index
360 365 index.read()
361 366 fs = pycompat.fsdecode(f)
362 367 if fs in index:
363 368 index.remove(fs)
364 369 index.write()
365 370 return True
366 371 return False
367 372
368 373 def remove(self, f):
369 374 index = self.git.index
370 375 index.read()
371 376 index.remove(pycompat.fsdecode(f))
372 377 index.write()
373 378
374 379 def copied(self, path):
375 380 # TODO: track copies?
376 381 return None
377 382
378 383 def prefetch_parents(self):
379 384 # TODO
380 385 pass
381 386
382 387 def update_file(self, *args, **kwargs):
383 388 # TODO
384 389 pass
385 390
386 391 @contextlib.contextmanager
387 392 def changing_parents(self, repo):
388 393 # TODO: track this maybe?
389 394 yield
390 395
391 396 def addparentchangecallback(self, category, callback):
392 397 # TODO: should this be added to the dirstate interface?
393 398 self._plchangecallbacks[category] = callback
394 399
395 400 def clearbackup(self, tr, backupname):
396 401 # TODO
397 402 pass
398 403
399 404 def setbranch(self, branch):
400 405 raise error.Abort(
401 406 b'git repos do not support branches. try using bookmarks'
402 407 )
@@ -1,1673 +1,1681 b''
1 1 # dirstate.py - working directory tracking for mercurial
2 2 #
3 3 # Copyright 2005-2007 Olivia Mackall <olivia@selenic.com>
4 4 #
5 5 # This software may be used and distributed according to the terms of the
6 6 # GNU General Public License version 2 or any later version.
7 7
8 8
9 9 import collections
10 10 import contextlib
11 11 import os
12 12 import stat
13 13 import uuid
14 14
15 15 from .i18n import _
16 16 from .pycompat import delattr
17 17
18 18 from hgdemandimport import tracing
19 19
20 20 from . import (
21 21 dirstatemap,
22 22 encoding,
23 23 error,
24 24 match as matchmod,
25 25 node,
26 26 pathutil,
27 27 policy,
28 28 pycompat,
29 29 scmutil,
30 30 util,
31 31 )
32 32
33 33 from .dirstateutils import (
34 34 docket as docketmod,
35 35 timestamp,
36 36 )
37 37
38 38 from .interfaces import (
39 39 dirstate as intdirstate,
40 40 util as interfaceutil,
41 41 )
42 42
43 43 parsers = policy.importmod('parsers')
44 44 rustmod = policy.importrust('dirstate')
45 45
46 46 HAS_FAST_DIRSTATE_V2 = rustmod is not None
47 47
48 48 propertycache = util.propertycache
49 49 filecache = scmutil.filecache
50 50 _rangemask = dirstatemap.rangemask
51 51
52 52 DirstateItem = dirstatemap.DirstateItem
53 53
54 54
55 55 class repocache(filecache):
56 56 """filecache for files in .hg/"""
57 57
58 58 def join(self, obj, fname):
59 59 return obj._opener.join(fname)
60 60
61 61
62 62 class rootcache(filecache):
63 63 """filecache for files in the repository root"""
64 64
65 65 def join(self, obj, fname):
66 66 return obj._join(fname)
67 67
68 68
69 69 def requires_changing_parents(func):
70 70 def wrap(self, *args, **kwargs):
71 71 if not self.is_changing_parents:
72 72 msg = 'calling `%s` outside of a changing_parents context'
73 73 msg %= func.__name__
74 74 raise error.ProgrammingError(msg)
75 75 if self._invalidated_context:
76 76 msg = 'calling `%s` after the dirstate was invalidated'
77 77 raise error.ProgrammingError(msg)
78 78 return func(self, *args, **kwargs)
79 79
80 80 return wrap
81 81
82 82
83 83 def requires_not_changing_parents(func):
84 84 def wrap(self, *args, **kwargs):
85 85 if self.is_changing_parents:
86 86 msg = 'calling `%s` inside of a changing_parents context'
87 87 msg %= func.__name__
88 88 raise error.ProgrammingError(msg)
89 89 return func(self, *args, **kwargs)
90 90
91 91 return wrap
92 92
93 93
94 94 @interfaceutil.implementer(intdirstate.idirstate)
95 95 class dirstate:
96 96 def __init__(
97 97 self,
98 98 opener,
99 99 ui,
100 100 root,
101 101 validate,
102 102 sparsematchfn,
103 103 nodeconstants,
104 104 use_dirstate_v2,
105 105 use_tracked_hint=False,
106 106 ):
107 107 """Create a new dirstate object.
108 108
109 109 opener is an open()-like callable that can be used to open the
110 110 dirstate file; root is the root of the directory tracked by
111 111 the dirstate.
112 112 """
113 113 self._use_dirstate_v2 = use_dirstate_v2
114 114 self._use_tracked_hint = use_tracked_hint
115 115 self._nodeconstants = nodeconstants
116 116 self._opener = opener
117 117 self._validate = validate
118 118 self._root = root
119 119 # Either build a sparse-matcher or None if sparse is disabled
120 120 self._sparsematchfn = sparsematchfn
121 121 # ntpath.join(root, '') of Python 2.7.9 does not add sep if root is
122 122 # UNC path pointing to root share (issue4557)
123 123 self._rootdir = pathutil.normasprefix(root)
124 124 # True is any internal state may be different
125 125 self._dirty = False
126 126 # True if the set of tracked file may be different
127 127 self._dirty_tracked_set = False
128 128 self._ui = ui
129 129 self._filecache = {}
130 130 # nesting level of `changing_parents` context
131 131 self._changing_level = 0
132 132 # True if the current dirstate changing operations have been
133 133 # invalidated (used to make sure all nested contexts have been exited)
134 134 self._invalidated_context = False
135 135 self._filename = b'dirstate'
136 136 self._filename_th = b'dirstate-tracked-hint'
137 137 self._pendingfilename = b'%s.pending' % self._filename
138 138 self._plchangecallbacks = {}
139 139 self._origpl = None
140 140 self._mapcls = dirstatemap.dirstatemap
141 141 # Access and cache cwd early, so we don't access it for the first time
142 142 # after a working-copy update caused it to not exist (accessing it then
143 143 # raises an exception).
144 144 self._cwd
145 145
146 146 def prefetch_parents(self):
147 147 """make sure the parents are loaded
148 148
149 149 Used to avoid a race condition.
150 150 """
151 151 self._pl
152 152
153 153 @contextlib.contextmanager
154 154 def changing_parents(self, repo):
155 155 """Context manager for handling dirstate parents.
156 156
157 157 If an exception occurs in the scope of the context manager,
158 158 the incoherent dirstate won't be written when wlock is
159 159 released.
160 160 """
161 161 if repo.currentwlock() is None:
162 162 msg = b"changing parents without holding the wlock"
163 163 raise error.ProgrammingError(msg)
164 164 if self._invalidated_context:
165 165 msg = "trying to use an invalidated dirstate before it has reset"
166 166 raise error.ProgrammingError(msg)
167 167 self._changing_level += 1
168 168 try:
169 169 yield
170 170 except Exception:
171 171 self.invalidate()
172 172 raise
173 173 finally:
174 174 if self._changing_level > 0:
175 175 if self._invalidated_context:
176 176 # make sure we invalidate anything an upper context might
177 177 # have changed.
178 178 self.invalidate()
179 179 self._changing_level -= 1
180 180 # The invalidation is complete once we exit the final context
181 181 # manager
182 182 if self._changing_level <= 0:
183 183 assert self._changing_level == 0
184 184 if self._invalidated_context:
185 185 self._invalidated_context = False
186 186 else:
187 187 # When an exception occured, `_invalidated_context`
188 188 # would have been set to True by the `invalidate`
189 189 # call earlier.
190 190 #
191 191 # We don't have more straightforward code, because the
192 192 # Exception catching (and the associated `invalidate`
193 193 # calling) might have been called by a nested context
194 194 # instead of the top level one.
195 195 self.write(repo.currenttransaction())
196 196
197 197 # here to help migration to the new code
198 198 def parentchange(self):
199 199 msg = (
200 200 "Mercurial 6.4 and later requires call to "
201 201 "`dirstate.changing_parents(repo)`"
202 202 )
203 203 raise error.ProgrammingError(msg)
204 204
205 @property
206 def is_changing_any(self):
207 """Returns true if the dirstate is in the middle of a set of changes.
208
209 This returns True for any kind of change.
210 """
211 return self._changing_level > 0
212
205 213 def pendingparentchange(self):
206 214 """Returns true if the dirstate is in the middle of a set of changes
207 215 that modify the dirstate parent.
208 216 """
209 217 self._ui.deprecwarn(b"dirstate.is_changing_parents", b"6.5")
210 218 return self.is_changing_parents
211 219
212 220 @property
213 221 def is_changing_parents(self):
214 222 """Returns true if the dirstate is in the middle of a set of changes
215 223 that modify the dirstate parent.
216 224 """
217 225 return self._changing_level > 0
218 226
219 227 @propertycache
220 228 def _map(self):
221 229 """Return the dirstate contents (see documentation for dirstatemap)."""
222 230 self._map = self._mapcls(
223 231 self._ui,
224 232 self._opener,
225 233 self._root,
226 234 self._nodeconstants,
227 235 self._use_dirstate_v2,
228 236 )
229 237 return self._map
230 238
231 239 @property
232 240 def _sparsematcher(self):
233 241 """The matcher for the sparse checkout.
234 242
235 243 The working directory may not include every file from a manifest. The
236 244 matcher obtained by this property will match a path if it is to be
237 245 included in the working directory.
238 246
239 247 When sparse if disabled, return None.
240 248 """
241 249 if self._sparsematchfn is None:
242 250 return None
243 251 # TODO there is potential to cache this property. For now, the matcher
244 252 # is resolved on every access. (But the called function does use a
245 253 # cache to keep the lookup fast.)
246 254 return self._sparsematchfn()
247 255
248 256 @repocache(b'branch')
249 257 def _branch(self):
250 258 try:
251 259 return self._opener.read(b"branch").strip() or b"default"
252 260 except FileNotFoundError:
253 261 return b"default"
254 262
255 263 @property
256 264 def _pl(self):
257 265 return self._map.parents()
258 266
259 267 def hasdir(self, d):
260 268 return self._map.hastrackeddir(d)
261 269
262 270 @rootcache(b'.hgignore')
263 271 def _ignore(self):
264 272 files = self._ignorefiles()
265 273 if not files:
266 274 return matchmod.never()
267 275
268 276 pats = [b'include:%s' % f for f in files]
269 277 return matchmod.match(self._root, b'', [], pats, warn=self._ui.warn)
270 278
271 279 @propertycache
272 280 def _slash(self):
273 281 return self._ui.configbool(b'ui', b'slash') and pycompat.ossep != b'/'
274 282
275 283 @propertycache
276 284 def _checklink(self):
277 285 return util.checklink(self._root)
278 286
279 287 @propertycache
280 288 def _checkexec(self):
281 289 return bool(util.checkexec(self._root))
282 290
283 291 @propertycache
284 292 def _checkcase(self):
285 293 return not util.fscasesensitive(self._join(b'.hg'))
286 294
287 295 def _join(self, f):
288 296 # much faster than os.path.join()
289 297 # it's safe because f is always a relative path
290 298 return self._rootdir + f
291 299
292 300 def flagfunc(self, buildfallback):
293 301 """build a callable that returns flags associated with a filename
294 302
295 303 The information is extracted from three possible layers:
296 304 1. the file system if it supports the information
297 305 2. the "fallback" information stored in the dirstate if any
298 306 3. a more expensive mechanism inferring the flags from the parents.
299 307 """
300 308
301 309 # small hack to cache the result of buildfallback()
302 310 fallback_func = []
303 311
304 312 def get_flags(x):
305 313 entry = None
306 314 fallback_value = None
307 315 try:
308 316 st = os.lstat(self._join(x))
309 317 except OSError:
310 318 return b''
311 319
312 320 if self._checklink:
313 321 if util.statislink(st):
314 322 return b'l'
315 323 else:
316 324 entry = self.get_entry(x)
317 325 if entry.has_fallback_symlink:
318 326 if entry.fallback_symlink:
319 327 return b'l'
320 328 else:
321 329 if not fallback_func:
322 330 fallback_func.append(buildfallback())
323 331 fallback_value = fallback_func[0](x)
324 332 if b'l' in fallback_value:
325 333 return b'l'
326 334
327 335 if self._checkexec:
328 336 if util.statisexec(st):
329 337 return b'x'
330 338 else:
331 339 if entry is None:
332 340 entry = self.get_entry(x)
333 341 if entry.has_fallback_exec:
334 342 if entry.fallback_exec:
335 343 return b'x'
336 344 else:
337 345 if fallback_value is None:
338 346 if not fallback_func:
339 347 fallback_func.append(buildfallback())
340 348 fallback_value = fallback_func[0](x)
341 349 if b'x' in fallback_value:
342 350 return b'x'
343 351 return b''
344 352
345 353 return get_flags
346 354
347 355 @propertycache
348 356 def _cwd(self):
349 357 # internal config: ui.forcecwd
350 358 forcecwd = self._ui.config(b'ui', b'forcecwd')
351 359 if forcecwd:
352 360 return forcecwd
353 361 return encoding.getcwd()
354 362
355 363 def getcwd(self):
356 364 """Return the path from which a canonical path is calculated.
357 365
358 366 This path should be used to resolve file patterns or to convert
359 367 canonical paths back to file paths for display. It shouldn't be
360 368 used to get real file paths. Use vfs functions instead.
361 369 """
362 370 cwd = self._cwd
363 371 if cwd == self._root:
364 372 return b''
365 373 # self._root ends with a path separator if self._root is '/' or 'C:\'
366 374 rootsep = self._root
367 375 if not util.endswithsep(rootsep):
368 376 rootsep += pycompat.ossep
369 377 if cwd.startswith(rootsep):
370 378 return cwd[len(rootsep) :]
371 379 else:
372 380 # we're outside the repo. return an absolute path.
373 381 return cwd
374 382
375 383 def pathto(self, f, cwd=None):
376 384 if cwd is None:
377 385 cwd = self.getcwd()
378 386 path = util.pathto(self._root, cwd, f)
379 387 if self._slash:
380 388 return util.pconvert(path)
381 389 return path
382 390
383 391 def get_entry(self, path):
384 392 """return a DirstateItem for the associated path"""
385 393 entry = self._map.get(path)
386 394 if entry is None:
387 395 return DirstateItem()
388 396 return entry
389 397
390 398 def __contains__(self, key):
391 399 return key in self._map
392 400
393 401 def __iter__(self):
394 402 return iter(sorted(self._map))
395 403
396 404 def items(self):
397 405 return self._map.items()
398 406
399 407 iteritems = items
400 408
401 409 def parents(self):
402 410 return [self._validate(p) for p in self._pl]
403 411
404 412 def p1(self):
405 413 return self._validate(self._pl[0])
406 414
407 415 def p2(self):
408 416 return self._validate(self._pl[1])
409 417
410 418 @property
411 419 def in_merge(self):
412 420 """True if a merge is in progress"""
413 421 return self._pl[1] != self._nodeconstants.nullid
414 422
415 423 def branch(self):
416 424 return encoding.tolocal(self._branch)
417 425
418 426 def setparents(self, p1, p2=None):
419 427 """Set dirstate parents to p1 and p2.
420 428
421 429 When moving from two parents to one, "merged" entries a
422 430 adjusted to normal and previous copy records discarded and
423 431 returned by the call.
424 432
425 433 See localrepo.setparents()
426 434 """
427 435 if p2 is None:
428 436 p2 = self._nodeconstants.nullid
429 437 if self._changing_level == 0:
430 438 raise ValueError(
431 439 b"cannot set dirstate parent outside of "
432 440 b"dirstate.changing_parents context manager"
433 441 )
434 442
435 443 self._dirty = True
436 444 oldp2 = self._pl[1]
437 445 if self._origpl is None:
438 446 self._origpl = self._pl
439 447 nullid = self._nodeconstants.nullid
440 448 # True if we need to fold p2 related state back to a linear case
441 449 fold_p2 = oldp2 != nullid and p2 == nullid
442 450 return self._map.setparents(p1, p2, fold_p2=fold_p2)
443 451
444 452 def setbranch(self, branch):
445 453 self.__class__._branch.set(self, encoding.fromlocal(branch))
446 454 f = self._opener(b'branch', b'w', atomictemp=True, checkambig=True)
447 455 try:
448 456 f.write(self._branch + b'\n')
449 457 f.close()
450 458
451 459 # make sure filecache has the correct stat info for _branch after
452 460 # replacing the underlying file
453 461 ce = self._filecache[b'_branch']
454 462 if ce:
455 463 ce.refresh()
456 464 except: # re-raises
457 465 f.discard()
458 466 raise
459 467
460 468 def invalidate(self):
461 469 """Causes the next access to reread the dirstate.
462 470
463 471 This is different from localrepo.invalidatedirstate() because it always
464 472 rereads the dirstate. Use localrepo.invalidatedirstate() if you want to
465 473 check whether the dirstate has changed before rereading it."""
466 474
467 475 for a in ("_map", "_branch", "_ignore"):
468 476 if a in self.__dict__:
469 477 delattr(self, a)
470 478 self._dirty = False
471 479 self._dirty_tracked_set = False
472 480 self._invalidated_context = self._changing_level > 0
473 481 self._origpl = None
474 482
475 483 def copy(self, source, dest):
476 484 """Mark dest as a copy of source. Unmark dest if source is None."""
477 485 if source == dest:
478 486 return
479 487 self._dirty = True
480 488 if source is not None:
481 489 self._check_sparse(source)
482 490 self._map.copymap[dest] = source
483 491 else:
484 492 self._map.copymap.pop(dest, None)
485 493
486 494 def copied(self, file):
487 495 return self._map.copymap.get(file, None)
488 496
489 497 def copies(self):
490 498 return self._map.copymap
491 499
492 500 @requires_not_changing_parents
493 501 def set_tracked(self, filename, reset_copy=False):
494 502 """a "public" method for generic code to mark a file as tracked
495 503
496 504 This function is to be called outside of "update/merge" case. For
497 505 example by a command like `hg add X`.
498 506
499 507 if reset_copy is set, any existing copy information will be dropped.
500 508
501 509 return True the file was previously untracked, False otherwise.
502 510 """
503 511 self._dirty = True
504 512 entry = self._map.get(filename)
505 513 if entry is None or not entry.tracked:
506 514 self._check_new_tracked_filename(filename)
507 515 pre_tracked = self._map.set_tracked(filename)
508 516 if reset_copy:
509 517 self._map.copymap.pop(filename, None)
510 518 if pre_tracked:
511 519 self._dirty_tracked_set = True
512 520 return pre_tracked
513 521
514 522 @requires_not_changing_parents
515 523 def set_untracked(self, filename):
516 524 """a "public" method for generic code to mark a file as untracked
517 525
518 526 This function is to be called outside of "update/merge" case. For
519 527 example by a command like `hg remove X`.
520 528
521 529 return True the file was previously tracked, False otherwise.
522 530 """
523 531 ret = self._map.set_untracked(filename)
524 532 if ret:
525 533 self._dirty = True
526 534 self._dirty_tracked_set = True
527 535 return ret
528 536
529 537 @requires_not_changing_parents
530 538 def set_clean(self, filename, parentfiledata):
531 539 """record that the current state of the file on disk is known to be clean"""
532 540 self._dirty = True
533 541 if not self._map[filename].tracked:
534 542 self._check_new_tracked_filename(filename)
535 543 (mode, size, mtime) = parentfiledata
536 544 self._map.set_clean(filename, mode, size, mtime)
537 545
538 546 @requires_not_changing_parents
539 547 def set_possibly_dirty(self, filename):
540 548 """record that the current state of the file on disk is unknown"""
541 549 self._dirty = True
542 550 self._map.set_possibly_dirty(filename)
543 551
544 552 @requires_changing_parents
545 553 def update_file_p1(
546 554 self,
547 555 filename,
548 556 p1_tracked,
549 557 ):
550 558 """Set a file as tracked in the parent (or not)
551 559
552 560 This is to be called when adjust the dirstate to a new parent after an history
553 561 rewriting operation.
554 562
555 563 It should not be called during a merge (p2 != nullid) and only within
556 564 a `with dirstate.changing_parents(repo):` context.
557 565 """
558 566 if self.in_merge:
559 567 msg = b'update_file_reference should not be called when merging'
560 568 raise error.ProgrammingError(msg)
561 569 entry = self._map.get(filename)
562 570 if entry is None:
563 571 wc_tracked = False
564 572 else:
565 573 wc_tracked = entry.tracked
566 574 if not (p1_tracked or wc_tracked):
567 575 # the file is no longer relevant to anyone
568 576 if self._map.get(filename) is not None:
569 577 self._map.reset_state(filename)
570 578 self._dirty = True
571 579 elif (not p1_tracked) and wc_tracked:
572 580 if entry is not None and entry.added:
573 581 return # avoid dropping copy information (maybe?)
574 582
575 583 self._map.reset_state(
576 584 filename,
577 585 wc_tracked,
578 586 p1_tracked,
579 587 # the underlying reference might have changed, we will have to
580 588 # check it.
581 589 has_meaningful_mtime=False,
582 590 )
583 591
584 592 @requires_changing_parents
585 593 def update_file(
586 594 self,
587 595 filename,
588 596 wc_tracked,
589 597 p1_tracked,
590 598 p2_info=False,
591 599 possibly_dirty=False,
592 600 parentfiledata=None,
593 601 ):
594 602 """update the information about a file in the dirstate
595 603
596 604 This is to be called when the direstates parent changes to keep track
597 605 of what is the file situation in regards to the working copy and its parent.
598 606
599 607 This function must be called within a `dirstate.changing_parents` context.
600 608
601 609 note: the API is at an early stage and we might need to adjust it
602 610 depending of what information ends up being relevant and useful to
603 611 other processing.
604 612 """
605 613 self._update_file(
606 614 filename=filename,
607 615 wc_tracked=wc_tracked,
608 616 p1_tracked=p1_tracked,
609 617 p2_info=p2_info,
610 618 possibly_dirty=possibly_dirty,
611 619 parentfiledata=parentfiledata,
612 620 )
613 621
614 622 def hacky_extension_update_file(self, *args, **kwargs):
615 623 """NEVER USE THIS, YOU DO NOT NEED IT
616 624
617 625 This function is a variant of "update_file" to be called by a small set
618 626 of extensions, it also adjust the internal state of file, but can be
619 627 called outside an `changing_parents` context.
620 628
621 629 A very small number of extension meddle with the working copy content
622 630 in a way that requires to adjust the dirstate accordingly. At the time
623 631 this command is written they are :
624 632 - keyword,
625 633 - largefile,
626 634 PLEASE DO NOT GROW THIS LIST ANY FURTHER.
627 635
628 636 This function could probably be replaced by more semantic one (like
629 637 "adjust expected size" or "always revalidate file content", etc)
630 638 however at the time where this is writen, this is too much of a detour
631 639 to be considered.
632 640 """
633 641 self._update_file(
634 642 *args,
635 643 **kwargs,
636 644 )
637 645
638 646 def _update_file(
639 647 self,
640 648 filename,
641 649 wc_tracked,
642 650 p1_tracked,
643 651 p2_info=False,
644 652 possibly_dirty=False,
645 653 parentfiledata=None,
646 654 ):
647 655
648 656 # note: I do not think we need to double check name clash here since we
649 657 # are in a update/merge case that should already have taken care of
650 658 # this. The test agrees
651 659
652 660 self._dirty = True
653 661 old_entry = self._map.get(filename)
654 662 if old_entry is None:
655 663 prev_tracked = False
656 664 else:
657 665 prev_tracked = old_entry.tracked
658 666 if prev_tracked != wc_tracked:
659 667 self._dirty_tracked_set = True
660 668
661 669 self._map.reset_state(
662 670 filename,
663 671 wc_tracked,
664 672 p1_tracked,
665 673 p2_info=p2_info,
666 674 has_meaningful_mtime=not possibly_dirty,
667 675 parentfiledata=parentfiledata,
668 676 )
669 677
670 678 def _check_new_tracked_filename(self, filename):
671 679 scmutil.checkfilename(filename)
672 680 if self._map.hastrackeddir(filename):
673 681 msg = _(b'directory %r already in dirstate')
674 682 msg %= pycompat.bytestr(filename)
675 683 raise error.Abort(msg)
676 684 # shadows
677 685 for d in pathutil.finddirs(filename):
678 686 if self._map.hastrackeddir(d):
679 687 break
680 688 entry = self._map.get(d)
681 689 if entry is not None and not entry.removed:
682 690 msg = _(b'file %r in dirstate clashes with %r')
683 691 msg %= (pycompat.bytestr(d), pycompat.bytestr(filename))
684 692 raise error.Abort(msg)
685 693 self._check_sparse(filename)
686 694
687 695 def _check_sparse(self, filename):
688 696 """Check that a filename is inside the sparse profile"""
689 697 sparsematch = self._sparsematcher
690 698 if sparsematch is not None and not sparsematch.always():
691 699 if not sparsematch(filename):
692 700 msg = _(b"cannot add '%s' - it is outside the sparse checkout")
693 701 hint = _(
694 702 b'include file with `hg debugsparse --include <pattern>` or use '
695 703 b'`hg add -s <file>` to include file directory while adding'
696 704 )
697 705 raise error.Abort(msg % filename, hint=hint)
698 706
699 707 def _discoverpath(self, path, normed, ignoremissing, exists, storemap):
700 708 if exists is None:
701 709 exists = os.path.lexists(os.path.join(self._root, path))
702 710 if not exists:
703 711 # Maybe a path component exists
704 712 if not ignoremissing and b'/' in path:
705 713 d, f = path.rsplit(b'/', 1)
706 714 d = self._normalize(d, False, ignoremissing, None)
707 715 folded = d + b"/" + f
708 716 else:
709 717 # No path components, preserve original case
710 718 folded = path
711 719 else:
712 720 # recursively normalize leading directory components
713 721 # against dirstate
714 722 if b'/' in normed:
715 723 d, f = normed.rsplit(b'/', 1)
716 724 d = self._normalize(d, False, ignoremissing, True)
717 725 r = self._root + b"/" + d
718 726 folded = d + b"/" + util.fspath(f, r)
719 727 else:
720 728 folded = util.fspath(normed, self._root)
721 729 storemap[normed] = folded
722 730
723 731 return folded
724 732
725 733 def _normalizefile(self, path, isknown, ignoremissing=False, exists=None):
726 734 normed = util.normcase(path)
727 735 folded = self._map.filefoldmap.get(normed, None)
728 736 if folded is None:
729 737 if isknown:
730 738 folded = path
731 739 else:
732 740 folded = self._discoverpath(
733 741 path, normed, ignoremissing, exists, self._map.filefoldmap
734 742 )
735 743 return folded
736 744
737 745 def _normalize(self, path, isknown, ignoremissing=False, exists=None):
738 746 normed = util.normcase(path)
739 747 folded = self._map.filefoldmap.get(normed, None)
740 748 if folded is None:
741 749 folded = self._map.dirfoldmap.get(normed, None)
742 750 if folded is None:
743 751 if isknown:
744 752 folded = path
745 753 else:
746 754 # store discovered result in dirfoldmap so that future
747 755 # normalizefile calls don't start matching directories
748 756 folded = self._discoverpath(
749 757 path, normed, ignoremissing, exists, self._map.dirfoldmap
750 758 )
751 759 return folded
752 760
753 761 def normalize(self, path, isknown=False, ignoremissing=False):
754 762 """
755 763 normalize the case of a pathname when on a casefolding filesystem
756 764
757 765 isknown specifies whether the filename came from walking the
758 766 disk, to avoid extra filesystem access.
759 767
760 768 If ignoremissing is True, missing path are returned
761 769 unchanged. Otherwise, we try harder to normalize possibly
762 770 existing path components.
763 771
764 772 The normalized case is determined based on the following precedence:
765 773
766 774 - version of name already stored in the dirstate
767 775 - version of name stored on disk
768 776 - version provided via command arguments
769 777 """
770 778
771 779 if self._checkcase:
772 780 return self._normalize(path, isknown, ignoremissing)
773 781 return path
774 782
775 783 def clear(self):
776 784 self._map.clear()
777 785 self._dirty = True
778 786
779 787 def rebuild(self, parent, allfiles, changedfiles=None):
780 788 matcher = self._sparsematcher
781 789 if matcher is not None and not matcher.always():
782 790 # should not add non-matching files
783 791 allfiles = [f for f in allfiles if matcher(f)]
784 792 if changedfiles:
785 793 changedfiles = [f for f in changedfiles if matcher(f)]
786 794
787 795 if changedfiles is not None:
788 796 # these files will be deleted from the dirstate when they are
789 797 # not found to be in allfiles
790 798 dirstatefilestoremove = {f for f in self if not matcher(f)}
791 799 changedfiles = dirstatefilestoremove.union(changedfiles)
792 800
793 801 if changedfiles is None:
794 802 # Rebuild entire dirstate
795 803 to_lookup = allfiles
796 804 to_drop = []
797 805 self.clear()
798 806 elif len(changedfiles) < 10:
799 807 # Avoid turning allfiles into a set, which can be expensive if it's
800 808 # large.
801 809 to_lookup = []
802 810 to_drop = []
803 811 for f in changedfiles:
804 812 if f in allfiles:
805 813 to_lookup.append(f)
806 814 else:
807 815 to_drop.append(f)
808 816 else:
809 817 changedfilesset = set(changedfiles)
810 818 to_lookup = changedfilesset & set(allfiles)
811 819 to_drop = changedfilesset - to_lookup
812 820
813 821 if self._origpl is None:
814 822 self._origpl = self._pl
815 823 self._map.setparents(parent, self._nodeconstants.nullid)
816 824
817 825 for f in to_lookup:
818 826 if self.in_merge:
819 827 self.set_tracked(f)
820 828 else:
821 829 self._map.reset_state(
822 830 f,
823 831 wc_tracked=True,
824 832 p1_tracked=True,
825 833 )
826 834 for f in to_drop:
827 835 self._map.reset_state(f)
828 836
829 837 self._dirty = True
830 838
831 839 def identity(self):
832 840 """Return identity of dirstate itself to detect changing in storage
833 841
834 842 If identity of previous dirstate is equal to this, writing
835 843 changes based on the former dirstate out can keep consistency.
836 844 """
837 845 return self._map.identity
838 846
839 847 def write(self, tr):
840 848 if not self._dirty:
841 849 return
842 850
843 851 write_key = self._use_tracked_hint and self._dirty_tracked_set
844 852 if tr:
845 853 # delay writing in-memory changes out
846 854 tr.addfilegenerator(
847 855 b'dirstate-1-main',
848 856 (self._filename,),
849 857 lambda f: self._writedirstate(tr, f),
850 858 location=b'plain',
851 859 post_finalize=True,
852 860 )
853 861 if write_key:
854 862 tr.addfilegenerator(
855 863 b'dirstate-2-key-post',
856 864 (self._filename_th,),
857 865 lambda f: self._write_tracked_hint(tr, f),
858 866 location=b'plain',
859 867 post_finalize=True,
860 868 )
861 869 return
862 870
863 871 file = lambda f: self._opener(f, b"w", atomictemp=True, checkambig=True)
864 872 with file(self._filename) as f:
865 873 self._writedirstate(tr, f)
866 874 if write_key:
867 875 # we update the key-file after writing to make sure reader have a
868 876 # key that match the newly written content
869 877 with file(self._filename_th) as f:
870 878 self._write_tracked_hint(tr, f)
871 879
872 880 def delete_tracked_hint(self):
873 881 """remove the tracked_hint file
874 882
875 883 To be used by format downgrades operation"""
876 884 self._opener.unlink(self._filename_th)
877 885 self._use_tracked_hint = False
878 886
879 887 def addparentchangecallback(self, category, callback):
880 888 """add a callback to be called when the wd parents are changed
881 889
882 890 Callback will be called with the following arguments:
883 891 dirstate, (oldp1, oldp2), (newp1, newp2)
884 892
885 893 Category is a unique identifier to allow overwriting an old callback
886 894 with a newer callback.
887 895 """
888 896 self._plchangecallbacks[category] = callback
889 897
890 898 def _writedirstate(self, tr, st):
891 899 # notify callbacks about parents change
892 900 if self._origpl is not None and self._origpl != self._pl:
893 901 for c, callback in sorted(self._plchangecallbacks.items()):
894 902 callback(self, self._origpl, self._pl)
895 903 self._origpl = None
896 904 self._map.write(tr, st)
897 905 self._dirty = False
898 906 self._dirty_tracked_set = False
899 907
900 908 def _write_tracked_hint(self, tr, f):
901 909 key = node.hex(uuid.uuid4().bytes)
902 910 f.write(b"1\n%s\n" % key) # 1 is the format version
903 911
904 912 def _dirignore(self, f):
905 913 if self._ignore(f):
906 914 return True
907 915 for p in pathutil.finddirs(f):
908 916 if self._ignore(p):
909 917 return True
910 918 return False
911 919
912 920 def _ignorefiles(self):
913 921 files = []
914 922 if os.path.exists(self._join(b'.hgignore')):
915 923 files.append(self._join(b'.hgignore'))
916 924 for name, path in self._ui.configitems(b"ui"):
917 925 if name == b'ignore' or name.startswith(b'ignore.'):
918 926 # we need to use os.path.join here rather than self._join
919 927 # because path is arbitrary and user-specified
920 928 files.append(os.path.join(self._rootdir, util.expandpath(path)))
921 929 return files
922 930
923 931 def _ignorefileandline(self, f):
924 932 files = collections.deque(self._ignorefiles())
925 933 visited = set()
926 934 while files:
927 935 i = files.popleft()
928 936 patterns = matchmod.readpatternfile(
929 937 i, self._ui.warn, sourceinfo=True
930 938 )
931 939 for pattern, lineno, line in patterns:
932 940 kind, p = matchmod._patsplit(pattern, b'glob')
933 941 if kind == b"subinclude":
934 942 if p not in visited:
935 943 files.append(p)
936 944 continue
937 945 m = matchmod.match(
938 946 self._root, b'', [], [pattern], warn=self._ui.warn
939 947 )
940 948 if m(f):
941 949 return (i, lineno, line)
942 950 visited.add(i)
943 951 return (None, -1, b"")
944 952
945 953 def _walkexplicit(self, match, subrepos):
946 954 """Get stat data about the files explicitly specified by match.
947 955
948 956 Return a triple (results, dirsfound, dirsnotfound).
949 957 - results is a mapping from filename to stat result. It also contains
950 958 listings mapping subrepos and .hg to None.
951 959 - dirsfound is a list of files found to be directories.
952 960 - dirsnotfound is a list of files that the dirstate thinks are
953 961 directories and that were not found."""
954 962
955 963 def badtype(mode):
956 964 kind = _(b'unknown')
957 965 if stat.S_ISCHR(mode):
958 966 kind = _(b'character device')
959 967 elif stat.S_ISBLK(mode):
960 968 kind = _(b'block device')
961 969 elif stat.S_ISFIFO(mode):
962 970 kind = _(b'fifo')
963 971 elif stat.S_ISSOCK(mode):
964 972 kind = _(b'socket')
965 973 elif stat.S_ISDIR(mode):
966 974 kind = _(b'directory')
967 975 return _(b'unsupported file type (type is %s)') % kind
968 976
969 977 badfn = match.bad
970 978 dmap = self._map
971 979 lstat = os.lstat
972 980 getkind = stat.S_IFMT
973 981 dirkind = stat.S_IFDIR
974 982 regkind = stat.S_IFREG
975 983 lnkkind = stat.S_IFLNK
976 984 join = self._join
977 985 dirsfound = []
978 986 foundadd = dirsfound.append
979 987 dirsnotfound = []
980 988 notfoundadd = dirsnotfound.append
981 989
982 990 if not match.isexact() and self._checkcase:
983 991 normalize = self._normalize
984 992 else:
985 993 normalize = None
986 994
987 995 files = sorted(match.files())
988 996 subrepos.sort()
989 997 i, j = 0, 0
990 998 while i < len(files) and j < len(subrepos):
991 999 subpath = subrepos[j] + b"/"
992 1000 if files[i] < subpath:
993 1001 i += 1
994 1002 continue
995 1003 while i < len(files) and files[i].startswith(subpath):
996 1004 del files[i]
997 1005 j += 1
998 1006
999 1007 if not files or b'' in files:
1000 1008 files = [b'']
1001 1009 # constructing the foldmap is expensive, so don't do it for the
1002 1010 # common case where files is ['']
1003 1011 normalize = None
1004 1012 results = dict.fromkeys(subrepos)
1005 1013 results[b'.hg'] = None
1006 1014
1007 1015 for ff in files:
1008 1016 if normalize:
1009 1017 nf = normalize(ff, False, True)
1010 1018 else:
1011 1019 nf = ff
1012 1020 if nf in results:
1013 1021 continue
1014 1022
1015 1023 try:
1016 1024 st = lstat(join(nf))
1017 1025 kind = getkind(st.st_mode)
1018 1026 if kind == dirkind:
1019 1027 if nf in dmap:
1020 1028 # file replaced by dir on disk but still in dirstate
1021 1029 results[nf] = None
1022 1030 foundadd((nf, ff))
1023 1031 elif kind == regkind or kind == lnkkind:
1024 1032 results[nf] = st
1025 1033 else:
1026 1034 badfn(ff, badtype(kind))
1027 1035 if nf in dmap:
1028 1036 results[nf] = None
1029 1037 except (OSError) as inst:
1030 1038 # nf not found on disk - it is dirstate only
1031 1039 if nf in dmap: # does it exactly match a missing file?
1032 1040 results[nf] = None
1033 1041 else: # does it match a missing directory?
1034 1042 if self._map.hasdir(nf):
1035 1043 notfoundadd(nf)
1036 1044 else:
1037 1045 badfn(ff, encoding.strtolocal(inst.strerror))
1038 1046
1039 1047 # match.files() may contain explicitly-specified paths that shouldn't
1040 1048 # be taken; drop them from the list of files found. dirsfound/notfound
1041 1049 # aren't filtered here because they will be tested later.
1042 1050 if match.anypats():
1043 1051 for f in list(results):
1044 1052 if f == b'.hg' or f in subrepos:
1045 1053 # keep sentinel to disable further out-of-repo walks
1046 1054 continue
1047 1055 if not match(f):
1048 1056 del results[f]
1049 1057
1050 1058 # Case insensitive filesystems cannot rely on lstat() failing to detect
1051 1059 # a case-only rename. Prune the stat object for any file that does not
1052 1060 # match the case in the filesystem, if there are multiple files that
1053 1061 # normalize to the same path.
1054 1062 if match.isexact() and self._checkcase:
1055 1063 normed = {}
1056 1064
1057 1065 for f, st in results.items():
1058 1066 if st is None:
1059 1067 continue
1060 1068
1061 1069 nc = util.normcase(f)
1062 1070 paths = normed.get(nc)
1063 1071
1064 1072 if paths is None:
1065 1073 paths = set()
1066 1074 normed[nc] = paths
1067 1075
1068 1076 paths.add(f)
1069 1077
1070 1078 for norm, paths in normed.items():
1071 1079 if len(paths) > 1:
1072 1080 for path in paths:
1073 1081 folded = self._discoverpath(
1074 1082 path, norm, True, None, self._map.dirfoldmap
1075 1083 )
1076 1084 if path != folded:
1077 1085 results[path] = None
1078 1086
1079 1087 return results, dirsfound, dirsnotfound
1080 1088
1081 1089 def walk(self, match, subrepos, unknown, ignored, full=True):
1082 1090 """
1083 1091 Walk recursively through the directory tree, finding all files
1084 1092 matched by match.
1085 1093
1086 1094 If full is False, maybe skip some known-clean files.
1087 1095
1088 1096 Return a dict mapping filename to stat-like object (either
1089 1097 mercurial.osutil.stat instance or return value of os.stat()).
1090 1098
1091 1099 """
1092 1100 # full is a flag that extensions that hook into walk can use -- this
1093 1101 # implementation doesn't use it at all. This satisfies the contract
1094 1102 # because we only guarantee a "maybe".
1095 1103
1096 1104 if ignored:
1097 1105 ignore = util.never
1098 1106 dirignore = util.never
1099 1107 elif unknown:
1100 1108 ignore = self._ignore
1101 1109 dirignore = self._dirignore
1102 1110 else:
1103 1111 # if not unknown and not ignored, drop dir recursion and step 2
1104 1112 ignore = util.always
1105 1113 dirignore = util.always
1106 1114
1107 1115 if self._sparsematchfn is not None:
1108 1116 em = matchmod.exact(match.files())
1109 1117 sm = matchmod.unionmatcher([self._sparsematcher, em])
1110 1118 match = matchmod.intersectmatchers(match, sm)
1111 1119
1112 1120 matchfn = match.matchfn
1113 1121 matchalways = match.always()
1114 1122 matchtdir = match.traversedir
1115 1123 dmap = self._map
1116 1124 listdir = util.listdir
1117 1125 lstat = os.lstat
1118 1126 dirkind = stat.S_IFDIR
1119 1127 regkind = stat.S_IFREG
1120 1128 lnkkind = stat.S_IFLNK
1121 1129 join = self._join
1122 1130
1123 1131 exact = skipstep3 = False
1124 1132 if match.isexact(): # match.exact
1125 1133 exact = True
1126 1134 dirignore = util.always # skip step 2
1127 1135 elif match.prefix(): # match.match, no patterns
1128 1136 skipstep3 = True
1129 1137
1130 1138 if not exact and self._checkcase:
1131 1139 normalize = self._normalize
1132 1140 normalizefile = self._normalizefile
1133 1141 skipstep3 = False
1134 1142 else:
1135 1143 normalize = self._normalize
1136 1144 normalizefile = None
1137 1145
1138 1146 # step 1: find all explicit files
1139 1147 results, work, dirsnotfound = self._walkexplicit(match, subrepos)
1140 1148 if matchtdir:
1141 1149 for d in work:
1142 1150 matchtdir(d[0])
1143 1151 for d in dirsnotfound:
1144 1152 matchtdir(d)
1145 1153
1146 1154 skipstep3 = skipstep3 and not (work or dirsnotfound)
1147 1155 work = [d for d in work if not dirignore(d[0])]
1148 1156
1149 1157 # step 2: visit subdirectories
1150 1158 def traverse(work, alreadynormed):
1151 1159 wadd = work.append
1152 1160 while work:
1153 1161 tracing.counter('dirstate.walk work', len(work))
1154 1162 nd = work.pop()
1155 1163 visitentries = match.visitchildrenset(nd)
1156 1164 if not visitentries:
1157 1165 continue
1158 1166 if visitentries == b'this' or visitentries == b'all':
1159 1167 visitentries = None
1160 1168 skip = None
1161 1169 if nd != b'':
1162 1170 skip = b'.hg'
1163 1171 try:
1164 1172 with tracing.log('dirstate.walk.traverse listdir %s', nd):
1165 1173 entries = listdir(join(nd), stat=True, skip=skip)
1166 1174 except (PermissionError, FileNotFoundError) as inst:
1167 1175 match.bad(
1168 1176 self.pathto(nd), encoding.strtolocal(inst.strerror)
1169 1177 )
1170 1178 continue
1171 1179 for f, kind, st in entries:
1172 1180 # Some matchers may return files in the visitentries set,
1173 1181 # instead of 'this', if the matcher explicitly mentions them
1174 1182 # and is not an exactmatcher. This is acceptable; we do not
1175 1183 # make any hard assumptions about file-or-directory below
1176 1184 # based on the presence of `f` in visitentries. If
1177 1185 # visitchildrenset returned a set, we can always skip the
1178 1186 # entries *not* in the set it provided regardless of whether
1179 1187 # they're actually a file or a directory.
1180 1188 if visitentries and f not in visitentries:
1181 1189 continue
1182 1190 if normalizefile:
1183 1191 # even though f might be a directory, we're only
1184 1192 # interested in comparing it to files currently in the
1185 1193 # dmap -- therefore normalizefile is enough
1186 1194 nf = normalizefile(
1187 1195 nd and (nd + b"/" + f) or f, True, True
1188 1196 )
1189 1197 else:
1190 1198 nf = nd and (nd + b"/" + f) or f
1191 1199 if nf not in results:
1192 1200 if kind == dirkind:
1193 1201 if not ignore(nf):
1194 1202 if matchtdir:
1195 1203 matchtdir(nf)
1196 1204 wadd(nf)
1197 1205 if nf in dmap and (matchalways or matchfn(nf)):
1198 1206 results[nf] = None
1199 1207 elif kind == regkind or kind == lnkkind:
1200 1208 if nf in dmap:
1201 1209 if matchalways or matchfn(nf):
1202 1210 results[nf] = st
1203 1211 elif (matchalways or matchfn(nf)) and not ignore(
1204 1212 nf
1205 1213 ):
1206 1214 # unknown file -- normalize if necessary
1207 1215 if not alreadynormed:
1208 1216 nf = normalize(nf, False, True)
1209 1217 results[nf] = st
1210 1218 elif nf in dmap and (matchalways or matchfn(nf)):
1211 1219 results[nf] = None
1212 1220
1213 1221 for nd, d in work:
1214 1222 # alreadynormed means that processwork doesn't have to do any
1215 1223 # expensive directory normalization
1216 1224 alreadynormed = not normalize or nd == d
1217 1225 traverse([d], alreadynormed)
1218 1226
1219 1227 for s in subrepos:
1220 1228 del results[s]
1221 1229 del results[b'.hg']
1222 1230
1223 1231 # step 3: visit remaining files from dmap
1224 1232 if not skipstep3 and not exact:
1225 1233 # If a dmap file is not in results yet, it was either
1226 1234 # a) not matching matchfn b) ignored, c) missing, or d) under a
1227 1235 # symlink directory.
1228 1236 if not results and matchalways:
1229 1237 visit = [f for f in dmap]
1230 1238 else:
1231 1239 visit = [f for f in dmap if f not in results and matchfn(f)]
1232 1240 visit.sort()
1233 1241
1234 1242 if unknown:
1235 1243 # unknown == True means we walked all dirs under the roots
1236 1244 # that wasn't ignored, and everything that matched was stat'ed
1237 1245 # and is already in results.
1238 1246 # The rest must thus be ignored or under a symlink.
1239 1247 audit_path = pathutil.pathauditor(self._root, cached=True)
1240 1248
1241 1249 for nf in iter(visit):
1242 1250 # If a stat for the same file was already added with a
1243 1251 # different case, don't add one for this, since that would
1244 1252 # make it appear as if the file exists under both names
1245 1253 # on disk.
1246 1254 if (
1247 1255 normalizefile
1248 1256 and normalizefile(nf, True, True) in results
1249 1257 ):
1250 1258 results[nf] = None
1251 1259 # Report ignored items in the dmap as long as they are not
1252 1260 # under a symlink directory.
1253 1261 elif audit_path.check(nf):
1254 1262 try:
1255 1263 results[nf] = lstat(join(nf))
1256 1264 # file was just ignored, no links, and exists
1257 1265 except OSError:
1258 1266 # file doesn't exist
1259 1267 results[nf] = None
1260 1268 else:
1261 1269 # It's either missing or under a symlink directory
1262 1270 # which we in this case report as missing
1263 1271 results[nf] = None
1264 1272 else:
1265 1273 # We may not have walked the full directory tree above,
1266 1274 # so stat and check everything we missed.
1267 1275 iv = iter(visit)
1268 1276 for st in util.statfiles([join(i) for i in visit]):
1269 1277 results[next(iv)] = st
1270 1278 return results
1271 1279
1272 1280 def _rust_status(self, matcher, list_clean, list_ignored, list_unknown):
1273 1281 if self._sparsematchfn is not None:
1274 1282 em = matchmod.exact(matcher.files())
1275 1283 sm = matchmod.unionmatcher([self._sparsematcher, em])
1276 1284 matcher = matchmod.intersectmatchers(matcher, sm)
1277 1285 # Force Rayon (Rust parallelism library) to respect the number of
1278 1286 # workers. This is a temporary workaround until Rust code knows
1279 1287 # how to read the config file.
1280 1288 numcpus = self._ui.configint(b"worker", b"numcpus")
1281 1289 if numcpus is not None:
1282 1290 encoding.environ.setdefault(b'RAYON_NUM_THREADS', b'%d' % numcpus)
1283 1291
1284 1292 workers_enabled = self._ui.configbool(b"worker", b"enabled", True)
1285 1293 if not workers_enabled:
1286 1294 encoding.environ[b"RAYON_NUM_THREADS"] = b"1"
1287 1295
1288 1296 (
1289 1297 lookup,
1290 1298 modified,
1291 1299 added,
1292 1300 removed,
1293 1301 deleted,
1294 1302 clean,
1295 1303 ignored,
1296 1304 unknown,
1297 1305 warnings,
1298 1306 bad,
1299 1307 traversed,
1300 1308 dirty,
1301 1309 ) = rustmod.status(
1302 1310 self._map._map,
1303 1311 matcher,
1304 1312 self._rootdir,
1305 1313 self._ignorefiles(),
1306 1314 self._checkexec,
1307 1315 bool(list_clean),
1308 1316 bool(list_ignored),
1309 1317 bool(list_unknown),
1310 1318 bool(matcher.traversedir),
1311 1319 )
1312 1320
1313 1321 self._dirty |= dirty
1314 1322
1315 1323 if matcher.traversedir:
1316 1324 for dir in traversed:
1317 1325 matcher.traversedir(dir)
1318 1326
1319 1327 if self._ui.warn:
1320 1328 for item in warnings:
1321 1329 if isinstance(item, tuple):
1322 1330 file_path, syntax = item
1323 1331 msg = _(b"%s: ignoring invalid syntax '%s'\n") % (
1324 1332 file_path,
1325 1333 syntax,
1326 1334 )
1327 1335 self._ui.warn(msg)
1328 1336 else:
1329 1337 msg = _(b"skipping unreadable pattern file '%s': %s\n")
1330 1338 self._ui.warn(
1331 1339 msg
1332 1340 % (
1333 1341 pathutil.canonpath(
1334 1342 self._rootdir, self._rootdir, item
1335 1343 ),
1336 1344 b"No such file or directory",
1337 1345 )
1338 1346 )
1339 1347
1340 1348 for fn, message in bad:
1341 1349 matcher.bad(fn, encoding.strtolocal(message))
1342 1350
1343 1351 status = scmutil.status(
1344 1352 modified=modified,
1345 1353 added=added,
1346 1354 removed=removed,
1347 1355 deleted=deleted,
1348 1356 unknown=unknown,
1349 1357 ignored=ignored,
1350 1358 clean=clean,
1351 1359 )
1352 1360 return (lookup, status)
1353 1361
1354 1362 def status(self, match, subrepos, ignored, clean, unknown):
1355 1363 """Determine the status of the working copy relative to the
1356 1364 dirstate and return a pair of (unsure, status), where status is of type
1357 1365 scmutil.status and:
1358 1366
1359 1367 unsure:
1360 1368 files that might have been modified since the dirstate was
1361 1369 written, but need to be read to be sure (size is the same
1362 1370 but mtime differs)
1363 1371 status.modified:
1364 1372 files that have definitely been modified since the dirstate
1365 1373 was written (different size or mode)
1366 1374 status.clean:
1367 1375 files that have definitely not been modified since the
1368 1376 dirstate was written
1369 1377 """
1370 1378 listignored, listclean, listunknown = ignored, clean, unknown
1371 1379 lookup, modified, added, unknown, ignored = [], [], [], [], []
1372 1380 removed, deleted, clean = [], [], []
1373 1381
1374 1382 dmap = self._map
1375 1383 dmap.preload()
1376 1384
1377 1385 use_rust = True
1378 1386
1379 1387 allowed_matchers = (
1380 1388 matchmod.alwaysmatcher,
1381 1389 matchmod.differencematcher,
1382 1390 matchmod.exactmatcher,
1383 1391 matchmod.includematcher,
1384 1392 matchmod.intersectionmatcher,
1385 1393 matchmod.nevermatcher,
1386 1394 matchmod.unionmatcher,
1387 1395 )
1388 1396
1389 1397 if rustmod is None:
1390 1398 use_rust = False
1391 1399 elif self._checkcase:
1392 1400 # Case-insensitive filesystems are not handled yet
1393 1401 use_rust = False
1394 1402 elif subrepos:
1395 1403 use_rust = False
1396 1404 elif not isinstance(match, allowed_matchers):
1397 1405 # Some matchers have yet to be implemented
1398 1406 use_rust = False
1399 1407
1400 1408 # Get the time from the filesystem so we can disambiguate files that
1401 1409 # appear modified in the present or future.
1402 1410 try:
1403 1411 mtime_boundary = timestamp.get_fs_now(self._opener)
1404 1412 except OSError:
1405 1413 # In largefiles or readonly context
1406 1414 mtime_boundary = None
1407 1415
1408 1416 if use_rust:
1409 1417 try:
1410 1418 res = self._rust_status(
1411 1419 match, listclean, listignored, listunknown
1412 1420 )
1413 1421 return res + (mtime_boundary,)
1414 1422 except rustmod.FallbackError:
1415 1423 pass
1416 1424
1417 1425 def noop(f):
1418 1426 pass
1419 1427
1420 1428 dcontains = dmap.__contains__
1421 1429 dget = dmap.__getitem__
1422 1430 ladd = lookup.append # aka "unsure"
1423 1431 madd = modified.append
1424 1432 aadd = added.append
1425 1433 uadd = unknown.append if listunknown else noop
1426 1434 iadd = ignored.append if listignored else noop
1427 1435 radd = removed.append
1428 1436 dadd = deleted.append
1429 1437 cadd = clean.append if listclean else noop
1430 1438 mexact = match.exact
1431 1439 dirignore = self._dirignore
1432 1440 checkexec = self._checkexec
1433 1441 checklink = self._checklink
1434 1442 copymap = self._map.copymap
1435 1443
1436 1444 # We need to do full walks when either
1437 1445 # - we're listing all clean files, or
1438 1446 # - match.traversedir does something, because match.traversedir should
1439 1447 # be called for every dir in the working dir
1440 1448 full = listclean or match.traversedir is not None
1441 1449 for fn, st in self.walk(
1442 1450 match, subrepos, listunknown, listignored, full=full
1443 1451 ).items():
1444 1452 if not dcontains(fn):
1445 1453 if (listignored or mexact(fn)) and dirignore(fn):
1446 1454 if listignored:
1447 1455 iadd(fn)
1448 1456 else:
1449 1457 uadd(fn)
1450 1458 continue
1451 1459
1452 1460 t = dget(fn)
1453 1461 mode = t.mode
1454 1462 size = t.size
1455 1463
1456 1464 if not st and t.tracked:
1457 1465 dadd(fn)
1458 1466 elif t.p2_info:
1459 1467 madd(fn)
1460 1468 elif t.added:
1461 1469 aadd(fn)
1462 1470 elif t.removed:
1463 1471 radd(fn)
1464 1472 elif t.tracked:
1465 1473 if not checklink and t.has_fallback_symlink:
1466 1474 # If the file system does not support symlink, the mode
1467 1475 # might not be correctly stored in the dirstate, so do not
1468 1476 # trust it.
1469 1477 ladd(fn)
1470 1478 elif not checkexec and t.has_fallback_exec:
1471 1479 # If the file system does not support exec bits, the mode
1472 1480 # might not be correctly stored in the dirstate, so do not
1473 1481 # trust it.
1474 1482 ladd(fn)
1475 1483 elif (
1476 1484 size >= 0
1477 1485 and (
1478 1486 (size != st.st_size and size != st.st_size & _rangemask)
1479 1487 or ((mode ^ st.st_mode) & 0o100 and checkexec)
1480 1488 )
1481 1489 or fn in copymap
1482 1490 ):
1483 1491 if stat.S_ISLNK(st.st_mode) and size != st.st_size:
1484 1492 # issue6456: Size returned may be longer due to
1485 1493 # encryption on EXT-4 fscrypt, undecided.
1486 1494 ladd(fn)
1487 1495 else:
1488 1496 madd(fn)
1489 1497 elif not t.mtime_likely_equal_to(timestamp.mtime_of(st)):
1490 1498 # There might be a change in the future if for example the
1491 1499 # internal clock is off, but this is a case where the issues
1492 1500 # the user would face would be a lot worse and there is
1493 1501 # nothing we can really do.
1494 1502 ladd(fn)
1495 1503 elif listclean:
1496 1504 cadd(fn)
1497 1505 status = scmutil.status(
1498 1506 modified, added, removed, deleted, unknown, ignored, clean
1499 1507 )
1500 1508 return (lookup, status, mtime_boundary)
1501 1509
1502 1510 def matches(self, match):
1503 1511 """
1504 1512 return files in the dirstate (in whatever state) filtered by match
1505 1513 """
1506 1514 dmap = self._map
1507 1515 if rustmod is not None:
1508 1516 dmap = self._map._map
1509 1517
1510 1518 if match.always():
1511 1519 return dmap.keys()
1512 1520 files = match.files()
1513 1521 if match.isexact():
1514 1522 # fast path -- filter the other way around, since typically files is
1515 1523 # much smaller than dmap
1516 1524 return [f for f in files if f in dmap]
1517 1525 if match.prefix() and all(fn in dmap for fn in files):
1518 1526 # fast path -- all the values are known to be files, so just return
1519 1527 # that
1520 1528 return list(files)
1521 1529 return [f for f in dmap if match(f)]
1522 1530
1523 1531 def _actualfilename(self, tr):
1524 1532 if tr:
1525 1533 return self._pendingfilename
1526 1534 else:
1527 1535 return self._filename
1528 1536
1529 1537 def data_backup_filename(self, backupname):
1530 1538 if not self._use_dirstate_v2:
1531 1539 return None
1532 1540 return backupname + b'.v2-data'
1533 1541
1534 1542 def _new_backup_data_filename(self, backupname):
1535 1543 """return a filename to backup a data-file or None"""
1536 1544 if not self._use_dirstate_v2:
1537 1545 return None
1538 1546 if self._map.docket.uuid is None:
1539 1547 # not created yet, nothing to backup
1540 1548 return None
1541 1549 data_filename = self._map.docket.data_filename()
1542 1550 return data_filename, self.data_backup_filename(backupname)
1543 1551
1544 1552 def backup_data_file(self, backupname):
1545 1553 if not self._use_dirstate_v2:
1546 1554 return None
1547 1555 docket = docketmod.DirstateDocket.parse(
1548 1556 self._opener.read(backupname),
1549 1557 self._nodeconstants,
1550 1558 )
1551 1559 return self.data_backup_filename(backupname), docket.data_filename()
1552 1560
1553 1561 def savebackup(self, tr, backupname):
1554 1562 '''Save current dirstate into backup file'''
1555 1563 filename = self._actualfilename(tr)
1556 1564 assert backupname != filename
1557 1565
1558 1566 # use '_writedirstate' instead of 'write' to write changes certainly,
1559 1567 # because the latter omits writing out if transaction is running.
1560 1568 # output file will be used to create backup of dirstate at this point.
1561 1569 if self._dirty:
1562 1570 self._writedirstate(
1563 1571 tr,
1564 1572 self._opener(filename, b"w", atomictemp=True, checkambig=True),
1565 1573 )
1566 1574
1567 1575 if tr:
1568 1576 # ensure that subsequent tr.writepending returns True for
1569 1577 # changes written out above, even if dirstate is never
1570 1578 # changed after this
1571 1579 tr.addfilegenerator(
1572 1580 b'dirstate-1-main',
1573 1581 (self._filename,),
1574 1582 lambda f: self._writedirstate(tr, f),
1575 1583 location=b'plain',
1576 1584 post_finalize=True,
1577 1585 )
1578 1586
1579 1587 self._opener.tryunlink(backupname)
1580 1588 if self._opener.exists(filename):
1581 1589 # hardlink backup is okay because _writedirstate is always called
1582 1590 # with an "atomictemp=True" file.
1583 1591 util.copyfile(
1584 1592 self._opener.join(filename),
1585 1593 self._opener.join(backupname),
1586 1594 hardlink=True,
1587 1595 )
1588 1596 data_pair = self._new_backup_data_filename(backupname)
1589 1597 if data_pair is not None:
1590 1598 data_filename, bck_data_filename = data_pair
1591 1599 util.copyfile(
1592 1600 self._opener.join(data_filename),
1593 1601 self._opener.join(bck_data_filename),
1594 1602 hardlink=True,
1595 1603 )
1596 1604 if tr is not None:
1597 1605 # ensure that pending file written above is unlinked at
1598 1606 # failure, even if tr.writepending isn't invoked until the
1599 1607 # end of this transaction
1600 1608 tr.registertmp(bck_data_filename, location=b'plain')
1601 1609
1602 1610 def restorebackup(self, tr, backupname):
1603 1611 '''Restore dirstate by backup file'''
1604 1612 # this "invalidate()" prevents "wlock.release()" from writing
1605 1613 # changes of dirstate out after restoring from backup file
1606 1614 self.invalidate()
1607 1615 o = self._opener
1608 1616 if not o.exists(backupname):
1609 1617 # there was no file backup, delete existing files
1610 1618 filename = self._actualfilename(tr)
1611 1619 data_file = None
1612 1620 if self._use_dirstate_v2:
1613 1621 data_file = self._map.docket.data_filename()
1614 1622 if o.exists(filename):
1615 1623 o.unlink(filename)
1616 1624 if data_file is not None and o.exists(data_file):
1617 1625 o.unlink(data_file)
1618 1626 return
1619 1627 filename = self._actualfilename(tr)
1620 1628 data_pair = self.backup_data_file(backupname)
1621 1629 if o.exists(filename) and util.samefile(
1622 1630 o.join(backupname), o.join(filename)
1623 1631 ):
1624 1632 o.unlink(backupname)
1625 1633 else:
1626 1634 o.rename(backupname, filename, checkambig=True)
1627 1635
1628 1636 if data_pair is not None:
1629 1637 data_backup, target = data_pair
1630 1638 if o.exists(target) and util.samefile(
1631 1639 o.join(data_backup), o.join(target)
1632 1640 ):
1633 1641 o.unlink(data_backup)
1634 1642 else:
1635 1643 o.rename(data_backup, target, checkambig=True)
1636 1644
1637 1645 def clearbackup(self, tr, backupname):
1638 1646 '''Clear backup file'''
1639 1647 o = self._opener
1640 1648 if o.exists(backupname):
1641 1649 data_backup = self.backup_data_file(backupname)
1642 1650 o.unlink(backupname)
1643 1651 if data_backup is not None:
1644 1652 o.unlink(data_backup[0])
1645 1653
1646 1654 def verify(self, m1, m2, p1, narrow_matcher=None):
1647 1655 """
1648 1656 check the dirstate contents against the parent manifest and yield errors
1649 1657 """
1650 1658 missing_from_p1 = _(
1651 1659 b"%s marked as tracked in p1 (%s) but not in manifest1\n"
1652 1660 )
1653 1661 unexpected_in_p1 = _(b"%s marked as added, but also in manifest1\n")
1654 1662 missing_from_ps = _(
1655 1663 b"%s marked as modified, but not in either manifest\n"
1656 1664 )
1657 1665 missing_from_ds = _(
1658 1666 b"%s in manifest1, but not marked as tracked in p1 (%s)\n"
1659 1667 )
1660 1668 for f, entry in self.items():
1661 1669 if entry.p1_tracked:
1662 1670 if entry.modified and f not in m1 and f not in m2:
1663 1671 yield missing_from_ps % f
1664 1672 elif f not in m1:
1665 1673 yield missing_from_p1 % (f, node.short(p1))
1666 1674 if entry.added and f in m1:
1667 1675 yield unexpected_in_p1 % f
1668 1676 for f in m1:
1669 1677 if narrow_matcher is not None and not narrow_matcher(f):
1670 1678 continue
1671 1679 entry = self.get_entry(f)
1672 1680 if not entry.p1_tracked:
1673 1681 yield missing_from_ds % (f, node.short(p1))
@@ -1,220 +1,223 b''
1 1 import contextlib
2 2
3 3 from . import util as interfaceutil
4 4
5 5
6 6 class idirstate(interfaceutil.Interface):
7 7 def __init__(
8 8 opener,
9 9 ui,
10 10 root,
11 11 validate,
12 12 sparsematchfn,
13 13 nodeconstants,
14 14 use_dirstate_v2,
15 15 use_tracked_hint=False,
16 16 ):
17 17 """Create a new dirstate object.
18 18
19 19 opener is an open()-like callable that can be used to open the
20 20 dirstate file; root is the root of the directory tracked by
21 21 the dirstate.
22 22 """
23 23
24 24 # TODO: all these private methods and attributes should be made
25 25 # public or removed from the interface.
26 26 _ignore = interfaceutil.Attribute("""Matcher for ignored files.""")
27 is_changing_any = interfaceutil.Attribute(
28 """True if any changes in progress."""
29 )
27 30 is_changing_parents = interfaceutil.Attribute(
28 31 """True if parents changes in progress."""
29 32 )
30 33
31 34 def _ignorefiles():
32 35 """Return a list of files containing patterns to ignore."""
33 36
34 37 def _ignorefileandline(f):
35 38 """Given a file `f`, return the ignore file and line that ignores it."""
36 39
37 40 _checklink = interfaceutil.Attribute("""Callable for checking symlinks.""")
38 41 _checkexec = interfaceutil.Attribute("""Callable for checking exec bits.""")
39 42
40 43 @contextlib.contextmanager
41 44 def changing_parents(repo):
42 45 """Context manager for handling dirstate parents.
43 46
44 47 If an exception occurs in the scope of the context manager,
45 48 the incoherent dirstate won't be written when wlock is
46 49 released.
47 50 """
48 51
49 52 def hasdir(d):
50 53 pass
51 54
52 55 def flagfunc(buildfallback):
53 56 """build a callable that returns flags associated with a filename
54 57
55 58 The information is extracted from three possible layers:
56 59 1. the file system if it supports the information
57 60 2. the "fallback" information stored in the dirstate if any
58 61 3. a more expensive mechanism inferring the flags from the parents.
59 62 """
60 63
61 64 def getcwd():
62 65 """Return the path from which a canonical path is calculated.
63 66
64 67 This path should be used to resolve file patterns or to convert
65 68 canonical paths back to file paths for display. It shouldn't be
66 69 used to get real file paths. Use vfs functions instead.
67 70 """
68 71
69 72 def pathto(f, cwd=None):
70 73 pass
71 74
72 75 def get_entry(path):
73 76 """return a DirstateItem for the associated path"""
74 77
75 78 def __contains__(key):
76 79 """Check if bytestring `key` is known to the dirstate."""
77 80
78 81 def __iter__():
79 82 """Iterate the dirstate's contained filenames as bytestrings."""
80 83
81 84 def items():
82 85 """Iterate the dirstate's entries as (filename, DirstateItem.
83 86
84 87 As usual, filename is a bytestring.
85 88 """
86 89
87 90 iteritems = items
88 91
89 92 def parents():
90 93 pass
91 94
92 95 def p1():
93 96 pass
94 97
95 98 def p2():
96 99 pass
97 100
98 101 def branch():
99 102 pass
100 103
101 104 def setparents(p1, p2=None):
102 105 """Set dirstate parents to p1 and p2.
103 106
104 107 When moving from two parents to one, "merged" entries a
105 108 adjusted to normal and previous copy records discarded and
106 109 returned by the call.
107 110
108 111 See localrepo.setparents()
109 112 """
110 113
111 114 def setbranch(branch):
112 115 pass
113 116
114 117 def invalidate():
115 118 """Causes the next access to reread the dirstate.
116 119
117 120 This is different from localrepo.invalidatedirstate() because it always
118 121 rereads the dirstate. Use localrepo.invalidatedirstate() if you want to
119 122 check whether the dirstate has changed before rereading it."""
120 123
121 124 def copy(source, dest):
122 125 """Mark dest as a copy of source. Unmark dest if source is None."""
123 126
124 127 def copied(file):
125 128 pass
126 129
127 130 def copies():
128 131 pass
129 132
130 133 def normalize(path, isknown=False, ignoremissing=False):
131 134 """
132 135 normalize the case of a pathname when on a casefolding filesystem
133 136
134 137 isknown specifies whether the filename came from walking the
135 138 disk, to avoid extra filesystem access.
136 139
137 140 If ignoremissing is True, missing path are returned
138 141 unchanged. Otherwise, we try harder to normalize possibly
139 142 existing path components.
140 143
141 144 The normalized case is determined based on the following precedence:
142 145
143 146 - version of name already stored in the dirstate
144 147 - version of name stored on disk
145 148 - version provided via command arguments
146 149 """
147 150
148 151 def clear():
149 152 pass
150 153
151 154 def rebuild(parent, allfiles, changedfiles=None):
152 155 pass
153 156
154 157 def identity():
155 158 """Return identity of dirstate itself to detect changing in storage
156 159
157 160 If identity of previous dirstate is equal to this, writing
158 161 changes based on the former dirstate out can keep consistency.
159 162 """
160 163
161 164 def write(tr):
162 165 pass
163 166
164 167 def addparentchangecallback(category, callback):
165 168 """add a callback to be called when the wd parents are changed
166 169
167 170 Callback will be called with the following arguments:
168 171 dirstate, (oldp1, oldp2), (newp1, newp2)
169 172
170 173 Category is a unique identifier to allow overwriting an old callback
171 174 with a newer callback.
172 175 """
173 176
174 177 def walk(match, subrepos, unknown, ignored, full=True):
175 178 """
176 179 Walk recursively through the directory tree, finding all files
177 180 matched by match.
178 181
179 182 If full is False, maybe skip some known-clean files.
180 183
181 184 Return a dict mapping filename to stat-like object (either
182 185 mercurial.osutil.stat instance or return value of os.stat()).
183 186
184 187 """
185 188
186 189 def status(match, subrepos, ignored, clean, unknown):
187 190 """Determine the status of the working copy relative to the
188 191 dirstate and return a pair of (unsure, status), where status is of type
189 192 scmutil.status and:
190 193
191 194 unsure:
192 195 files that might have been modified since the dirstate was
193 196 written, but need to be read to be sure (size is the same
194 197 but mtime differs)
195 198 status.modified:
196 199 files that have definitely been modified since the dirstate
197 200 was written (different size or mode)
198 201 status.clean:
199 202 files that have definitely not been modified since the
200 203 dirstate was written
201 204 """
202 205
203 206 def matches(match):
204 207 """
205 208 return files in the dirstate (in whatever state) filtered by match
206 209 """
207 210
208 211 def savebackup(tr, backupname):
209 212 '''Save current dirstate into backup file'''
210 213
211 214 def restorebackup(tr, backupname):
212 215 '''Restore dirstate by backup file'''
213 216
214 217 def clearbackup(tr, backupname):
215 218 '''Clear backup file'''
216 219
217 220 def verify(m1, m2, p1, narrow_matcher=None):
218 221 """
219 222 check the dirstate contents against the parent manifest and yield errors
220 223 """
@@ -1,3975 +1,3975 b''
1 1 # localrepo.py - read/write repository class for mercurial
2 2 # coding: utf-8
3 3 #
4 4 # Copyright 2005-2007 Olivia Mackall <olivia@selenic.com>
5 5 #
6 6 # This software may be used and distributed according to the terms of the
7 7 # GNU General Public License version 2 or any later version.
8 8
9 9
10 10 import functools
11 11 import os
12 12 import random
13 13 import sys
14 14 import time
15 15 import weakref
16 16
17 17 from concurrent import futures
18 18 from typing import (
19 19 Optional,
20 20 )
21 21
22 22 from .i18n import _
23 23 from .node import (
24 24 bin,
25 25 hex,
26 26 nullrev,
27 27 sha1nodeconstants,
28 28 short,
29 29 )
30 30 from .pycompat import (
31 31 delattr,
32 32 getattr,
33 33 )
34 34 from . import (
35 35 bookmarks,
36 36 branchmap,
37 37 bundle2,
38 38 bundlecaches,
39 39 changegroup,
40 40 color,
41 41 commit,
42 42 context,
43 43 dirstate,
44 44 dirstateguard,
45 45 discovery,
46 46 encoding,
47 47 error,
48 48 exchange,
49 49 extensions,
50 50 filelog,
51 51 hook,
52 52 lock as lockmod,
53 53 match as matchmod,
54 54 mergestate as mergestatemod,
55 55 mergeutil,
56 56 namespaces,
57 57 narrowspec,
58 58 obsolete,
59 59 pathutil,
60 60 phases,
61 61 pushkey,
62 62 pycompat,
63 63 rcutil,
64 64 repoview,
65 65 requirements as requirementsmod,
66 66 revlog,
67 67 revset,
68 68 revsetlang,
69 69 scmutil,
70 70 sparse,
71 71 store as storemod,
72 72 subrepoutil,
73 73 tags as tagsmod,
74 74 transaction,
75 75 txnutil,
76 76 util,
77 77 vfs as vfsmod,
78 78 wireprototypes,
79 79 )
80 80
81 81 from .interfaces import (
82 82 repository,
83 83 util as interfaceutil,
84 84 )
85 85
86 86 from .utils import (
87 87 hashutil,
88 88 procutil,
89 89 stringutil,
90 90 urlutil,
91 91 )
92 92
93 93 from .revlogutils import (
94 94 concurrency_checker as revlogchecker,
95 95 constants as revlogconst,
96 96 sidedata as sidedatamod,
97 97 )
98 98
99 99 release = lockmod.release
100 100 urlerr = util.urlerr
101 101 urlreq = util.urlreq
102 102
103 103 # set of (path, vfs-location) tuples. vfs-location is:
104 104 # - 'plain for vfs relative paths
105 105 # - '' for svfs relative paths
106 106 _cachedfiles = set()
107 107
108 108
109 109 class _basefilecache(scmutil.filecache):
110 110 """All filecache usage on repo are done for logic that should be unfiltered"""
111 111
112 112 def __get__(self, repo, type=None):
113 113 if repo is None:
114 114 return self
115 115 # proxy to unfiltered __dict__ since filtered repo has no entry
116 116 unfi = repo.unfiltered()
117 117 try:
118 118 return unfi.__dict__[self.sname]
119 119 except KeyError:
120 120 pass
121 121 return super(_basefilecache, self).__get__(unfi, type)
122 122
123 123 def set(self, repo, value):
124 124 return super(_basefilecache, self).set(repo.unfiltered(), value)
125 125
126 126
127 127 class repofilecache(_basefilecache):
128 128 """filecache for files in .hg but outside of .hg/store"""
129 129
130 130 def __init__(self, *paths):
131 131 super(repofilecache, self).__init__(*paths)
132 132 for path in paths:
133 133 _cachedfiles.add((path, b'plain'))
134 134
135 135 def join(self, obj, fname):
136 136 return obj.vfs.join(fname)
137 137
138 138
139 139 class storecache(_basefilecache):
140 140 """filecache for files in the store"""
141 141
142 142 def __init__(self, *paths):
143 143 super(storecache, self).__init__(*paths)
144 144 for path in paths:
145 145 _cachedfiles.add((path, b''))
146 146
147 147 def join(self, obj, fname):
148 148 return obj.sjoin(fname)
149 149
150 150
151 151 class changelogcache(storecache):
152 152 """filecache for the changelog"""
153 153
154 154 def __init__(self):
155 155 super(changelogcache, self).__init__()
156 156 _cachedfiles.add((b'00changelog.i', b''))
157 157 _cachedfiles.add((b'00changelog.n', b''))
158 158
159 159 def tracked_paths(self, obj):
160 160 paths = [self.join(obj, b'00changelog.i')]
161 161 if obj.store.opener.options.get(b'persistent-nodemap', False):
162 162 paths.append(self.join(obj, b'00changelog.n'))
163 163 return paths
164 164
165 165
166 166 class manifestlogcache(storecache):
167 167 """filecache for the manifestlog"""
168 168
169 169 def __init__(self):
170 170 super(manifestlogcache, self).__init__()
171 171 _cachedfiles.add((b'00manifest.i', b''))
172 172 _cachedfiles.add((b'00manifest.n', b''))
173 173
174 174 def tracked_paths(self, obj):
175 175 paths = [self.join(obj, b'00manifest.i')]
176 176 if obj.store.opener.options.get(b'persistent-nodemap', False):
177 177 paths.append(self.join(obj, b'00manifest.n'))
178 178 return paths
179 179
180 180
181 181 class mixedrepostorecache(_basefilecache):
182 182 """filecache for a mix files in .hg/store and outside"""
183 183
184 184 def __init__(self, *pathsandlocations):
185 185 # scmutil.filecache only uses the path for passing back into our
186 186 # join(), so we can safely pass a list of paths and locations
187 187 super(mixedrepostorecache, self).__init__(*pathsandlocations)
188 188 _cachedfiles.update(pathsandlocations)
189 189
190 190 def join(self, obj, fnameandlocation):
191 191 fname, location = fnameandlocation
192 192 if location == b'plain':
193 193 return obj.vfs.join(fname)
194 194 else:
195 195 if location != b'':
196 196 raise error.ProgrammingError(
197 197 b'unexpected location: %s' % location
198 198 )
199 199 return obj.sjoin(fname)
200 200
201 201
202 202 def isfilecached(repo, name):
203 203 """check if a repo has already cached "name" filecache-ed property
204 204
205 205 This returns (cachedobj-or-None, iscached) tuple.
206 206 """
207 207 cacheentry = repo.unfiltered()._filecache.get(name, None)
208 208 if not cacheentry:
209 209 return None, False
210 210 return cacheentry.obj, True
211 211
212 212
213 213 class unfilteredpropertycache(util.propertycache):
214 214 """propertycache that apply to unfiltered repo only"""
215 215
216 216 def __get__(self, repo, type=None):
217 217 unfi = repo.unfiltered()
218 218 if unfi is repo:
219 219 return super(unfilteredpropertycache, self).__get__(unfi)
220 220 return getattr(unfi, self.name)
221 221
222 222
223 223 class filteredpropertycache(util.propertycache):
224 224 """propertycache that must take filtering in account"""
225 225
226 226 def cachevalue(self, obj, value):
227 227 object.__setattr__(obj, self.name, value)
228 228
229 229
230 230 def hasunfilteredcache(repo, name):
231 231 """check if a repo has an unfilteredpropertycache value for <name>"""
232 232 return name in vars(repo.unfiltered())
233 233
234 234
235 235 def unfilteredmethod(orig):
236 236 """decorate method that always need to be run on unfiltered version"""
237 237
238 238 @functools.wraps(orig)
239 239 def wrapper(repo, *args, **kwargs):
240 240 return orig(repo.unfiltered(), *args, **kwargs)
241 241
242 242 return wrapper
243 243
244 244
245 245 moderncaps = {
246 246 b'lookup',
247 247 b'branchmap',
248 248 b'pushkey',
249 249 b'known',
250 250 b'getbundle',
251 251 b'unbundle',
252 252 }
253 253 legacycaps = moderncaps.union({b'changegroupsubset'})
254 254
255 255
256 256 @interfaceutil.implementer(repository.ipeercommandexecutor)
257 257 class localcommandexecutor:
258 258 def __init__(self, peer):
259 259 self._peer = peer
260 260 self._sent = False
261 261 self._closed = False
262 262
263 263 def __enter__(self):
264 264 return self
265 265
266 266 def __exit__(self, exctype, excvalue, exctb):
267 267 self.close()
268 268
269 269 def callcommand(self, command, args):
270 270 if self._sent:
271 271 raise error.ProgrammingError(
272 272 b'callcommand() cannot be used after sendcommands()'
273 273 )
274 274
275 275 if self._closed:
276 276 raise error.ProgrammingError(
277 277 b'callcommand() cannot be used after close()'
278 278 )
279 279
280 280 # We don't need to support anything fancy. Just call the named
281 281 # method on the peer and return a resolved future.
282 282 fn = getattr(self._peer, pycompat.sysstr(command))
283 283
284 284 f = futures.Future()
285 285
286 286 try:
287 287 result = fn(**pycompat.strkwargs(args))
288 288 except Exception:
289 289 pycompat.future_set_exception_info(f, sys.exc_info()[1:])
290 290 else:
291 291 f.set_result(result)
292 292
293 293 return f
294 294
295 295 def sendcommands(self):
296 296 self._sent = True
297 297
298 298 def close(self):
299 299 self._closed = True
300 300
301 301
302 302 @interfaceutil.implementer(repository.ipeercommands)
303 303 class localpeer(repository.peer):
304 304 '''peer for a local repo; reflects only the most recent API'''
305 305
306 306 def __init__(self, repo, caps=None, path=None):
307 307 super(localpeer, self).__init__(repo.ui, path=path)
308 308
309 309 if caps is None:
310 310 caps = moderncaps.copy()
311 311 self._repo = repo.filtered(b'served')
312 312
313 313 if repo._wanted_sidedata:
314 314 formatted = bundle2.format_remote_wanted_sidedata(repo)
315 315 caps.add(b'exp-wanted-sidedata=' + formatted)
316 316
317 317 self._caps = repo._restrictcapabilities(caps)
318 318
319 319 # Begin of _basepeer interface.
320 320
321 321 def url(self):
322 322 return self._repo.url()
323 323
324 324 def local(self):
325 325 return self._repo
326 326
327 327 def canpush(self):
328 328 return True
329 329
330 330 def close(self):
331 331 self._repo.close()
332 332
333 333 # End of _basepeer interface.
334 334
335 335 # Begin of _basewirecommands interface.
336 336
337 337 def branchmap(self):
338 338 return self._repo.branchmap()
339 339
340 340 def capabilities(self):
341 341 return self._caps
342 342
343 343 def clonebundles(self):
344 344 return self._repo.tryread(bundlecaches.CB_MANIFEST_FILE)
345 345
346 346 def debugwireargs(self, one, two, three=None, four=None, five=None):
347 347 """Used to test argument passing over the wire"""
348 348 return b"%s %s %s %s %s" % (
349 349 one,
350 350 two,
351 351 pycompat.bytestr(three),
352 352 pycompat.bytestr(four),
353 353 pycompat.bytestr(five),
354 354 )
355 355
356 356 def getbundle(
357 357 self,
358 358 source,
359 359 heads=None,
360 360 common=None,
361 361 bundlecaps=None,
362 362 remote_sidedata=None,
363 363 **kwargs
364 364 ):
365 365 chunks = exchange.getbundlechunks(
366 366 self._repo,
367 367 source,
368 368 heads=heads,
369 369 common=common,
370 370 bundlecaps=bundlecaps,
371 371 remote_sidedata=remote_sidedata,
372 372 **kwargs
373 373 )[1]
374 374 cb = util.chunkbuffer(chunks)
375 375
376 376 if exchange.bundle2requested(bundlecaps):
377 377 # When requesting a bundle2, getbundle returns a stream to make the
378 378 # wire level function happier. We need to build a proper object
379 379 # from it in local peer.
380 380 return bundle2.getunbundler(self.ui, cb)
381 381 else:
382 382 return changegroup.getunbundler(b'01', cb, None)
383 383
384 384 def heads(self):
385 385 return self._repo.heads()
386 386
387 387 def known(self, nodes):
388 388 return self._repo.known(nodes)
389 389
390 390 def listkeys(self, namespace):
391 391 return self._repo.listkeys(namespace)
392 392
393 393 def lookup(self, key):
394 394 return self._repo.lookup(key)
395 395
396 396 def pushkey(self, namespace, key, old, new):
397 397 return self._repo.pushkey(namespace, key, old, new)
398 398
399 399 def stream_out(self):
400 400 raise error.Abort(_(b'cannot perform stream clone against local peer'))
401 401
402 402 def unbundle(self, bundle, heads, url):
403 403 """apply a bundle on a repo
404 404
405 405 This function handles the repo locking itself."""
406 406 try:
407 407 try:
408 408 bundle = exchange.readbundle(self.ui, bundle, None)
409 409 ret = exchange.unbundle(self._repo, bundle, heads, b'push', url)
410 410 if util.safehasattr(ret, b'getchunks'):
411 411 # This is a bundle20 object, turn it into an unbundler.
412 412 # This little dance should be dropped eventually when the
413 413 # API is finally improved.
414 414 stream = util.chunkbuffer(ret.getchunks())
415 415 ret = bundle2.getunbundler(self.ui, stream)
416 416 return ret
417 417 except Exception as exc:
418 418 # If the exception contains output salvaged from a bundle2
419 419 # reply, we need to make sure it is printed before continuing
420 420 # to fail. So we build a bundle2 with such output and consume
421 421 # it directly.
422 422 #
423 423 # This is not very elegant but allows a "simple" solution for
424 424 # issue4594
425 425 output = getattr(exc, '_bundle2salvagedoutput', ())
426 426 if output:
427 427 bundler = bundle2.bundle20(self._repo.ui)
428 428 for out in output:
429 429 bundler.addpart(out)
430 430 stream = util.chunkbuffer(bundler.getchunks())
431 431 b = bundle2.getunbundler(self.ui, stream)
432 432 bundle2.processbundle(self._repo, b)
433 433 raise
434 434 except error.PushRaced as exc:
435 435 raise error.ResponseError(
436 436 _(b'push failed:'), stringutil.forcebytestr(exc)
437 437 )
438 438
439 439 # End of _basewirecommands interface.
440 440
441 441 # Begin of peer interface.
442 442
443 443 def commandexecutor(self):
444 444 return localcommandexecutor(self)
445 445
446 446 # End of peer interface.
447 447
448 448
449 449 @interfaceutil.implementer(repository.ipeerlegacycommands)
450 450 class locallegacypeer(localpeer):
451 451 """peer extension which implements legacy methods too; used for tests with
452 452 restricted capabilities"""
453 453
454 454 def __init__(self, repo, path=None):
455 455 super(locallegacypeer, self).__init__(repo, caps=legacycaps, path=path)
456 456
457 457 # Begin of baselegacywirecommands interface.
458 458
459 459 def between(self, pairs):
460 460 return self._repo.between(pairs)
461 461
462 462 def branches(self, nodes):
463 463 return self._repo.branches(nodes)
464 464
465 465 def changegroup(self, nodes, source):
466 466 outgoing = discovery.outgoing(
467 467 self._repo, missingroots=nodes, ancestorsof=self._repo.heads()
468 468 )
469 469 return changegroup.makechangegroup(self._repo, outgoing, b'01', source)
470 470
471 471 def changegroupsubset(self, bases, heads, source):
472 472 outgoing = discovery.outgoing(
473 473 self._repo, missingroots=bases, ancestorsof=heads
474 474 )
475 475 return changegroup.makechangegroup(self._repo, outgoing, b'01', source)
476 476
477 477 # End of baselegacywirecommands interface.
478 478
479 479
480 480 # Functions receiving (ui, features) that extensions can register to impact
481 481 # the ability to load repositories with custom requirements. Only
482 482 # functions defined in loaded extensions are called.
483 483 #
484 484 # The function receives a set of requirement strings that the repository
485 485 # is capable of opening. Functions will typically add elements to the
486 486 # set to reflect that the extension knows how to handle that requirements.
487 487 featuresetupfuncs = set()
488 488
489 489
490 490 def _getsharedvfs(hgvfs, requirements):
491 491 """returns the vfs object pointing to root of shared source
492 492 repo for a shared repository
493 493
494 494 hgvfs is vfs pointing at .hg/ of current repo (shared one)
495 495 requirements is a set of requirements of current repo (shared one)
496 496 """
497 497 # The ``shared`` or ``relshared`` requirements indicate the
498 498 # store lives in the path contained in the ``.hg/sharedpath`` file.
499 499 # This is an absolute path for ``shared`` and relative to
500 500 # ``.hg/`` for ``relshared``.
501 501 sharedpath = hgvfs.read(b'sharedpath').rstrip(b'\n')
502 502 if requirementsmod.RELATIVE_SHARED_REQUIREMENT in requirements:
503 503 sharedpath = util.normpath(hgvfs.join(sharedpath))
504 504
505 505 sharedvfs = vfsmod.vfs(sharedpath, realpath=True)
506 506
507 507 if not sharedvfs.exists():
508 508 raise error.RepoError(
509 509 _(b'.hg/sharedpath points to nonexistent directory %s')
510 510 % sharedvfs.base
511 511 )
512 512 return sharedvfs
513 513
514 514
515 515 def _readrequires(vfs, allowmissing):
516 516 """reads the require file present at root of this vfs
517 517 and return a set of requirements
518 518
519 519 If allowmissing is True, we suppress FileNotFoundError if raised"""
520 520 # requires file contains a newline-delimited list of
521 521 # features/capabilities the opener (us) must have in order to use
522 522 # the repository. This file was introduced in Mercurial 0.9.2,
523 523 # which means very old repositories may not have one. We assume
524 524 # a missing file translates to no requirements.
525 525 read = vfs.tryread if allowmissing else vfs.read
526 526 return set(read(b'requires').splitlines())
527 527
528 528
529 529 def makelocalrepository(baseui, path: bytes, intents=None):
530 530 """Create a local repository object.
531 531
532 532 Given arguments needed to construct a local repository, this function
533 533 performs various early repository loading functionality (such as
534 534 reading the ``.hg/requires`` and ``.hg/hgrc`` files), validates that
535 535 the repository can be opened, derives a type suitable for representing
536 536 that repository, and returns an instance of it.
537 537
538 538 The returned object conforms to the ``repository.completelocalrepository``
539 539 interface.
540 540
541 541 The repository type is derived by calling a series of factory functions
542 542 for each aspect/interface of the final repository. These are defined by
543 543 ``REPO_INTERFACES``.
544 544
545 545 Each factory function is called to produce a type implementing a specific
546 546 interface. The cumulative list of returned types will be combined into a
547 547 new type and that type will be instantiated to represent the local
548 548 repository.
549 549
550 550 The factory functions each receive various state that may be consulted
551 551 as part of deriving a type.
552 552
553 553 Extensions should wrap these factory functions to customize repository type
554 554 creation. Note that an extension's wrapped function may be called even if
555 555 that extension is not loaded for the repo being constructed. Extensions
556 556 should check if their ``__name__`` appears in the
557 557 ``extensionmodulenames`` set passed to the factory function and no-op if
558 558 not.
559 559 """
560 560 ui = baseui.copy()
561 561 # Prevent copying repo configuration.
562 562 ui.copy = baseui.copy
563 563
564 564 # Working directory VFS rooted at repository root.
565 565 wdirvfs = vfsmod.vfs(path, expandpath=True, realpath=True)
566 566
567 567 # Main VFS for .hg/ directory.
568 568 hgpath = wdirvfs.join(b'.hg')
569 569 hgvfs = vfsmod.vfs(hgpath, cacheaudited=True)
570 570 # Whether this repository is shared one or not
571 571 shared = False
572 572 # If this repository is shared, vfs pointing to shared repo
573 573 sharedvfs = None
574 574
575 575 # The .hg/ path should exist and should be a directory. All other
576 576 # cases are errors.
577 577 if not hgvfs.isdir():
578 578 try:
579 579 hgvfs.stat()
580 580 except FileNotFoundError:
581 581 pass
582 582 except ValueError as e:
583 583 # Can be raised on Python 3.8 when path is invalid.
584 584 raise error.Abort(
585 585 _(b'invalid path %s: %s') % (path, stringutil.forcebytestr(e))
586 586 )
587 587
588 588 raise error.RepoError(_(b'repository %s not found') % path)
589 589
590 590 requirements = _readrequires(hgvfs, True)
591 591 shared = (
592 592 requirementsmod.SHARED_REQUIREMENT in requirements
593 593 or requirementsmod.RELATIVE_SHARED_REQUIREMENT in requirements
594 594 )
595 595 storevfs = None
596 596 if shared:
597 597 # This is a shared repo
598 598 sharedvfs = _getsharedvfs(hgvfs, requirements)
599 599 storevfs = vfsmod.vfs(sharedvfs.join(b'store'))
600 600 else:
601 601 storevfs = vfsmod.vfs(hgvfs.join(b'store'))
602 602
603 603 # if .hg/requires contains the sharesafe requirement, it means
604 604 # there exists a `.hg/store/requires` too and we should read it
605 605 # NOTE: presence of SHARESAFE_REQUIREMENT imply that store requirement
606 606 # is present. We never write SHARESAFE_REQUIREMENT for a repo if store
607 607 # is not present, refer checkrequirementscompat() for that
608 608 #
609 609 # However, if SHARESAFE_REQUIREMENT is not present, it means that the
610 610 # repository was shared the old way. We check the share source .hg/requires
611 611 # for SHARESAFE_REQUIREMENT to detect whether the current repository needs
612 612 # to be reshared
613 613 hint = _(b"see `hg help config.format.use-share-safe` for more information")
614 614 if requirementsmod.SHARESAFE_REQUIREMENT in requirements:
615 615 if (
616 616 shared
617 617 and requirementsmod.SHARESAFE_REQUIREMENT
618 618 not in _readrequires(sharedvfs, True)
619 619 ):
620 620 mismatch_warn = ui.configbool(
621 621 b'share', b'safe-mismatch.source-not-safe.warn'
622 622 )
623 623 mismatch_config = ui.config(
624 624 b'share', b'safe-mismatch.source-not-safe'
625 625 )
626 626 mismatch_verbose_upgrade = ui.configbool(
627 627 b'share', b'safe-mismatch.source-not-safe:verbose-upgrade'
628 628 )
629 629 if mismatch_config in (
630 630 b'downgrade-allow',
631 631 b'allow',
632 632 b'downgrade-abort',
633 633 ):
634 634 # prevent cyclic import localrepo -> upgrade -> localrepo
635 635 from . import upgrade
636 636
637 637 upgrade.downgrade_share_to_non_safe(
638 638 ui,
639 639 hgvfs,
640 640 sharedvfs,
641 641 requirements,
642 642 mismatch_config,
643 643 mismatch_warn,
644 644 mismatch_verbose_upgrade,
645 645 )
646 646 elif mismatch_config == b'abort':
647 647 raise error.Abort(
648 648 _(b"share source does not support share-safe requirement"),
649 649 hint=hint,
650 650 )
651 651 else:
652 652 raise error.Abort(
653 653 _(
654 654 b"share-safe mismatch with source.\nUnrecognized"
655 655 b" value '%s' of `share.safe-mismatch.source-not-safe`"
656 656 b" set."
657 657 )
658 658 % mismatch_config,
659 659 hint=hint,
660 660 )
661 661 else:
662 662 requirements |= _readrequires(storevfs, False)
663 663 elif shared:
664 664 sourcerequires = _readrequires(sharedvfs, False)
665 665 if requirementsmod.SHARESAFE_REQUIREMENT in sourcerequires:
666 666 mismatch_config = ui.config(b'share', b'safe-mismatch.source-safe')
667 667 mismatch_warn = ui.configbool(
668 668 b'share', b'safe-mismatch.source-safe.warn'
669 669 )
670 670 mismatch_verbose_upgrade = ui.configbool(
671 671 b'share', b'safe-mismatch.source-safe:verbose-upgrade'
672 672 )
673 673 if mismatch_config in (
674 674 b'upgrade-allow',
675 675 b'allow',
676 676 b'upgrade-abort',
677 677 ):
678 678 # prevent cyclic import localrepo -> upgrade -> localrepo
679 679 from . import upgrade
680 680
681 681 upgrade.upgrade_share_to_safe(
682 682 ui,
683 683 hgvfs,
684 684 storevfs,
685 685 requirements,
686 686 mismatch_config,
687 687 mismatch_warn,
688 688 mismatch_verbose_upgrade,
689 689 )
690 690 elif mismatch_config == b'abort':
691 691 raise error.Abort(
692 692 _(
693 693 b'version mismatch: source uses share-safe'
694 694 b' functionality while the current share does not'
695 695 ),
696 696 hint=hint,
697 697 )
698 698 else:
699 699 raise error.Abort(
700 700 _(
701 701 b"share-safe mismatch with source.\nUnrecognized"
702 702 b" value '%s' of `share.safe-mismatch.source-safe` set."
703 703 )
704 704 % mismatch_config,
705 705 hint=hint,
706 706 )
707 707
708 708 # The .hg/hgrc file may load extensions or contain config options
709 709 # that influence repository construction. Attempt to load it and
710 710 # process any new extensions that it may have pulled in.
711 711 if loadhgrc(ui, wdirvfs, hgvfs, requirements, sharedvfs):
712 712 afterhgrcload(ui, wdirvfs, hgvfs, requirements)
713 713 extensions.loadall(ui)
714 714 extensions.populateui(ui)
715 715
716 716 # Set of module names of extensions loaded for this repository.
717 717 extensionmodulenames = {m.__name__ for n, m in extensions.extensions(ui)}
718 718
719 719 supportedrequirements = gathersupportedrequirements(ui)
720 720
721 721 # We first validate the requirements are known.
722 722 ensurerequirementsrecognized(requirements, supportedrequirements)
723 723
724 724 # Then we validate that the known set is reasonable to use together.
725 725 ensurerequirementscompatible(ui, requirements)
726 726
727 727 # TODO there are unhandled edge cases related to opening repositories with
728 728 # shared storage. If storage is shared, we should also test for requirements
729 729 # compatibility in the pointed-to repo. This entails loading the .hg/hgrc in
730 730 # that repo, as that repo may load extensions needed to open it. This is a
731 731 # bit complicated because we don't want the other hgrc to overwrite settings
732 732 # in this hgrc.
733 733 #
734 734 # This bug is somewhat mitigated by the fact that we copy the .hg/requires
735 735 # file when sharing repos. But if a requirement is added after the share is
736 736 # performed, thereby introducing a new requirement for the opener, we may
737 737 # will not see that and could encounter a run-time error interacting with
738 738 # that shared store since it has an unknown-to-us requirement.
739 739
740 740 # At this point, we know we should be capable of opening the repository.
741 741 # Now get on with doing that.
742 742
743 743 features = set()
744 744
745 745 # The "store" part of the repository holds versioned data. How it is
746 746 # accessed is determined by various requirements. If `shared` or
747 747 # `relshared` requirements are present, this indicates current repository
748 748 # is a share and store exists in path mentioned in `.hg/sharedpath`
749 749 if shared:
750 750 storebasepath = sharedvfs.base
751 751 cachepath = sharedvfs.join(b'cache')
752 752 features.add(repository.REPO_FEATURE_SHARED_STORAGE)
753 753 else:
754 754 storebasepath = hgvfs.base
755 755 cachepath = hgvfs.join(b'cache')
756 756 wcachepath = hgvfs.join(b'wcache')
757 757
758 758 # The store has changed over time and the exact layout is dictated by
759 759 # requirements. The store interface abstracts differences across all
760 760 # of them.
761 761 store = makestore(
762 762 requirements,
763 763 storebasepath,
764 764 lambda base: vfsmod.vfs(base, cacheaudited=True),
765 765 )
766 766 hgvfs.createmode = store.createmode
767 767
768 768 storevfs = store.vfs
769 769 storevfs.options = resolvestorevfsoptions(ui, requirements, features)
770 770
771 771 if (
772 772 requirementsmod.REVLOGV2_REQUIREMENT in requirements
773 773 or requirementsmod.CHANGELOGV2_REQUIREMENT in requirements
774 774 ):
775 775 features.add(repository.REPO_FEATURE_SIDE_DATA)
776 776 # the revlogv2 docket introduced race condition that we need to fix
777 777 features.discard(repository.REPO_FEATURE_STREAM_CLONE)
778 778
779 779 # The cache vfs is used to manage cache files.
780 780 cachevfs = vfsmod.vfs(cachepath, cacheaudited=True)
781 781 cachevfs.createmode = store.createmode
782 782 # The cache vfs is used to manage cache files related to the working copy
783 783 wcachevfs = vfsmod.vfs(wcachepath, cacheaudited=True)
784 784 wcachevfs.createmode = store.createmode
785 785
786 786 # Now resolve the type for the repository object. We do this by repeatedly
787 787 # calling a factory function to produces types for specific aspects of the
788 788 # repo's operation. The aggregate returned types are used as base classes
789 789 # for a dynamically-derived type, which will represent our new repository.
790 790
791 791 bases = []
792 792 extrastate = {}
793 793
794 794 for iface, fn in REPO_INTERFACES:
795 795 # We pass all potentially useful state to give extensions tons of
796 796 # flexibility.
797 797 typ = fn()(
798 798 ui=ui,
799 799 intents=intents,
800 800 requirements=requirements,
801 801 features=features,
802 802 wdirvfs=wdirvfs,
803 803 hgvfs=hgvfs,
804 804 store=store,
805 805 storevfs=storevfs,
806 806 storeoptions=storevfs.options,
807 807 cachevfs=cachevfs,
808 808 wcachevfs=wcachevfs,
809 809 extensionmodulenames=extensionmodulenames,
810 810 extrastate=extrastate,
811 811 baseclasses=bases,
812 812 )
813 813
814 814 if not isinstance(typ, type):
815 815 raise error.ProgrammingError(
816 816 b'unable to construct type for %s' % iface
817 817 )
818 818
819 819 bases.append(typ)
820 820
821 821 # type() allows you to use characters in type names that wouldn't be
822 822 # recognized as Python symbols in source code. We abuse that to add
823 823 # rich information about our constructed repo.
824 824 name = pycompat.sysstr(
825 825 b'derivedrepo:%s<%s>' % (wdirvfs.base, b','.join(sorted(requirements)))
826 826 )
827 827
828 828 cls = type(name, tuple(bases), {})
829 829
830 830 return cls(
831 831 baseui=baseui,
832 832 ui=ui,
833 833 origroot=path,
834 834 wdirvfs=wdirvfs,
835 835 hgvfs=hgvfs,
836 836 requirements=requirements,
837 837 supportedrequirements=supportedrequirements,
838 838 sharedpath=storebasepath,
839 839 store=store,
840 840 cachevfs=cachevfs,
841 841 wcachevfs=wcachevfs,
842 842 features=features,
843 843 intents=intents,
844 844 )
845 845
846 846
847 847 def loadhgrc(
848 848 ui,
849 849 wdirvfs: vfsmod.vfs,
850 850 hgvfs: vfsmod.vfs,
851 851 requirements,
852 852 sharedvfs: Optional[vfsmod.vfs] = None,
853 853 ):
854 854 """Load hgrc files/content into a ui instance.
855 855
856 856 This is called during repository opening to load any additional
857 857 config files or settings relevant to the current repository.
858 858
859 859 Returns a bool indicating whether any additional configs were loaded.
860 860
861 861 Extensions should monkeypatch this function to modify how per-repo
862 862 configs are loaded. For example, an extension may wish to pull in
863 863 configs from alternate files or sources.
864 864
865 865 sharedvfs is vfs object pointing to source repo if the current one is a
866 866 shared one
867 867 """
868 868 if not rcutil.use_repo_hgrc():
869 869 return False
870 870
871 871 ret = False
872 872 # first load config from shared source if we has to
873 873 if requirementsmod.SHARESAFE_REQUIREMENT in requirements and sharedvfs:
874 874 try:
875 875 ui.readconfig(sharedvfs.join(b'hgrc'), root=sharedvfs.base)
876 876 ret = True
877 877 except IOError:
878 878 pass
879 879
880 880 try:
881 881 ui.readconfig(hgvfs.join(b'hgrc'), root=wdirvfs.base)
882 882 ret = True
883 883 except IOError:
884 884 pass
885 885
886 886 try:
887 887 ui.readconfig(hgvfs.join(b'hgrc-not-shared'), root=wdirvfs.base)
888 888 ret = True
889 889 except IOError:
890 890 pass
891 891
892 892 return ret
893 893
894 894
895 895 def afterhgrcload(ui, wdirvfs, hgvfs, requirements):
896 896 """Perform additional actions after .hg/hgrc is loaded.
897 897
898 898 This function is called during repository loading immediately after
899 899 the .hg/hgrc file is loaded and before per-repo extensions are loaded.
900 900
901 901 The function can be used to validate configs, automatically add
902 902 options (including extensions) based on requirements, etc.
903 903 """
904 904
905 905 # Map of requirements to list of extensions to load automatically when
906 906 # requirement is present.
907 907 autoextensions = {
908 908 b'git': [b'git'],
909 909 b'largefiles': [b'largefiles'],
910 910 b'lfs': [b'lfs'],
911 911 }
912 912
913 913 for requirement, names in sorted(autoextensions.items()):
914 914 if requirement not in requirements:
915 915 continue
916 916
917 917 for name in names:
918 918 if not ui.hasconfig(b'extensions', name):
919 919 ui.setconfig(b'extensions', name, b'', source=b'autoload')
920 920
921 921
922 922 def gathersupportedrequirements(ui):
923 923 """Determine the complete set of recognized requirements."""
924 924 # Start with all requirements supported by this file.
925 925 supported = set(localrepository._basesupported)
926 926
927 927 # Execute ``featuresetupfuncs`` entries if they belong to an extension
928 928 # relevant to this ui instance.
929 929 modules = {m.__name__ for n, m in extensions.extensions(ui)}
930 930
931 931 for fn in featuresetupfuncs:
932 932 if fn.__module__ in modules:
933 933 fn(ui, supported)
934 934
935 935 # Add derived requirements from registered compression engines.
936 936 for name in util.compengines:
937 937 engine = util.compengines[name]
938 938 if engine.available() and engine.revlogheader():
939 939 supported.add(b'exp-compression-%s' % name)
940 940 if engine.name() == b'zstd':
941 941 supported.add(requirementsmod.REVLOG_COMPRESSION_ZSTD)
942 942
943 943 return supported
944 944
945 945
946 946 def ensurerequirementsrecognized(requirements, supported):
947 947 """Validate that a set of local requirements is recognized.
948 948
949 949 Receives a set of requirements. Raises an ``error.RepoError`` if there
950 950 exists any requirement in that set that currently loaded code doesn't
951 951 recognize.
952 952
953 953 Returns a set of supported requirements.
954 954 """
955 955 missing = set()
956 956
957 957 for requirement in requirements:
958 958 if requirement in supported:
959 959 continue
960 960
961 961 if not requirement or not requirement[0:1].isalnum():
962 962 raise error.RequirementError(_(b'.hg/requires file is corrupt'))
963 963
964 964 missing.add(requirement)
965 965
966 966 if missing:
967 967 raise error.RequirementError(
968 968 _(b'repository requires features unknown to this Mercurial: %s')
969 969 % b' '.join(sorted(missing)),
970 970 hint=_(
971 971 b'see https://mercurial-scm.org/wiki/MissingRequirement '
972 972 b'for more information'
973 973 ),
974 974 )
975 975
976 976
977 977 def ensurerequirementscompatible(ui, requirements):
978 978 """Validates that a set of recognized requirements is mutually compatible.
979 979
980 980 Some requirements may not be compatible with others or require
981 981 config options that aren't enabled. This function is called during
982 982 repository opening to ensure that the set of requirements needed
983 983 to open a repository is sane and compatible with config options.
984 984
985 985 Extensions can monkeypatch this function to perform additional
986 986 checking.
987 987
988 988 ``error.RepoError`` should be raised on failure.
989 989 """
990 990 if (
991 991 requirementsmod.SPARSE_REQUIREMENT in requirements
992 992 and not sparse.enabled
993 993 ):
994 994 raise error.RepoError(
995 995 _(
996 996 b'repository is using sparse feature but '
997 997 b'sparse is not enabled; enable the '
998 998 b'"sparse" extensions to access'
999 999 )
1000 1000 )
1001 1001
1002 1002
1003 1003 def makestore(requirements, path, vfstype):
1004 1004 """Construct a storage object for a repository."""
1005 1005 if requirementsmod.STORE_REQUIREMENT in requirements:
1006 1006 if requirementsmod.FNCACHE_REQUIREMENT in requirements:
1007 1007 dotencode = requirementsmod.DOTENCODE_REQUIREMENT in requirements
1008 1008 return storemod.fncachestore(path, vfstype, dotencode)
1009 1009
1010 1010 return storemod.encodedstore(path, vfstype)
1011 1011
1012 1012 return storemod.basicstore(path, vfstype)
1013 1013
1014 1014
1015 1015 def resolvestorevfsoptions(ui, requirements, features):
1016 1016 """Resolve the options to pass to the store vfs opener.
1017 1017
1018 1018 The returned dict is used to influence behavior of the storage layer.
1019 1019 """
1020 1020 options = {}
1021 1021
1022 1022 if requirementsmod.TREEMANIFEST_REQUIREMENT in requirements:
1023 1023 options[b'treemanifest'] = True
1024 1024
1025 1025 # experimental config: format.manifestcachesize
1026 1026 manifestcachesize = ui.configint(b'format', b'manifestcachesize')
1027 1027 if manifestcachesize is not None:
1028 1028 options[b'manifestcachesize'] = manifestcachesize
1029 1029
1030 1030 # In the absence of another requirement superseding a revlog-related
1031 1031 # requirement, we have to assume the repo is using revlog version 0.
1032 1032 # This revlog format is super old and we don't bother trying to parse
1033 1033 # opener options for it because those options wouldn't do anything
1034 1034 # meaningful on such old repos.
1035 1035 if (
1036 1036 requirementsmod.REVLOGV1_REQUIREMENT in requirements
1037 1037 or requirementsmod.REVLOGV2_REQUIREMENT in requirements
1038 1038 ):
1039 1039 options.update(resolverevlogstorevfsoptions(ui, requirements, features))
1040 1040 else: # explicitly mark repo as using revlogv0
1041 1041 options[b'revlogv0'] = True
1042 1042
1043 1043 if requirementsmod.COPIESSDC_REQUIREMENT in requirements:
1044 1044 options[b'copies-storage'] = b'changeset-sidedata'
1045 1045 else:
1046 1046 writecopiesto = ui.config(b'experimental', b'copies.write-to')
1047 1047 copiesextramode = (b'changeset-only', b'compatibility')
1048 1048 if writecopiesto in copiesextramode:
1049 1049 options[b'copies-storage'] = b'extra'
1050 1050
1051 1051 return options
1052 1052
1053 1053
1054 1054 def resolverevlogstorevfsoptions(ui, requirements, features):
1055 1055 """Resolve opener options specific to revlogs."""
1056 1056
1057 1057 options = {}
1058 1058 options[b'flagprocessors'] = {}
1059 1059
1060 1060 if requirementsmod.REVLOGV1_REQUIREMENT in requirements:
1061 1061 options[b'revlogv1'] = True
1062 1062 if requirementsmod.REVLOGV2_REQUIREMENT in requirements:
1063 1063 options[b'revlogv2'] = True
1064 1064 if requirementsmod.CHANGELOGV2_REQUIREMENT in requirements:
1065 1065 options[b'changelogv2'] = True
1066 1066 cmp_rank = ui.configbool(b'experimental', b'changelog-v2.compute-rank')
1067 1067 options[b'changelogv2.compute-rank'] = cmp_rank
1068 1068
1069 1069 if requirementsmod.GENERALDELTA_REQUIREMENT in requirements:
1070 1070 options[b'generaldelta'] = True
1071 1071
1072 1072 # experimental config: format.chunkcachesize
1073 1073 chunkcachesize = ui.configint(b'format', b'chunkcachesize')
1074 1074 if chunkcachesize is not None:
1075 1075 options[b'chunkcachesize'] = chunkcachesize
1076 1076
1077 1077 deltabothparents = ui.configbool(
1078 1078 b'storage', b'revlog.optimize-delta-parent-choice'
1079 1079 )
1080 1080 options[b'deltabothparents'] = deltabothparents
1081 1081 dps_cgds = ui.configint(
1082 1082 b'storage',
1083 1083 b'revlog.delta-parent-search.candidate-group-chunk-size',
1084 1084 )
1085 1085 options[b'delta-parent-search.candidate-group-chunk-size'] = dps_cgds
1086 1086 options[b'debug-delta'] = ui.configbool(b'debug', b'revlog.debug-delta')
1087 1087
1088 1088 issue6528 = ui.configbool(b'storage', b'revlog.issue6528.fix-incoming')
1089 1089 options[b'issue6528.fix-incoming'] = issue6528
1090 1090
1091 1091 lazydelta = ui.configbool(b'storage', b'revlog.reuse-external-delta')
1092 1092 lazydeltabase = False
1093 1093 if lazydelta:
1094 1094 lazydeltabase = ui.configbool(
1095 1095 b'storage', b'revlog.reuse-external-delta-parent'
1096 1096 )
1097 1097 if lazydeltabase is None:
1098 1098 lazydeltabase = not scmutil.gddeltaconfig(ui)
1099 1099 options[b'lazydelta'] = lazydelta
1100 1100 options[b'lazydeltabase'] = lazydeltabase
1101 1101
1102 1102 chainspan = ui.configbytes(b'experimental', b'maxdeltachainspan')
1103 1103 if 0 <= chainspan:
1104 1104 options[b'maxdeltachainspan'] = chainspan
1105 1105
1106 1106 mmapindexthreshold = ui.configbytes(b'experimental', b'mmapindexthreshold')
1107 1107 if mmapindexthreshold is not None:
1108 1108 options[b'mmapindexthreshold'] = mmapindexthreshold
1109 1109
1110 1110 withsparseread = ui.configbool(b'experimental', b'sparse-read')
1111 1111 srdensitythres = float(
1112 1112 ui.config(b'experimental', b'sparse-read.density-threshold')
1113 1113 )
1114 1114 srmingapsize = ui.configbytes(b'experimental', b'sparse-read.min-gap-size')
1115 1115 options[b'with-sparse-read'] = withsparseread
1116 1116 options[b'sparse-read-density-threshold'] = srdensitythres
1117 1117 options[b'sparse-read-min-gap-size'] = srmingapsize
1118 1118
1119 1119 sparserevlog = requirementsmod.SPARSEREVLOG_REQUIREMENT in requirements
1120 1120 options[b'sparse-revlog'] = sparserevlog
1121 1121 if sparserevlog:
1122 1122 options[b'generaldelta'] = True
1123 1123
1124 1124 maxchainlen = None
1125 1125 if sparserevlog:
1126 1126 maxchainlen = revlogconst.SPARSE_REVLOG_MAX_CHAIN_LENGTH
1127 1127 # experimental config: format.maxchainlen
1128 1128 maxchainlen = ui.configint(b'format', b'maxchainlen', maxchainlen)
1129 1129 if maxchainlen is not None:
1130 1130 options[b'maxchainlen'] = maxchainlen
1131 1131
1132 1132 for r in requirements:
1133 1133 # we allow multiple compression engine requirement to co-exist because
1134 1134 # strickly speaking, revlog seems to support mixed compression style.
1135 1135 #
1136 1136 # The compression used for new entries will be "the last one"
1137 1137 prefix = r.startswith
1138 1138 if prefix(b'revlog-compression-') or prefix(b'exp-compression-'):
1139 1139 options[b'compengine'] = r.split(b'-', 2)[2]
1140 1140
1141 1141 options[b'zlib.level'] = ui.configint(b'storage', b'revlog.zlib.level')
1142 1142 if options[b'zlib.level'] is not None:
1143 1143 if not (0 <= options[b'zlib.level'] <= 9):
1144 1144 msg = _(b'invalid value for `storage.revlog.zlib.level` config: %d')
1145 1145 raise error.Abort(msg % options[b'zlib.level'])
1146 1146 options[b'zstd.level'] = ui.configint(b'storage', b'revlog.zstd.level')
1147 1147 if options[b'zstd.level'] is not None:
1148 1148 if not (0 <= options[b'zstd.level'] <= 22):
1149 1149 msg = _(b'invalid value for `storage.revlog.zstd.level` config: %d')
1150 1150 raise error.Abort(msg % options[b'zstd.level'])
1151 1151
1152 1152 if requirementsmod.NARROW_REQUIREMENT in requirements:
1153 1153 options[b'enableellipsis'] = True
1154 1154
1155 1155 if ui.configbool(b'experimental', b'rust.index'):
1156 1156 options[b'rust.index'] = True
1157 1157 if requirementsmod.NODEMAP_REQUIREMENT in requirements:
1158 1158 slow_path = ui.config(
1159 1159 b'storage', b'revlog.persistent-nodemap.slow-path'
1160 1160 )
1161 1161 if slow_path not in (b'allow', b'warn', b'abort'):
1162 1162 default = ui.config_default(
1163 1163 b'storage', b'revlog.persistent-nodemap.slow-path'
1164 1164 )
1165 1165 msg = _(
1166 1166 b'unknown value for config '
1167 1167 b'"storage.revlog.persistent-nodemap.slow-path": "%s"\n'
1168 1168 )
1169 1169 ui.warn(msg % slow_path)
1170 1170 if not ui.quiet:
1171 1171 ui.warn(_(b'falling back to default value: %s\n') % default)
1172 1172 slow_path = default
1173 1173
1174 1174 msg = _(
1175 1175 b"accessing `persistent-nodemap` repository without associated "
1176 1176 b"fast implementation."
1177 1177 )
1178 1178 hint = _(
1179 1179 b"check `hg help config.format.use-persistent-nodemap` "
1180 1180 b"for details"
1181 1181 )
1182 1182 if not revlog.HAS_FAST_PERSISTENT_NODEMAP:
1183 1183 if slow_path == b'warn':
1184 1184 msg = b"warning: " + msg + b'\n'
1185 1185 ui.warn(msg)
1186 1186 if not ui.quiet:
1187 1187 hint = b'(' + hint + b')\n'
1188 1188 ui.warn(hint)
1189 1189 if slow_path == b'abort':
1190 1190 raise error.Abort(msg, hint=hint)
1191 1191 options[b'persistent-nodemap'] = True
1192 1192 if requirementsmod.DIRSTATE_V2_REQUIREMENT in requirements:
1193 1193 slow_path = ui.config(b'storage', b'dirstate-v2.slow-path')
1194 1194 if slow_path not in (b'allow', b'warn', b'abort'):
1195 1195 default = ui.config_default(b'storage', b'dirstate-v2.slow-path')
1196 1196 msg = _(b'unknown value for config "dirstate-v2.slow-path": "%s"\n')
1197 1197 ui.warn(msg % slow_path)
1198 1198 if not ui.quiet:
1199 1199 ui.warn(_(b'falling back to default value: %s\n') % default)
1200 1200 slow_path = default
1201 1201
1202 1202 msg = _(
1203 1203 b"accessing `dirstate-v2` repository without associated "
1204 1204 b"fast implementation."
1205 1205 )
1206 1206 hint = _(
1207 1207 b"check `hg help config.format.use-dirstate-v2` " b"for details"
1208 1208 )
1209 1209 if not dirstate.HAS_FAST_DIRSTATE_V2:
1210 1210 if slow_path == b'warn':
1211 1211 msg = b"warning: " + msg + b'\n'
1212 1212 ui.warn(msg)
1213 1213 if not ui.quiet:
1214 1214 hint = b'(' + hint + b')\n'
1215 1215 ui.warn(hint)
1216 1216 if slow_path == b'abort':
1217 1217 raise error.Abort(msg, hint=hint)
1218 1218 if ui.configbool(b'storage', b'revlog.persistent-nodemap.mmap'):
1219 1219 options[b'persistent-nodemap.mmap'] = True
1220 1220 if ui.configbool(b'devel', b'persistent-nodemap'):
1221 1221 options[b'devel-force-nodemap'] = True
1222 1222
1223 1223 return options
1224 1224
1225 1225
1226 1226 def makemain(**kwargs):
1227 1227 """Produce a type conforming to ``ilocalrepositorymain``."""
1228 1228 return localrepository
1229 1229
1230 1230
1231 1231 @interfaceutil.implementer(repository.ilocalrepositoryfilestorage)
1232 1232 class revlogfilestorage:
1233 1233 """File storage when using revlogs."""
1234 1234
1235 1235 def file(self, path):
1236 1236 if path.startswith(b'/'):
1237 1237 path = path[1:]
1238 1238
1239 1239 return filelog.filelog(self.svfs, path)
1240 1240
1241 1241
1242 1242 @interfaceutil.implementer(repository.ilocalrepositoryfilestorage)
1243 1243 class revlognarrowfilestorage:
1244 1244 """File storage when using revlogs and narrow files."""
1245 1245
1246 1246 def file(self, path):
1247 1247 if path.startswith(b'/'):
1248 1248 path = path[1:]
1249 1249
1250 1250 return filelog.narrowfilelog(self.svfs, path, self._storenarrowmatch)
1251 1251
1252 1252
1253 1253 def makefilestorage(requirements, features, **kwargs):
1254 1254 """Produce a type conforming to ``ilocalrepositoryfilestorage``."""
1255 1255 features.add(repository.REPO_FEATURE_REVLOG_FILE_STORAGE)
1256 1256 features.add(repository.REPO_FEATURE_STREAM_CLONE)
1257 1257
1258 1258 if requirementsmod.NARROW_REQUIREMENT in requirements:
1259 1259 return revlognarrowfilestorage
1260 1260 else:
1261 1261 return revlogfilestorage
1262 1262
1263 1263
1264 1264 # List of repository interfaces and factory functions for them. Each
1265 1265 # will be called in order during ``makelocalrepository()`` to iteratively
1266 1266 # derive the final type for a local repository instance. We capture the
1267 1267 # function as a lambda so we don't hold a reference and the module-level
1268 1268 # functions can be wrapped.
1269 1269 REPO_INTERFACES = [
1270 1270 (repository.ilocalrepositorymain, lambda: makemain),
1271 1271 (repository.ilocalrepositoryfilestorage, lambda: makefilestorage),
1272 1272 ]
1273 1273
1274 1274
1275 1275 @interfaceutil.implementer(repository.ilocalrepositorymain)
1276 1276 class localrepository:
1277 1277 """Main class for representing local repositories.
1278 1278
1279 1279 All local repositories are instances of this class.
1280 1280
1281 1281 Constructed on its own, instances of this class are not usable as
1282 1282 repository objects. To obtain a usable repository object, call
1283 1283 ``hg.repository()``, ``localrepo.instance()``, or
1284 1284 ``localrepo.makelocalrepository()``. The latter is the lowest-level.
1285 1285 ``instance()`` adds support for creating new repositories.
1286 1286 ``hg.repository()`` adds more extension integration, including calling
1287 1287 ``reposetup()``. Generally speaking, ``hg.repository()`` should be
1288 1288 used.
1289 1289 """
1290 1290
1291 1291 _basesupported = {
1292 1292 requirementsmod.ARCHIVED_PHASE_REQUIREMENT,
1293 1293 requirementsmod.BOOKMARKS_IN_STORE_REQUIREMENT,
1294 1294 requirementsmod.CHANGELOGV2_REQUIREMENT,
1295 1295 requirementsmod.COPIESSDC_REQUIREMENT,
1296 1296 requirementsmod.DIRSTATE_TRACKED_HINT_V1,
1297 1297 requirementsmod.DIRSTATE_V2_REQUIREMENT,
1298 1298 requirementsmod.DOTENCODE_REQUIREMENT,
1299 1299 requirementsmod.FNCACHE_REQUIREMENT,
1300 1300 requirementsmod.GENERALDELTA_REQUIREMENT,
1301 1301 requirementsmod.INTERNAL_PHASE_REQUIREMENT,
1302 1302 requirementsmod.NODEMAP_REQUIREMENT,
1303 1303 requirementsmod.RELATIVE_SHARED_REQUIREMENT,
1304 1304 requirementsmod.REVLOGV1_REQUIREMENT,
1305 1305 requirementsmod.REVLOGV2_REQUIREMENT,
1306 1306 requirementsmod.SHARED_REQUIREMENT,
1307 1307 requirementsmod.SHARESAFE_REQUIREMENT,
1308 1308 requirementsmod.SPARSE_REQUIREMENT,
1309 1309 requirementsmod.SPARSEREVLOG_REQUIREMENT,
1310 1310 requirementsmod.STORE_REQUIREMENT,
1311 1311 requirementsmod.TREEMANIFEST_REQUIREMENT,
1312 1312 }
1313 1313
1314 1314 # list of prefix for file which can be written without 'wlock'
1315 1315 # Extensions should extend this list when needed
1316 1316 _wlockfreeprefix = {
1317 1317 # We migh consider requiring 'wlock' for the next
1318 1318 # two, but pretty much all the existing code assume
1319 1319 # wlock is not needed so we keep them excluded for
1320 1320 # now.
1321 1321 b'hgrc',
1322 1322 b'requires',
1323 1323 # XXX cache is a complicatged business someone
1324 1324 # should investigate this in depth at some point
1325 1325 b'cache/',
1326 1326 # XXX shouldn't be dirstate covered by the wlock?
1327 1327 b'dirstate',
1328 1328 # XXX bisect was still a bit too messy at the time
1329 1329 # this changeset was introduced. Someone should fix
1330 1330 # the remainig bit and drop this line
1331 1331 b'bisect.state',
1332 1332 }
1333 1333
1334 1334 def __init__(
1335 1335 self,
1336 1336 baseui,
1337 1337 ui,
1338 1338 origroot: bytes,
1339 1339 wdirvfs: vfsmod.vfs,
1340 1340 hgvfs: vfsmod.vfs,
1341 1341 requirements,
1342 1342 supportedrequirements,
1343 1343 sharedpath: bytes,
1344 1344 store,
1345 1345 cachevfs: vfsmod.vfs,
1346 1346 wcachevfs: vfsmod.vfs,
1347 1347 features,
1348 1348 intents=None,
1349 1349 ):
1350 1350 """Create a new local repository instance.
1351 1351
1352 1352 Most callers should use ``hg.repository()``, ``localrepo.instance()``,
1353 1353 or ``localrepo.makelocalrepository()`` for obtaining a new repository
1354 1354 object.
1355 1355
1356 1356 Arguments:
1357 1357
1358 1358 baseui
1359 1359 ``ui.ui`` instance that ``ui`` argument was based off of.
1360 1360
1361 1361 ui
1362 1362 ``ui.ui`` instance for use by the repository.
1363 1363
1364 1364 origroot
1365 1365 ``bytes`` path to working directory root of this repository.
1366 1366
1367 1367 wdirvfs
1368 1368 ``vfs.vfs`` rooted at the working directory.
1369 1369
1370 1370 hgvfs
1371 1371 ``vfs.vfs`` rooted at .hg/
1372 1372
1373 1373 requirements
1374 1374 ``set`` of bytestrings representing repository opening requirements.
1375 1375
1376 1376 supportedrequirements
1377 1377 ``set`` of bytestrings representing repository requirements that we
1378 1378 know how to open. May be a supetset of ``requirements``.
1379 1379
1380 1380 sharedpath
1381 1381 ``bytes`` Defining path to storage base directory. Points to a
1382 1382 ``.hg/`` directory somewhere.
1383 1383
1384 1384 store
1385 1385 ``store.basicstore`` (or derived) instance providing access to
1386 1386 versioned storage.
1387 1387
1388 1388 cachevfs
1389 1389 ``vfs.vfs`` used for cache files.
1390 1390
1391 1391 wcachevfs
1392 1392 ``vfs.vfs`` used for cache files related to the working copy.
1393 1393
1394 1394 features
1395 1395 ``set`` of bytestrings defining features/capabilities of this
1396 1396 instance.
1397 1397
1398 1398 intents
1399 1399 ``set`` of system strings indicating what this repo will be used
1400 1400 for.
1401 1401 """
1402 1402 self.baseui = baseui
1403 1403 self.ui = ui
1404 1404 self.origroot = origroot
1405 1405 # vfs rooted at working directory.
1406 1406 self.wvfs = wdirvfs
1407 1407 self.root = wdirvfs.base
1408 1408 # vfs rooted at .hg/. Used to access most non-store paths.
1409 1409 self.vfs = hgvfs
1410 1410 self.path = hgvfs.base
1411 1411 self.requirements = requirements
1412 1412 self.nodeconstants = sha1nodeconstants
1413 1413 self.nullid = self.nodeconstants.nullid
1414 1414 self.supported = supportedrequirements
1415 1415 self.sharedpath = sharedpath
1416 1416 self.store = store
1417 1417 self.cachevfs = cachevfs
1418 1418 self.wcachevfs = wcachevfs
1419 1419 self.features = features
1420 1420
1421 1421 self.filtername = None
1422 1422
1423 1423 if self.ui.configbool(b'devel', b'all-warnings') or self.ui.configbool(
1424 1424 b'devel', b'check-locks'
1425 1425 ):
1426 1426 self.vfs.audit = self._getvfsward(self.vfs.audit)
1427 1427 # A list of callback to shape the phase if no data were found.
1428 1428 # Callback are in the form: func(repo, roots) --> processed root.
1429 1429 # This list it to be filled by extension during repo setup
1430 1430 self._phasedefaults = []
1431 1431
1432 1432 color.setup(self.ui)
1433 1433
1434 1434 self.spath = self.store.path
1435 1435 self.svfs = self.store.vfs
1436 1436 self.sjoin = self.store.join
1437 1437 if self.ui.configbool(b'devel', b'all-warnings') or self.ui.configbool(
1438 1438 b'devel', b'check-locks'
1439 1439 ):
1440 1440 if util.safehasattr(self.svfs, b'vfs'): # this is filtervfs
1441 1441 self.svfs.vfs.audit = self._getsvfsward(self.svfs.vfs.audit)
1442 1442 else: # standard vfs
1443 1443 self.svfs.audit = self._getsvfsward(self.svfs.audit)
1444 1444
1445 1445 self._dirstatevalidatewarned = False
1446 1446
1447 1447 self._branchcaches = branchmap.BranchMapCache()
1448 1448 self._revbranchcache = None
1449 1449 self._filterpats = {}
1450 1450 self._datafilters = {}
1451 1451 self._transref = self._lockref = self._wlockref = None
1452 1452
1453 1453 # A cache for various files under .hg/ that tracks file changes,
1454 1454 # (used by the filecache decorator)
1455 1455 #
1456 1456 # Maps a property name to its util.filecacheentry
1457 1457 self._filecache = {}
1458 1458
1459 1459 # hold sets of revision to be filtered
1460 1460 # should be cleared when something might have changed the filter value:
1461 1461 # - new changesets,
1462 1462 # - phase change,
1463 1463 # - new obsolescence marker,
1464 1464 # - working directory parent change,
1465 1465 # - bookmark changes
1466 1466 self.filteredrevcache = {}
1467 1467
1468 1468 # post-dirstate-status hooks
1469 1469 self._postdsstatus = []
1470 1470
1471 1471 # generic mapping between names and nodes
1472 1472 self.names = namespaces.namespaces()
1473 1473
1474 1474 # Key to signature value.
1475 1475 self._sparsesignaturecache = {}
1476 1476 # Signature to cached matcher instance.
1477 1477 self._sparsematchercache = {}
1478 1478
1479 1479 self._extrafilterid = repoview.extrafilter(ui)
1480 1480
1481 1481 self.filecopiesmode = None
1482 1482 if requirementsmod.COPIESSDC_REQUIREMENT in self.requirements:
1483 1483 self.filecopiesmode = b'changeset-sidedata'
1484 1484
1485 1485 self._wanted_sidedata = set()
1486 1486 self._sidedata_computers = {}
1487 1487 sidedatamod.set_sidedata_spec_for_repo(self)
1488 1488
1489 1489 def _getvfsward(self, origfunc):
1490 1490 """build a ward for self.vfs"""
1491 1491 rref = weakref.ref(self)
1492 1492
1493 1493 def checkvfs(path, mode=None):
1494 1494 ret = origfunc(path, mode=mode)
1495 1495 repo = rref()
1496 1496 if (
1497 1497 repo is None
1498 1498 or not util.safehasattr(repo, b'_wlockref')
1499 1499 or not util.safehasattr(repo, b'_lockref')
1500 1500 ):
1501 1501 return
1502 1502 if mode in (None, b'r', b'rb'):
1503 1503 return
1504 1504 if path.startswith(repo.path):
1505 1505 # truncate name relative to the repository (.hg)
1506 1506 path = path[len(repo.path) + 1 :]
1507 1507 if path.startswith(b'cache/'):
1508 1508 msg = b'accessing cache with vfs instead of cachevfs: "%s"'
1509 1509 repo.ui.develwarn(msg % path, stacklevel=3, config=b"cache-vfs")
1510 1510 # path prefixes covered by 'lock'
1511 1511 vfs_path_prefixes = (
1512 1512 b'journal.',
1513 1513 b'undo.',
1514 1514 b'strip-backup/',
1515 1515 b'cache/',
1516 1516 )
1517 1517 if any(path.startswith(prefix) for prefix in vfs_path_prefixes):
1518 1518 if repo._currentlock(repo._lockref) is None:
1519 1519 repo.ui.develwarn(
1520 1520 b'write with no lock: "%s"' % path,
1521 1521 stacklevel=3,
1522 1522 config=b'check-locks',
1523 1523 )
1524 1524 elif repo._currentlock(repo._wlockref) is None:
1525 1525 # rest of vfs files are covered by 'wlock'
1526 1526 #
1527 1527 # exclude special files
1528 1528 for prefix in self._wlockfreeprefix:
1529 1529 if path.startswith(prefix):
1530 1530 return
1531 1531 repo.ui.develwarn(
1532 1532 b'write with no wlock: "%s"' % path,
1533 1533 stacklevel=3,
1534 1534 config=b'check-locks',
1535 1535 )
1536 1536 return ret
1537 1537
1538 1538 return checkvfs
1539 1539
1540 1540 def _getsvfsward(self, origfunc):
1541 1541 """build a ward for self.svfs"""
1542 1542 rref = weakref.ref(self)
1543 1543
1544 1544 def checksvfs(path, mode=None):
1545 1545 ret = origfunc(path, mode=mode)
1546 1546 repo = rref()
1547 1547 if repo is None or not util.safehasattr(repo, b'_lockref'):
1548 1548 return
1549 1549 if mode in (None, b'r', b'rb'):
1550 1550 return
1551 1551 if path.startswith(repo.sharedpath):
1552 1552 # truncate name relative to the repository (.hg)
1553 1553 path = path[len(repo.sharedpath) + 1 :]
1554 1554 if repo._currentlock(repo._lockref) is None:
1555 1555 repo.ui.develwarn(
1556 1556 b'write with no lock: "%s"' % path, stacklevel=4
1557 1557 )
1558 1558 return ret
1559 1559
1560 1560 return checksvfs
1561 1561
1562 1562 def close(self):
1563 1563 self._writecaches()
1564 1564
1565 1565 def _writecaches(self):
1566 1566 if self._revbranchcache:
1567 1567 self._revbranchcache.write()
1568 1568
1569 1569 def _restrictcapabilities(self, caps):
1570 1570 if self.ui.configbool(b'experimental', b'bundle2-advertise'):
1571 1571 caps = set(caps)
1572 1572 capsblob = bundle2.encodecaps(
1573 1573 bundle2.getrepocaps(self, role=b'client')
1574 1574 )
1575 1575 caps.add(b'bundle2=' + urlreq.quote(capsblob))
1576 1576 if self.ui.configbool(b'experimental', b'narrow'):
1577 1577 caps.add(wireprototypes.NARROWCAP)
1578 1578 return caps
1579 1579
1580 1580 # Don't cache auditor/nofsauditor, or you'll end up with reference cycle:
1581 1581 # self -> auditor -> self._checknested -> self
1582 1582
1583 1583 @property
1584 1584 def auditor(self):
1585 1585 # This is only used by context.workingctx.match in order to
1586 1586 # detect files in subrepos.
1587 1587 return pathutil.pathauditor(self.root, callback=self._checknested)
1588 1588
1589 1589 @property
1590 1590 def nofsauditor(self):
1591 1591 # This is only used by context.basectx.match in order to detect
1592 1592 # files in subrepos.
1593 1593 return pathutil.pathauditor(
1594 1594 self.root, callback=self._checknested, realfs=False, cached=True
1595 1595 )
1596 1596
1597 1597 def _checknested(self, path):
1598 1598 """Determine if path is a legal nested repository."""
1599 1599 if not path.startswith(self.root):
1600 1600 return False
1601 1601 subpath = path[len(self.root) + 1 :]
1602 1602 normsubpath = util.pconvert(subpath)
1603 1603
1604 1604 # XXX: Checking against the current working copy is wrong in
1605 1605 # the sense that it can reject things like
1606 1606 #
1607 1607 # $ hg cat -r 10 sub/x.txt
1608 1608 #
1609 1609 # if sub/ is no longer a subrepository in the working copy
1610 1610 # parent revision.
1611 1611 #
1612 1612 # However, it can of course also allow things that would have
1613 1613 # been rejected before, such as the above cat command if sub/
1614 1614 # is a subrepository now, but was a normal directory before.
1615 1615 # The old path auditor would have rejected by mistake since it
1616 1616 # panics when it sees sub/.hg/.
1617 1617 #
1618 1618 # All in all, checking against the working copy seems sensible
1619 1619 # since we want to prevent access to nested repositories on
1620 1620 # the filesystem *now*.
1621 1621 ctx = self[None]
1622 1622 parts = util.splitpath(subpath)
1623 1623 while parts:
1624 1624 prefix = b'/'.join(parts)
1625 1625 if prefix in ctx.substate:
1626 1626 if prefix == normsubpath:
1627 1627 return True
1628 1628 else:
1629 1629 sub = ctx.sub(prefix)
1630 1630 return sub.checknested(subpath[len(prefix) + 1 :])
1631 1631 else:
1632 1632 parts.pop()
1633 1633 return False
1634 1634
1635 1635 def peer(self, path=None):
1636 1636 return localpeer(self, path=path) # not cached to avoid reference cycle
1637 1637
1638 1638 def unfiltered(self):
1639 1639 """Return unfiltered version of the repository
1640 1640
1641 1641 Intended to be overwritten by filtered repo."""
1642 1642 return self
1643 1643
1644 1644 def filtered(self, name, visibilityexceptions=None):
1645 1645 """Return a filtered version of a repository
1646 1646
1647 1647 The `name` parameter is the identifier of the requested view. This
1648 1648 will return a repoview object set "exactly" to the specified view.
1649 1649
1650 1650 This function does not apply recursive filtering to a repository. For
1651 1651 example calling `repo.filtered("served")` will return a repoview using
1652 1652 the "served" view, regardless of the initial view used by `repo`.
1653 1653
1654 1654 In other word, there is always only one level of `repoview` "filtering".
1655 1655 """
1656 1656 if self._extrafilterid is not None and b'%' not in name:
1657 1657 name = name + b'%' + self._extrafilterid
1658 1658
1659 1659 cls = repoview.newtype(self.unfiltered().__class__)
1660 1660 return cls(self, name, visibilityexceptions)
1661 1661
1662 1662 @mixedrepostorecache(
1663 1663 (b'bookmarks', b'plain'),
1664 1664 (b'bookmarks.current', b'plain'),
1665 1665 (b'bookmarks', b''),
1666 1666 (b'00changelog.i', b''),
1667 1667 )
1668 1668 def _bookmarks(self):
1669 1669 # Since the multiple files involved in the transaction cannot be
1670 1670 # written atomically (with current repository format), there is a race
1671 1671 # condition here.
1672 1672 #
1673 1673 # 1) changelog content A is read
1674 1674 # 2) outside transaction update changelog to content B
1675 1675 # 3) outside transaction update bookmark file referring to content B
1676 1676 # 4) bookmarks file content is read and filtered against changelog-A
1677 1677 #
1678 1678 # When this happens, bookmarks against nodes missing from A are dropped.
1679 1679 #
1680 1680 # Having this happening during read is not great, but it become worse
1681 1681 # when this happen during write because the bookmarks to the "unknown"
1682 1682 # nodes will be dropped for good. However, writes happen within locks.
1683 1683 # This locking makes it possible to have a race free consistent read.
1684 1684 # For this purpose data read from disc before locking are
1685 1685 # "invalidated" right after the locks are taken. This invalidations are
1686 1686 # "light", the `filecache` mechanism keep the data in memory and will
1687 1687 # reuse them if the underlying files did not changed. Not parsing the
1688 1688 # same data multiple times helps performances.
1689 1689 #
1690 1690 # Unfortunately in the case describe above, the files tracked by the
1691 1691 # bookmarks file cache might not have changed, but the in-memory
1692 1692 # content is still "wrong" because we used an older changelog content
1693 1693 # to process the on-disk data. So after locking, the changelog would be
1694 1694 # refreshed but `_bookmarks` would be preserved.
1695 1695 # Adding `00changelog.i` to the list of tracked file is not
1696 1696 # enough, because at the time we build the content for `_bookmarks` in
1697 1697 # (4), the changelog file has already diverged from the content used
1698 1698 # for loading `changelog` in (1)
1699 1699 #
1700 1700 # To prevent the issue, we force the changelog to be explicitly
1701 1701 # reloaded while computing `_bookmarks`. The data race can still happen
1702 1702 # without the lock (with a narrower window), but it would no longer go
1703 1703 # undetected during the lock time refresh.
1704 1704 #
1705 1705 # The new schedule is as follow
1706 1706 #
1707 1707 # 1) filecache logic detect that `_bookmarks` needs to be computed
1708 1708 # 2) cachestat for `bookmarks` and `changelog` are captured (for book)
1709 1709 # 3) We force `changelog` filecache to be tested
1710 1710 # 4) cachestat for `changelog` are captured (for changelog)
1711 1711 # 5) `_bookmarks` is computed and cached
1712 1712 #
1713 1713 # The step in (3) ensure we have a changelog at least as recent as the
1714 1714 # cache stat computed in (1). As a result at locking time:
1715 1715 # * if the changelog did not changed since (1) -> we can reuse the data
1716 1716 # * otherwise -> the bookmarks get refreshed.
1717 1717 self._refreshchangelog()
1718 1718 return bookmarks.bmstore(self)
1719 1719
1720 1720 def _refreshchangelog(self):
1721 1721 """make sure the in memory changelog match the on-disk one"""
1722 1722 if 'changelog' in vars(self) and self.currenttransaction() is None:
1723 1723 del self.changelog
1724 1724
1725 1725 @property
1726 1726 def _activebookmark(self):
1727 1727 return self._bookmarks.active
1728 1728
1729 1729 # _phasesets depend on changelog. what we need is to call
1730 1730 # _phasecache.invalidate() if '00changelog.i' was changed, but it
1731 1731 # can't be easily expressed in filecache mechanism.
1732 1732 @storecache(b'phaseroots', b'00changelog.i')
1733 1733 def _phasecache(self):
1734 1734 return phases.phasecache(self, self._phasedefaults)
1735 1735
1736 1736 @storecache(b'obsstore')
1737 1737 def obsstore(self):
1738 1738 return obsolete.makestore(self.ui, self)
1739 1739
1740 1740 @changelogcache()
1741 1741 def changelog(repo):
1742 1742 # load dirstate before changelog to avoid race see issue6303
1743 1743 repo.dirstate.prefetch_parents()
1744 1744 return repo.store.changelog(
1745 1745 txnutil.mayhavepending(repo.root),
1746 1746 concurrencychecker=revlogchecker.get_checker(repo.ui, b'changelog'),
1747 1747 )
1748 1748
1749 1749 @manifestlogcache()
1750 1750 def manifestlog(self):
1751 1751 return self.store.manifestlog(self, self._storenarrowmatch)
1752 1752
1753 1753 @repofilecache(b'dirstate')
1754 1754 def dirstate(self):
1755 1755 return self._makedirstate()
1756 1756
1757 1757 def _makedirstate(self):
1758 1758 """Extension point for wrapping the dirstate per-repo."""
1759 1759 sparsematchfn = None
1760 1760 if sparse.use_sparse(self):
1761 1761 sparsematchfn = lambda: sparse.matcher(self)
1762 1762 v2_req = requirementsmod.DIRSTATE_V2_REQUIREMENT
1763 1763 th = requirementsmod.DIRSTATE_TRACKED_HINT_V1
1764 1764 use_dirstate_v2 = v2_req in self.requirements
1765 1765 use_tracked_hint = th in self.requirements
1766 1766
1767 1767 return dirstate.dirstate(
1768 1768 self.vfs,
1769 1769 self.ui,
1770 1770 self.root,
1771 1771 self._dirstatevalidate,
1772 1772 sparsematchfn,
1773 1773 self.nodeconstants,
1774 1774 use_dirstate_v2,
1775 1775 use_tracked_hint=use_tracked_hint,
1776 1776 )
1777 1777
1778 1778 def _dirstatevalidate(self, node):
1779 1779 try:
1780 1780 self.changelog.rev(node)
1781 1781 return node
1782 1782 except error.LookupError:
1783 1783 if not self._dirstatevalidatewarned:
1784 1784 self._dirstatevalidatewarned = True
1785 1785 self.ui.warn(
1786 1786 _(b"warning: ignoring unknown working parent %s!\n")
1787 1787 % short(node)
1788 1788 )
1789 1789 return self.nullid
1790 1790
1791 1791 @storecache(narrowspec.FILENAME)
1792 1792 def narrowpats(self):
1793 1793 """matcher patterns for this repository's narrowspec
1794 1794
1795 1795 A tuple of (includes, excludes).
1796 1796 """
1797 1797 return narrowspec.load(self)
1798 1798
1799 1799 @storecache(narrowspec.FILENAME)
1800 1800 def _storenarrowmatch(self):
1801 1801 if requirementsmod.NARROW_REQUIREMENT not in self.requirements:
1802 1802 return matchmod.always()
1803 1803 include, exclude = self.narrowpats
1804 1804 return narrowspec.match(self.root, include=include, exclude=exclude)
1805 1805
1806 1806 @storecache(narrowspec.FILENAME)
1807 1807 def _narrowmatch(self):
1808 1808 if requirementsmod.NARROW_REQUIREMENT not in self.requirements:
1809 1809 return matchmod.always()
1810 1810 narrowspec.checkworkingcopynarrowspec(self)
1811 1811 include, exclude = self.narrowpats
1812 1812 return narrowspec.match(self.root, include=include, exclude=exclude)
1813 1813
1814 1814 def narrowmatch(self, match=None, includeexact=False):
1815 1815 """matcher corresponding the the repo's narrowspec
1816 1816
1817 1817 If `match` is given, then that will be intersected with the narrow
1818 1818 matcher.
1819 1819
1820 1820 If `includeexact` is True, then any exact matches from `match` will
1821 1821 be included even if they're outside the narrowspec.
1822 1822 """
1823 1823 if match:
1824 1824 if includeexact and not self._narrowmatch.always():
1825 1825 # do not exclude explicitly-specified paths so that they can
1826 1826 # be warned later on
1827 1827 em = matchmod.exact(match.files())
1828 1828 nm = matchmod.unionmatcher([self._narrowmatch, em])
1829 1829 return matchmod.intersectmatchers(match, nm)
1830 1830 return matchmod.intersectmatchers(match, self._narrowmatch)
1831 1831 return self._narrowmatch
1832 1832
1833 1833 def setnarrowpats(self, newincludes, newexcludes):
1834 1834 narrowspec.save(self, newincludes, newexcludes)
1835 1835 self.invalidate(clearfilecache=True)
1836 1836
1837 1837 @unfilteredpropertycache
1838 1838 def _quick_access_changeid_null(self):
1839 1839 return {
1840 1840 b'null': (nullrev, self.nodeconstants.nullid),
1841 1841 nullrev: (nullrev, self.nodeconstants.nullid),
1842 1842 self.nullid: (nullrev, self.nullid),
1843 1843 }
1844 1844
1845 1845 @unfilteredpropertycache
1846 1846 def _quick_access_changeid_wc(self):
1847 1847 # also fast path access to the working copy parents
1848 1848 # however, only do it for filter that ensure wc is visible.
1849 1849 quick = self._quick_access_changeid_null.copy()
1850 1850 cl = self.unfiltered().changelog
1851 1851 for node in self.dirstate.parents():
1852 1852 if node == self.nullid:
1853 1853 continue
1854 1854 rev = cl.index.get_rev(node)
1855 1855 if rev is None:
1856 1856 # unknown working copy parent case:
1857 1857 #
1858 1858 # skip the fast path and let higher code deal with it
1859 1859 continue
1860 1860 pair = (rev, node)
1861 1861 quick[rev] = pair
1862 1862 quick[node] = pair
1863 1863 # also add the parents of the parents
1864 1864 for r in cl.parentrevs(rev):
1865 1865 if r == nullrev:
1866 1866 continue
1867 1867 n = cl.node(r)
1868 1868 pair = (r, n)
1869 1869 quick[r] = pair
1870 1870 quick[n] = pair
1871 1871 p1node = self.dirstate.p1()
1872 1872 if p1node != self.nullid:
1873 1873 quick[b'.'] = quick[p1node]
1874 1874 return quick
1875 1875
1876 1876 @unfilteredmethod
1877 1877 def _quick_access_changeid_invalidate(self):
1878 1878 if '_quick_access_changeid_wc' in vars(self):
1879 1879 del self.__dict__['_quick_access_changeid_wc']
1880 1880
1881 1881 @property
1882 1882 def _quick_access_changeid(self):
1883 1883 """an helper dictionnary for __getitem__ calls
1884 1884
1885 1885 This contains a list of symbol we can recognise right away without
1886 1886 further processing.
1887 1887 """
1888 1888 if self.filtername in repoview.filter_has_wc:
1889 1889 return self._quick_access_changeid_wc
1890 1890 return self._quick_access_changeid_null
1891 1891
1892 1892 def __getitem__(self, changeid):
1893 1893 # dealing with special cases
1894 1894 if changeid is None:
1895 1895 return context.workingctx(self)
1896 1896 if isinstance(changeid, context.basectx):
1897 1897 return changeid
1898 1898
1899 1899 # dealing with multiple revisions
1900 1900 if isinstance(changeid, slice):
1901 1901 # wdirrev isn't contiguous so the slice shouldn't include it
1902 1902 return [
1903 1903 self[i]
1904 1904 for i in range(*changeid.indices(len(self)))
1905 1905 if i not in self.changelog.filteredrevs
1906 1906 ]
1907 1907
1908 1908 # dealing with some special values
1909 1909 quick_access = self._quick_access_changeid.get(changeid)
1910 1910 if quick_access is not None:
1911 1911 rev, node = quick_access
1912 1912 return context.changectx(self, rev, node, maybe_filtered=False)
1913 1913 if changeid == b'tip':
1914 1914 node = self.changelog.tip()
1915 1915 rev = self.changelog.rev(node)
1916 1916 return context.changectx(self, rev, node)
1917 1917
1918 1918 # dealing with arbitrary values
1919 1919 try:
1920 1920 if isinstance(changeid, int):
1921 1921 node = self.changelog.node(changeid)
1922 1922 rev = changeid
1923 1923 elif changeid == b'.':
1924 1924 # this is a hack to delay/avoid loading obsmarkers
1925 1925 # when we know that '.' won't be hidden
1926 1926 node = self.dirstate.p1()
1927 1927 rev = self.unfiltered().changelog.rev(node)
1928 1928 elif len(changeid) == self.nodeconstants.nodelen:
1929 1929 try:
1930 1930 node = changeid
1931 1931 rev = self.changelog.rev(changeid)
1932 1932 except error.FilteredLookupError:
1933 1933 changeid = hex(changeid) # for the error message
1934 1934 raise
1935 1935 except LookupError:
1936 1936 # check if it might have come from damaged dirstate
1937 1937 #
1938 1938 # XXX we could avoid the unfiltered if we had a recognizable
1939 1939 # exception for filtered changeset access
1940 1940 if (
1941 1941 self.local()
1942 1942 and changeid in self.unfiltered().dirstate.parents()
1943 1943 ):
1944 1944 msg = _(b"working directory has unknown parent '%s'!")
1945 1945 raise error.Abort(msg % short(changeid))
1946 1946 changeid = hex(changeid) # for the error message
1947 1947 raise
1948 1948
1949 1949 elif len(changeid) == 2 * self.nodeconstants.nodelen:
1950 1950 node = bin(changeid)
1951 1951 rev = self.changelog.rev(node)
1952 1952 else:
1953 1953 raise error.ProgrammingError(
1954 1954 b"unsupported changeid '%s' of type %s"
1955 1955 % (changeid, pycompat.bytestr(type(changeid)))
1956 1956 )
1957 1957
1958 1958 return context.changectx(self, rev, node)
1959 1959
1960 1960 except (error.FilteredIndexError, error.FilteredLookupError):
1961 1961 raise error.FilteredRepoLookupError(
1962 1962 _(b"filtered revision '%s'") % pycompat.bytestr(changeid)
1963 1963 )
1964 1964 except (IndexError, LookupError):
1965 1965 raise error.RepoLookupError(
1966 1966 _(b"unknown revision '%s'") % pycompat.bytestr(changeid)
1967 1967 )
1968 1968 except error.WdirUnsupported:
1969 1969 return context.workingctx(self)
1970 1970
1971 1971 def __contains__(self, changeid):
1972 1972 """True if the given changeid exists"""
1973 1973 try:
1974 1974 self[changeid]
1975 1975 return True
1976 1976 except error.RepoLookupError:
1977 1977 return False
1978 1978
1979 1979 def __nonzero__(self):
1980 1980 return True
1981 1981
1982 1982 __bool__ = __nonzero__
1983 1983
1984 1984 def __len__(self):
1985 1985 # no need to pay the cost of repoview.changelog
1986 1986 unfi = self.unfiltered()
1987 1987 return len(unfi.changelog)
1988 1988
1989 1989 def __iter__(self):
1990 1990 return iter(self.changelog)
1991 1991
1992 1992 def revs(self, expr: bytes, *args):
1993 1993 """Find revisions matching a revset.
1994 1994
1995 1995 The revset is specified as a string ``expr`` that may contain
1996 1996 %-formatting to escape certain types. See ``revsetlang.formatspec``.
1997 1997
1998 1998 Revset aliases from the configuration are not expanded. To expand
1999 1999 user aliases, consider calling ``scmutil.revrange()`` or
2000 2000 ``repo.anyrevs([expr], user=True)``.
2001 2001
2002 2002 Returns a smartset.abstractsmartset, which is a list-like interface
2003 2003 that contains integer revisions.
2004 2004 """
2005 2005 tree = revsetlang.spectree(expr, *args)
2006 2006 return revset.makematcher(tree)(self)
2007 2007
2008 2008 def set(self, expr: bytes, *args):
2009 2009 """Find revisions matching a revset and emit changectx instances.
2010 2010
2011 2011 This is a convenience wrapper around ``revs()`` that iterates the
2012 2012 result and is a generator of changectx instances.
2013 2013
2014 2014 Revset aliases from the configuration are not expanded. To expand
2015 2015 user aliases, consider calling ``scmutil.revrange()``.
2016 2016 """
2017 2017 for r in self.revs(expr, *args):
2018 2018 yield self[r]
2019 2019
2020 2020 def anyrevs(self, specs: bytes, user=False, localalias=None):
2021 2021 """Find revisions matching one of the given revsets.
2022 2022
2023 2023 Revset aliases from the configuration are not expanded by default. To
2024 2024 expand user aliases, specify ``user=True``. To provide some local
2025 2025 definitions overriding user aliases, set ``localalias`` to
2026 2026 ``{name: definitionstring}``.
2027 2027 """
2028 2028 if specs == [b'null']:
2029 2029 return revset.baseset([nullrev])
2030 2030 if specs == [b'.']:
2031 2031 quick_data = self._quick_access_changeid.get(b'.')
2032 2032 if quick_data is not None:
2033 2033 return revset.baseset([quick_data[0]])
2034 2034 if user:
2035 2035 m = revset.matchany(
2036 2036 self.ui,
2037 2037 specs,
2038 2038 lookup=revset.lookupfn(self),
2039 2039 localalias=localalias,
2040 2040 )
2041 2041 else:
2042 2042 m = revset.matchany(None, specs, localalias=localalias)
2043 2043 return m(self)
2044 2044
2045 2045 def url(self) -> bytes:
2046 2046 return b'file:' + self.root
2047 2047
2048 2048 def hook(self, name, throw=False, **args):
2049 2049 """Call a hook, passing this repo instance.
2050 2050
2051 2051 This a convenience method to aid invoking hooks. Extensions likely
2052 2052 won't call this unless they have registered a custom hook or are
2053 2053 replacing code that is expected to call a hook.
2054 2054 """
2055 2055 return hook.hook(self.ui, self, name, throw, **args)
2056 2056
2057 2057 @filteredpropertycache
2058 2058 def _tagscache(self):
2059 2059 """Returns a tagscache object that contains various tags related
2060 2060 caches."""
2061 2061
2062 2062 # This simplifies its cache management by having one decorated
2063 2063 # function (this one) and the rest simply fetch things from it.
2064 2064 class tagscache:
2065 2065 def __init__(self):
2066 2066 # These two define the set of tags for this repository. tags
2067 2067 # maps tag name to node; tagtypes maps tag name to 'global' or
2068 2068 # 'local'. (Global tags are defined by .hgtags across all
2069 2069 # heads, and local tags are defined in .hg/localtags.)
2070 2070 # They constitute the in-memory cache of tags.
2071 2071 self.tags = self.tagtypes = None
2072 2072
2073 2073 self.nodetagscache = self.tagslist = None
2074 2074
2075 2075 cache = tagscache()
2076 2076 cache.tags, cache.tagtypes = self._findtags()
2077 2077
2078 2078 return cache
2079 2079
2080 2080 def tags(self):
2081 2081 '''return a mapping of tag to node'''
2082 2082 t = {}
2083 2083 if self.changelog.filteredrevs:
2084 2084 tags, tt = self._findtags()
2085 2085 else:
2086 2086 tags = self._tagscache.tags
2087 2087 rev = self.changelog.rev
2088 2088 for k, v in tags.items():
2089 2089 try:
2090 2090 # ignore tags to unknown nodes
2091 2091 rev(v)
2092 2092 t[k] = v
2093 2093 except (error.LookupError, ValueError):
2094 2094 pass
2095 2095 return t
2096 2096
2097 2097 def _findtags(self):
2098 2098 """Do the hard work of finding tags. Return a pair of dicts
2099 2099 (tags, tagtypes) where tags maps tag name to node, and tagtypes
2100 2100 maps tag name to a string like \'global\' or \'local\'.
2101 2101 Subclasses or extensions are free to add their own tags, but
2102 2102 should be aware that the returned dicts will be retained for the
2103 2103 duration of the localrepo object."""
2104 2104
2105 2105 # XXX what tagtype should subclasses/extensions use? Currently
2106 2106 # mq and bookmarks add tags, but do not set the tagtype at all.
2107 2107 # Should each extension invent its own tag type? Should there
2108 2108 # be one tagtype for all such "virtual" tags? Or is the status
2109 2109 # quo fine?
2110 2110
2111 2111 # map tag name to (node, hist)
2112 2112 alltags = tagsmod.findglobaltags(self.ui, self)
2113 2113 # map tag name to tag type
2114 2114 tagtypes = {tag: b'global' for tag in alltags}
2115 2115
2116 2116 tagsmod.readlocaltags(self.ui, self, alltags, tagtypes)
2117 2117
2118 2118 # Build the return dicts. Have to re-encode tag names because
2119 2119 # the tags module always uses UTF-8 (in order not to lose info
2120 2120 # writing to the cache), but the rest of Mercurial wants them in
2121 2121 # local encoding.
2122 2122 tags = {}
2123 2123 for name, (node, hist) in alltags.items():
2124 2124 if node != self.nullid:
2125 2125 tags[encoding.tolocal(name)] = node
2126 2126 tags[b'tip'] = self.changelog.tip()
2127 2127 tagtypes = {
2128 2128 encoding.tolocal(name): value for (name, value) in tagtypes.items()
2129 2129 }
2130 2130 return (tags, tagtypes)
2131 2131
2132 2132 def tagtype(self, tagname):
2133 2133 """
2134 2134 return the type of the given tag. result can be:
2135 2135
2136 2136 'local' : a local tag
2137 2137 'global' : a global tag
2138 2138 None : tag does not exist
2139 2139 """
2140 2140
2141 2141 return self._tagscache.tagtypes.get(tagname)
2142 2142
2143 2143 def tagslist(self):
2144 2144 '''return a list of tags ordered by revision'''
2145 2145 if not self._tagscache.tagslist:
2146 2146 l = []
2147 2147 for t, n in self.tags().items():
2148 2148 l.append((self.changelog.rev(n), t, n))
2149 2149 self._tagscache.tagslist = [(t, n) for r, t, n in sorted(l)]
2150 2150
2151 2151 return self._tagscache.tagslist
2152 2152
2153 2153 def nodetags(self, node):
2154 2154 '''return the tags associated with a node'''
2155 2155 if not self._tagscache.nodetagscache:
2156 2156 nodetagscache = {}
2157 2157 for t, n in self._tagscache.tags.items():
2158 2158 nodetagscache.setdefault(n, []).append(t)
2159 2159 for tags in nodetagscache.values():
2160 2160 tags.sort()
2161 2161 self._tagscache.nodetagscache = nodetagscache
2162 2162 return self._tagscache.nodetagscache.get(node, [])
2163 2163
2164 2164 def nodebookmarks(self, node):
2165 2165 """return the list of bookmarks pointing to the specified node"""
2166 2166 return self._bookmarks.names(node)
2167 2167
2168 2168 def branchmap(self):
2169 2169 """returns a dictionary {branch: [branchheads]} with branchheads
2170 2170 ordered by increasing revision number"""
2171 2171 return self._branchcaches[self]
2172 2172
2173 2173 @unfilteredmethod
2174 2174 def revbranchcache(self):
2175 2175 if not self._revbranchcache:
2176 2176 self._revbranchcache = branchmap.revbranchcache(self.unfiltered())
2177 2177 return self._revbranchcache
2178 2178
2179 2179 def register_changeset(self, rev, changelogrevision):
2180 2180 self.revbranchcache().setdata(rev, changelogrevision)
2181 2181
2182 2182 def branchtip(self, branch, ignoremissing=False):
2183 2183 """return the tip node for a given branch
2184 2184
2185 2185 If ignoremissing is True, then this method will not raise an error.
2186 2186 This is helpful for callers that only expect None for a missing branch
2187 2187 (e.g. namespace).
2188 2188
2189 2189 """
2190 2190 try:
2191 2191 return self.branchmap().branchtip(branch)
2192 2192 except KeyError:
2193 2193 if not ignoremissing:
2194 2194 raise error.RepoLookupError(_(b"unknown branch '%s'") % branch)
2195 2195 else:
2196 2196 pass
2197 2197
2198 2198 def lookup(self, key):
2199 2199 node = scmutil.revsymbol(self, key).node()
2200 2200 if node is None:
2201 2201 raise error.RepoLookupError(_(b"unknown revision '%s'") % key)
2202 2202 return node
2203 2203
2204 2204 def lookupbranch(self, key):
2205 2205 if self.branchmap().hasbranch(key):
2206 2206 return key
2207 2207
2208 2208 return scmutil.revsymbol(self, key).branch()
2209 2209
2210 2210 def known(self, nodes):
2211 2211 cl = self.changelog
2212 2212 get_rev = cl.index.get_rev
2213 2213 filtered = cl.filteredrevs
2214 2214 result = []
2215 2215 for n in nodes:
2216 2216 r = get_rev(n)
2217 2217 resp = not (r is None or r in filtered)
2218 2218 result.append(resp)
2219 2219 return result
2220 2220
2221 2221 def local(self):
2222 2222 return self
2223 2223
2224 2224 def publishing(self):
2225 2225 # it's safe (and desirable) to trust the publish flag unconditionally
2226 2226 # so that we don't finalize changes shared between users via ssh or nfs
2227 2227 return self.ui.configbool(b'phases', b'publish', untrusted=True)
2228 2228
2229 2229 def cancopy(self):
2230 2230 # so statichttprepo's override of local() works
2231 2231 if not self.local():
2232 2232 return False
2233 2233 if not self.publishing():
2234 2234 return True
2235 2235 # if publishing we can't copy if there is filtered content
2236 2236 return not self.filtered(b'visible').changelog.filteredrevs
2237 2237
2238 2238 def shared(self):
2239 2239 '''the type of shared repository (None if not shared)'''
2240 2240 if self.sharedpath != self.path:
2241 2241 return b'store'
2242 2242 return None
2243 2243
2244 2244 def wjoin(self, f: bytes, *insidef: bytes) -> bytes:
2245 2245 return self.vfs.reljoin(self.root, f, *insidef)
2246 2246
2247 2247 def setparents(self, p1, p2=None):
2248 2248 if p2 is None:
2249 2249 p2 = self.nullid
2250 2250 self[None].setparents(p1, p2)
2251 2251 self._quick_access_changeid_invalidate()
2252 2252
2253 2253 def filectx(self, path: bytes, changeid=None, fileid=None, changectx=None):
2254 2254 """changeid must be a changeset revision, if specified.
2255 2255 fileid can be a file revision or node."""
2256 2256 return context.filectx(
2257 2257 self, path, changeid, fileid, changectx=changectx
2258 2258 )
2259 2259
2260 2260 def getcwd(self) -> bytes:
2261 2261 return self.dirstate.getcwd()
2262 2262
2263 2263 def pathto(self, f: bytes, cwd: Optional[bytes] = None) -> bytes:
2264 2264 return self.dirstate.pathto(f, cwd)
2265 2265
2266 2266 def _loadfilter(self, filter):
2267 2267 if filter not in self._filterpats:
2268 2268 l = []
2269 2269 for pat, cmd in self.ui.configitems(filter):
2270 2270 if cmd == b'!':
2271 2271 continue
2272 2272 mf = matchmod.match(self.root, b'', [pat])
2273 2273 fn = None
2274 2274 params = cmd
2275 2275 for name, filterfn in self._datafilters.items():
2276 2276 if cmd.startswith(name):
2277 2277 fn = filterfn
2278 2278 params = cmd[len(name) :].lstrip()
2279 2279 break
2280 2280 if not fn:
2281 2281 fn = lambda s, c, **kwargs: procutil.filter(s, c)
2282 2282 fn.__name__ = 'commandfilter'
2283 2283 # Wrap old filters not supporting keyword arguments
2284 2284 if not pycompat.getargspec(fn)[2]:
2285 2285 oldfn = fn
2286 2286 fn = lambda s, c, oldfn=oldfn, **kwargs: oldfn(s, c)
2287 2287 fn.__name__ = 'compat-' + oldfn.__name__
2288 2288 l.append((mf, fn, params))
2289 2289 self._filterpats[filter] = l
2290 2290 return self._filterpats[filter]
2291 2291
2292 2292 def _filter(self, filterpats, filename, data):
2293 2293 for mf, fn, cmd in filterpats:
2294 2294 if mf(filename):
2295 2295 self.ui.debug(
2296 2296 b"filtering %s through %s\n"
2297 2297 % (filename, cmd or pycompat.sysbytes(fn.__name__))
2298 2298 )
2299 2299 data = fn(data, cmd, ui=self.ui, repo=self, filename=filename)
2300 2300 break
2301 2301
2302 2302 return data
2303 2303
2304 2304 @unfilteredpropertycache
2305 2305 def _encodefilterpats(self):
2306 2306 return self._loadfilter(b'encode')
2307 2307
2308 2308 @unfilteredpropertycache
2309 2309 def _decodefilterpats(self):
2310 2310 return self._loadfilter(b'decode')
2311 2311
2312 2312 def adddatafilter(self, name, filter):
2313 2313 self._datafilters[name] = filter
2314 2314
2315 2315 def wread(self, filename: bytes) -> bytes:
2316 2316 if self.wvfs.islink(filename):
2317 2317 data = self.wvfs.readlink(filename)
2318 2318 else:
2319 2319 data = self.wvfs.read(filename)
2320 2320 return self._filter(self._encodefilterpats, filename, data)
2321 2321
2322 2322 def wwrite(
2323 2323 self,
2324 2324 filename: bytes,
2325 2325 data: bytes,
2326 2326 flags: bytes,
2327 2327 backgroundclose=False,
2328 2328 **kwargs
2329 2329 ) -> int:
2330 2330 """write ``data`` into ``filename`` in the working directory
2331 2331
2332 2332 This returns length of written (maybe decoded) data.
2333 2333 """
2334 2334 data = self._filter(self._decodefilterpats, filename, data)
2335 2335 if b'l' in flags:
2336 2336 self.wvfs.symlink(data, filename)
2337 2337 else:
2338 2338 self.wvfs.write(
2339 2339 filename, data, backgroundclose=backgroundclose, **kwargs
2340 2340 )
2341 2341 if b'x' in flags:
2342 2342 self.wvfs.setflags(filename, False, True)
2343 2343 else:
2344 2344 self.wvfs.setflags(filename, False, False)
2345 2345 return len(data)
2346 2346
2347 2347 def wwritedata(self, filename: bytes, data: bytes) -> bytes:
2348 2348 return self._filter(self._decodefilterpats, filename, data)
2349 2349
2350 2350 def currenttransaction(self):
2351 2351 """return the current transaction or None if non exists"""
2352 2352 if self._transref:
2353 2353 tr = self._transref()
2354 2354 else:
2355 2355 tr = None
2356 2356
2357 2357 if tr and tr.running():
2358 2358 return tr
2359 2359 return None
2360 2360
2361 2361 def transaction(self, desc, report=None):
2362 2362 if self.ui.configbool(b'devel', b'all-warnings') or self.ui.configbool(
2363 2363 b'devel', b'check-locks'
2364 2364 ):
2365 2365 if self._currentlock(self._lockref) is None:
2366 2366 raise error.ProgrammingError(b'transaction requires locking')
2367 2367 tr = self.currenttransaction()
2368 2368 if tr is not None:
2369 2369 return tr.nest(name=desc)
2370 2370
2371 2371 # abort here if the journal already exists
2372 2372 if self.svfs.exists(b"journal"):
2373 2373 raise error.RepoError(
2374 2374 _(b"abandoned transaction found"),
2375 2375 hint=_(b"run 'hg recover' to clean up transaction"),
2376 2376 )
2377 2377
2378 2378 idbase = b"%.40f#%f" % (random.random(), time.time())
2379 2379 ha = hex(hashutil.sha1(idbase).digest())
2380 2380 txnid = b'TXN:' + ha
2381 2381 self.hook(b'pretxnopen', throw=True, txnname=desc, txnid=txnid)
2382 2382
2383 2383 self._writejournal(desc)
2384 2384 renames = [(vfs, x, undoname(x)) for vfs, x in self._journalfiles()]
2385 2385 if report:
2386 2386 rp = report
2387 2387 else:
2388 2388 rp = self.ui.warn
2389 2389 vfsmap = {b'plain': self.vfs, b'store': self.svfs} # root of .hg/
2390 2390 # we must avoid cyclic reference between repo and transaction.
2391 2391 reporef = weakref.ref(self)
2392 2392 # Code to track tag movement
2393 2393 #
2394 2394 # Since tags are all handled as file content, it is actually quite hard
2395 2395 # to track these movement from a code perspective. So we fallback to a
2396 2396 # tracking at the repository level. One could envision to track changes
2397 2397 # to the '.hgtags' file through changegroup apply but that fails to
2398 2398 # cope with case where transaction expose new heads without changegroup
2399 2399 # being involved (eg: phase movement).
2400 2400 #
2401 2401 # For now, We gate the feature behind a flag since this likely comes
2402 2402 # with performance impacts. The current code run more often than needed
2403 2403 # and do not use caches as much as it could. The current focus is on
2404 2404 # the behavior of the feature so we disable it by default. The flag
2405 2405 # will be removed when we are happy with the performance impact.
2406 2406 #
2407 2407 # Once this feature is no longer experimental move the following
2408 2408 # documentation to the appropriate help section:
2409 2409 #
2410 2410 # The ``HG_TAG_MOVED`` variable will be set if the transaction touched
2411 2411 # tags (new or changed or deleted tags). In addition the details of
2412 2412 # these changes are made available in a file at:
2413 2413 # ``REPOROOT/.hg/changes/tags.changes``.
2414 2414 # Make sure you check for HG_TAG_MOVED before reading that file as it
2415 2415 # might exist from a previous transaction even if no tag were touched
2416 2416 # in this one. Changes are recorded in a line base format::
2417 2417 #
2418 2418 # <action> <hex-node> <tag-name>\n
2419 2419 #
2420 2420 # Actions are defined as follow:
2421 2421 # "-R": tag is removed,
2422 2422 # "+A": tag is added,
2423 2423 # "-M": tag is moved (old value),
2424 2424 # "+M": tag is moved (new value),
2425 2425 tracktags = lambda x: None
2426 2426 # experimental config: experimental.hook-track-tags
2427 2427 shouldtracktags = self.ui.configbool(
2428 2428 b'experimental', b'hook-track-tags'
2429 2429 )
2430 2430 if desc != b'strip' and shouldtracktags:
2431 2431 oldheads = self.changelog.headrevs()
2432 2432
2433 2433 def tracktags(tr2):
2434 2434 repo = reporef()
2435 2435 assert repo is not None # help pytype
2436 2436 oldfnodes = tagsmod.fnoderevs(repo.ui, repo, oldheads)
2437 2437 newheads = repo.changelog.headrevs()
2438 2438 newfnodes = tagsmod.fnoderevs(repo.ui, repo, newheads)
2439 2439 # notes: we compare lists here.
2440 2440 # As we do it only once buiding set would not be cheaper
2441 2441 changes = tagsmod.difftags(repo.ui, repo, oldfnodes, newfnodes)
2442 2442 if changes:
2443 2443 tr2.hookargs[b'tag_moved'] = b'1'
2444 2444 with repo.vfs(
2445 2445 b'changes/tags.changes', b'w', atomictemp=True
2446 2446 ) as changesfile:
2447 2447 # note: we do not register the file to the transaction
2448 2448 # because we needs it to still exist on the transaction
2449 2449 # is close (for txnclose hooks)
2450 2450 tagsmod.writediff(changesfile, changes)
2451 2451
2452 2452 def validate(tr2):
2453 2453 """will run pre-closing hooks"""
2454 2454 # XXX the transaction API is a bit lacking here so we take a hacky
2455 2455 # path for now
2456 2456 #
2457 2457 # We cannot add this as a "pending" hooks since the 'tr.hookargs'
2458 2458 # dict is copied before these run. In addition we needs the data
2459 2459 # available to in memory hooks too.
2460 2460 #
2461 2461 # Moreover, we also need to make sure this runs before txnclose
2462 2462 # hooks and there is no "pending" mechanism that would execute
2463 2463 # logic only if hooks are about to run.
2464 2464 #
2465 2465 # Fixing this limitation of the transaction is also needed to track
2466 2466 # other families of changes (bookmarks, phases, obsolescence).
2467 2467 #
2468 2468 # This will have to be fixed before we remove the experimental
2469 2469 # gating.
2470 2470 tracktags(tr2)
2471 2471 repo = reporef()
2472 2472 assert repo is not None # help pytype
2473 2473
2474 2474 singleheadopt = (b'experimental', b'single-head-per-branch')
2475 2475 singlehead = repo.ui.configbool(*singleheadopt)
2476 2476 if singlehead:
2477 2477 singleheadsub = repo.ui.configsuboptions(*singleheadopt)[1]
2478 2478 accountclosed = singleheadsub.get(
2479 2479 b"account-closed-heads", False
2480 2480 )
2481 2481 if singleheadsub.get(b"public-changes-only", False):
2482 2482 filtername = b"immutable"
2483 2483 else:
2484 2484 filtername = b"visible"
2485 2485 scmutil.enforcesinglehead(
2486 2486 repo, tr2, desc, accountclosed, filtername
2487 2487 )
2488 2488 if hook.hashook(repo.ui, b'pretxnclose-bookmark'):
2489 2489 for name, (old, new) in sorted(
2490 2490 tr.changes[b'bookmarks'].items()
2491 2491 ):
2492 2492 args = tr.hookargs.copy()
2493 2493 args.update(bookmarks.preparehookargs(name, old, new))
2494 2494 repo.hook(
2495 2495 b'pretxnclose-bookmark',
2496 2496 throw=True,
2497 2497 **pycompat.strkwargs(args)
2498 2498 )
2499 2499 if hook.hashook(repo.ui, b'pretxnclose-phase'):
2500 2500 cl = repo.unfiltered().changelog
2501 2501 for revs, (old, new) in tr.changes[b'phases']:
2502 2502 for rev in revs:
2503 2503 args = tr.hookargs.copy()
2504 2504 node = hex(cl.node(rev))
2505 2505 args.update(phases.preparehookargs(node, old, new))
2506 2506 repo.hook(
2507 2507 b'pretxnclose-phase',
2508 2508 throw=True,
2509 2509 **pycompat.strkwargs(args)
2510 2510 )
2511 2511
2512 2512 repo.hook(
2513 2513 b'pretxnclose', throw=True, **pycompat.strkwargs(tr.hookargs)
2514 2514 )
2515 2515
2516 2516 def releasefn(tr, success):
2517 2517 repo = reporef()
2518 2518 if repo is None:
2519 2519 # If the repo has been GC'd (and this release function is being
2520 2520 # called from transaction.__del__), there's not much we can do,
2521 2521 # so just leave the unfinished transaction there and let the
2522 2522 # user run `hg recover`.
2523 2523 return
2524 2524 if success:
2525 2525 # this should be explicitly invoked here, because
2526 2526 # in-memory changes aren't written out at closing
2527 2527 # transaction, if tr.addfilegenerator (via
2528 2528 # dirstate.write or so) isn't invoked while
2529 2529 # transaction running
2530 2530 repo.dirstate.write(None)
2531 2531 else:
2532 2532 # discard all changes (including ones already written
2533 2533 # out) in this transaction
2534 2534 narrowspec.restorebackup(self, b'journal.narrowspec')
2535 2535 narrowspec.restorewcbackup(self, b'journal.narrowspec.dirstate')
2536 2536 repo.dirstate.restorebackup(None, b'journal.dirstate')
2537 2537
2538 2538 repo.invalidate(clearfilecache=True)
2539 2539
2540 2540 tr = transaction.transaction(
2541 2541 rp,
2542 2542 self.svfs,
2543 2543 vfsmap,
2544 2544 b"journal",
2545 2545 b"undo",
2546 2546 aftertrans(renames),
2547 2547 self.store.createmode,
2548 2548 validator=validate,
2549 2549 releasefn=releasefn,
2550 2550 checkambigfiles=_cachedfiles,
2551 2551 name=desc,
2552 2552 )
2553 2553 tr.changes[b'origrepolen'] = len(self)
2554 2554 tr.changes[b'obsmarkers'] = set()
2555 2555 tr.changes[b'phases'] = []
2556 2556 tr.changes[b'bookmarks'] = {}
2557 2557
2558 2558 tr.hookargs[b'txnid'] = txnid
2559 2559 tr.hookargs[b'txnname'] = desc
2560 2560 tr.hookargs[b'changes'] = tr.changes
2561 2561 # note: writing the fncache only during finalize mean that the file is
2562 2562 # outdated when running hooks. As fncache is used for streaming clone,
2563 2563 # this is not expected to break anything that happen during the hooks.
2564 2564 tr.addfinalize(b'flush-fncache', self.store.write)
2565 2565
2566 2566 def txnclosehook(tr2):
2567 2567 """To be run if transaction is successful, will schedule a hook run"""
2568 2568 # Don't reference tr2 in hook() so we don't hold a reference.
2569 2569 # This reduces memory consumption when there are multiple
2570 2570 # transactions per lock. This can likely go away if issue5045
2571 2571 # fixes the function accumulation.
2572 2572 hookargs = tr2.hookargs
2573 2573
2574 2574 def hookfunc(unused_success):
2575 2575 repo = reporef()
2576 2576 assert repo is not None # help pytype
2577 2577
2578 2578 if hook.hashook(repo.ui, b'txnclose-bookmark'):
2579 2579 bmchanges = sorted(tr.changes[b'bookmarks'].items())
2580 2580 for name, (old, new) in bmchanges:
2581 2581 args = tr.hookargs.copy()
2582 2582 args.update(bookmarks.preparehookargs(name, old, new))
2583 2583 repo.hook(
2584 2584 b'txnclose-bookmark',
2585 2585 throw=False,
2586 2586 **pycompat.strkwargs(args)
2587 2587 )
2588 2588
2589 2589 if hook.hashook(repo.ui, b'txnclose-phase'):
2590 2590 cl = repo.unfiltered().changelog
2591 2591 phasemv = sorted(
2592 2592 tr.changes[b'phases'], key=lambda r: r[0][0]
2593 2593 )
2594 2594 for revs, (old, new) in phasemv:
2595 2595 for rev in revs:
2596 2596 args = tr.hookargs.copy()
2597 2597 node = hex(cl.node(rev))
2598 2598 args.update(phases.preparehookargs(node, old, new))
2599 2599 repo.hook(
2600 2600 b'txnclose-phase',
2601 2601 throw=False,
2602 2602 **pycompat.strkwargs(args)
2603 2603 )
2604 2604
2605 2605 repo.hook(
2606 2606 b'txnclose', throw=False, **pycompat.strkwargs(hookargs)
2607 2607 )
2608 2608
2609 2609 repo = reporef()
2610 2610 assert repo is not None # help pytype
2611 2611 repo._afterlock(hookfunc)
2612 2612
2613 2613 tr.addfinalize(b'txnclose-hook', txnclosehook)
2614 2614 # Include a leading "-" to make it happen before the transaction summary
2615 2615 # reports registered via scmutil.registersummarycallback() whose names
2616 2616 # are 00-txnreport etc. That way, the caches will be warm when the
2617 2617 # callbacks run.
2618 2618 tr.addpostclose(b'-warm-cache', self._buildcacheupdater(tr))
2619 2619
2620 2620 def txnaborthook(tr2):
2621 2621 """To be run if transaction is aborted"""
2622 2622 repo = reporef()
2623 2623 assert repo is not None # help pytype
2624 2624 repo.hook(
2625 2625 b'txnabort', throw=False, **pycompat.strkwargs(tr2.hookargs)
2626 2626 )
2627 2627
2628 2628 tr.addabort(b'txnabort-hook', txnaborthook)
2629 2629 # avoid eager cache invalidation. in-memory data should be identical
2630 2630 # to stored data if transaction has no error.
2631 2631 tr.addpostclose(b'refresh-filecachestats', self._refreshfilecachestats)
2632 2632 self._transref = weakref.ref(tr)
2633 2633 scmutil.registersummarycallback(self, tr, desc)
2634 2634 return tr
2635 2635
2636 2636 def _journalfiles(self):
2637 2637 first = (
2638 2638 (self.svfs, b'journal'),
2639 2639 (self.svfs, b'journal.narrowspec'),
2640 2640 (self.vfs, b'journal.narrowspec.dirstate'),
2641 2641 (self.vfs, b'journal.dirstate'),
2642 2642 )
2643 2643 middle = []
2644 2644 dirstate_data = self.dirstate.data_backup_filename(b'journal.dirstate')
2645 2645 if dirstate_data is not None:
2646 2646 middle.append((self.vfs, dirstate_data))
2647 2647 end = (
2648 2648 (self.vfs, b'journal.branch'),
2649 2649 (self.vfs, b'journal.desc'),
2650 2650 (bookmarks.bookmarksvfs(self), b'journal.bookmarks'),
2651 2651 (self.svfs, b'journal.phaseroots'),
2652 2652 )
2653 2653 return first + tuple(middle) + end
2654 2654
2655 2655 def undofiles(self):
2656 2656 return [(vfs, undoname(x)) for vfs, x in self._journalfiles()]
2657 2657
2658 2658 @unfilteredmethod
2659 2659 def _writejournal(self, desc):
2660 2660 self.dirstate.savebackup(None, b'journal.dirstate')
2661 2661 narrowspec.savewcbackup(self, b'journal.narrowspec.dirstate')
2662 2662 narrowspec.savebackup(self, b'journal.narrowspec')
2663 2663 self.vfs.write(
2664 2664 b"journal.branch", encoding.fromlocal(self.dirstate.branch())
2665 2665 )
2666 2666 self.vfs.write(b"journal.desc", b"%d\n%s\n" % (len(self), desc))
2667 2667 bookmarksvfs = bookmarks.bookmarksvfs(self)
2668 2668 bookmarksvfs.write(
2669 2669 b"journal.bookmarks", bookmarksvfs.tryread(b"bookmarks")
2670 2670 )
2671 2671 self.svfs.write(b"journal.phaseroots", self.svfs.tryread(b"phaseroots"))
2672 2672
2673 2673 def recover(self):
2674 2674 with self.lock():
2675 2675 if self.svfs.exists(b"journal"):
2676 2676 self.ui.status(_(b"rolling back interrupted transaction\n"))
2677 2677 vfsmap = {
2678 2678 b'': self.svfs,
2679 2679 b'plain': self.vfs,
2680 2680 }
2681 2681 transaction.rollback(
2682 2682 self.svfs,
2683 2683 vfsmap,
2684 2684 b"journal",
2685 2685 self.ui.warn,
2686 2686 checkambigfiles=_cachedfiles,
2687 2687 )
2688 2688 self.invalidate()
2689 2689 return True
2690 2690 else:
2691 2691 self.ui.warn(_(b"no interrupted transaction available\n"))
2692 2692 return False
2693 2693
2694 2694 def rollback(self, dryrun=False, force=False):
2695 2695 wlock = lock = dsguard = None
2696 2696 try:
2697 2697 wlock = self.wlock()
2698 2698 lock = self.lock()
2699 2699 if self.svfs.exists(b"undo"):
2700 2700 dsguard = dirstateguard.dirstateguard(self, b'rollback')
2701 2701
2702 2702 return self._rollback(dryrun, force, dsguard)
2703 2703 else:
2704 2704 self.ui.warn(_(b"no rollback information available\n"))
2705 2705 return 1
2706 2706 finally:
2707 2707 release(dsguard, lock, wlock)
2708 2708
2709 2709 @unfilteredmethod # Until we get smarter cache management
2710 2710 def _rollback(self, dryrun, force, dsguard):
2711 2711 ui = self.ui
2712 2712 try:
2713 2713 args = self.vfs.read(b'undo.desc').splitlines()
2714 2714 (oldlen, desc, detail) = (int(args[0]), args[1], None)
2715 2715 if len(args) >= 3:
2716 2716 detail = args[2]
2717 2717 oldtip = oldlen - 1
2718 2718
2719 2719 if detail and ui.verbose:
2720 2720 msg = _(
2721 2721 b'repository tip rolled back to revision %d'
2722 2722 b' (undo %s: %s)\n'
2723 2723 ) % (oldtip, desc, detail)
2724 2724 else:
2725 2725 msg = _(
2726 2726 b'repository tip rolled back to revision %d (undo %s)\n'
2727 2727 ) % (oldtip, desc)
2728 2728 except IOError:
2729 2729 msg = _(b'rolling back unknown transaction\n')
2730 2730 desc = None
2731 2731
2732 2732 if not force and self[b'.'] != self[b'tip'] and desc == b'commit':
2733 2733 raise error.Abort(
2734 2734 _(
2735 2735 b'rollback of last commit while not checked out '
2736 2736 b'may lose data'
2737 2737 ),
2738 2738 hint=_(b'use -f to force'),
2739 2739 )
2740 2740
2741 2741 ui.status(msg)
2742 2742 if dryrun:
2743 2743 return 0
2744 2744
2745 2745 parents = self.dirstate.parents()
2746 2746 self.destroying()
2747 2747 vfsmap = {b'plain': self.vfs, b'': self.svfs}
2748 2748 transaction.rollback(
2749 2749 self.svfs, vfsmap, b'undo', ui.warn, checkambigfiles=_cachedfiles
2750 2750 )
2751 2751 bookmarksvfs = bookmarks.bookmarksvfs(self)
2752 2752 if bookmarksvfs.exists(b'undo.bookmarks'):
2753 2753 bookmarksvfs.rename(
2754 2754 b'undo.bookmarks', b'bookmarks', checkambig=True
2755 2755 )
2756 2756 if self.svfs.exists(b'undo.phaseroots'):
2757 2757 self.svfs.rename(b'undo.phaseroots', b'phaseroots', checkambig=True)
2758 2758 self.invalidate()
2759 2759
2760 2760 has_node = self.changelog.index.has_node
2761 2761 parentgone = any(not has_node(p) for p in parents)
2762 2762 if parentgone:
2763 2763 # prevent dirstateguard from overwriting already restored one
2764 2764 dsguard.close()
2765 2765
2766 2766 narrowspec.restorebackup(self, b'undo.narrowspec')
2767 2767 narrowspec.restorewcbackup(self, b'undo.narrowspec.dirstate')
2768 2768 self.dirstate.restorebackup(None, b'undo.dirstate')
2769 2769 try:
2770 2770 branch = self.vfs.read(b'undo.branch')
2771 2771 self.dirstate.setbranch(encoding.tolocal(branch))
2772 2772 except IOError:
2773 2773 ui.warn(
2774 2774 _(
2775 2775 b'named branch could not be reset: '
2776 2776 b'current branch is still \'%s\'\n'
2777 2777 )
2778 2778 % self.dirstate.branch()
2779 2779 )
2780 2780
2781 2781 parents = tuple([p.rev() for p in self[None].parents()])
2782 2782 if len(parents) > 1:
2783 2783 ui.status(
2784 2784 _(
2785 2785 b'working directory now based on '
2786 2786 b'revisions %d and %d\n'
2787 2787 )
2788 2788 % parents
2789 2789 )
2790 2790 else:
2791 2791 ui.status(
2792 2792 _(b'working directory now based on revision %d\n') % parents
2793 2793 )
2794 2794 mergestatemod.mergestate.clean(self)
2795 2795
2796 2796 # TODO: if we know which new heads may result from this rollback, pass
2797 2797 # them to destroy(), which will prevent the branchhead cache from being
2798 2798 # invalidated.
2799 2799 self.destroyed()
2800 2800 return 0
2801 2801
2802 2802 def _buildcacheupdater(self, newtransaction):
2803 2803 """called during transaction to build the callback updating cache
2804 2804
2805 2805 Lives on the repository to help extension who might want to augment
2806 2806 this logic. For this purpose, the created transaction is passed to the
2807 2807 method.
2808 2808 """
2809 2809 # we must avoid cyclic reference between repo and transaction.
2810 2810 reporef = weakref.ref(self)
2811 2811
2812 2812 def updater(tr):
2813 2813 repo = reporef()
2814 2814 assert repo is not None # help pytype
2815 2815 repo.updatecaches(tr)
2816 2816
2817 2817 return updater
2818 2818
2819 2819 @unfilteredmethod
2820 2820 def updatecaches(self, tr=None, full=False, caches=None):
2821 2821 """warm appropriate caches
2822 2822
2823 2823 If this function is called after a transaction closed. The transaction
2824 2824 will be available in the 'tr' argument. This can be used to selectively
2825 2825 update caches relevant to the changes in that transaction.
2826 2826
2827 2827 If 'full' is set, make sure all caches the function knows about have
2828 2828 up-to-date data. Even the ones usually loaded more lazily.
2829 2829
2830 2830 The `full` argument can take a special "post-clone" value. In this case
2831 2831 the cache warming is made after a clone and of the slower cache might
2832 2832 be skipped, namely the `.fnodetags` one. This argument is 5.8 specific
2833 2833 as we plan for a cleaner way to deal with this for 5.9.
2834 2834 """
2835 2835 if tr is not None and tr.hookargs.get(b'source') == b'strip':
2836 2836 # During strip, many caches are invalid but
2837 2837 # later call to `destroyed` will refresh them.
2838 2838 return
2839 2839
2840 2840 unfi = self.unfiltered()
2841 2841
2842 2842 if full:
2843 2843 msg = (
2844 2844 "`full` argument for `repo.updatecaches` is deprecated\n"
2845 2845 "(use `caches=repository.CACHE_ALL` instead)"
2846 2846 )
2847 2847 self.ui.deprecwarn(msg, b"5.9")
2848 2848 caches = repository.CACHES_ALL
2849 2849 if full == b"post-clone":
2850 2850 caches = repository.CACHES_POST_CLONE
2851 2851 caches = repository.CACHES_ALL
2852 2852 elif caches is None:
2853 2853 caches = repository.CACHES_DEFAULT
2854 2854
2855 2855 if repository.CACHE_BRANCHMAP_SERVED in caches:
2856 2856 if tr is None or tr.changes[b'origrepolen'] < len(self):
2857 2857 # accessing the 'served' branchmap should refresh all the others,
2858 2858 self.ui.debug(b'updating the branch cache\n')
2859 2859 self.filtered(b'served').branchmap()
2860 2860 self.filtered(b'served.hidden').branchmap()
2861 2861 # flush all possibly delayed write.
2862 2862 self._branchcaches.write_delayed(self)
2863 2863
2864 2864 if repository.CACHE_CHANGELOG_CACHE in caches:
2865 2865 self.changelog.update_caches(transaction=tr)
2866 2866
2867 2867 if repository.CACHE_MANIFESTLOG_CACHE in caches:
2868 2868 self.manifestlog.update_caches(transaction=tr)
2869 2869
2870 2870 if repository.CACHE_REV_BRANCH in caches:
2871 2871 rbc = unfi.revbranchcache()
2872 2872 for r in unfi.changelog:
2873 2873 rbc.branchinfo(r)
2874 2874 rbc.write()
2875 2875
2876 2876 if repository.CACHE_FULL_MANIFEST in caches:
2877 2877 # ensure the working copy parents are in the manifestfulltextcache
2878 2878 for ctx in self[b'.'].parents():
2879 2879 ctx.manifest() # accessing the manifest is enough
2880 2880
2881 2881 if repository.CACHE_FILE_NODE_TAGS in caches:
2882 2882 # accessing fnode cache warms the cache
2883 2883 tagsmod.fnoderevs(self.ui, unfi, unfi.changelog.revs())
2884 2884
2885 2885 if repository.CACHE_TAGS_DEFAULT in caches:
2886 2886 # accessing tags warm the cache
2887 2887 self.tags()
2888 2888 if repository.CACHE_TAGS_SERVED in caches:
2889 2889 self.filtered(b'served').tags()
2890 2890
2891 2891 if repository.CACHE_BRANCHMAP_ALL in caches:
2892 2892 # The CACHE_BRANCHMAP_ALL updates lazily-loaded caches immediately,
2893 2893 # so we're forcing a write to cause these caches to be warmed up
2894 2894 # even if they haven't explicitly been requested yet (if they've
2895 2895 # never been used by hg, they won't ever have been written, even if
2896 2896 # they're a subset of another kind of cache that *has* been used).
2897 2897 for filt in repoview.filtertable.keys():
2898 2898 filtered = self.filtered(filt)
2899 2899 filtered.branchmap().write(filtered)
2900 2900
2901 2901 def invalidatecaches(self):
2902 2902 if '_tagscache' in vars(self):
2903 2903 # can't use delattr on proxy
2904 2904 del self.__dict__['_tagscache']
2905 2905
2906 2906 self._branchcaches.clear()
2907 2907 self.invalidatevolatilesets()
2908 2908 self._sparsesignaturecache.clear()
2909 2909
2910 2910 def invalidatevolatilesets(self):
2911 2911 self.filteredrevcache.clear()
2912 2912 obsolete.clearobscaches(self)
2913 2913 self._quick_access_changeid_invalidate()
2914 2914
2915 2915 def invalidatedirstate(self):
2916 2916 """Invalidates the dirstate, causing the next call to dirstate
2917 2917 to check if it was modified since the last time it was read,
2918 2918 rereading it if it has.
2919 2919
2920 2920 This is different to dirstate.invalidate() that it doesn't always
2921 2921 rereads the dirstate. Use dirstate.invalidate() if you want to
2922 2922 explicitly read the dirstate again (i.e. restoring it to a previous
2923 2923 known good state)."""
2924 2924 if hasunfilteredcache(self, 'dirstate'):
2925 2925 for k in self.dirstate._filecache:
2926 2926 try:
2927 2927 delattr(self.dirstate, k)
2928 2928 except AttributeError:
2929 2929 pass
2930 2930 delattr(self.unfiltered(), 'dirstate')
2931 2931
2932 2932 def invalidate(self, clearfilecache=False):
2933 2933 """Invalidates both store and non-store parts other than dirstate
2934 2934
2935 2935 If a transaction is running, invalidation of store is omitted,
2936 2936 because discarding in-memory changes might cause inconsistency
2937 2937 (e.g. incomplete fncache causes unintentional failure, but
2938 2938 redundant one doesn't).
2939 2939 """
2940 2940 unfiltered = self.unfiltered() # all file caches are stored unfiltered
2941 2941 for k in list(self._filecache.keys()):
2942 2942 # dirstate is invalidated separately in invalidatedirstate()
2943 2943 if k == b'dirstate':
2944 2944 continue
2945 2945 if (
2946 2946 k == b'changelog'
2947 2947 and self.currenttransaction()
2948 2948 and self.changelog._delayed
2949 2949 ):
2950 2950 # The changelog object may store unwritten revisions. We don't
2951 2951 # want to lose them.
2952 2952 # TODO: Solve the problem instead of working around it.
2953 2953 continue
2954 2954
2955 2955 if clearfilecache:
2956 2956 del self._filecache[k]
2957 2957 try:
2958 2958 delattr(unfiltered, k)
2959 2959 except AttributeError:
2960 2960 pass
2961 2961 self.invalidatecaches()
2962 2962 if not self.currenttransaction():
2963 2963 # TODO: Changing contents of store outside transaction
2964 2964 # causes inconsistency. We should make in-memory store
2965 2965 # changes detectable, and abort if changed.
2966 2966 self.store.invalidatecaches()
2967 2967
2968 2968 def invalidateall(self):
2969 2969 """Fully invalidates both store and non-store parts, causing the
2970 2970 subsequent operation to reread any outside changes."""
2971 2971 # extension should hook this to invalidate its caches
2972 2972 self.invalidate()
2973 2973 self.invalidatedirstate()
2974 2974
2975 2975 @unfilteredmethod
2976 2976 def _refreshfilecachestats(self, tr):
2977 2977 """Reload stats of cached files so that they are flagged as valid"""
2978 2978 for k, ce in self._filecache.items():
2979 2979 k = pycompat.sysstr(k)
2980 2980 if k == 'dirstate' or k not in self.__dict__:
2981 2981 continue
2982 2982 ce.refresh()
2983 2983
2984 2984 def _lock(
2985 2985 self,
2986 2986 vfs,
2987 2987 lockname,
2988 2988 wait,
2989 2989 releasefn,
2990 2990 acquirefn,
2991 2991 desc,
2992 2992 ):
2993 2993 timeout = 0
2994 2994 warntimeout = 0
2995 2995 if wait:
2996 2996 timeout = self.ui.configint(b"ui", b"timeout")
2997 2997 warntimeout = self.ui.configint(b"ui", b"timeout.warn")
2998 2998 # internal config: ui.signal-safe-lock
2999 2999 signalsafe = self.ui.configbool(b'ui', b'signal-safe-lock')
3000 3000
3001 3001 l = lockmod.trylock(
3002 3002 self.ui,
3003 3003 vfs,
3004 3004 lockname,
3005 3005 timeout,
3006 3006 warntimeout,
3007 3007 releasefn=releasefn,
3008 3008 acquirefn=acquirefn,
3009 3009 desc=desc,
3010 3010 signalsafe=signalsafe,
3011 3011 )
3012 3012 return l
3013 3013
3014 3014 def _afterlock(self, callback):
3015 3015 """add a callback to be run when the repository is fully unlocked
3016 3016
3017 3017 The callback will be executed when the outermost lock is released
3018 3018 (with wlock being higher level than 'lock')."""
3019 3019 for ref in (self._wlockref, self._lockref):
3020 3020 l = ref and ref()
3021 3021 if l and l.held:
3022 3022 l.postrelease.append(callback)
3023 3023 break
3024 3024 else: # no lock have been found.
3025 3025 callback(True)
3026 3026
3027 3027 def lock(self, wait=True):
3028 3028 """Lock the repository store (.hg/store) and return a weak reference
3029 3029 to the lock. Use this before modifying the store (e.g. committing or
3030 3030 stripping). If you are opening a transaction, get a lock as well.)
3031 3031
3032 3032 If both 'lock' and 'wlock' must be acquired, ensure you always acquires
3033 3033 'wlock' first to avoid a dead-lock hazard."""
3034 3034 l = self._currentlock(self._lockref)
3035 3035 if l is not None:
3036 3036 l.lock()
3037 3037 return l
3038 3038
3039 3039 l = self._lock(
3040 3040 vfs=self.svfs,
3041 3041 lockname=b"lock",
3042 3042 wait=wait,
3043 3043 releasefn=None,
3044 3044 acquirefn=self.invalidate,
3045 3045 desc=_(b'repository %s') % self.origroot,
3046 3046 )
3047 3047 self._lockref = weakref.ref(l)
3048 3048 return l
3049 3049
3050 3050 def wlock(self, wait=True):
3051 3051 """Lock the non-store parts of the repository (everything under
3052 3052 .hg except .hg/store) and return a weak reference to the lock.
3053 3053
3054 3054 Use this before modifying files in .hg.
3055 3055
3056 3056 If both 'lock' and 'wlock' must be acquired, ensure you always acquires
3057 3057 'wlock' first to avoid a dead-lock hazard."""
3058 3058 l = self._wlockref() if self._wlockref else None
3059 3059 if l is not None and l.held:
3060 3060 l.lock()
3061 3061 return l
3062 3062
3063 3063 # We do not need to check for non-waiting lock acquisition. Such
3064 3064 # acquisition would not cause dead-lock as they would just fail.
3065 3065 if wait and (
3066 3066 self.ui.configbool(b'devel', b'all-warnings')
3067 3067 or self.ui.configbool(b'devel', b'check-locks')
3068 3068 ):
3069 3069 if self._currentlock(self._lockref) is not None:
3070 3070 self.ui.develwarn(b'"wlock" acquired after "lock"')
3071 3071
3072 3072 def unlock():
3073 if self.dirstate.is_changing_parents:
3073 if self.dirstate.is_changing_any:
3074 3074 msg = b"wlock release in the middle of a changing parents"
3075 3075 self.ui.develwarn(msg)
3076 3076 self.dirstate.invalidate()
3077 3077 else:
3078 3078 self.dirstate.write(None)
3079 3079
3080 3080 self._filecache[b'dirstate'].refresh()
3081 3081
3082 3082 l = self._lock(
3083 3083 self.vfs,
3084 3084 b"wlock",
3085 3085 wait,
3086 3086 unlock,
3087 3087 self.invalidatedirstate,
3088 3088 _(b'working directory of %s') % self.origroot,
3089 3089 )
3090 3090 self._wlockref = weakref.ref(l)
3091 3091 return l
3092 3092
3093 3093 def _currentlock(self, lockref):
3094 3094 """Returns the lock if it's held, or None if it's not."""
3095 3095 if lockref is None:
3096 3096 return None
3097 3097 l = lockref()
3098 3098 if l is None or not l.held:
3099 3099 return None
3100 3100 return l
3101 3101
3102 3102 def currentwlock(self):
3103 3103 """Returns the wlock if it's held, or None if it's not."""
3104 3104 return self._currentlock(self._wlockref)
3105 3105
3106 3106 def checkcommitpatterns(self, wctx, match, status, fail):
3107 3107 """check for commit arguments that aren't committable"""
3108 3108 if match.isexact() or match.prefix():
3109 3109 matched = set(status.modified + status.added + status.removed)
3110 3110
3111 3111 for f in match.files():
3112 3112 f = self.dirstate.normalize(f)
3113 3113 if f == b'.' or f in matched or f in wctx.substate:
3114 3114 continue
3115 3115 if f in status.deleted:
3116 3116 fail(f, _(b'file not found!'))
3117 3117 # Is it a directory that exists or used to exist?
3118 3118 if self.wvfs.isdir(f) or wctx.p1().hasdir(f):
3119 3119 d = f + b'/'
3120 3120 for mf in matched:
3121 3121 if mf.startswith(d):
3122 3122 break
3123 3123 else:
3124 3124 fail(f, _(b"no match under directory!"))
3125 3125 elif f not in self.dirstate:
3126 3126 fail(f, _(b"file not tracked!"))
3127 3127
3128 3128 @unfilteredmethod
3129 3129 def commit(
3130 3130 self,
3131 3131 text=b"",
3132 3132 user=None,
3133 3133 date=None,
3134 3134 match=None,
3135 3135 force=False,
3136 3136 editor=None,
3137 3137 extra=None,
3138 3138 ):
3139 3139 """Add a new revision to current repository.
3140 3140
3141 3141 Revision information is gathered from the working directory,
3142 3142 match can be used to filter the committed files. If editor is
3143 3143 supplied, it is called to get a commit message.
3144 3144 """
3145 3145 if extra is None:
3146 3146 extra = {}
3147 3147
3148 3148 def fail(f, msg):
3149 3149 raise error.InputError(b'%s: %s' % (f, msg))
3150 3150
3151 3151 if not match:
3152 3152 match = matchmod.always()
3153 3153
3154 3154 if not force:
3155 3155 match.bad = fail
3156 3156
3157 3157 # lock() for recent changelog (see issue4368)
3158 3158 with self.wlock(), self.lock():
3159 3159 wctx = self[None]
3160 3160 merge = len(wctx.parents()) > 1
3161 3161
3162 3162 if not force and merge and not match.always():
3163 3163 raise error.Abort(
3164 3164 _(
3165 3165 b'cannot partially commit a merge '
3166 3166 b'(do not specify files or patterns)'
3167 3167 )
3168 3168 )
3169 3169
3170 3170 status = self.status(match=match, clean=force)
3171 3171 if force:
3172 3172 status.modified.extend(
3173 3173 status.clean
3174 3174 ) # mq may commit clean files
3175 3175
3176 3176 # check subrepos
3177 3177 subs, commitsubs, newstate = subrepoutil.precommit(
3178 3178 self.ui, wctx, status, match, force=force
3179 3179 )
3180 3180
3181 3181 # make sure all explicit patterns are matched
3182 3182 if not force:
3183 3183 self.checkcommitpatterns(wctx, match, status, fail)
3184 3184
3185 3185 cctx = context.workingcommitctx(
3186 3186 self, status, text, user, date, extra
3187 3187 )
3188 3188
3189 3189 ms = mergestatemod.mergestate.read(self)
3190 3190 mergeutil.checkunresolved(ms)
3191 3191
3192 3192 # internal config: ui.allowemptycommit
3193 3193 if cctx.isempty() and not self.ui.configbool(
3194 3194 b'ui', b'allowemptycommit'
3195 3195 ):
3196 3196 self.ui.debug(b'nothing to commit, clearing merge state\n')
3197 3197 ms.reset()
3198 3198 return None
3199 3199
3200 3200 if merge and cctx.deleted():
3201 3201 raise error.Abort(_(b"cannot commit merge with missing files"))
3202 3202
3203 3203 if editor:
3204 3204 cctx._text = editor(self, cctx, subs)
3205 3205 edited = text != cctx._text
3206 3206
3207 3207 # Save commit message in case this transaction gets rolled back
3208 3208 # (e.g. by a pretxncommit hook). Leave the content alone on
3209 3209 # the assumption that the user will use the same editor again.
3210 3210 msg_path = self.savecommitmessage(cctx._text)
3211 3211
3212 3212 # commit subs and write new state
3213 3213 if subs:
3214 3214 uipathfn = scmutil.getuipathfn(self)
3215 3215 for s in sorted(commitsubs):
3216 3216 sub = wctx.sub(s)
3217 3217 self.ui.status(
3218 3218 _(b'committing subrepository %s\n')
3219 3219 % uipathfn(subrepoutil.subrelpath(sub))
3220 3220 )
3221 3221 sr = sub.commit(cctx._text, user, date)
3222 3222 newstate[s] = (newstate[s][0], sr)
3223 3223 subrepoutil.writestate(self, newstate)
3224 3224
3225 3225 p1, p2 = self.dirstate.parents()
3226 3226 hookp1, hookp2 = hex(p1), (p2 != self.nullid and hex(p2) or b'')
3227 3227 try:
3228 3228 self.hook(
3229 3229 b"precommit", throw=True, parent1=hookp1, parent2=hookp2
3230 3230 )
3231 3231 with self.transaction(b'commit'):
3232 3232 ret = self.commitctx(cctx, True)
3233 3233 # update bookmarks, dirstate and mergestate
3234 3234 bookmarks.update(self, [p1, p2], ret)
3235 3235 cctx.markcommitted(ret)
3236 3236 ms.reset()
3237 3237 except: # re-raises
3238 3238 if edited:
3239 3239 self.ui.write(
3240 3240 _(b'note: commit message saved in %s\n') % msg_path
3241 3241 )
3242 3242 self.ui.write(
3243 3243 _(
3244 3244 b"note: use 'hg commit --logfile "
3245 3245 b"%s --edit' to reuse it\n"
3246 3246 )
3247 3247 % msg_path
3248 3248 )
3249 3249 raise
3250 3250
3251 3251 def commithook(unused_success):
3252 3252 # hack for command that use a temporary commit (eg: histedit)
3253 3253 # temporary commit got stripped before hook release
3254 3254 if self.changelog.hasnode(ret):
3255 3255 self.hook(
3256 3256 b"commit", node=hex(ret), parent1=hookp1, parent2=hookp2
3257 3257 )
3258 3258
3259 3259 self._afterlock(commithook)
3260 3260 return ret
3261 3261
3262 3262 @unfilteredmethod
3263 3263 def commitctx(self, ctx, error=False, origctx=None):
3264 3264 return commit.commitctx(self, ctx, error=error, origctx=origctx)
3265 3265
3266 3266 @unfilteredmethod
3267 3267 def destroying(self):
3268 3268 """Inform the repository that nodes are about to be destroyed.
3269 3269 Intended for use by strip and rollback, so there's a common
3270 3270 place for anything that has to be done before destroying history.
3271 3271
3272 3272 This is mostly useful for saving state that is in memory and waiting
3273 3273 to be flushed when the current lock is released. Because a call to
3274 3274 destroyed is imminent, the repo will be invalidated causing those
3275 3275 changes to stay in memory (waiting for the next unlock), or vanish
3276 3276 completely.
3277 3277 """
3278 3278 # When using the same lock to commit and strip, the phasecache is left
3279 3279 # dirty after committing. Then when we strip, the repo is invalidated,
3280 3280 # causing those changes to disappear.
3281 3281 if '_phasecache' in vars(self):
3282 3282 self._phasecache.write()
3283 3283
3284 3284 @unfilteredmethod
3285 3285 def destroyed(self):
3286 3286 """Inform the repository that nodes have been destroyed.
3287 3287 Intended for use by strip and rollback, so there's a common
3288 3288 place for anything that has to be done after destroying history.
3289 3289 """
3290 3290 # When one tries to:
3291 3291 # 1) destroy nodes thus calling this method (e.g. strip)
3292 3292 # 2) use phasecache somewhere (e.g. commit)
3293 3293 #
3294 3294 # then 2) will fail because the phasecache contains nodes that were
3295 3295 # removed. We can either remove phasecache from the filecache,
3296 3296 # causing it to reload next time it is accessed, or simply filter
3297 3297 # the removed nodes now and write the updated cache.
3298 3298 self._phasecache.filterunknown(self)
3299 3299 self._phasecache.write()
3300 3300
3301 3301 # refresh all repository caches
3302 3302 self.updatecaches()
3303 3303
3304 3304 # Ensure the persistent tag cache is updated. Doing it now
3305 3305 # means that the tag cache only has to worry about destroyed
3306 3306 # heads immediately after a strip/rollback. That in turn
3307 3307 # guarantees that "cachetip == currenttip" (comparing both rev
3308 3308 # and node) always means no nodes have been added or destroyed.
3309 3309
3310 3310 # XXX this is suboptimal when qrefresh'ing: we strip the current
3311 3311 # head, refresh the tag cache, then immediately add a new head.
3312 3312 # But I think doing it this way is necessary for the "instant
3313 3313 # tag cache retrieval" case to work.
3314 3314 self.invalidate()
3315 3315
3316 3316 def status(
3317 3317 self,
3318 3318 node1=b'.',
3319 3319 node2=None,
3320 3320 match=None,
3321 3321 ignored=False,
3322 3322 clean=False,
3323 3323 unknown=False,
3324 3324 listsubrepos=False,
3325 3325 ):
3326 3326 '''a convenience method that calls node1.status(node2)'''
3327 3327 return self[node1].status(
3328 3328 node2, match, ignored, clean, unknown, listsubrepos
3329 3329 )
3330 3330
3331 3331 def addpostdsstatus(self, ps):
3332 3332 """Add a callback to run within the wlock, at the point at which status
3333 3333 fixups happen.
3334 3334
3335 3335 On status completion, callback(wctx, status) will be called with the
3336 3336 wlock held, unless the dirstate has changed from underneath or the wlock
3337 3337 couldn't be grabbed.
3338 3338
3339 3339 Callbacks should not capture and use a cached copy of the dirstate --
3340 3340 it might change in the meanwhile. Instead, they should access the
3341 3341 dirstate via wctx.repo().dirstate.
3342 3342
3343 3343 This list is emptied out after each status run -- extensions should
3344 3344 make sure it adds to this list each time dirstate.status is called.
3345 3345 Extensions should also make sure they don't call this for statuses
3346 3346 that don't involve the dirstate.
3347 3347 """
3348 3348
3349 3349 # The list is located here for uniqueness reasons -- it is actually
3350 3350 # managed by the workingctx, but that isn't unique per-repo.
3351 3351 self._postdsstatus.append(ps)
3352 3352
3353 3353 def postdsstatus(self):
3354 3354 """Used by workingctx to get the list of post-dirstate-status hooks."""
3355 3355 return self._postdsstatus
3356 3356
3357 3357 def clearpostdsstatus(self):
3358 3358 """Used by workingctx to clear post-dirstate-status hooks."""
3359 3359 del self._postdsstatus[:]
3360 3360
3361 3361 def heads(self, start=None):
3362 3362 if start is None:
3363 3363 cl = self.changelog
3364 3364 headrevs = reversed(cl.headrevs())
3365 3365 return [cl.node(rev) for rev in headrevs]
3366 3366
3367 3367 heads = self.changelog.heads(start)
3368 3368 # sort the output in rev descending order
3369 3369 return sorted(heads, key=self.changelog.rev, reverse=True)
3370 3370
3371 3371 def branchheads(self, branch=None, start=None, closed=False):
3372 3372 """return a (possibly filtered) list of heads for the given branch
3373 3373
3374 3374 Heads are returned in topological order, from newest to oldest.
3375 3375 If branch is None, use the dirstate branch.
3376 3376 If start is not None, return only heads reachable from start.
3377 3377 If closed is True, return heads that are marked as closed as well.
3378 3378 """
3379 3379 if branch is None:
3380 3380 branch = self[None].branch()
3381 3381 branches = self.branchmap()
3382 3382 if not branches.hasbranch(branch):
3383 3383 return []
3384 3384 # the cache returns heads ordered lowest to highest
3385 3385 bheads = list(reversed(branches.branchheads(branch, closed=closed)))
3386 3386 if start is not None:
3387 3387 # filter out the heads that cannot be reached from startrev
3388 3388 fbheads = set(self.changelog.nodesbetween([start], bheads)[2])
3389 3389 bheads = [h for h in bheads if h in fbheads]
3390 3390 return bheads
3391 3391
3392 3392 def branches(self, nodes):
3393 3393 if not nodes:
3394 3394 nodes = [self.changelog.tip()]
3395 3395 b = []
3396 3396 for n in nodes:
3397 3397 t = n
3398 3398 while True:
3399 3399 p = self.changelog.parents(n)
3400 3400 if p[1] != self.nullid or p[0] == self.nullid:
3401 3401 b.append((t, n, p[0], p[1]))
3402 3402 break
3403 3403 n = p[0]
3404 3404 return b
3405 3405
3406 3406 def between(self, pairs):
3407 3407 r = []
3408 3408
3409 3409 for top, bottom in pairs:
3410 3410 n, l, i = top, [], 0
3411 3411 f = 1
3412 3412
3413 3413 while n != bottom and n != self.nullid:
3414 3414 p = self.changelog.parents(n)[0]
3415 3415 if i == f:
3416 3416 l.append(n)
3417 3417 f = f * 2
3418 3418 n = p
3419 3419 i += 1
3420 3420
3421 3421 r.append(l)
3422 3422
3423 3423 return r
3424 3424
3425 3425 def checkpush(self, pushop):
3426 3426 """Extensions can override this function if additional checks have
3427 3427 to be performed before pushing, or call it if they override push
3428 3428 command.
3429 3429 """
3430 3430
3431 3431 @unfilteredpropertycache
3432 3432 def prepushoutgoinghooks(self):
3433 3433 """Return util.hooks consists of a pushop with repo, remote, outgoing
3434 3434 methods, which are called before pushing changesets.
3435 3435 """
3436 3436 return util.hooks()
3437 3437
3438 3438 def pushkey(self, namespace, key, old, new):
3439 3439 try:
3440 3440 tr = self.currenttransaction()
3441 3441 hookargs = {}
3442 3442 if tr is not None:
3443 3443 hookargs.update(tr.hookargs)
3444 3444 hookargs = pycompat.strkwargs(hookargs)
3445 3445 hookargs['namespace'] = namespace
3446 3446 hookargs['key'] = key
3447 3447 hookargs['old'] = old
3448 3448 hookargs['new'] = new
3449 3449 self.hook(b'prepushkey', throw=True, **hookargs)
3450 3450 except error.HookAbort as exc:
3451 3451 self.ui.write_err(_(b"pushkey-abort: %s\n") % exc)
3452 3452 if exc.hint:
3453 3453 self.ui.write_err(_(b"(%s)\n") % exc.hint)
3454 3454 return False
3455 3455 self.ui.debug(b'pushing key for "%s:%s"\n' % (namespace, key))
3456 3456 ret = pushkey.push(self, namespace, key, old, new)
3457 3457
3458 3458 def runhook(unused_success):
3459 3459 self.hook(
3460 3460 b'pushkey',
3461 3461 namespace=namespace,
3462 3462 key=key,
3463 3463 old=old,
3464 3464 new=new,
3465 3465 ret=ret,
3466 3466 )
3467 3467
3468 3468 self._afterlock(runhook)
3469 3469 return ret
3470 3470
3471 3471 def listkeys(self, namespace):
3472 3472 self.hook(b'prelistkeys', throw=True, namespace=namespace)
3473 3473 self.ui.debug(b'listing keys for "%s"\n' % namespace)
3474 3474 values = pushkey.list(self, namespace)
3475 3475 self.hook(b'listkeys', namespace=namespace, values=values)
3476 3476 return values
3477 3477
3478 3478 def debugwireargs(self, one, two, three=None, four=None, five=None):
3479 3479 '''used to test argument passing over the wire'''
3480 3480 return b"%s %s %s %s %s" % (
3481 3481 one,
3482 3482 two,
3483 3483 pycompat.bytestr(three),
3484 3484 pycompat.bytestr(four),
3485 3485 pycompat.bytestr(five),
3486 3486 )
3487 3487
3488 3488 def savecommitmessage(self, text):
3489 3489 fp = self.vfs(b'last-message.txt', b'wb')
3490 3490 try:
3491 3491 fp.write(text)
3492 3492 finally:
3493 3493 fp.close()
3494 3494 return self.pathto(fp.name[len(self.root) + 1 :])
3495 3495
3496 3496 def register_wanted_sidedata(self, category):
3497 3497 if repository.REPO_FEATURE_SIDE_DATA not in self.features:
3498 3498 # Only revlogv2 repos can want sidedata.
3499 3499 return
3500 3500 self._wanted_sidedata.add(pycompat.bytestr(category))
3501 3501
3502 3502 def register_sidedata_computer(
3503 3503 self, kind, category, keys, computer, flags, replace=False
3504 3504 ):
3505 3505 if kind not in revlogconst.ALL_KINDS:
3506 3506 msg = _(b"unexpected revlog kind '%s'.")
3507 3507 raise error.ProgrammingError(msg % kind)
3508 3508 category = pycompat.bytestr(category)
3509 3509 already_registered = category in self._sidedata_computers.get(kind, [])
3510 3510 if already_registered and not replace:
3511 3511 msg = _(
3512 3512 b"cannot register a sidedata computer twice for category '%s'."
3513 3513 )
3514 3514 raise error.ProgrammingError(msg % category)
3515 3515 if replace and not already_registered:
3516 3516 msg = _(
3517 3517 b"cannot replace a sidedata computer that isn't registered "
3518 3518 b"for category '%s'."
3519 3519 )
3520 3520 raise error.ProgrammingError(msg % category)
3521 3521 self._sidedata_computers.setdefault(kind, {})
3522 3522 self._sidedata_computers[kind][category] = (keys, computer, flags)
3523 3523
3524 3524
3525 3525 # used to avoid circular references so destructors work
3526 3526 def aftertrans(files):
3527 3527 renamefiles = [tuple(t) for t in files]
3528 3528
3529 3529 def a():
3530 3530 for vfs, src, dest in renamefiles:
3531 3531 # if src and dest refer to a same file, vfs.rename is a no-op,
3532 3532 # leaving both src and dest on disk. delete dest to make sure
3533 3533 # the rename couldn't be such a no-op.
3534 3534 vfs.tryunlink(dest)
3535 3535 try:
3536 3536 vfs.rename(src, dest)
3537 3537 except FileNotFoundError: # journal file does not yet exist
3538 3538 pass
3539 3539
3540 3540 return a
3541 3541
3542 3542
3543 3543 def undoname(fn: bytes) -> bytes:
3544 3544 base, name = os.path.split(fn)
3545 3545 assert name.startswith(b'journal')
3546 3546 return os.path.join(base, name.replace(b'journal', b'undo', 1))
3547 3547
3548 3548
3549 3549 def instance(ui, path: bytes, create, intents=None, createopts=None):
3550 3550 # prevent cyclic import localrepo -> upgrade -> localrepo
3551 3551 from . import upgrade
3552 3552
3553 3553 localpath = urlutil.urllocalpath(path)
3554 3554 if create:
3555 3555 createrepository(ui, localpath, createopts=createopts)
3556 3556
3557 3557 def repo_maker():
3558 3558 return makelocalrepository(ui, localpath, intents=intents)
3559 3559
3560 3560 repo = repo_maker()
3561 3561 repo = upgrade.may_auto_upgrade(repo, repo_maker)
3562 3562 return repo
3563 3563
3564 3564
3565 3565 def islocal(path: bytes) -> bool:
3566 3566 return True
3567 3567
3568 3568
3569 3569 def defaultcreateopts(ui, createopts=None):
3570 3570 """Populate the default creation options for a repository.
3571 3571
3572 3572 A dictionary of explicitly requested creation options can be passed
3573 3573 in. Missing keys will be populated.
3574 3574 """
3575 3575 createopts = dict(createopts or {})
3576 3576
3577 3577 if b'backend' not in createopts:
3578 3578 # experimental config: storage.new-repo-backend
3579 3579 createopts[b'backend'] = ui.config(b'storage', b'new-repo-backend')
3580 3580
3581 3581 return createopts
3582 3582
3583 3583
3584 3584 def clone_requirements(ui, createopts, srcrepo):
3585 3585 """clone the requirements of a local repo for a local clone
3586 3586
3587 3587 The store requirements are unchanged while the working copy requirements
3588 3588 depends on the configuration
3589 3589 """
3590 3590 target_requirements = set()
3591 3591 if not srcrepo.requirements:
3592 3592 # this is a legacy revlog "v0" repository, we cannot do anything fancy
3593 3593 # with it.
3594 3594 return target_requirements
3595 3595 createopts = defaultcreateopts(ui, createopts=createopts)
3596 3596 for r in newreporequirements(ui, createopts):
3597 3597 if r in requirementsmod.WORKING_DIR_REQUIREMENTS:
3598 3598 target_requirements.add(r)
3599 3599
3600 3600 for r in srcrepo.requirements:
3601 3601 if r not in requirementsmod.WORKING_DIR_REQUIREMENTS:
3602 3602 target_requirements.add(r)
3603 3603 return target_requirements
3604 3604
3605 3605
3606 3606 def newreporequirements(ui, createopts):
3607 3607 """Determine the set of requirements for a new local repository.
3608 3608
3609 3609 Extensions can wrap this function to specify custom requirements for
3610 3610 new repositories.
3611 3611 """
3612 3612
3613 3613 if b'backend' not in createopts:
3614 3614 raise error.ProgrammingError(
3615 3615 b'backend key not present in createopts; '
3616 3616 b'was defaultcreateopts() called?'
3617 3617 )
3618 3618
3619 3619 if createopts[b'backend'] != b'revlogv1':
3620 3620 raise error.Abort(
3621 3621 _(
3622 3622 b'unable to determine repository requirements for '
3623 3623 b'storage backend: %s'
3624 3624 )
3625 3625 % createopts[b'backend']
3626 3626 )
3627 3627
3628 3628 requirements = {requirementsmod.REVLOGV1_REQUIREMENT}
3629 3629 if ui.configbool(b'format', b'usestore'):
3630 3630 requirements.add(requirementsmod.STORE_REQUIREMENT)
3631 3631 if ui.configbool(b'format', b'usefncache'):
3632 3632 requirements.add(requirementsmod.FNCACHE_REQUIREMENT)
3633 3633 if ui.configbool(b'format', b'dotencode'):
3634 3634 requirements.add(requirementsmod.DOTENCODE_REQUIREMENT)
3635 3635
3636 3636 compengines = ui.configlist(b'format', b'revlog-compression')
3637 3637 for compengine in compengines:
3638 3638 if compengine in util.compengines:
3639 3639 engine = util.compengines[compengine]
3640 3640 if engine.available() and engine.revlogheader():
3641 3641 break
3642 3642 else:
3643 3643 raise error.Abort(
3644 3644 _(
3645 3645 b'compression engines %s defined by '
3646 3646 b'format.revlog-compression not available'
3647 3647 )
3648 3648 % b', '.join(b'"%s"' % e for e in compengines),
3649 3649 hint=_(
3650 3650 b'run "hg debuginstall" to list available '
3651 3651 b'compression engines'
3652 3652 ),
3653 3653 )
3654 3654
3655 3655 # zlib is the historical default and doesn't need an explicit requirement.
3656 3656 if compengine == b'zstd':
3657 3657 requirements.add(b'revlog-compression-zstd')
3658 3658 elif compengine != b'zlib':
3659 3659 requirements.add(b'exp-compression-%s' % compengine)
3660 3660
3661 3661 if scmutil.gdinitconfig(ui):
3662 3662 requirements.add(requirementsmod.GENERALDELTA_REQUIREMENT)
3663 3663 if ui.configbool(b'format', b'sparse-revlog'):
3664 3664 requirements.add(requirementsmod.SPARSEREVLOG_REQUIREMENT)
3665 3665
3666 3666 # experimental config: format.use-dirstate-v2
3667 3667 # Keep this logic in sync with `has_dirstate_v2()` in `tests/hghave.py`
3668 3668 if ui.configbool(b'format', b'use-dirstate-v2'):
3669 3669 requirements.add(requirementsmod.DIRSTATE_V2_REQUIREMENT)
3670 3670
3671 3671 # experimental config: format.exp-use-copies-side-data-changeset
3672 3672 if ui.configbool(b'format', b'exp-use-copies-side-data-changeset'):
3673 3673 requirements.add(requirementsmod.CHANGELOGV2_REQUIREMENT)
3674 3674 requirements.add(requirementsmod.COPIESSDC_REQUIREMENT)
3675 3675 if ui.configbool(b'experimental', b'treemanifest'):
3676 3676 requirements.add(requirementsmod.TREEMANIFEST_REQUIREMENT)
3677 3677
3678 3678 changelogv2 = ui.config(b'format', b'exp-use-changelog-v2')
3679 3679 if changelogv2 == b'enable-unstable-format-and-corrupt-my-data':
3680 3680 requirements.add(requirementsmod.CHANGELOGV2_REQUIREMENT)
3681 3681
3682 3682 revlogv2 = ui.config(b'experimental', b'revlogv2')
3683 3683 if revlogv2 == b'enable-unstable-format-and-corrupt-my-data':
3684 3684 requirements.discard(requirementsmod.REVLOGV1_REQUIREMENT)
3685 3685 requirements.add(requirementsmod.REVLOGV2_REQUIREMENT)
3686 3686 # experimental config: format.internal-phase
3687 3687 if ui.configbool(b'format', b'use-internal-phase'):
3688 3688 requirements.add(requirementsmod.INTERNAL_PHASE_REQUIREMENT)
3689 3689
3690 3690 # experimental config: format.exp-archived-phase
3691 3691 if ui.configbool(b'format', b'exp-archived-phase'):
3692 3692 requirements.add(requirementsmod.ARCHIVED_PHASE_REQUIREMENT)
3693 3693
3694 3694 if createopts.get(b'narrowfiles'):
3695 3695 requirements.add(requirementsmod.NARROW_REQUIREMENT)
3696 3696
3697 3697 if createopts.get(b'lfs'):
3698 3698 requirements.add(b'lfs')
3699 3699
3700 3700 if ui.configbool(b'format', b'bookmarks-in-store'):
3701 3701 requirements.add(requirementsmod.BOOKMARKS_IN_STORE_REQUIREMENT)
3702 3702
3703 3703 if ui.configbool(b'format', b'use-persistent-nodemap'):
3704 3704 requirements.add(requirementsmod.NODEMAP_REQUIREMENT)
3705 3705
3706 3706 # if share-safe is enabled, let's create the new repository with the new
3707 3707 # requirement
3708 3708 if ui.configbool(b'format', b'use-share-safe'):
3709 3709 requirements.add(requirementsmod.SHARESAFE_REQUIREMENT)
3710 3710
3711 3711 # if we are creating a share-repoΒΉ we have to handle requirement
3712 3712 # differently.
3713 3713 #
3714 3714 # [1] (i.e. reusing the store from another repository, just having a
3715 3715 # working copy)
3716 3716 if b'sharedrepo' in createopts:
3717 3717 source_requirements = set(createopts[b'sharedrepo'].requirements)
3718 3718
3719 3719 if requirementsmod.SHARESAFE_REQUIREMENT not in source_requirements:
3720 3720 # share to an old school repository, we have to copy the
3721 3721 # requirements and hope for the best.
3722 3722 requirements = source_requirements
3723 3723 else:
3724 3724 # We have control on the working copy only, so "copy" the non
3725 3725 # working copy part over, ignoring previous logic.
3726 3726 to_drop = set()
3727 3727 for req in requirements:
3728 3728 if req in requirementsmod.WORKING_DIR_REQUIREMENTS:
3729 3729 continue
3730 3730 if req in source_requirements:
3731 3731 continue
3732 3732 to_drop.add(req)
3733 3733 requirements -= to_drop
3734 3734 requirements |= source_requirements
3735 3735
3736 3736 if createopts.get(b'sharedrelative'):
3737 3737 requirements.add(requirementsmod.RELATIVE_SHARED_REQUIREMENT)
3738 3738 else:
3739 3739 requirements.add(requirementsmod.SHARED_REQUIREMENT)
3740 3740
3741 3741 if ui.configbool(b'format', b'use-dirstate-tracked-hint'):
3742 3742 version = ui.configint(b'format', b'use-dirstate-tracked-hint.version')
3743 3743 msg = _(b"ignoring unknown tracked key version: %d\n")
3744 3744 hint = _(
3745 3745 b"see `hg help config.format.use-dirstate-tracked-hint-version"
3746 3746 )
3747 3747 if version != 1:
3748 3748 ui.warn(msg % version, hint=hint)
3749 3749 else:
3750 3750 requirements.add(requirementsmod.DIRSTATE_TRACKED_HINT_V1)
3751 3751
3752 3752 return requirements
3753 3753
3754 3754
3755 3755 def checkrequirementscompat(ui, requirements):
3756 3756 """Checks compatibility of repository requirements enabled and disabled.
3757 3757
3758 3758 Returns a set of requirements which needs to be dropped because dependend
3759 3759 requirements are not enabled. Also warns users about it"""
3760 3760
3761 3761 dropped = set()
3762 3762
3763 3763 if requirementsmod.STORE_REQUIREMENT not in requirements:
3764 3764 if requirementsmod.BOOKMARKS_IN_STORE_REQUIREMENT in requirements:
3765 3765 ui.warn(
3766 3766 _(
3767 3767 b'ignoring enabled \'format.bookmarks-in-store\' config '
3768 3768 b'beacuse it is incompatible with disabled '
3769 3769 b'\'format.usestore\' config\n'
3770 3770 )
3771 3771 )
3772 3772 dropped.add(requirementsmod.BOOKMARKS_IN_STORE_REQUIREMENT)
3773 3773
3774 3774 if (
3775 3775 requirementsmod.SHARED_REQUIREMENT in requirements
3776 3776 or requirementsmod.RELATIVE_SHARED_REQUIREMENT in requirements
3777 3777 ):
3778 3778 raise error.Abort(
3779 3779 _(
3780 3780 b"cannot create shared repository as source was created"
3781 3781 b" with 'format.usestore' config disabled"
3782 3782 )
3783 3783 )
3784 3784
3785 3785 if requirementsmod.SHARESAFE_REQUIREMENT in requirements:
3786 3786 if ui.hasconfig(b'format', b'use-share-safe'):
3787 3787 msg = _(
3788 3788 b"ignoring enabled 'format.use-share-safe' config because "
3789 3789 b"it is incompatible with disabled 'format.usestore'"
3790 3790 b" config\n"
3791 3791 )
3792 3792 ui.warn(msg)
3793 3793 dropped.add(requirementsmod.SHARESAFE_REQUIREMENT)
3794 3794
3795 3795 return dropped
3796 3796
3797 3797
3798 3798 def filterknowncreateopts(ui, createopts):
3799 3799 """Filters a dict of repo creation options against options that are known.
3800 3800
3801 3801 Receives a dict of repo creation options and returns a dict of those
3802 3802 options that we don't know how to handle.
3803 3803
3804 3804 This function is called as part of repository creation. If the
3805 3805 returned dict contains any items, repository creation will not
3806 3806 be allowed, as it means there was a request to create a repository
3807 3807 with options not recognized by loaded code.
3808 3808
3809 3809 Extensions can wrap this function to filter out creation options
3810 3810 they know how to handle.
3811 3811 """
3812 3812 known = {
3813 3813 b'backend',
3814 3814 b'lfs',
3815 3815 b'narrowfiles',
3816 3816 b'sharedrepo',
3817 3817 b'sharedrelative',
3818 3818 b'shareditems',
3819 3819 b'shallowfilestore',
3820 3820 }
3821 3821
3822 3822 return {k: v for k, v in createopts.items() if k not in known}
3823 3823
3824 3824
3825 3825 def createrepository(ui, path: bytes, createopts=None, requirements=None):
3826 3826 """Create a new repository in a vfs.
3827 3827
3828 3828 ``path`` path to the new repo's working directory.
3829 3829 ``createopts`` options for the new repository.
3830 3830 ``requirement`` predefined set of requirements.
3831 3831 (incompatible with ``createopts``)
3832 3832
3833 3833 The following keys for ``createopts`` are recognized:
3834 3834
3835 3835 backend
3836 3836 The storage backend to use.
3837 3837 lfs
3838 3838 Repository will be created with ``lfs`` requirement. The lfs extension
3839 3839 will automatically be loaded when the repository is accessed.
3840 3840 narrowfiles
3841 3841 Set up repository to support narrow file storage.
3842 3842 sharedrepo
3843 3843 Repository object from which storage should be shared.
3844 3844 sharedrelative
3845 3845 Boolean indicating if the path to the shared repo should be
3846 3846 stored as relative. By default, the pointer to the "parent" repo
3847 3847 is stored as an absolute path.
3848 3848 shareditems
3849 3849 Set of items to share to the new repository (in addition to storage).
3850 3850 shallowfilestore
3851 3851 Indicates that storage for files should be shallow (not all ancestor
3852 3852 revisions are known).
3853 3853 """
3854 3854
3855 3855 if requirements is not None:
3856 3856 if createopts is not None:
3857 3857 msg = b'cannot specify both createopts and requirements'
3858 3858 raise error.ProgrammingError(msg)
3859 3859 createopts = {}
3860 3860 else:
3861 3861 createopts = defaultcreateopts(ui, createopts=createopts)
3862 3862
3863 3863 unknownopts = filterknowncreateopts(ui, createopts)
3864 3864
3865 3865 if not isinstance(unknownopts, dict):
3866 3866 raise error.ProgrammingError(
3867 3867 b'filterknowncreateopts() did not return a dict'
3868 3868 )
3869 3869
3870 3870 if unknownopts:
3871 3871 raise error.Abort(
3872 3872 _(
3873 3873 b'unable to create repository because of unknown '
3874 3874 b'creation option: %s'
3875 3875 )
3876 3876 % b', '.join(sorted(unknownopts)),
3877 3877 hint=_(b'is a required extension not loaded?'),
3878 3878 )
3879 3879
3880 3880 requirements = newreporequirements(ui, createopts=createopts)
3881 3881 requirements -= checkrequirementscompat(ui, requirements)
3882 3882
3883 3883 wdirvfs = vfsmod.vfs(path, expandpath=True, realpath=True)
3884 3884
3885 3885 hgvfs = vfsmod.vfs(wdirvfs.join(b'.hg'))
3886 3886 if hgvfs.exists():
3887 3887 raise error.RepoError(_(b'repository %s already exists') % path)
3888 3888
3889 3889 if b'sharedrepo' in createopts:
3890 3890 sharedpath = createopts[b'sharedrepo'].sharedpath
3891 3891
3892 3892 if createopts.get(b'sharedrelative'):
3893 3893 try:
3894 3894 sharedpath = os.path.relpath(sharedpath, hgvfs.base)
3895 3895 sharedpath = util.pconvert(sharedpath)
3896 3896 except (IOError, ValueError) as e:
3897 3897 # ValueError is raised on Windows if the drive letters differ
3898 3898 # on each path.
3899 3899 raise error.Abort(
3900 3900 _(b'cannot calculate relative path'),
3901 3901 hint=stringutil.forcebytestr(e),
3902 3902 )
3903 3903
3904 3904 if not wdirvfs.exists():
3905 3905 wdirvfs.makedirs()
3906 3906
3907 3907 hgvfs.makedir(notindexed=True)
3908 3908 if b'sharedrepo' not in createopts:
3909 3909 hgvfs.mkdir(b'cache')
3910 3910 hgvfs.mkdir(b'wcache')
3911 3911
3912 3912 has_store = requirementsmod.STORE_REQUIREMENT in requirements
3913 3913 if has_store and b'sharedrepo' not in createopts:
3914 3914 hgvfs.mkdir(b'store')
3915 3915
3916 3916 # We create an invalid changelog outside the store so very old
3917 3917 # Mercurial versions (which didn't know about the requirements
3918 3918 # file) encounter an error on reading the changelog. This
3919 3919 # effectively locks out old clients and prevents them from
3920 3920 # mucking with a repo in an unknown format.
3921 3921 #
3922 3922 # The revlog header has version 65535, which won't be recognized by
3923 3923 # such old clients.
3924 3924 hgvfs.append(
3925 3925 b'00changelog.i',
3926 3926 b'\0\0\xFF\xFF dummy changelog to prevent using the old repo '
3927 3927 b'layout',
3928 3928 )
3929 3929
3930 3930 # Filter the requirements into working copy and store ones
3931 3931 wcreq, storereq = scmutil.filterrequirements(requirements)
3932 3932 # write working copy ones
3933 3933 scmutil.writerequires(hgvfs, wcreq)
3934 3934 # If there are store requirements and the current repository
3935 3935 # is not a shared one, write stored requirements
3936 3936 # For new shared repository, we don't need to write the store
3937 3937 # requirements as they are already present in store requires
3938 3938 if storereq and b'sharedrepo' not in createopts:
3939 3939 storevfs = vfsmod.vfs(hgvfs.join(b'store'), cacheaudited=True)
3940 3940 scmutil.writerequires(storevfs, storereq)
3941 3941
3942 3942 # Write out file telling readers where to find the shared store.
3943 3943 if b'sharedrepo' in createopts:
3944 3944 hgvfs.write(b'sharedpath', sharedpath)
3945 3945
3946 3946 if createopts.get(b'shareditems'):
3947 3947 shared = b'\n'.join(sorted(createopts[b'shareditems'])) + b'\n'
3948 3948 hgvfs.write(b'shared', shared)
3949 3949
3950 3950
3951 3951 def poisonrepository(repo):
3952 3952 """Poison a repository instance so it can no longer be used."""
3953 3953 # Perform any cleanup on the instance.
3954 3954 repo.close()
3955 3955
3956 3956 # Our strategy is to replace the type of the object with one that
3957 3957 # has all attribute lookups result in error.
3958 3958 #
3959 3959 # But we have to allow the close() method because some constructors
3960 3960 # of repos call close() on repo references.
3961 3961 class poisonedrepository:
3962 3962 def __getattribute__(self, item):
3963 3963 if item == 'close':
3964 3964 return object.__getattribute__(self, item)
3965 3965
3966 3966 raise error.ProgrammingError(
3967 3967 b'repo instances should not be used after unshare'
3968 3968 )
3969 3969
3970 3970 def close(self):
3971 3971 pass
3972 3972
3973 3973 # We may have a repoview, which intercepts __setattr__. So be sure
3974 3974 # we operate at the lowest level possible.
3975 3975 object.__setattr__(repo, '__class__', poisonedrepository)
General Comments 0
You need to be logged in to leave comments. Login now