/b-gtk/fix-viz

To get this branch, use:
bzr branch http://gegoxaren.bato24.eu/bzr/b-gtk/fix-viz

« back to all changes in this revision

Viewing changes to branchview/linegraph.py

  • Committer: Jelmer Vernooij
  • Date: 2008-06-29 16:20:15 UTC
  • mto: This revision was merged to the branch mainline in revision 519.
  • Revision ID: jelmer@samba.org-20080629162015-amhe7xj4cdmup4id
Rename GtkProgressBarStack to GtkWindowProgressBarStack

Show diffs side-by-side

added added

removed removed

Lines of Context:
11
11
 
12
12
from bzrlib.revision import NULL_REVISION
13
13
from bzrlib.tsort import merge_sort
 
14
from bzrlib import ui
14
15
 
15
 
def linegraph(repository, start_revs, maxnum, broken_line_length = None,
16
 
              graph_data = True, mainline_only = False):
 
16
def linegraph(graph, start_revs, maxnum=None, broken_line_length=None,
 
17
              graph_data=True, mainline_only=False, root_progress=None):
17
18
    """Produce a directed graph of a bzr repository.
18
19
 
19
20
    Returns a tuple of (line_graph, revid_index, columns_len) where
42
43
    It's up to you how to actually draw the nodes and lines (straight,
43
44
    curved, kinked, etc.) and to pick the actual colours for each index.
44
45
    """
45
 
    
46
 
    graph = repository.get_graph()
 
46
    assert isinstance(start_revs, list)
 
47
    def update_root_progress(step_number):
 
48
        """IFF our container received a root progress bar, then update it."""
 
49
        if root_progress is not None:
 
50
            root_progress.update(current=step_number)
 
51
 
47
52
    graph_parents = {}
 
53
    ghosts = set()
48
54
    graph_children = {}
49
 
    for (revid, parent_revids) in graph.iter_ancestry(start_revs):
50
 
        if parent_revids == (NULL_REVISION,):
51
 
            graph_parents[revid] = ()
52
 
        else:
53
 
            graph_parents[revid] = parent_revids
54
 
        graph_children[revid] = []
 
55
    update_root_progress(1)
 
56
    progress_bar = ui.ui_factory.nested_progress_bar()
 
57
    try:
 
58
        progress_bar.update(msg="Arranging tree fragments")
 
59
        for i, (revid, parent_revids) in enumerate(graph.iter_ancestry(start_revs)):
 
60
            if i % 25 == 0:
 
61
                progress_bar.tick()
 
62
            if parent_revids is None:
 
63
                ghosts.add(revid)
 
64
                continue
 
65
            if parent_revids == (NULL_REVISION,):
 
66
                graph_parents[revid] = ()
 
67
            else:
 
68
                graph_parents[revid] = parent_revids
 
69
            for parent in parent_revids:
 
70
                graph_children.setdefault(parent, []).append(revid)
 
71
            graph_children.setdefault(revid, [])
 
72
    finally:
 
73
        progress_bar.finished()
55
74
 
 
75
    update_root_progress(2)
 
76
    progress_bar = ui.ui_factory.nested_progress_bar()
 
77
    try:
 
78
        progress_bar.update(msg="Removing ghosts", total=len(ghosts))
 
79
        for i, ghost in enumerate(ghosts):
 
80
            if i % 25 == 0:
 
81
                progress_bar.update(current=i)
 
82
            for ghost_child in graph_children[ghost]:
 
83
                graph_parents[ghost_child] = [p for p in graph_parents[ghost_child]
 
84
                                              if p not in ghosts]
 
85
    finally:
 
86
        progress_bar.finished()
56
87
    graph_parents["top:"] = start_revs
57
88
 
58
89
    if len(graph_parents)>0:
84
115
    
85
116
    linegraph = []    
86
117
    
87
 
    for (rev_index, (sequence_number,
88
 
                     revid,
89
 
                     merge_depth,
90
 
                     revno_sequence,
91
 
                     end_of_merge)) in enumerate(merge_sorted_revisions):
92
 
        if maxnum and rev_index >= maxnum:
93
 
            break
94
 
        revid_index[revid] = rev_index
95
 
        
96
 
        parents = graph_parents[revid]
