1
# -*- coding: UTF-8 -*-
2
"""Directed graph production.
4
This module contains the code to produce an ordered directed graph of a
5
bzr branch, such as we display in the tree view at the top of the bzrk
9
__copyright__ = "Copyright © 2005 Canonical Ltd."
10
__author__ = "Scott James Remnant <scott@ubuntu.com>"
13
from bzrlib.revision import Revision
14
from bzrlib.tsort import merge_sort
17
class DummyRevision(Revision):
18
"""Dummy bzr revision.
20
Sometimes, especially in older bzr branches, a revision is referenced
21
as the parent of another but not actually present in the branch's store.
22
When this happens we use an instance of this class instead of the real
23
Revision object (which we can't get).
25
def __init__(self, revid):
26
super(DummyRevision, self).__init__(revid)
33
class RevisionProxy(object):
34
"""A revision proxy object.
36
This will demand load the revision it represents when the committer or
37
message attributes are accessed in order to populate them. It is
38
constructed with the revision id and parent_ids list and a repository
39
object to request the revision from when needed.
42
def __init__(self, revid, parent_ids, repository):
43
self.revision_id = revid
44
self.parent_ids = parent_ids
45
self._repository = repository
48
def _get_attribute_getter(attr):
49
def get_attribute(self):
50
if self._revision is None:
52
return getattr(self._revision, attr)
54
committer = property(_get_attribute_getter('committer'))
55
message = property(_get_attribute_getter('message'))
56
properties = property(_get_attribute_getter('properties'))
57
timestamp = property(_get_attribute_getter('timestamp'))
58
timezone = property(_get_attribute_getter('timezone'))
61
"""Load the revision object."""
62
self._revision = self._repository.get_revision(self.revision_id)
65
class DistanceMethod(object):
67
def __init__(self, repository, start_revid):
68
self.repository = repository
69
self.start_revid = start_revid
71
self.children_of_id = {start_revid: set()}
72
self.parent_ids_of = {}
73
self.colours = { start_revid: 0 }
75
self.direct_parent_of = {}
78
def fill_caches(self):
79
graph = self.repository.get_revision_graph_with_ghosts([self.start_revid])
80
for revid in graph.ghosts:
81
self.cache_revision(DummyRevision(revid))
82
for revid, parents in graph.get_ancestors().items():
83
self.cache_revision(RevisionProxy(revid, parents, self.repository))
85
def cache_revision(self, revision):
86
"Set the caches for a newly retrieved revision."""
87
revid = revision.revision_id
88
# Build a revision cache
89
self.revisions[revid] = revision
90
# Build a children dictionary
91
for parent_id in revision.parent_ids:
92
self.children_of_id.setdefault(parent_id, set()).add(revision)
93
# Build a parents dictionnary, where redundant parents will be removed,
94
# and that will be passed along tothe rest of program.
95
if len(revision.parent_ids) != len(set(revision.parent_ids)):
96
# fix the parent_ids list.
98
parent_ids_set = set()
99
for parent_id in revision.parent_ids:
100
if parent_id in parent_ids_set:
102
parent_ids.append(parent_id)
103
parent_ids_set.add(parent_id)
104
revision.parent_ids = parent_ids
105
self.parent_ids_of[revision] = list(revision.parent_ids)
106
self.graph[revid] = revision.parent_ids
108
def make_children_map(self):
109
revisions = self.revisions
110
return dict((revisions[revid], c)
111
for (revid, c) in self.children_of_id.iteritems())
113
def sort_revisions(self, sorted_revids, maxnum):
114
revisions = self.revisions
115
parent_ids_of = self.parent_ids_of
116
children_of_id = self.children_of_id
117
# Try to compact sequences of revisions on the same branch.
120
expected_id = sorted_revids[0]
123
revid = sorted_revids.pop(0)
124
if revid != expected_id:
125
skipped_revids.append(revid)
127
revision = revisions[revid]
128
for child in children_of_id[revid]:
129
# postpone if any child is missing
130
if child.revision_id not in distances:
131
if expected_id not in pending_ids:
132
pending_ids.append(expected_id)
133
expected_id = pending_ids.pop(0)
134
skipped_revids.append(revid)
135
sorted_revids[:0] = skipped_revids
136
del skipped_revids[:]
139
# all children are here, push!
140
distances[revid] = len(distances)
141
if maxnum is not None and len(distances) > maxnum:
142
# bail out early if a limit was specified
143
sorted_revids[:0] = skipped_revids
144
for revid in sorted_revids:
145
distances[revid] = len(distances)
147
# all parents will need to be pushed as soon as possible
148
for parent in parent_ids_of[revision]:
149
if parent not in pending_ids:
150
pending_ids.insert(0, parent)
153
expected_id = pending_ids.pop(0)
154
# if the next expected revid has already been skipped, requeue
155
# the skipped ids, except those that would go right back to the
157
if expected_id in skipped_revids:
158
pos = skipped_revids.index(expected_id)
159
sorted_revids[:0] = skipped_revids[pos:]
160
del skipped_revids[pos:]
161
self.distances = distances
162
return sorted(distances, key=distances.get)
164
def choose_null_colour(self, revid):
165
"""We know we don't need this color, so just set it to NULL"""
166
self.colours[revid] = 0
168
def choose_colour(self, revid):
169
revision = self.revisions[revid]
170
children_of_id = self.children_of_id
171
parent_ids_of = self.parent_ids_of
172
colours = self.colours
174
the_children = children_of_id[revid]
175
if len(the_children) == 1:
176
[child] = the_children
177
if len(parent_ids_of[child]) == 1:
178
# one-one relationship between parent and child, same
180
colours[revid] = colours[child.revision_id]
182
self.choose_colour_one_child(revision, child)
184
self.choose_colour_many_children(revision, the_children)
186
def choose_colour_one_child(self, revision, child):
187
revid = revision.revision_id
188
direct_parent_of = self.direct_parent_of
189
revisions = self.revisions
190
# one child with multiple parents, the first parent with
191
# the same committer gets the colour
192
direct_parent = direct_parent_of.get(child)
193
if direct_parent is None:
194
# if it has not been found yet, find it now and remember
195
for parent_id in self.parent_ids_of[child]:
196
parent_revision = revisions[parent_id]
197
if parent_revision.committer == child.committer:
198
# found the first parent with the same committer
199
direct_parent = parent_revision
200
direct_parent_of[child] = direct_parent
202
if direct_parent == revision:
203
self.colours[revid] = self.colours[child.revision_id]
205
self.colours[revid] = self.last_colour = self.last_colour + 1
207
def choose_colour_many_children(self, revision, the_children):
208
"""Colour revision revision."""
209
revid = revision.revision_id
210
direct_parent_of = self.direct_parent_of
211
# multiple children, get the colour of the last displayed child
212
# with the same committer which does not already have its colour
215
for child in the_children:
216
if child.committer != revision.committer:
218
direct_parent = direct_parent_of.get(child)
219
if direct_parent == revision:
220
self.colours[revid] = self.colours[child.revision_id]
222
# FIXME: Colouring based on whats been displayed MUST be done with
223
# knowledge of the revisions being output.
224
# until the refactoring to fold graph() into this more compactly is
225
# done, I've disabled this reuse. RBC 20060403
226
# if direct_parent is None:
227
# available[child] = distances[child.revision_id]
228
# .. it will be something like available[child] = \
229
# revs[child.revision_id][0] - which is the sequence number
232
sorted_children = sorted(available, key=available.get)
233
child = sorted_children[-1]
234
direct_parent_of[child] = revision
235
self.colours[revid] = self.colours[child.revision_id]
237
# no candidate children is available, pick the next
239
self.colours[revid] = self.last_colour = self.last_colour + 1
242
def distances(repository, start_revid, maxnum=None):
243
"""Sort the revisions.
245
Traverses the branch revision tree starting at start and produces an
246
ordered list of revisions such that a revision always comes after
247
any revision it is the parent of.
249
Returns a tuple of (revids, revisions, colours, children)
251
distance = DistanceMethod(repository, start_revid)
252
distance.fill_caches()
253
distance.merge_sorted = merge_sort(distance.graph, distance.start_revid)
254
children = distance.make_children_map()
257
for seq, revid, merge_depth, end_of_merge in distance.merge_sorted:
259
if maxnum is not None and count > maxnum:
260
distance.choose_null_colour(revid)
262
distance.choose_colour(revid)
264
revisions = distance.revisions
265
colours = distance.colours
266
parent_ids_of = distance.parent_ids_of
267
return (revisions, colours, children, parent_ids_of, distance.merge_sorted)
270
def graph(revisions, colours, merge_sorted):
271
"""Produce a directed graph of a bzr branch.
273
For each revision it then yields a tuple of (revision, node, lines).
274
If the revision is only referenced in the branch and not present in the
275
store, revision will be a DummyRevision object, otherwise it is the bzr
276
Revision object with the meta-data for the revision.
278
Node is a tuple of (column, colour) with column being a zero-indexed
279
column number of the graph that this revision represents and colour
280
being a zero-indexed colour (which doesn't specify any actual colour
281
in particular) to draw the node in.
283
Lines is a list of tuples which represent lines you should draw away
284
from the revision, if you also need to draw lines into the revision
285
you should use the lines list from the previous iteration. Each
286
typle in the list is in the form (start, end, colour) with start and
287
end being zero-indexed column numbers and colour as in node.
289
It's up to you how to actually draw the nodes and lines (straight,
290
curved, kinked, etc.) and to pick the actual colours for each index.
292
if not len(merge_sorted):
294
# split merge_sorted into a map:
296
# FIXME: get a hint on this from the merge_sorted data rather than
297
# calculating it ourselves
298
# mapping from rev_id to the sequence number of the next lowest rev
300
# mapping from rev_id to next-in-branch-revid - may be None for end
302
next_branch_revid = {}
303
# the stack we are in in the sorted data for determining which
304
# next_lower_rev to set. It is a stack which has one list at each
305
# depth - the ids at that depth that need the same id allocated.
307
for seq, revid, indent, end_merge in merge_sorted:
308
revs[revid] = (seq, indent, end_merge)
309
if indent == len(current_stack):
310
# new merge group starts
311
current_stack.append([revid])
312
elif indent == len(current_stack) - 1:
313
# part of the current merge group
314
current_stack[-1].append(revid)
316
# end of a merge group
317
while current_stack[-1]:
318
stack_rev_id = current_stack[-1].pop()
319
# record the next lower rev for this rev:
320
next_lower_rev[stack_rev_id] = seq
321
# if this followed a non-end-merge rev in this group note that
322
if len(current_stack[-1]):
323
if not revs[current_stack[-1][-1]][2]:
324
next_branch_revid[current_stack[-1][-1]] = stack_rev_id
326
# append to the now-current merge group
327
current_stack[-1].append(revid)
328
# assign a value to all the depth 0 revisions
329
while current_stack[-1]:
330
stack_rev_id = current_stack[-1].pop()
331
# record the next lower rev for this rev:
332
next_lower_rev[stack_rev_id] = len(merge_sorted)
333
# if this followed a non-end-merge rev in this group note that
334
if len(current_stack[-1]):
335
if not revs[current_stack[-1][-1]][2]:
336
next_branch_revid[current_stack[-1][-1]] = stack_rev_id
338
# a list of the current revisions we are drawing lines TO indicating
339
# the sequence of their lines on the screen.
340
# i.e. [A, B, C] means that the line to A, to B, and to C are in
341
# (respectively), 0, 1, 2 on the screen.
342
hanging = [merge_sorted[0][1]]
343
for seq, revid, indent, end_merge in merge_sorted:
344
# a list of the lines to draw: their position in the
345
# previous row, their position in this row, and the colour
346
# (which is the colour they are routing to).
351
for h_idx, hang in enumerate(hanging):
352
# one of these will be the current lines node:
353
# we are drawing a line. h_idx
355
# we have found the current lines node
356
node = (h_idx, colours[revid])
358
# note that we might have done the main parent
359
drawn_parents = set()
361
def draw_line(from_idx, to_idx, revision_id):
363
n_idx = new_hanging.index(revision_id)
365
# force this to be vertical at the place this rev was
367
new_hanging.insert(to_idx, revision_id)
369
lines.append((from_idx, n_idx, colours[revision_id]))
372
# we want to draw a line to the next commit on 'this' branch
374
# drop this line first.
375
parent_id = next_branch_revid[revid]
376
draw_line(h_idx, h_idx, parent_id)
377
# we have drawn this parent
378
drawn_parents.add(parent_id)
380
# this is the last revision in a 'merge', show where it came from
381
if len(revisions[revid].parent_ids) > 1:
383
# parents means this commit was a merge, and being
384
# the end point of a merge group means that all
385
# the parent revisions were merged into branches
386
# to the left of this before this was committed
387
# - so we want to show this as a new branch from
389
# to do this, we show the parent with the lowest
390
# sequence number, which is the one that this
391
# branch 'spawned from', and no others.
392
# If this sounds like a problem, remember that:
393
# if the parent was not already in our mainline
394
# it would show up as a merge into this making
395
# this not the end of a merge-line.
396
lowest = len(merge_sorted)
397
for parent_id in revisions[revid].parent_ids:
398
if revs[parent_id][0] < lowest:
399
lowest = revs[parent_id][0]
400
assert lowest != len(merge_sorted)
401
draw_line(h_idx, len(new_hanging), merge_sorted[lowest][1])
402
drawn_parents.add(merge_sorted[lowest][1])
403
elif len(revisions[revid].parent_ids) == 1:
404
# only one parent, must show this link to be useful.
405
parent_id = revisions[revid].parent_ids[0]
406
draw_line(h_idx, len(new_hanging), parent_id)
407
drawn_parents.add(parent_id)
409
# what do we want to draw lines to from here:
410
# each parent IF its relevant.
412
# Now we need to hang its parents, we put them at the point
413
# the old column was so anything to the right of this has
414
# to move outwards to make room. We also try and collapse
415
# hangs to keep the graph small.
416
# RBC: we do not draw lines to parents that were already merged
417
# unless its the last revision in a merge group.
418
for parent_id in revisions[revid].parent_ids:
419
if parent_id in drawn_parents:
421
parent_seq = revs[parent_id][0]
422
parent_depth = revs[parent_id][1]
423
if parent_depth == indent + 1:
424
# The parent was a merge into this branch determine if
425
# it was already merged into the mainline via a
426
# different merge: if all revisions between us and
427
# parent_seq have a indent greater than there are no
428
# revisions with a lower indent than us.
429
# We do not use 'parent_depth < indent' because that
430
# would allow un-uniqueified merges to show up, and
431
# merge_sorted should take care of that for us (but
432
# does not trim the values)
433
if parent_seq < next_lower_rev[revid]:
434
draw_line(h_idx, len(new_hanging), parent_id)
435
elif parent_depth == indent and parent_seq == seq + 1:
436
# part of this branch
437
draw_line(h_idx, len(new_hanging), parent_id)
439
# draw a line from the previous position of this line to the
441
# h_idx is the old position.
442
# new_indent is the new position.
443
draw_line(h_idx, len(new_hanging), hang)
444
# we've calculated the row, assign new_hanging to hanging to setup for
446
hanging = new_hanging
448
yield (revisions[revid], node, lines)
451
def same_branch(a, b):
452
"""Return whether we think revisions a and b are on the same branch."""
453
if len(a.parent_ids) == 1:
454
# Defacto same branch if only parent
456
elif a.committer == b.committer:
457
# Same committer so may as well be
1
# -*- coding: UTF-8 -*-
2
"""Directed graph production.
4
This module contains the code to produce an ordered directed graph of a
5
bzr branch, such as we display in the tree view at the top of the bzrk
9
__copyright__ = "Copyright © 2005 Canonical Ltd."
10
__author__ = "Scott James Remnant <scott@ubuntu.com>"
12
from bzrlib.tsort import merge_sort
14
def linegraph(repository, start, maxnum, broken_line_length=None):
15
"""Produce a directed graph of a bzr repository.
17
Returns a tuple of (line_graph, revid_index, columns_len) where
18
* line_graph is a list of tuples of (revid,
24
* revid_index is a dict of each revision with the key being the revid, and
25
the value the row index, and
26
* columns_len is the number of columns need to draw the line graph.
29
Node is a tuple of (column, colour) with column being a zero-indexed
30
column number of the graph that this revision represents and colour
31
being a zero-indexed colour (which doesn't specify any actual colour
32
in particular) to draw the node in.
34
Lines is a list of tuples which represent lines you should draw away
35
from the revision, if you also need to draw lines into the revision
36
you should use the lines list from the previous iteration. Each
37
typle in the list is in the form (start, end, colour) with start and
38
end being zero-indexed column numbers and colour as in node.
40
It's up to you how to actually draw the nodes and lines (straight,
41
curved, kinked, etc.) and to pick the actual colours for each index.
44
graph_parents = repository.get_revision_graph(start)
46
for revid in graph_parents.iterkeys():
47
graph_children[revid] = []
49
merge_sorted_revisions = merge_sort(
57
# This will hold an item for each "branch". For a revisions, the revsion
58
# number less the least significant digit is the branch_id, and used as the
59
# key for the dict. Hence revision with the same revsion number less the
60
# least significant digit are considered to be in the same branch line.
61
# e.g.: for revisions 290.12.1 and 290.12.2, the branch_id would be 290.12,
62
# and these two revisions will be in the same branch line. Each value is
63
# a list of rev_indexes in the branch.
68
for (rev_index, (sequence_number,
72
end_of_merge)) in enumerate(merge_sorted_revisions):
73
if maxnum and rev_index >= maxnum:
75
revid_index[revid] = rev_index
76
revno_index[revno_sequence] = rev_index
78
branch_id = revno_sequence[0:-1]
81
if branch_id not in branch_lines:
83
branch_lines[branch_id] = branch_line
85
branch_line = branch_lines[branch_id]
87
branch_line.append(rev_index)
89
parents = graph_parents[revid]
90
for parent_revid in parents:
91
graph_children[parent_revid].append(revid)
93
linegraph.append([revid,
100
branch_ids = branch_lines.keys()
102
def branch_id_cmp(x, y):
103
"""Compaire branch_id's first by the number of digits, then reversed
109
return cmp(len_x, len_y)
111
branch_ids.sort(branch_id_cmp)
112
# This will hold a tuple of (child_index, parent_index, col_index) for each
113
# line that needs to be drawn. If col_index is not none, then the line is
114
# drawn along that column, else the the line can be drawn directly between
115
# the child and parent because either the child and parent are in the same
116
# branch line, or the child and parent are 1 row apart.
118
empty_column = [False for i in range(len(graph_parents))]
119
# This will hold a bit map for each cell. If the cell is true, then the
120
# cell allready contains a node or line. This use when deciding what column
121
# to place a branch line or line in, without it overlaping something else.
122
columns = [list(empty_column)]
125
for branch_id in branch_ids:
126
branch_line = branch_lines[branch_id]
128
# Find the col_index for the direct parent branch. This will be the
129
# starting point when looking for a free column.
132
if len(branch_id) > 1:
133
parent_revno = branch_id[0:-1]
134
if parent_revno in revno_index:
135
parent_index = revno_index[parent_revno]
136
parent_node = linegraph[parent_index][1]
138
parent_col_index = parent_node[0]
141
col_search_order = _branch_line_col_search_order(columns,
143
color = reduce(lambda x, y: x+y, branch_id, 0)
147
last_rev_index = None
148
for rev_index in branch_line:
150
if broken_line_length and \
151
rev_index - last_rev_index > broken_line_length:
152
line_range.append(last_rev_index+1)
153
line_range.append(rev_index-1)
155
line_range.extend(range(last_rev_index+1, rev_index))
157
line_range.append(rev_index)
158
last_rev_index = rev_index
161
if broken_line_length and \
162
parent_index - last_rev_index > broken_line_length:
163
line_range.append(last_rev_index+1)
165
line_range.extend(range(last_rev_index+1, parent_index))
167
col_index = _find_free_column(columns,
171
node = (col_index, color)
172
for rev_index in branch_line:
173
linegraph[rev_index][1] = node
174
columns[col_index][rev_index] = True
176
for rev_index in branch_line:
181
end_of_merge) = merge_sorted_revisions[rev_index]
183
linegraph[rev_index][4] = graph_children[revid]
184
col_index = linegraph[rev_index][1][0]
186
for parent_revid in graph_parents[revid]:
187
if parent_revid in revid_index:
189
parent_index = revid_index[parent_revid]
190
parent_node = linegraph[parent_index][1]
192
parent_col_index = parent_node[0]
194
parent_col_index = None
196
_line_col_search_order(columns,
200
# If this line is really long, break it.
201
if len(branch_id) > 0 and \
202
broken_line_length and \
203
parent_index - rev_index > broken_line_length:
204
child_line_col_index = \
205
_find_free_column(columns,
209
_mark_column_as_used(columns,
210
child_line_col_index,
213
# Recall _line_col_search_order to reset it back to
216
_line_col_search_order(columns,
219
parent_col_line_index = \
220
_find_free_column(columns,
224
_mark_column_as_used(columns,
225
parent_col_line_index,
227
lines.append((rev_index,
229
(child_line_col_index,
230
parent_col_line_index)))
232
line_col_index = col_index
233
if parent_index - rev_index >1:
234
line_range = range(rev_index + 1, parent_index)
236
_find_free_column(columns,
240
_mark_column_as_used(columns,
243
lines.append((rev_index,
247
for (child_index, parent_index, line_col_indexes) in lines:
248
(child_col_index, child_color) = linegraph[child_index][1]
249
(parent_col_index, parent_color) = linegraph[parent_index][1]
251
if len(line_col_indexes) == 1:
252
if parent_index - child_index == 1:
253
linegraph[child_index][2].append(
258
# line from the child's column to the lines column
259
linegraph[child_index][2].append(
263
# lines down the line's column
264
for line_part_index in range(child_index+1, parent_index-1):
265
linegraph[line_part_index][2].append(
266
(line_col_indexes[0],
269
# line from the line's column to the parent's column
270
linegraph[parent_index-1][2].append(
271
(line_col_indexes[0],
276
# line from the child's column to the lines column
277
linegraph[child_index][2].append(
282
linegraph[child_index+1][2].append(
283
(line_col_indexes[0],
288
linegraph[parent_index-2][2].append(
292
# line from the line's column to the parent's column
293
linegraph[parent_index-1][2].append(
294
(line_col_indexes[1],
299
return (linegraph, revid_index, len(columns))
301
def _branch_line_col_search_order(columns, parent_col_index):
302
for col_index in range(parent_col_index, len(columns)):
304
for col_index in range(parent_col_index-1, -1, -1):
307
def _line_col_search_order(columns, parent_col_index, child_col_index):
308
if parent_col_index is not None:
309
max_index = max(parent_col_index, child_col_index)
310
min_index = min(parent_col_index, child_col_index)
311
for col_index in range(max_index, min_index -1, -1):
314
max_index = child_col_index
315
min_index = child_col_index
316
yield child_col_index
318
while max_index + i < len(columns) or \
320
if max_index + i < len(columns):
322
if min_index - i > -1:
326
def _find_free_column(columns, empty_column, col_search_order, line_range):
327
for col_index in col_search_order:
328
column = columns[col_index]
329
has_overlaping_line = False
330
for row_index in line_range:
331
if column[row_index]:
332
has_overlaping_line = True
334
if not has_overlaping_line:
337
col_index = len(columns)
338
column = list(empty_column)
339
columns.append(column)
342
def _mark_column_as_used(columns, col_index, line_range):
343
column = columns[col_index]
344
for row_index in line_range:
345
column[row_index] = True
347
def same_branch(a, b):
348
"""Return whether we think revisions a and b are on the same branch."""
349
if len(a.parent_ids) == 1:
350
# Defacto same branch if only parent
352
elif a.committer == b.committer:
353
# Same committer so may as well be