##// END OF EJS Templates
effectflag: detect when description changed...
Boris Feld -
r34416:51aadc0d default
parent child Browse files
Show More
@@ -1,670 +1,677 b''
1 # obsutil.py - utility functions for obsolescence
1 # obsutil.py - utility functions for obsolescence
2 #
2 #
3 # Copyright 2017 Boris Feld <boris.feld@octobus.net>
3 # Copyright 2017 Boris Feld <boris.feld@octobus.net>
4 #
4 #
5 # This software may be used and distributed according to the terms of the
5 # This software may be used and distributed according to the terms of the
6 # GNU General Public License version 2 or any later version.
6 # GNU General Public License version 2 or any later version.
7
7
8 from __future__ import absolute_import
8 from __future__ import absolute_import
9
9
10 from . import (
10 from . import (
11 phases,
11 phases,
12 util
12 util
13 )
13 )
14
14
15 class marker(object):
15 class marker(object):
16 """Wrap obsolete marker raw data"""
16 """Wrap obsolete marker raw data"""
17
17
18 def __init__(self, repo, data):
18 def __init__(self, repo, data):
19 # the repo argument will be used to create changectx in later version
19 # the repo argument will be used to create changectx in later version
20 self._repo = repo
20 self._repo = repo
21 self._data = data
21 self._data = data
22 self._decodedmeta = None
22 self._decodedmeta = None
23
23
24 def __hash__(self):
24 def __hash__(self):
25 return hash(self._data)
25 return hash(self._data)
26
26
27 def __eq__(self, other):
27 def __eq__(self, other):
28 if type(other) != type(self):
28 if type(other) != type(self):
29 return False
29 return False
30 return self._data == other._data
30 return self._data == other._data
31
31
32 def precnode(self):
32 def precnode(self):
33 msg = ("'marker.precnode' is deprecated, "
33 msg = ("'marker.precnode' is deprecated, "
34 "use 'marker.prednode'")
34 "use 'marker.prednode'")
35 util.nouideprecwarn(msg, '4.4')
35 util.nouideprecwarn(msg, '4.4')
36 return self.prednode()
36 return self.prednode()
37
37
38 def prednode(self):
38 def prednode(self):
39 """Predecessor changeset node identifier"""
39 """Predecessor changeset node identifier"""
40 return self._data[0]
40 return self._data[0]
41
41
42 def succnodes(self):
42 def succnodes(self):
43 """List of successor changesets node identifiers"""
43 """List of successor changesets node identifiers"""
44 return self._data[1]
44 return self._data[1]
45
45
46 def parentnodes(self):
46 def parentnodes(self):
47 """Parents of the predecessors (None if not recorded)"""
47 """Parents of the predecessors (None if not recorded)"""
48 return self._data[5]
48 return self._data[5]
49
49
50 def metadata(self):
50 def metadata(self):
51 """Decoded metadata dictionary"""
51 """Decoded metadata dictionary"""
52 return dict(self._data[3])
52 return dict(self._data[3])
53
53
54 def date(self):
54 def date(self):
55 """Creation date as (unixtime, offset)"""
55 """Creation date as (unixtime, offset)"""
56 return self._data[4]
56 return self._data[4]
57
57
58 def flags(self):
58 def flags(self):
59 """The flags field of the marker"""
59 """The flags field of the marker"""
60 return self._data[2]
60 return self._data[2]
61
61
62 def getmarkers(repo, nodes=None, exclusive=False):
62 def getmarkers(repo, nodes=None, exclusive=False):
63 """returns markers known in a repository
63 """returns markers known in a repository
64
64
65 If <nodes> is specified, only markers "relevant" to those nodes are are
65 If <nodes> is specified, only markers "relevant" to those nodes are are
66 returned"""
66 returned"""
67 if nodes is None:
67 if nodes is None:
68 rawmarkers = repo.obsstore
68 rawmarkers = repo.obsstore
69 elif exclusive:
69 elif exclusive:
70 rawmarkers = exclusivemarkers(repo, nodes)
70 rawmarkers = exclusivemarkers(repo, nodes)
71 else:
71 else:
72 rawmarkers = repo.obsstore.relevantmarkers(nodes)
72 rawmarkers = repo.obsstore.relevantmarkers(nodes)
73
73
74 for markerdata in rawmarkers:
74 for markerdata in rawmarkers:
75 yield marker(repo, markerdata)
75 yield marker(repo, markerdata)
76
76
77 def closestpredecessors(repo, nodeid):
77 def closestpredecessors(repo, nodeid):
78 """yield the list of next predecessors pointing on visible changectx nodes
78 """yield the list of next predecessors pointing on visible changectx nodes
79
79
80 This function respect the repoview filtering, filtered revision will be
80 This function respect the repoview filtering, filtered revision will be
81 considered missing.
81 considered missing.
82 """
82 """
83
83
84 precursors = repo.obsstore.predecessors
84 precursors = repo.obsstore.predecessors
85 stack = [nodeid]
85 stack = [nodeid]
86 seen = set(stack)
86 seen = set(stack)
87
87
88 while stack:
88 while stack:
89 current = stack.pop()
89 current = stack.pop()
90 currentpreccs = precursors.get(current, ())
90 currentpreccs = precursors.get(current, ())
91
91
92 for prec in currentpreccs:
92 for prec in currentpreccs:
93 precnodeid = prec[0]
93 precnodeid = prec[0]
94
94
95 # Basic cycle protection
95 # Basic cycle protection
96 if precnodeid in seen:
96 if precnodeid in seen:
97 continue
97 continue
98 seen.add(precnodeid)
98 seen.add(precnodeid)
99
99
100 if precnodeid in repo:
100 if precnodeid in repo:
101 yield precnodeid
101 yield precnodeid
102 else:
102 else:
103 stack.append(precnodeid)
103 stack.append(precnodeid)
104
104
105 def allprecursors(*args, **kwargs):
105 def allprecursors(*args, **kwargs):
106 """ (DEPRECATED)
106 """ (DEPRECATED)
107 """
107 """
108 msg = ("'obsutil.allprecursors' is deprecated, "
108 msg = ("'obsutil.allprecursors' is deprecated, "
109 "use 'obsutil.allpredecessors'")
109 "use 'obsutil.allpredecessors'")
110 util.nouideprecwarn(msg, '4.4')
110 util.nouideprecwarn(msg, '4.4')
111
111
112 return allpredecessors(*args, **kwargs)
112 return allpredecessors(*args, **kwargs)
113
113
114 def allpredecessors(obsstore, nodes, ignoreflags=0):
114 def allpredecessors(obsstore, nodes, ignoreflags=0):
115 """Yield node for every precursors of <nodes>.
115 """Yield node for every precursors of <nodes>.
116
116
117 Some precursors may be unknown locally.
117 Some precursors may be unknown locally.
118
118
119 This is a linear yield unsuited to detecting folded changesets. It includes
119 This is a linear yield unsuited to detecting folded changesets. It includes
120 initial nodes too."""
120 initial nodes too."""
121
121
122 remaining = set(nodes)
122 remaining = set(nodes)
123 seen = set(remaining)
123 seen = set(remaining)
124 while remaining:
124 while remaining:
125 current = remaining.pop()
125 current = remaining.pop()
126 yield current
126 yield current
127 for mark in obsstore.predecessors.get(current, ()):
127 for mark in obsstore.predecessors.get(current, ()):
128 # ignore marker flagged with specified flag
128 # ignore marker flagged with specified flag
129 if mark[2] & ignoreflags:
129 if mark[2] & ignoreflags:
130 continue
130 continue
131 suc = mark[0]
131 suc = mark[0]
132 if suc not in seen:
132 if suc not in seen:
133 seen.add(suc)
133 seen.add(suc)
134 remaining.add(suc)
134 remaining.add(suc)
135
135
136 def allsuccessors(obsstore, nodes, ignoreflags=0):
136 def allsuccessors(obsstore, nodes, ignoreflags=0):
137 """Yield node for every successor of <nodes>.
137 """Yield node for every successor of <nodes>.
138
138
139 Some successors may be unknown locally.
139 Some successors may be unknown locally.
140
140
141 This is a linear yield unsuited to detecting split changesets. It includes
141 This is a linear yield unsuited to detecting split changesets. It includes
142 initial nodes too."""
142 initial nodes too."""
143 remaining = set(nodes)
143 remaining = set(nodes)
144 seen = set(remaining)
144 seen = set(remaining)
145 while remaining:
145 while remaining:
146 current = remaining.pop()
146 current = remaining.pop()
147 yield current
147 yield current
148 for mark in obsstore.successors.get(current, ()):
148 for mark in obsstore.successors.get(current, ()):
149 # ignore marker flagged with specified flag
149 # ignore marker flagged with specified flag
150 if mark[2] & ignoreflags:
150 if mark[2] & ignoreflags:
151 continue
151 continue
152 for suc in mark[1]:
152 for suc in mark[1]:
153 if suc not in seen:
153 if suc not in seen:
154 seen.add(suc)
154 seen.add(suc)
155 remaining.add(suc)
155 remaining.add(suc)
156
156
157 def _filterprunes(markers):
157 def _filterprunes(markers):
158 """return a set with no prune markers"""
158 """return a set with no prune markers"""
159 return set(m for m in markers if m[1])
159 return set(m for m in markers if m[1])
160
160
161 def exclusivemarkers(repo, nodes):
161 def exclusivemarkers(repo, nodes):
162 """set of markers relevant to "nodes" but no other locally-known nodes
162 """set of markers relevant to "nodes" but no other locally-known nodes
163
163
164 This function compute the set of markers "exclusive" to a locally-known
164 This function compute the set of markers "exclusive" to a locally-known
165 node. This means we walk the markers starting from <nodes> until we reach a
165 node. This means we walk the markers starting from <nodes> until we reach a
166 locally-known precursors outside of <nodes>. Element of <nodes> with
166 locally-known precursors outside of <nodes>. Element of <nodes> with
167 locally-known successors outside of <nodes> are ignored (since their
167 locally-known successors outside of <nodes> are ignored (since their
168 precursors markers are also relevant to these successors).
168 precursors markers are also relevant to these successors).
169
169
170 For example:
170 For example:
171
171
172 # (A0 rewritten as A1)
172 # (A0 rewritten as A1)
173 #
173 #
174 # A0 <-1- A1 # Marker "1" is exclusive to A1
174 # A0 <-1- A1 # Marker "1" is exclusive to A1
175
175
176 or
176 or
177
177
178 # (A0 rewritten as AX; AX rewritten as A1; AX is unkown locally)
178 # (A0 rewritten as AX; AX rewritten as A1; AX is unkown locally)
179 #
179 #
180 # <-1- A0 <-2- AX <-3- A1 # Marker "2,3" are exclusive to A1
180 # <-1- A0 <-2- AX <-3- A1 # Marker "2,3" are exclusive to A1
181
181
182 or
182 or
183
183
184 # (A0 has unknown precursors, A0 rewritten as A1 and A2 (divergence))
184 # (A0 has unknown precursors, A0 rewritten as A1 and A2 (divergence))
185 #
185 #
186 # <-2- A1 # Marker "2" is exclusive to A0,A1
186 # <-2- A1 # Marker "2" is exclusive to A0,A1
187 # /
187 # /
188 # <-1- A0
188 # <-1- A0
189 # \
189 # \
190 # <-3- A2 # Marker "3" is exclusive to A0,A2
190 # <-3- A2 # Marker "3" is exclusive to A0,A2
191 #
191 #
192 # in addition:
192 # in addition:
193 #
193 #
194 # Markers "2,3" are exclusive to A1,A2
194 # Markers "2,3" are exclusive to A1,A2
195 # Markers "1,2,3" are exclusive to A0,A1,A2
195 # Markers "1,2,3" are exclusive to A0,A1,A2
196
196
197 See test/test-obsolete-bundle-strip.t for more examples.
197 See test/test-obsolete-bundle-strip.t for more examples.
198
198
199 An example usage is strip. When stripping a changeset, we also want to
199 An example usage is strip. When stripping a changeset, we also want to
200 strip the markers exclusive to this changeset. Otherwise we would have
200 strip the markers exclusive to this changeset. Otherwise we would have
201 "dangling"" obsolescence markers from its precursors: Obsolescence markers
201 "dangling"" obsolescence markers from its precursors: Obsolescence markers
202 marking a node as obsolete without any successors available locally.
202 marking a node as obsolete without any successors available locally.
203
203
204 As for relevant markers, the prune markers for children will be followed.
204 As for relevant markers, the prune markers for children will be followed.
205 Of course, they will only be followed if the pruned children is
205 Of course, they will only be followed if the pruned children is
206 locally-known. Since the prune markers are relevant to the pruned node.
206 locally-known. Since the prune markers are relevant to the pruned node.
207 However, while prune markers are considered relevant to the parent of the
207 However, while prune markers are considered relevant to the parent of the
208 pruned changesets, prune markers for locally-known changeset (with no
208 pruned changesets, prune markers for locally-known changeset (with no
209 successors) are considered exclusive to the pruned nodes. This allows
209 successors) are considered exclusive to the pruned nodes. This allows
210 to strip the prune markers (with the rest of the exclusive chain) alongside
210 to strip the prune markers (with the rest of the exclusive chain) alongside
211 the pruned changesets.
211 the pruned changesets.
212 """
212 """
213 # running on a filtered repository would be dangerous as markers could be
213 # running on a filtered repository would be dangerous as markers could be
214 # reported as exclusive when they are relevant for other filtered nodes.
214 # reported as exclusive when they are relevant for other filtered nodes.
215 unfi = repo.unfiltered()
215 unfi = repo.unfiltered()
216
216
217 # shortcut to various useful item
217 # shortcut to various useful item
218 nm = unfi.changelog.nodemap
218 nm = unfi.changelog.nodemap
219 precursorsmarkers = unfi.obsstore.predecessors
219 precursorsmarkers = unfi.obsstore.predecessors
220 successormarkers = unfi.obsstore.successors
220 successormarkers = unfi.obsstore.successors
221 childrenmarkers = unfi.obsstore.children
221 childrenmarkers = unfi.obsstore.children
222
222
223 # exclusive markers (return of the function)
223 # exclusive markers (return of the function)
224 exclmarkers = set()
224 exclmarkers = set()
225 # we need fast membership testing
225 # we need fast membership testing
226 nodes = set(nodes)
226 nodes = set(nodes)
227 # looking for head in the obshistory
227 # looking for head in the obshistory
228 #
228 #
229 # XXX we are ignoring all issues in regard with cycle for now.
229 # XXX we are ignoring all issues in regard with cycle for now.
230 stack = [n for n in nodes if not _filterprunes(successormarkers.get(n, ()))]
230 stack = [n for n in nodes if not _filterprunes(successormarkers.get(n, ()))]
231 stack.sort()
231 stack.sort()
232 # nodes already stacked
232 # nodes already stacked
233 seennodes = set(stack)
233 seennodes = set(stack)
234 while stack:
234 while stack:
235 current = stack.pop()
235 current = stack.pop()
236 # fetch precursors markers
236 # fetch precursors markers
237 markers = list(precursorsmarkers.get(current, ()))
237 markers = list(precursorsmarkers.get(current, ()))
238 # extend the list with prune markers
238 # extend the list with prune markers
239 for mark in successormarkers.get(current, ()):
239 for mark in successormarkers.get(current, ()):
240 if not mark[1]:
240 if not mark[1]:
241 markers.append(mark)
241 markers.append(mark)
242 # and markers from children (looking for prune)
242 # and markers from children (looking for prune)
243 for mark in childrenmarkers.get(current, ()):
243 for mark in childrenmarkers.get(current, ()):
244 if not mark[1]:
244 if not mark[1]:
245 markers.append(mark)
245 markers.append(mark)
246 # traverse the markers
246 # traverse the markers
247 for mark in markers:
247 for mark in markers:
248 if mark in exclmarkers:
248 if mark in exclmarkers:
249 # markers already selected
249 # markers already selected
250 continue
250 continue
251
251
252 # If the markers is about the current node, select it
252 # If the markers is about the current node, select it
253 #
253 #
254 # (this delay the addition of markers from children)
254 # (this delay the addition of markers from children)
255 if mark[1] or mark[0] == current:
255 if mark[1] or mark[0] == current:
256 exclmarkers.add(mark)
256 exclmarkers.add(mark)
257
257
258 # should we keep traversing through the precursors?
258 # should we keep traversing through the precursors?
259 prec = mark[0]
259 prec = mark[0]
260
260
261 # nodes in the stack or already processed
261 # nodes in the stack or already processed
262 if prec in seennodes:
262 if prec in seennodes:
263 continue
263 continue
264
264
265 # is this a locally known node ?
265 # is this a locally known node ?
266 known = prec in nm
266 known = prec in nm
267 # if locally-known and not in the <nodes> set the traversal
267 # if locally-known and not in the <nodes> set the traversal
268 # stop here.
268 # stop here.
269 if known and prec not in nodes:
269 if known and prec not in nodes:
270 continue
270 continue
271
271
272 # do not keep going if there are unselected markers pointing to this
272 # do not keep going if there are unselected markers pointing to this
273 # nodes. If we end up traversing these unselected markers later the
273 # nodes. If we end up traversing these unselected markers later the
274 # node will be taken care of at that point.
274 # node will be taken care of at that point.
275 precmarkers = _filterprunes(successormarkers.get(prec))
275 precmarkers = _filterprunes(successormarkers.get(prec))
276 if precmarkers.issubset(exclmarkers):
276 if precmarkers.issubset(exclmarkers):
277 seennodes.add(prec)
277 seennodes.add(prec)
278 stack.append(prec)
278 stack.append(prec)
279
279
280 return exclmarkers
280 return exclmarkers
281
281
282 def foreground(repo, nodes):
282 def foreground(repo, nodes):
283 """return all nodes in the "foreground" of other node
283 """return all nodes in the "foreground" of other node
284
284
285 The foreground of a revision is anything reachable using parent -> children
285 The foreground of a revision is anything reachable using parent -> children
286 or precursor -> successor relation. It is very similar to "descendant" but
286 or precursor -> successor relation. It is very similar to "descendant" but
287 augmented with obsolescence information.
287 augmented with obsolescence information.
288
288
289 Beware that possible obsolescence cycle may result if complex situation.
289 Beware that possible obsolescence cycle may result if complex situation.
290 """
290 """
291 repo = repo.unfiltered()
291 repo = repo.unfiltered()
292 foreground = set(repo.set('%ln::', nodes))
292 foreground = set(repo.set('%ln::', nodes))
293 if repo.obsstore:
293 if repo.obsstore:
294 # We only need this complicated logic if there is obsolescence
294 # We only need this complicated logic if there is obsolescence
295 # XXX will probably deserve an optimised revset.
295 # XXX will probably deserve an optimised revset.
296 nm = repo.changelog.nodemap
296 nm = repo.changelog.nodemap
297 plen = -1
297 plen = -1
298 # compute the whole set of successors or descendants
298 # compute the whole set of successors or descendants
299 while len(foreground) != plen:
299 while len(foreground) != plen:
300 plen = len(foreground)
300 plen = len(foreground)
301 succs = set(c.node() for c in foreground)
301 succs = set(c.node() for c in foreground)
302 mutable = [c.node() for c in foreground if c.mutable()]
302 mutable = [c.node() for c in foreground if c.mutable()]
303 succs.update(allsuccessors(repo.obsstore, mutable))
303 succs.update(allsuccessors(repo.obsstore, mutable))
304 known = (n for n in succs if n in nm)
304 known = (n for n in succs if n in nm)
305 foreground = set(repo.set('%ln::', known))
305 foreground = set(repo.set('%ln::', known))
306 return set(c.node() for c in foreground)
306 return set(c.node() for c in foreground)
307
307
308 # logic around storing and using effect flags
308 # logic around storing and using effect flags
309 EFFECTFLAGFIELD = "ef1"
309 EFFECTFLAGFIELD = "ef1"
310
310
311 DESCCHANGED = 1 << 0 # action changed the description
312
311 def geteffectflag(relation):
313 def geteffectflag(relation):
312 """ From an obs-marker relation, compute what changed between the
314 """ From an obs-marker relation, compute what changed between the
313 predecessor and the successor.
315 predecessor and the successor.
314 """
316 """
315 effects = 0
317 effects = 0
316
318
317 source = relation[0]
319 source = relation[0]
318
320
321 for changectx in relation[1]:
322 # Check if description has changed
323 if changectx.description() != source.description():
324 effects |= DESCCHANGED
325
319 return effects
326 return effects
320
327
321 def getobsoleted(repo, tr):
328 def getobsoleted(repo, tr):
322 """return the set of pre-existing revisions obsoleted by a transaction"""
329 """return the set of pre-existing revisions obsoleted by a transaction"""
323 torev = repo.unfiltered().changelog.nodemap.get
330 torev = repo.unfiltered().changelog.nodemap.get
324 phase = repo._phasecache.phase
331 phase = repo._phasecache.phase
325 succsmarkers = repo.obsstore.successors.get
332 succsmarkers = repo.obsstore.successors.get
326 public = phases.public
333 public = phases.public
327 addedmarkers = tr.changes.get('obsmarkers')
334 addedmarkers = tr.changes.get('obsmarkers')
328 addedrevs = tr.changes.get('revs')
335 addedrevs = tr.changes.get('revs')
329 seenrevs = set(addedrevs)
336 seenrevs = set(addedrevs)
330 obsoleted = set()
337 obsoleted = set()
331 for mark in addedmarkers:
338 for mark in addedmarkers:
332 node = mark[0]
339 node = mark[0]
333 rev = torev(node)
340 rev = torev(node)
334 if rev is None or rev in seenrevs:
341 if rev is None or rev in seenrevs:
335 continue
342 continue
336 seenrevs.add(rev)
343 seenrevs.add(rev)
337 if phase(repo, rev) == public:
344 if phase(repo, rev) == public:
338 continue
345 continue
339 if set(succsmarkers(node) or []).issubset(addedmarkers):
346 if set(succsmarkers(node) or []).issubset(addedmarkers):
340 obsoleted.add(rev)
347 obsoleted.add(rev)
341 return obsoleted
348 return obsoleted
342
349
343 class _succs(list):
350 class _succs(list):
344 """small class to represent a successors with some metadata about it"""
351 """small class to represent a successors with some metadata about it"""
345
352
346 def __init__(self, *args, **kwargs):
353 def __init__(self, *args, **kwargs):
347 super(_succs, self).__init__(*args, **kwargs)
354 super(_succs, self).__init__(*args, **kwargs)
348 self.markers = set()
355 self.markers = set()
349
356
350 def copy(self):
357 def copy(self):
351 new = _succs(self)
358 new = _succs(self)
352 new.markers = self.markers.copy()
359 new.markers = self.markers.copy()
353 return new
360 return new
354
361
355 @util.propertycache
362 @util.propertycache
356 def _set(self):
363 def _set(self):
357 # immutable
364 # immutable
358 return set(self)
365 return set(self)
359
366
360 def canmerge(self, other):
367 def canmerge(self, other):
361 return self._set.issubset(other._set)
368 return self._set.issubset(other._set)
362
369
363 def successorssets(repo, initialnode, closest=False, cache=None):
370 def successorssets(repo, initialnode, closest=False, cache=None):
364 """Return set of all latest successors of initial nodes
371 """Return set of all latest successors of initial nodes
365
372
366 The successors set of a changeset A are the group of revisions that succeed
373 The successors set of a changeset A are the group of revisions that succeed
367 A. It succeeds A as a consistent whole, each revision being only a partial
374 A. It succeeds A as a consistent whole, each revision being only a partial
368 replacement. By default, the successors set contains non-obsolete
375 replacement. By default, the successors set contains non-obsolete
369 changesets only, walking the obsolescence graph until reaching a leaf. If
376 changesets only, walking the obsolescence graph until reaching a leaf. If
370 'closest' is set to True, closest successors-sets are return (the
377 'closest' is set to True, closest successors-sets are return (the
371 obsolescence walk stops on known changesets).
378 obsolescence walk stops on known changesets).
372
379
373 This function returns the full list of successor sets which is why it
380 This function returns the full list of successor sets which is why it
374 returns a list of tuples and not just a single tuple. Each tuple is a valid
381 returns a list of tuples and not just a single tuple. Each tuple is a valid
375 successors set. Note that (A,) may be a valid successors set for changeset A
382 successors set. Note that (A,) may be a valid successors set for changeset A
376 (see below).
383 (see below).
377
384
378 In most cases, a changeset A will have a single element (e.g. the changeset
385 In most cases, a changeset A will have a single element (e.g. the changeset
379 A is replaced by A') in its successors set. Though, it is also common for a
386 A is replaced by A') in its successors set. Though, it is also common for a
380 changeset A to have no elements in its successor set (e.g. the changeset
387 changeset A to have no elements in its successor set (e.g. the changeset
381 has been pruned). Therefore, the returned list of successors sets will be
388 has been pruned). Therefore, the returned list of successors sets will be
382 [(A',)] or [], respectively.
389 [(A',)] or [], respectively.
383
390
384 When a changeset A is split into A' and B', however, it will result in a
391 When a changeset A is split into A' and B', however, it will result in a
385 successors set containing more than a single element, i.e. [(A',B')].
392 successors set containing more than a single element, i.e. [(A',B')].
386 Divergent changesets will result in multiple successors sets, i.e. [(A',),
393 Divergent changesets will result in multiple successors sets, i.e. [(A',),
387 (A'')].
394 (A'')].
388
395
389 If a changeset A is not obsolete, then it will conceptually have no
396 If a changeset A is not obsolete, then it will conceptually have no
390 successors set. To distinguish this from a pruned changeset, the successor
397 successors set. To distinguish this from a pruned changeset, the successor
391 set will contain itself only, i.e. [(A,)].
398 set will contain itself only, i.e. [(A,)].
392
399
393 Finally, final successors unknown locally are considered to be pruned
400 Finally, final successors unknown locally are considered to be pruned
394 (pruned: obsoleted without any successors). (Final: successors not affected
401 (pruned: obsoleted without any successors). (Final: successors not affected
395 by markers).
402 by markers).
396
403
397 The 'closest' mode respect the repoview filtering. For example, without
404 The 'closest' mode respect the repoview filtering. For example, without
398 filter it will stop at the first locally known changeset, with 'visible'
405 filter it will stop at the first locally known changeset, with 'visible'
399 filter it will stop on visible changesets).
406 filter it will stop on visible changesets).
400
407
401 The optional `cache` parameter is a dictionary that may contains
408 The optional `cache` parameter is a dictionary that may contains
402 precomputed successors sets. It is meant to reuse the computation of a
409 precomputed successors sets. It is meant to reuse the computation of a
403 previous call to `successorssets` when multiple calls are made at the same
410 previous call to `successorssets` when multiple calls are made at the same
404 time. The cache dictionary is updated in place. The caller is responsible
411 time. The cache dictionary is updated in place. The caller is responsible
405 for its life span. Code that makes multiple calls to `successorssets`
412 for its life span. Code that makes multiple calls to `successorssets`
406 *should* use this cache mechanism or risk a performance hit.
413 *should* use this cache mechanism or risk a performance hit.
407
414
408 Since results are different depending of the 'closest' most, the same cache
415 Since results are different depending of the 'closest' most, the same cache
409 cannot be reused for both mode.
416 cannot be reused for both mode.
410 """
417 """
411
418
412 succmarkers = repo.obsstore.successors
419 succmarkers = repo.obsstore.successors
413
420
414 # Stack of nodes we search successors sets for
421 # Stack of nodes we search successors sets for
415 toproceed = [initialnode]
422 toproceed = [initialnode]
416 # set version of above list for fast loop detection
423 # set version of above list for fast loop detection
417 # element added to "toproceed" must be added here
424 # element added to "toproceed" must be added here
418 stackedset = set(toproceed)
425 stackedset = set(toproceed)
419 if cache is None:
426 if cache is None:
420 cache = {}
427 cache = {}
421
428
422 # This while loop is the flattened version of a recursive search for
429 # This while loop is the flattened version of a recursive search for
423 # successors sets
430 # successors sets
424 #
431 #
425 # def successorssets(x):
432 # def successorssets(x):
426 # successors = directsuccessors(x)
433 # successors = directsuccessors(x)
427 # ss = [[]]
434 # ss = [[]]
428 # for succ in directsuccessors(x):
435 # for succ in directsuccessors(x):
429 # # product as in itertools cartesian product
436 # # product as in itertools cartesian product
430 # ss = product(ss, successorssets(succ))
437 # ss = product(ss, successorssets(succ))
431 # return ss
438 # return ss
432 #
439 #
433 # But we can not use plain recursive calls here:
440 # But we can not use plain recursive calls here:
434 # - that would blow the python call stack
441 # - that would blow the python call stack
435 # - obsolescence markers may have cycles, we need to handle them.
442 # - obsolescence markers may have cycles, we need to handle them.
436 #
443 #
437 # The `toproceed` list act as our call stack. Every node we search
444 # The `toproceed` list act as our call stack. Every node we search
438 # successors set for are stacked there.
445 # successors set for are stacked there.
439 #
446 #
440 # The `stackedset` is set version of this stack used to check if a node is
447 # The `stackedset` is set version of this stack used to check if a node is
441 # already stacked. This check is used to detect cycles and prevent infinite
448 # already stacked. This check is used to detect cycles and prevent infinite
442 # loop.
449 # loop.
443 #
450 #
444 # successors set of all nodes are stored in the `cache` dictionary.
451 # successors set of all nodes are stored in the `cache` dictionary.
445 #
452 #
446 # After this while loop ends we use the cache to return the successors sets
453 # After this while loop ends we use the cache to return the successors sets
447 # for the node requested by the caller.
454 # for the node requested by the caller.
448 while toproceed:
455 while toproceed:
449 # Every iteration tries to compute the successors sets of the topmost
456 # Every iteration tries to compute the successors sets of the topmost
450 # node of the stack: CURRENT.
457 # node of the stack: CURRENT.
451 #
458 #
452 # There are four possible outcomes:
459 # There are four possible outcomes:
453 #
460 #
454 # 1) We already know the successors sets of CURRENT:
461 # 1) We already know the successors sets of CURRENT:
455 # -> mission accomplished, pop it from the stack.
462 # -> mission accomplished, pop it from the stack.
456 # 2) Stop the walk:
463 # 2) Stop the walk:
457 # default case: Node is not obsolete
464 # default case: Node is not obsolete
458 # closest case: Node is known at this repo filter level
465 # closest case: Node is known at this repo filter level
459 # -> the node is its own successors sets. Add it to the cache.
466 # -> the node is its own successors sets. Add it to the cache.
460 # 3) We do not know successors set of direct successors of CURRENT:
467 # 3) We do not know successors set of direct successors of CURRENT:
461 # -> We add those successors to the stack.
468 # -> We add those successors to the stack.
462 # 4) We know successors sets of all direct successors of CURRENT:
469 # 4) We know successors sets of all direct successors of CURRENT:
463 # -> We can compute CURRENT successors set and add it to the
470 # -> We can compute CURRENT successors set and add it to the
464 # cache.
471 # cache.
465 #
472 #
466 current = toproceed[-1]
473 current = toproceed[-1]
467
474
468 # case 2 condition is a bit hairy because of closest,
475 # case 2 condition is a bit hairy because of closest,
469 # we compute it on its own
476 # we compute it on its own
470 case2condition = ((current not in succmarkers)
477 case2condition = ((current not in succmarkers)
471 or (closest and current != initialnode
478 or (closest and current != initialnode
472 and current in repo))
479 and current in repo))
473
480
474 if current in cache:
481 if current in cache:
475 # case (1): We already know the successors sets
482 # case (1): We already know the successors sets
476 stackedset.remove(toproceed.pop())
483 stackedset.remove(toproceed.pop())
477 elif case2condition:
484 elif case2condition:
478 # case (2): end of walk.
485 # case (2): end of walk.
479 if current in repo:
486 if current in repo:
480 # We have a valid successors.
487 # We have a valid successors.
481 cache[current] = [_succs((current,))]
488 cache[current] = [_succs((current,))]
482 else:
489 else:
483 # Final obsolete version is unknown locally.
490 # Final obsolete version is unknown locally.
484 # Do not count that as a valid successors
491 # Do not count that as a valid successors
485 cache[current] = []
492 cache[current] = []
486 else:
493 else:
487 # cases (3) and (4)
494 # cases (3) and (4)
488 #
495 #
489 # We proceed in two phases. Phase 1 aims to distinguish case (3)
496 # We proceed in two phases. Phase 1 aims to distinguish case (3)
490 # from case (4):
497 # from case (4):
491 #
498 #
492 # For each direct successors of CURRENT, we check whether its
499 # For each direct successors of CURRENT, we check whether its
493 # successors sets are known. If they are not, we stack the
500 # successors sets are known. If they are not, we stack the
494 # unknown node and proceed to the next iteration of the while
501 # unknown node and proceed to the next iteration of the while
495 # loop. (case 3)
502 # loop. (case 3)
496 #
503 #
497 # During this step, we may detect obsolescence cycles: a node
504 # During this step, we may detect obsolescence cycles: a node
498 # with unknown successors sets but already in the call stack.
505 # with unknown successors sets but already in the call stack.
499 # In such a situation, we arbitrary set the successors sets of
506 # In such a situation, we arbitrary set the successors sets of
500 # the node to nothing (node pruned) to break the cycle.
507 # the node to nothing (node pruned) to break the cycle.
501 #
508 #
502 # If no break was encountered we proceed to phase 2.
509 # If no break was encountered we proceed to phase 2.
503 #
510 #
504 # Phase 2 computes successors sets of CURRENT (case 4); see details
511 # Phase 2 computes successors sets of CURRENT (case 4); see details
505 # in phase 2 itself.
512 # in phase 2 itself.
506 #
513 #
507 # Note the two levels of iteration in each phase.
514 # Note the two levels of iteration in each phase.
508 # - The first one handles obsolescence markers using CURRENT as
515 # - The first one handles obsolescence markers using CURRENT as
509 # precursor (successors markers of CURRENT).
516 # precursor (successors markers of CURRENT).
510 #
517 #
511 # Having multiple entry here means divergence.
518 # Having multiple entry here means divergence.
512 #
519 #
513 # - The second one handles successors defined in each marker.
520 # - The second one handles successors defined in each marker.
514 #
521 #
515 # Having none means pruned node, multiple successors means split,
522 # Having none means pruned node, multiple successors means split,
516 # single successors are standard replacement.
523 # single successors are standard replacement.
517 #
524 #
518 for mark in sorted(succmarkers[current]):
525 for mark in sorted(succmarkers[current]):
519 for suc in mark[1]:
526 for suc in mark[1]:
520 if suc not in cache:
527 if suc not in cache:
521 if suc in stackedset:
528 if suc in stackedset:
522 # cycle breaking
529 # cycle breaking
523 cache[suc] = []
530 cache[suc] = []
524 else:
531 else:
525 # case (3) If we have not computed successors sets
532 # case (3) If we have not computed successors sets
526 # of one of those successors we add it to the
533 # of one of those successors we add it to the
527 # `toproceed` stack and stop all work for this
534 # `toproceed` stack and stop all work for this
528 # iteration.
535 # iteration.
529 toproceed.append(suc)
536 toproceed.append(suc)
530 stackedset.add(suc)
537 stackedset.add(suc)
531 break
538 break
532 else:
539 else:
533 continue
540 continue
534 break
541 break
535 else:
542 else:
536 # case (4): we know all successors sets of all direct
543 # case (4): we know all successors sets of all direct
537 # successors
544 # successors
538 #
545 #
539 # Successors set contributed by each marker depends on the
546 # Successors set contributed by each marker depends on the
540 # successors sets of all its "successors" node.
547 # successors sets of all its "successors" node.
541 #
548 #
542 # Each different marker is a divergence in the obsolescence
549 # Each different marker is a divergence in the obsolescence
543 # history. It contributes successors sets distinct from other
550 # history. It contributes successors sets distinct from other
544 # markers.
551 # markers.
545 #
552 #
546 # Within a marker, a successor may have divergent successors
553 # Within a marker, a successor may have divergent successors
547 # sets. In such a case, the marker will contribute multiple
554 # sets. In such a case, the marker will contribute multiple
548 # divergent successors sets. If multiple successors have
555 # divergent successors sets. If multiple successors have
549 # divergent successors sets, a Cartesian product is used.
556 # divergent successors sets, a Cartesian product is used.
550 #
557 #
551 # At the end we post-process successors sets to remove
558 # At the end we post-process successors sets to remove
552 # duplicated entry and successors set that are strict subset of
559 # duplicated entry and successors set that are strict subset of
553 # another one.
560 # another one.
554 succssets = []
561 succssets = []
555 for mark in sorted(succmarkers[current]):
562 for mark in sorted(succmarkers[current]):
556 # successors sets contributed by this marker
563 # successors sets contributed by this marker
557 base = _succs()
564 base = _succs()
558 base.markers.add(mark)
565 base.markers.add(mark)
559 markss = [base]
566 markss = [base]
560 for suc in mark[1]:
567 for suc in mark[1]:
561 # cardinal product with previous successors
568 # cardinal product with previous successors
562 productresult = []
569 productresult = []
563 for prefix in markss:
570 for prefix in markss:
564 for suffix in cache[suc]:
571 for suffix in cache[suc]:
565 newss = prefix.copy()
572 newss = prefix.copy()
566 newss.markers.update(suffix.markers)
573 newss.markers.update(suffix.markers)
567 for part in suffix:
574 for part in suffix:
568 # do not duplicated entry in successors set
575 # do not duplicated entry in successors set
569 # first entry wins.
576 # first entry wins.
570 if part not in newss:
577 if part not in newss:
571 newss.append(part)
578 newss.append(part)
572 productresult.append(newss)
579 productresult.append(newss)
573 markss = productresult
580 markss = productresult
574 succssets.extend(markss)
581 succssets.extend(markss)
575 # remove duplicated and subset
582 # remove duplicated and subset
576 seen = []
583 seen = []
577 final = []
584 final = []
578 candidates = sorted((s for s in succssets if s),
585 candidates = sorted((s for s in succssets if s),
579 key=len, reverse=True)
586 key=len, reverse=True)
580 for cand in candidates:
587 for cand in candidates:
581 for seensuccs in seen:
588 for seensuccs in seen:
582 if cand.canmerge(seensuccs):
589 if cand.canmerge(seensuccs):
583 seensuccs.markers.update(cand.markers)
590 seensuccs.markers.update(cand.markers)
584 break
591 break
585 else:
592 else:
586 final.append(cand)
593 final.append(cand)
587 seen.append(cand)
594 seen.append(cand)
588 final.reverse() # put small successors set first
595 final.reverse() # put small successors set first
589 cache[current] = final
596 cache[current] = final
590 return cache[initialnode]
597 return cache[initialnode]
591
598
592 def successorsandmarkers(repo, ctx):
599 def successorsandmarkers(repo, ctx):
593 """compute the raw data needed for computing obsfate
600 """compute the raw data needed for computing obsfate
594 Returns a list of dict, one dict per successors set
601 Returns a list of dict, one dict per successors set
595 """
602 """
596 if not ctx.obsolete():
603 if not ctx.obsolete():
597 return None
604 return None
598
605
599 ssets = successorssets(repo, ctx.node(), closest=True)
606 ssets = successorssets(repo, ctx.node(), closest=True)
600
607
601 # closestsuccessors returns an empty list for pruned revisions, remap it
608 # closestsuccessors returns an empty list for pruned revisions, remap it
602 # into a list containing an empty list for future processing
609 # into a list containing an empty list for future processing
603 if ssets == []:
610 if ssets == []:
604 ssets = [[]]
611 ssets = [[]]
605
612
606 # Try to recover pruned markers
613 # Try to recover pruned markers
607 succsmap = repo.obsstore.successors
614 succsmap = repo.obsstore.successors
608 fullsuccessorsets = [] # successor set + markers
615 fullsuccessorsets = [] # successor set + markers
609 for sset in ssets:
616 for sset in ssets:
610 if sset:
617 if sset:
611 fullsuccessorsets.append(sset)
618 fullsuccessorsets.append(sset)
612 else:
619 else:
613 # successorsset return an empty set() when ctx or one of its
620 # successorsset return an empty set() when ctx or one of its
614 # successors is pruned.
621 # successors is pruned.
615 # In this case, walk the obs-markers tree again starting with ctx
622 # In this case, walk the obs-markers tree again starting with ctx
616 # and find the relevant pruning obs-makers, the ones without
623 # and find the relevant pruning obs-makers, the ones without
617 # successors.
624 # successors.
618 # Having these markers allow us to compute some information about
625 # Having these markers allow us to compute some information about
619 # its fate, like who pruned this changeset and when.
626 # its fate, like who pruned this changeset and when.
620
627
621 # XXX we do not catch all prune markers (eg rewritten then pruned)
628 # XXX we do not catch all prune markers (eg rewritten then pruned)
622 # (fix me later)
629 # (fix me later)
623 foundany = False
630 foundany = False
624 for mark in succsmap.get(ctx.node(), ()):
631 for mark in succsmap.get(ctx.node(), ()):
625 if not mark[1]:
632 if not mark[1]:
626 foundany = True
633 foundany = True
627 sset = _succs()
634 sset = _succs()
628 sset.markers.add(mark)
635 sset.markers.add(mark)
629 fullsuccessorsets.append(sset)
636 fullsuccessorsets.append(sset)
630 if not foundany:
637 if not foundany:
631 fullsuccessorsets.append(_succs())
638 fullsuccessorsets.append(_succs())
632
639
633 values = []
640 values = []
634 for sset in fullsuccessorsets:
641 for sset in fullsuccessorsets:
635 values.append({'successors': sset, 'markers': sset.markers})
642 values.append({'successors': sset, 'markers': sset.markers})
636
643
637 return values
644 return values
638
645
639 def successorsetverb(successorset):
646 def successorsetverb(successorset):
640 """ Return the verb summarizing the successorset
647 """ Return the verb summarizing the successorset
641 """
648 """
642 if not successorset:
649 if not successorset:
643 verb = 'pruned'
650 verb = 'pruned'
644 elif len(successorset) == 1:
651 elif len(successorset) == 1:
645 verb = 'rewritten'
652 verb = 'rewritten'
646 else:
653 else:
647 verb = 'split'
654 verb = 'split'
648 return verb
655 return verb
649
656
650 def markersdates(markers):
657 def markersdates(markers):
651 """returns the list of dates for a list of markers
658 """returns the list of dates for a list of markers
652 """
659 """
653 return [m[4] for m in markers]
660 return [m[4] for m in markers]
654
661
655 def markersusers(markers):
662 def markersusers(markers):
656 """ Returns a sorted list of markers users without duplicates
663 """ Returns a sorted list of markers users without duplicates
657 """
664 """
658 markersmeta = [dict(m[3]) for m in markers]
665 markersmeta = [dict(m[3]) for m in markers]
659 users = set(meta.get('user') for meta in markersmeta if meta.get('user'))
666 users = set(meta.get('user') for meta in markersmeta if meta.get('user'))
660
667
661 return sorted(users)
668 return sorted(users)
662
669
663 def markersoperations(markers):
670 def markersoperations(markers):
664 """ Returns a sorted list of markers operations without duplicates
671 """ Returns a sorted list of markers operations without duplicates
665 """
672 """
666 markersmeta = [dict(m[3]) for m in markers]
673 markersmeta = [dict(m[3]) for m in markers]
667 operations = set(meta.get('operation') for meta in markersmeta
674 operations = set(meta.get('operation') for meta in markersmeta
668 if meta.get('operation'))
675 if meta.get('operation'))
669
676
670 return sorted(operations)
677 return sorted(operations)
@@ -1,167 +1,167 b''
1 Test the 'effect-flags' feature
1 Test the 'effect-flags' feature
2
2
3 Global setup
3 Global setup
4 ============
4 ============
5
5
6 $ . $TESTDIR/testlib/obsmarker-common.sh
6 $ . $TESTDIR/testlib/obsmarker-common.sh
7 $ cat >> $HGRCPATH <<EOF
7 $ cat >> $HGRCPATH <<EOF
8 > [ui]
8 > [ui]
9 > interactive = true
9 > interactive = true
10 > [phases]
10 > [phases]
11 > publish=False
11 > publish=False
12 > [extensions]
12 > [extensions]
13 > rebase =
13 > rebase =
14 > [experimental]
14 > [experimental]
15 > evolution = all
15 > evolution = all
16 > effect-flags = 1
16 > effect-flags = 1
17 > EOF
17 > EOF
18
18
19 $ hg init $TESTTMP/effect-flags
19 $ hg init $TESTTMP/effect-flags
20 $ cd $TESTTMP/effect-flags
20 $ cd $TESTTMP/effect-flags
21 $ mkcommit ROOT
21 $ mkcommit ROOT
22
22
23 amend touching the description only
23 amend touching the description only
24 -----------------------------------
24 -----------------------------------
25
25
26 $ mkcommit A0
26 $ mkcommit A0
27 $ hg commit --amend -m "A1"
27 $ hg commit --amend -m "A1"
28
28
29 check result
29 check result
30
30
31 $ hg debugobsolete --rev .
31 $ hg debugobsolete --rev .
32 471f378eab4c5e25f6c77f785b27c936efb22874 fdf9bde5129a28d4548fadd3f62b265cdd3b7a2e 0 (Thu Jan 01 00:00:00 1970 +0000) {'ef1': '0', 'operation': 'amend', 'user': 'test'}
32 471f378eab4c5e25f6c77f785b27c936efb22874 fdf9bde5129a28d4548fadd3f62b265cdd3b7a2e 0 (Thu Jan 01 00:00:00 1970 +0000) {'ef1': '1', 'operation': 'amend', 'user': 'test'}
33
33
34 amend touching the user only
34 amend touching the user only
35 ----------------------------
35 ----------------------------
36
36
37 $ mkcommit B0
37 $ mkcommit B0
38 $ hg commit --amend -u "bob <bob@bob.com>"
38 $ hg commit --amend -u "bob <bob@bob.com>"
39
39
40 check result
40 check result
41
41
42 $ hg debugobsolete --rev .
42 $ hg debugobsolete --rev .
43 ef4a313b1e0ade55718395d80e6b88c5ccd875eb 5485c92d34330dac9d7a63dc07e1e3373835b964 0 (Thu Jan 01 00:00:00 1970 +0000) {'ef1': '0', 'operation': 'amend', 'user': 'test'}
43 ef4a313b1e0ade55718395d80e6b88c5ccd875eb 5485c92d34330dac9d7a63dc07e1e3373835b964 0 (Thu Jan 01 00:00:00 1970 +0000) {'ef1': '0', 'operation': 'amend', 'user': 'test'}
44
44
45 amend touching the date only
45 amend touching the date only
46 ----------------------------
46 ----------------------------
47
47
48 $ mkcommit B1
48 $ mkcommit B1
49 $ hg commit --amend -d "42 0"
49 $ hg commit --amend -d "42 0"
50
50
51 check result
51 check result
52
52
53 $ hg debugobsolete --rev .
53 $ hg debugobsolete --rev .
54 2ef0680ff45038ac28c9f1ff3644341f54487280 4dd84345082e9e5291c2e6b3f335bbf8bf389378 0 (Thu Jan 01 00:00:00 1970 +0000) {'ef1': '0', 'operation': 'amend', 'user': 'test'}
54 2ef0680ff45038ac28c9f1ff3644341f54487280 4dd84345082e9e5291c2e6b3f335bbf8bf389378 0 (Thu Jan 01 00:00:00 1970 +0000) {'ef1': '0', 'operation': 'amend', 'user': 'test'}
55
55
56 amend touching the branch only
56 amend touching the branch only
57 ----------------------------
57 ----------------------------
58
58
59 $ mkcommit B2
59 $ mkcommit B2
60 $ hg branch my-branch
60 $ hg branch my-branch
61 marked working directory as branch my-branch
61 marked working directory as branch my-branch
62 (branches are permanent and global, did you want a bookmark?)
62 (branches are permanent and global, did you want a bookmark?)
63 $ hg commit --amend
63 $ hg commit --amend
64
64
65 check result
65 check result
66
66
67 $ hg debugobsolete --rev .
67 $ hg debugobsolete --rev .
68 bd3db8264ceebf1966319f5df3be7aac6acd1a8e 14a01456e0574f0e0a0b15b2345486a6364a8d79 0 (Thu Jan 01 00:00:00 1970 +0000) {'ef1': '0', 'operation': 'amend', 'user': 'test'}
68 bd3db8264ceebf1966319f5df3be7aac6acd1a8e 14a01456e0574f0e0a0b15b2345486a6364a8d79 0 (Thu Jan 01 00:00:00 1970 +0000) {'ef1': '0', 'operation': 'amend', 'user': 'test'}
69
69
70 $ hg up default
70 $ hg up default
71 0 files updated, 0 files merged, 1 files removed, 0 files unresolved
71 0 files updated, 0 files merged, 1 files removed, 0 files unresolved
72
72
73 rebase (parents change)
73 rebase (parents change)
74 -----------------------
74 -----------------------
75
75
76 $ mkcommit C0
76 $ mkcommit C0
77 $ mkcommit D0
77 $ mkcommit D0
78 $ hg rebase -r . -d 'desc(B0)'
78 $ hg rebase -r . -d 'desc(B0)'
79 rebasing 10:c85eff83a034 "D0" (tip)
79 rebasing 10:c85eff83a034 "D0" (tip)
80
80
81 check result
81 check result
82
82
83 $ hg debugobsolete --rev .
83 $ hg debugobsolete --rev .
84 c85eff83a0340efd9da52b806a94c350222f3371 da86aa2f19a30d6686b15cae15c7b6c908ec9699 0 (Thu Jan 01 00:00:00 1970 +0000) {'ef1': '0', 'operation': 'rebase', 'user': 'test'}
84 c85eff83a0340efd9da52b806a94c350222f3371 da86aa2f19a30d6686b15cae15c7b6c908ec9699 0 (Thu Jan 01 00:00:00 1970 +0000) {'ef1': '0', 'operation': 'rebase', 'user': 'test'}
85
85
86 amend touching the diff
86 amend touching the diff
87 -----------------------
87 -----------------------
88
88
89 $ mkcommit E0
89 $ mkcommit E0
90 $ echo 42 >> E0
90 $ echo 42 >> E0
91 $ hg commit --amend
91 $ hg commit --amend
92
92
93 check result
93 check result
94
94
95 $ hg debugobsolete --rev .
95 $ hg debugobsolete --rev .
96 ebfe0333e0d96f68a917afd97c0a0af87f1c3b5f 75781fdbdbf58a987516b00c980bccda1e9ae588 0 (Thu Jan 01 00:00:00 1970 +0000) {'ef1': '0', 'operation': 'amend', 'user': 'test'}
96 ebfe0333e0d96f68a917afd97c0a0af87f1c3b5f 75781fdbdbf58a987516b00c980bccda1e9ae588 0 (Thu Jan 01 00:00:00 1970 +0000) {'ef1': '0', 'operation': 'amend', 'user': 'test'}
97
97
98 amend with multiple effect (desc and meta)
98 amend with multiple effect (desc and meta)
99 -------------------------------------------
99 -------------------------------------------
100
100
101 $ mkcommit F0
101 $ mkcommit F0
102 $ hg branch my-other-branch
102 $ hg branch my-other-branch
103 marked working directory as branch my-other-branch
103 marked working directory as branch my-other-branch
104 $ hg commit --amend -m F1 -u "bob <bob@bob.com>" -d "42 0"
104 $ hg commit --amend -m F1 -u "bob <bob@bob.com>" -d "42 0"
105
105
106 check result
106 check result
107
107
108 $ hg debugobsolete --rev .
108 $ hg debugobsolete --rev .
109 fad47e5bd78e6aa4db1b5a0a1751bc12563655ff a94e0fd5f1c81d969381a76eb0d37ce499a44fae 0 (Thu Jan 01 00:00:00 1970 +0000) {'ef1': '0', 'operation': 'amend', 'user': 'test'}
109 fad47e5bd78e6aa4db1b5a0a1751bc12563655ff a94e0fd5f1c81d969381a76eb0d37ce499a44fae 0 (Thu Jan 01 00:00:00 1970 +0000) {'ef1': '1', 'operation': 'amend', 'user': 'test'}
110
110
111 rebase not touching the diff
111 rebase not touching the diff
112 ----------------------------
112 ----------------------------
113
113
114 $ cat << EOF > H0
114 $ cat << EOF > H0
115 > 0
115 > 0
116 > 1
116 > 1
117 > 2
117 > 2
118 > 3
118 > 3
119 > 4
119 > 4
120 > 5
120 > 5
121 > 6
121 > 6
122 > 7
122 > 7
123 > 8
123 > 8
124 > 9
124 > 9
125 > 10
125 > 10
126 > EOF
126 > EOF
127 $ hg add H0
127 $ hg add H0
128 $ hg commit -m 'H0'
128 $ hg commit -m 'H0'
129 $ echo "H1" >> H0
129 $ echo "H1" >> H0
130 $ hg commit -m "H1"
130 $ hg commit -m "H1"
131 $ hg up -r "desc(H0)"
131 $ hg up -r "desc(H0)"
132 1 files updated, 0 files merged, 0 files removed, 0 files unresolved
132 1 files updated, 0 files merged, 0 files removed, 0 files unresolved
133 $ cat << EOF > H0
133 $ cat << EOF > H0
134 > H2
134 > H2
135 > 0
135 > 0
136 > 1
136 > 1
137 > 2
137 > 2
138 > 3
138 > 3
139 > 4
139 > 4
140 > 5
140 > 5
141 > 6
141 > 6
142 > 7
142 > 7
143 > 8
143 > 8
144 > 9
144 > 9
145 > 10
145 > 10
146 > EOF
146 > EOF
147 $ hg commit -m "H2"
147 $ hg commit -m "H2"
148 created new head
148 created new head
149 $ hg rebase -s "desc(H1)" -d "desc(H2)" -t :merge3
149 $ hg rebase -s "desc(H1)" -d "desc(H2)" -t :merge3
150 rebasing 17:b57fed8d8322 "H1"
150 rebasing 17:b57fed8d8322 "H1"
151 merging H0
151 merging H0
152 $ hg debugobsolete -r tip
152 $ hg debugobsolete -r tip
153 b57fed8d83228a8ae3748d8c3760a77638dd4f8c e509e2eb3df5d131ff7c02350bf2a9edd0c09478 0 (Thu Jan 01 00:00:00 1970 +0000) {'ef1': '0', 'operation': 'rebase', 'user': 'test'}
153 b57fed8d83228a8ae3748d8c3760a77638dd4f8c e509e2eb3df5d131ff7c02350bf2a9edd0c09478 0 (Thu Jan 01 00:00:00 1970 +0000) {'ef1': '0', 'operation': 'rebase', 'user': 'test'}
154
154
155 amend closing the branch should be detected as meta change
155 amend closing the branch should be detected as meta change
156 ----------------------------------------------------------
156 ----------------------------------------------------------
157
157
158 $ hg branch closedbranch
158 $ hg branch closedbranch
159 marked working directory as branch closedbranch
159 marked working directory as branch closedbranch
160 $ mkcommit G0
160 $ mkcommit G0
161 $ mkcommit I0
161 $ mkcommit I0
162 $ hg commit --amend --close-branch
162 $ hg commit --amend --close-branch
163
163
164 check result
164 check result
165
165
166 $ hg debugobsolete -r .
166 $ hg debugobsolete -r .
167 2f599e54c1c6974299065cdf54e1ad640bfb7b5d 12c6238b5e371eea00fd2013b12edce3f070928b 0 (Thu Jan 01 00:00:00 1970 +0000) {'ef1': '0', 'operation': 'amend', 'user': 'test'}
167 2f599e54c1c6974299065cdf54e1ad640bfb7b5d 12c6238b5e371eea00fd2013b12edce3f070928b 0 (Thu Jan 01 00:00:00 1970 +0000) {'ef1': '0', 'operation': 'amend', 'user': 'test'}
General Comments 0
You need to be logged in to leave comments. Login now