97
 
        for parent_revid in parents:
98
 
            graph_children[parent_revid].append(revid)
99
 
        
100
 
        linegraph.append([revid,
101
 
                          None,
102
 
                          [],
103
 
                          parents,
104
 
                          None,
105
 
                          revno_sequence])
106
 
        
107
 
        if graph_data:
108
 
            revno_index[revno_sequence] = rev_index
109
 
            
110
 
            branch_id = revno_sequence[0:-1]
111
 
            
112
 
            branch_line = None
113
 
            if branch_id not in branch_lines:
114
 
                branch_line = []
115
 
                branch_lines[branch_id] = branch_line
116
 
            else:
117
 
                branch_line = branch_lines[branch_id]
118
 
            
119
 
            branch_line.append(rev_index)        
 
118
    update_root_progress(3)
 
119
    progress_bar = ui.ui_factory.nested_progress_bar()
 
120
    try:
 
121
        progress_bar.update(msg="Finding nodes", total=len(merge_sorted_revisions))
 
122
        for (rev_index, (sequence_number,
 
123
                         revid,
 
124
                         merge_depth,
 
125
                         revno_sequence,
 
126
                         end_of_merge)) in enumerate(merge_sorted_revisions):
 
127
 
 
128
            if rev_index % 25 == 0:
 
129
                progress_bar.update(current=rev_index)
 
130
            if maxnum and rev_index >= maxnum:
 
131
                break
 
132
            revid_index[revid] = rev_index
 
133
            
 
134
            parents = graph_parents[revid]
 
135
            linegraph.append([revid,
 
136
                              None,
 
137
                              [],
 
138
                              parents,
 
139
                              None,
 
140
                              revno_sequence])
 
141
            
 
142
            if graph_data:
 
143
                revno_index[revno_sequence] = rev_index
 
144
                
 
145
                branch_id = revno_sequence[0:-1]
 
146
                
 
147
                branch_line = None
 
148
                if branch_id not in branch_lines:
 
149
                    branch_line = []
 
150
                    branch_lines[branch_id] = branch_line
 
151
                else:
 
152
                    branch_line = branch_lines[branch_id]
 
153
                
 
154
                branch_line.append(rev_index)        
 
155
    finally:
 
156
        progress_bar.finished()
120
157
 
121
158
    if graph_data:
122
159
        branch_ids = branch_lines.keys()
144
181
        columns = [list(empty_column)]
145
182
        
146
183
        
147
 
        for branch_id in branch_ids:
148
 
            branch_line = branch_lines[branch_id]
149
 
            
150
 
            # Find the col_index for the direct parent branch. This will be the
151
 
            # starting point when looking for a free column.
152
 
            parent_col_index = 0
153
 
            parent_index = None
154
 
            if len(branch_id) > 1:
155
 
                parent_revno = branch_id[0:-1]
156
 
                if parent_revno in revno_index:
157
 
                    parent_index = revno_index[parent_revno]
158
 
                    parent_node = linegraph[parent_index][1]
159
 
                    if parent_node:
160
 
                        parent_col_index = parent_node[0]
161
 
                    
162
 
            
163
 
            col_search_order = _branch_line_col_search_order(columns,
164
 
                                                             parent_col_index)
165
 
            color = reduce(lambda x, y: x+y, branch_id, 0)
166
 
            cur_cont_line = []
167
 
            
168
 
            line_range = []
169
 
            last_rev_index = None
170
 
            for rev_index in branch_line:
171
 
                if last_rev_index:
172
 
                    if broken_line_length and \
173
 
                       rev_index - last_rev_index > broken_line_length:
174
 
                        line_range.append(last_rev_index+1)
175
 
                        line_range.append(rev_index-1)
176
 
                    else:
177
 
                        line_range.extend(range(last_rev_index+1, rev_index))
178
 
                
179
 
                line_range.append(rev_index)
180
 
                last_rev_index = rev_index
181
 
            
182
 
            if parent_index:
183
 
                if broken_line_length and \
184
 
                   parent_index - last_rev_index > broken_line_length:
185
 
                    line_range.append(last_rev_index+1)
186
 
                else:
187
 
                    line_range.extend(range(last_rev_index+1, parent_index))
188
 
            
189
 
            col_index = _find_free_column(columns,
190
 
                                          empty_column,
191
 
                                          col_search_order,
192
 
                                          line_range)
193
 
            node = (col_index, color)
194
 
            for rev_index in branch_line:
195
 
                linegraph[rev_index][1] = node
196
 
                columns[col_index][rev_index] = True
197
 
            
198
 
            for rev_index in branch_line:
199
 
                (sequence_number,
200
 
                     revid,
201
 
                     merge_depth,
202
 
                     revno_sequence,
203
 
                     end_of_merge) = merge_sorted_revisions[rev_index]
204
 
                
205
 
                linegraph[rev_index][4] = graph_children[revid]
206
 
                col_index = linegraph[rev_index][1][0]
207
 
                
208
 
                for parent_revid in graph_parents[revid]:
209
 
                    if parent_revid in revid_index:
210
 
                        
211
 
                        parent_index = revid_index[parent_revid]                            
 
184
        update_root_progress(4)
 
185
        progress_bar = ui.ui_factory.nested_progress_bar()
 
186
        try:
 
187
            progress_bar.update(msg="Organizing edges", total=len(branch_ids))
 
188
            for i, branch_id in enumerate(branch_ids):
 
189
                if i % 25 == 0:
 
190
                    progress_bar.update(current=i)
 
191
                branch_line = branch_lines[branch_id]
 
192
                
 
193
                # Find the col_index for the direct parent branch. This will be the
 
194
                # starting point when looking for a free column.
 
195
                parent_col_index = 0
 
196
                parent_index = None
 
197
                if len(branch_id) > 1:
 
198
                    parent_revno = branch_id[0:-1]
 
199
                    if parent_revno in revno_index:
 
200
                        parent_index = revno_index[parent_revno]
212
201
                        parent_node = linegraph[parent_index][1]
213
202
                        if parent_node:
214
203
                            parent_col_index = parent_node[0]
 
204
                        
 
205
                
 
206
                col_search_order = _branch_line_col_search_order(columns,
 
207
                                                                 parent_col_index)
 
208
                color = reduce(lambda x, y: x+y, branch_id, 0)
 
209
                cur_cont_line = []
 
210
                
 
211
                line_range = []
 
212
                last_rev_index = None
 
213
                for rev_index in branch_line:
 
214
                    if last_rev_index:
 
215
                        if broken_line_length and \
 
216
                           rev_index - last_rev_index > broken_line_length:
 
217
                            line_range.append(last_rev_index+1)
 
218
                            line_range.append(rev_index-1)
215
219
                        else:
216
 
                            parent_col_index = None
217
 
                        col_search_order = \
218
 
                                _line_col_search_order(columns,
219
 
                                                       parent_col_index,
220
 
                                                       col_index)
221
 
                            
222
 
                        # If this line is really long, break it.
223
 
                        if len(branch_id) > 0 and \
224
 
                           broken_line_length and \
225
 
                           parent_index - rev_index > broken_line_length:
226
 
                            child_line_col_index = \
227
 
                                _find_free_column(columns,
228
 
                                                  empty_column,
229
 
                                                  col_search_order,
230
 
                                                  (rev_index + 1,))
231
 
                            _mark_column_as_used(columns,
232
 
                                                 child_line_col_index,
233
 
                                                 (rev_index + 1,))
234
 
                            
235
 
                            # Recall _line_col_search_order to reset it back to
236
 
                            # the beging.
 
220
                            line_range.extend(range(last_rev_index+1, rev_index))
 
221
                    
 
222
                    line_range.append(rev_index)
 
223
                    last_rev_index = rev_index
 
224
                
 
225
                if parent_index:
 
226
                    if broken_line_length and \
 
227
                       parent_index - last_rev_index > broken_line_length:
 
228
                        line_range.append(last_rev_index+1)
 
229
                    else:
 
230
                        line_range.extend(range(last_rev_index+1, parent_index))
 
231
                
 
232
                col_index = _find_free_column(columns,
 
233
                                              empty_column,
 
234
                                              col_search_order,
 
235
                                              line_range)
 
236
                node = (col_index, color)
 
237
                for rev_index in branch_line:
 
238
                    linegraph[rev_index][1] = node
 
239
                    columns[col_index][rev_index] = True
 
240
                
 
241
                for rev_index in branch_line:
 
242
                    (sequence_number,
 
243
                         revid,
 
244
                         merge_depth,
 
245
                         revno_sequence,
 
246
                         end_of_merge) = merge_sorted_revisions[rev_index]
 
247
                    
 
248
                    linegraph[rev_index][4] = graph_children[revid]
 
249
                    col_index = linegraph[rev_index][1][0]
 
250
                    
 
251
                    for parent_revid in graph_parents[revid]:
 
252
                        if parent_revid in revid_index:
 
253
                            
 
254
                            parent_index = revid_index[parent_revid]                            
 
255
                            parent_node = linegraph[parent_index][1]
 
256
                            if parent_node:
 
257
                                parent_col_index = parent_node[0]
 
258
                            else:
 
259
                                parent_col_index = None
237
260
                            col_search_order = \
238
261
                                    _line_col_search_order(columns,
239
262
                                                           parent_col_index,
240
263
                                                           col_index)
241
 
                            parent_col_line_index = \
242
 
                                _find_free_column(columns,
243
 
                                                  empty_column,
244
 
                                                  col_search_order,
245
 
                                                  (parent_index - 1,))
246
 
                            _mark_column_as_used(columns,
247
 
                                                 parent_col_line_index,
248
 
                                                 (parent_index - 1,))
249
 
                            lines.append((rev_index,
250
 
                                          parent_index,
251
 
                                          (child_line_col_index,
252
 
                                           parent_col_line_index)))
253
 
                        else :
254
 
                            line_col_index = col_index
255
 
                            if parent_index - rev_index >1:
256
 
                                line_range = range(rev_index + 1, parent_index)
257
 
                                line_col_index = \
258
 
                                    _find_free_column(columns,
259
 
                                                      empty_column,
260
 
                                                      col_search_order,
261
 
                                                      line_range)
262
 
                                _mark_column_as_used(columns,
263
 
                                                     line_col_index,
264
 
                                                     line_range)
265
 
                            lines.append((rev_index,
266
 
                                          parent_index,
267
 
                                          (line_col_index,)))
 
264
                                
 
265
                            # If this line is really long, break it.
 
266
                            if len(branch_id) > 0 and \
 
267
                               broken_line_length and \
 
268
                               parent_index - rev_index > broken_line_length:
 
269
                                child_line_col_index = \
 
270
                                    _find_free_column(columns,
 
271
                                                      empty_column,
 
272
                                                      col_search_order,
 
273
                                                      (rev_index + 1,))
 
274
                                _mark_column_as_used(columns,
 
275
                                                     child_line_col_index,
 
276
                                                     (rev_index + 1,))
 
277
                                
 
278
                                # Recall _line_col_search_order to reset it back to
 
279
                                # the beging.
 
280
                                col_search_order = \
 
281
                                        _line_col_search_order(columns,
 
282
                                                               parent_col_index,
 
283
                                                               col_index)
 
284
                                parent_col_line_index = \
 
285
                                    _find_free_column(columns,
 
286
                                                      empty_column,
 
287
                                                      col_search_order,
 
288
                                                      (parent_index - 1,))
 
289
                                _mark_column_as_used(columns,
 
290
                                                     parent_col_line_index,
 
291
                                                     (parent_index - 1,))
 
292
                                lines.append((rev_index,
 
293
                                              parent_index,
 
294
                                              (child_line_col_index,
 
295
                                               parent_col_line_index)))
 
296
                            else :
 
297
                                line_col_index = col_index
 
298
                                if parent_index - rev_index >1:
 
299
                                    line_range = range(rev_index + 1, parent_index)
 
300
                                    line_col_index = \
 
301
                                        _find_free_column(columns,
 
302
                                                          empty_column,
 
303
                                                          col_search_order,
 
304
                                                          line_range)
 
305
                                    _mark_column_as_used(columns,
 
306
                                                         line_col_index,
 
307
                                                         line_range)
 
308
                                lines.append((rev_index,
 
309
                                              parent_index,
 
310
                                              (line_col_index,)))
 
311
        finally:
 
312
            progress_bar.finished()
268
313
        
269
 
        for (child_index, parent_index, line_col_indexes) in lines:
270
 
            (child_col_index, child_color) = linegraph[child_index][1]
271
 
            (parent_col_index, parent_color) = linegraph[parent_index][1]
272
 
            
273
 
            if len(line_col_indexes) == 1:
274
 
                if parent_index - child_index == 1:
275
 
                    linegraph[child_index][2].append(
276
 
                        (child_col_index,
277
 
                         parent_col_index,
278
 
                         parent_color))
 
314
        update_root_progress(5)
 
315
        progress_bar = ui.ui_factory.nested_progress_bar()
 
316
        try:
 
317
            progress_bar.update(msg="Pretifying graph", total=len(lines))
 
318
            for i, (child_index, parent_index, line_col_indexes) in enumerate(lines):
 
319
                if i % 25 == 0:
 
320
                    progress_bar.update(current=i)
 
321
                (child_col_index, child_color) = linegraph[child_index][1]
 
322
                (parent_col_index, parent_color) = linegraph[parent_index][1]
 
323
                
 
324
                if len(line_col_indexes) == 1:
 
325
                    if parent_index - child_index == 1:
 
326
                        linegraph[child_index][2].append(
 
327
                            (child_col_index,
 
328
                             parent_col_index,
 
329
                             parent_color))
 
330
                    else:
 
331
                        # line from the child's column to the lines column
 
332
                        linegraph[child_index][2].append(
 
333
                            (child_col_index,
 
334
                             line_col_indexes[0],
 
335
                             parent_color))
 
336
                        # lines down the line's column
 
337
                        for line_part_index in range(child_index+1, parent_index-1):
 
338
                            linegraph[line_part_index][2].append(
 
339
                                (line_col_indexes[0],   
 
340
                                 line_col_indexes[0],
 
341
                                 parent_color))
 
342
                        # line from the line's column to the parent's column
 
343
                        linegraph[parent_index-1][2].append(
 
344
                            (line_col_indexes[0],
 
345
                             parent_col_index,
 
346
                             parent_color))
279
347
                else:
 
348
                    # Broken line
280
349
                    # line from the child's column to the lines column
281
350
                    linegraph[child_index][2].append(
282
351
                        (child_col_index,
283
352
                         line_col_indexes[0],
284
353
                         parent_color))
285
 
                    # lines down the line's column
286
 
                    for line_part_index in range(child_index+1, parent_index-1):
287
 
                        linegraph[line_part_index][2].append(
288
 
                            (line_col_indexes[0],   
289
 
                             line_col_indexes[0],
290
 
                             parent_color))
 
354
                    # Broken line end
 
355
                    linegraph[child_index+1][2].append(
 
356
                        (line_col_indexes[0],
 
357
                         None,
 
358
                         parent_color))
 
359
                    
 
360
                    # Broken line end 
 
361
                    linegraph[parent_index-2][2].append(
 
362
                        (None,
 
363
                         line_col_indexes[1],
 
364
                         parent_color))
291
365
                    # line from the line's column to the parent's column
292
366
                    linegraph[parent_index-1][2].append(
293
 
                        (line_col_indexes[0],
 
367
                        (line_col_indexes[1],
294
368
                         parent_col_index,
295
369
                         parent_color))
296
 
            else:
297
 
                # Broken line
298
 
                # line from the child's column to the lines column
299
 
                linegraph[child_index][2].append(
300
 
                    (child_col_index,
301
 
                     line_col_indexes[0],
302
 
                     parent_color))
303
 
                # Broken line end
304
 
                linegraph[child_index+1][2].append(
305
 
                    (line_col_indexes[0],
306
 
                     None,
307
 
                     parent_color))
308
 
                
309
 
                # Broken line end 
310
 
                linegraph[parent_index-2][2].append(
311
 
                    (None,
312
 
                     line_col_indexes[1],
313
 
                     parent_color))
314
 
                # line from the line's column to the parent's column
315
 
                linegraph[parent_index-1][2].append(
316
 
                    (line_col_indexes[1],
317
 
                     parent_col_index,
318
 
                     parent_color))
 
370
        finally:
 
371
            progress_bar.finished()
319
372
        return (linegraph, revid_index, len(columns))
320
373
    else:
321
374
        return (linegraph, revid_index, 0)