graph: automatically track display width of graph lines
[git] / graph.c
1 #include "cache.h"
2 #include "config.h"
3 #include "commit.h"
4 #include "color.h"
5 #include "graph.h"
6 #include "revision.h"
7 #include "argv-array.h"
8
9 /* Internal API */
10
11 /*
12  * Output a padding line in the graph.
13  * This is similar to graph_next_line().  However, it is guaranteed to
14  * never print the current commit line.  Instead, if the commit line is
15  * next, it will simply output a line of vertical padding, extending the
16  * branch lines downwards, but leaving them otherwise unchanged.
17  */
18 static void graph_padding_line(struct git_graph *graph, struct strbuf *sb);
19
20 /*
21  * Print a strbuf.  If the graph is non-NULL, all lines but the first will be
22  * prefixed with the graph output.
23  *
24  * If the strbuf ends with a newline, the output will end after this
25  * newline.  A new graph line will not be printed after the final newline.
26  * If the strbuf is empty, no output will be printed.
27  *
28  * Since the first line will not include the graph output, the caller is
29  * responsible for printing this line's graph (perhaps via
30  * graph_show_commit() or graph_show_oneline()) before calling
31  * graph_show_strbuf().
32  *
33  * Note that unlike some other graph display functions, you must pass the file
34  * handle directly. It is assumed that this is the same file handle as the
35  * file specified by the graph diff options. This is necessary so that
36  * graph_show_strbuf can be called even with a NULL graph.
37  */
38 static void graph_show_strbuf(struct git_graph *graph,
39                               FILE *file,
40                               struct strbuf const *sb);
41
42 /*
43  * TODO:
44  * - Limit the number of columns, similar to the way gitk does.
45  *   If we reach more than a specified number of columns, omit
46  *   sections of some columns.
47  */
48
49 struct column {
50         /*
51          * The parent commit of this column.
52          */
53         struct commit *commit;
54         /*
55          * The color to (optionally) print this column in.  This is an
56          * index into column_colors.
57          */
58         unsigned short color;
59 };
60
61 enum graph_state {
62         GRAPH_PADDING,
63         GRAPH_SKIP,
64         GRAPH_PRE_COMMIT,
65         GRAPH_COMMIT,
66         GRAPH_POST_MERGE,
67         GRAPH_COLLAPSING
68 };
69
70 static void graph_show_line_prefix(const struct diff_options *diffopt)
71 {
72         if (!diffopt || !diffopt->line_prefix)
73                 return;
74
75         fwrite(diffopt->line_prefix,
76                sizeof(char),
77                diffopt->line_prefix_length,
78                diffopt->file);
79 }
80
81 static const char **column_colors;
82 static unsigned short column_colors_max;
83
84 static void parse_graph_colors_config(struct argv_array *colors, const char *string)
85 {
86         const char *end, *start;
87
88         start = string;
89         end = string + strlen(string);
90         while (start < end) {
91                 const char *comma = strchrnul(start, ',');
92                 char color[COLOR_MAXLEN];
93
94                 if (!color_parse_mem(start, comma - start, color))
95                         argv_array_push(colors, color);
96                 else
97                         warning(_("ignore invalid color '%.*s' in log.graphColors"),
98                                 (int)(comma - start), start);
99                 start = comma + 1;
100         }
101         argv_array_push(colors, GIT_COLOR_RESET);
102 }
103
104 void graph_set_column_colors(const char **colors, unsigned short colors_max)
105 {
106         column_colors = colors;
107         column_colors_max = colors_max;
108 }
109
110 static const char *column_get_color_code(unsigned short color)
111 {
112         return column_colors[color];
113 }
114
115 struct graph_line {
116         struct strbuf *buf;
117         size_t width;
118 };
119
120 static inline void graph_line_addch(struct graph_line *line, int c)
121 {
122         strbuf_addch(line->buf, c);
123         line->width++;
124 }
125
126 static inline void graph_line_addchars(struct graph_line *line, int c, size_t n)
127 {
128         strbuf_addchars(line->buf, c, n);
129         line->width += n;
130 }
131
132 static inline void graph_line_addstr(struct graph_line *line, const char *s)
133 {
134         strbuf_addstr(line->buf, s);
135         line->width += strlen(s);
136 }
137
138 static inline void graph_line_addcolor(struct graph_line *line, unsigned short color)
139 {
140         strbuf_addstr(line->buf, column_get_color_code(color));
141 }
142
143 static void graph_line_write_column(struct graph_line *line, const struct column *c,
144                                     char col_char)
145 {
146         if (c->color < column_colors_max)
147                 graph_line_addcolor(line, c->color);
148         graph_line_addch(line, col_char);
149         if (c->color < column_colors_max)
150                 graph_line_addcolor(line, column_colors_max);
151 }
152
153 struct git_graph {
154         /*
155          * The commit currently being processed
156          */
157         struct commit *commit;
158         /* The rev-info used for the current traversal */
159         struct rev_info *revs;
160         /*
161          * The number of interesting parents that this commit has.
162          *
163          * Note that this is not the same as the actual number of parents.
164          * This count excludes parents that won't be printed in the graph
165          * output, as determined by graph_is_interesting().
166          */
167         int num_parents;
168         /*
169          * The width of the graph output for this commit.
170          * All rows for this commit are padded to this width, so that
171          * messages printed after the graph output are aligned.
172          */
173         int width;
174         /*
175          * The next expansion row to print
176          * when state is GRAPH_PRE_COMMIT
177          */
178         int expansion_row;
179         /*
180          * The current output state.
181          * This tells us what kind of line graph_next_line() should output.
182          */
183         enum graph_state state;
184         /*
185          * The output state for the previous line of output.
186          * This is primarily used to determine how the first merge line
187          * should appear, based on the last line of the previous commit.
188          */
189         enum graph_state prev_state;
190         /*
191          * The index of the column that refers to this commit.
192          *
193          * If none of the incoming columns refer to this commit,
194          * this will be equal to num_columns.
195          */
196         int commit_index;
197         /*
198          * The commit_index for the previously displayed commit.
199          *
200          * This is used to determine how the first line of a merge
201          * graph output should appear, based on the last line of the
202          * previous commit.
203          */
204         int prev_commit_index;
205         /*
206          * The maximum number of columns that can be stored in the columns
207          * and new_columns arrays.  This is also half the number of entries
208          * that can be stored in the mapping and new_mapping arrays.
209          */
210         int column_capacity;
211         /*
212          * The number of columns (also called "branch lines" in some places)
213          */
214         int num_columns;
215         /*
216          * The number of columns in the new_columns array
217          */
218         int num_new_columns;
219         /*
220          * The number of entries in the mapping array
221          */
222         int mapping_size;
223         /*
224          * The column state before we output the current commit.
225          */
226         struct column *columns;
227         /*
228          * The new column state after we output the current commit.
229          * Only valid when state is GRAPH_COLLAPSING.
230          */
231         struct column *new_columns;
232         /*
233          * An array that tracks the current state of each
234          * character in the output line during state GRAPH_COLLAPSING.
235          * Each entry is -1 if this character is empty, or a non-negative
236          * integer if the character contains a branch line.  The value of
237          * the integer indicates the target position for this branch line.
238          * (I.e., this array maps the current column positions to their
239          * desired positions.)
240          *
241          * The maximum capacity of this array is always
242          * sizeof(int) * 2 * column_capacity.
243          */
244         int *mapping;
245         /*
246          * A temporary array for computing the next mapping state
247          * while we are outputting a mapping line.  This is stored as part
248          * of the git_graph simply so we don't have to allocate a new
249          * temporary array each time we have to output a collapsing line.
250          */
251         int *new_mapping;
252         /*
253          * The current default column color being used.  This is
254          * stored as an index into the array column_colors.
255          */
256         unsigned short default_column_color;
257 };
258
259 static struct strbuf *diff_output_prefix_callback(struct diff_options *opt, void *data)
260 {
261         struct git_graph *graph = data;
262         static struct strbuf msgbuf = STRBUF_INIT;
263
264         assert(opt);
265
266         strbuf_reset(&msgbuf);
267         if (opt->line_prefix)
268                 strbuf_add(&msgbuf, opt->line_prefix,
269                            opt->line_prefix_length);
270         if (graph)
271                 graph_padding_line(graph, &msgbuf);
272         return &msgbuf;
273 }
274
275 static const struct diff_options *default_diffopt;
276
277 void graph_setup_line_prefix(struct diff_options *diffopt)
278 {
279         default_diffopt = diffopt;
280
281         /* setup an output prefix callback if necessary */
282         if (diffopt && !diffopt->output_prefix)
283                 diffopt->output_prefix = diff_output_prefix_callback;
284 }
285
286
287 struct git_graph *graph_init(struct rev_info *opt)
288 {
289         struct git_graph *graph = xmalloc(sizeof(struct git_graph));
290
291         if (!column_colors) {
292                 char *string;
293                 if (git_config_get_string("log.graphcolors", &string)) {
294                         /* not configured -- use default */
295                         graph_set_column_colors(column_colors_ansi,
296                                                 column_colors_ansi_max);
297                 } else {
298                         static struct argv_array custom_colors = ARGV_ARRAY_INIT;
299                         argv_array_clear(&custom_colors);
300                         parse_graph_colors_config(&custom_colors, string);
301                         free(string);
302                         /* graph_set_column_colors takes a max-index, not a count */
303                         graph_set_column_colors(custom_colors.argv,
304                                                 custom_colors.argc - 1);
305                 }
306         }
307
308         graph->commit = NULL;
309         graph->revs = opt;
310         graph->num_parents = 0;
311         graph->expansion_row = 0;
312         graph->state = GRAPH_PADDING;
313         graph->prev_state = GRAPH_PADDING;
314         graph->commit_index = 0;
315         graph->prev_commit_index = 0;
316         graph->num_columns = 0;
317         graph->num_new_columns = 0;
318         graph->mapping_size = 0;
319         /*
320          * Start the column color at the maximum value, since we'll
321          * always increment it for the first commit we output.
322          * This way we start at 0 for the first commit.
323          */
324         graph->default_column_color = column_colors_max - 1;
325
326         /*
327          * Allocate a reasonably large default number of columns
328          * We'll automatically grow columns later if we need more room.
329          */
330         graph->column_capacity = 30;
331         ALLOC_ARRAY(graph->columns, graph->column_capacity);
332         ALLOC_ARRAY(graph->new_columns, graph->column_capacity);
333         ALLOC_ARRAY(graph->mapping, 2 * graph->column_capacity);
334         ALLOC_ARRAY(graph->new_mapping, 2 * graph->column_capacity);
335
336         /*
337          * The diff output prefix callback, with this we can make
338          * all the diff output to align with the graph lines.
339          */
340         opt->diffopt.output_prefix = diff_output_prefix_callback;
341         opt->diffopt.output_prefix_data = graph;
342
343         return graph;
344 }
345
346 static void graph_update_state(struct git_graph *graph, enum graph_state s)
347 {
348         graph->prev_state = graph->state;
349         graph->state = s;
350 }
351
352 static void graph_ensure_capacity(struct git_graph *graph, int num_columns)
353 {
354         if (graph->column_capacity >= num_columns)
355                 return;
356
357         do {
358                 graph->column_capacity *= 2;
359         } while (graph->column_capacity < num_columns);
360
361         REALLOC_ARRAY(graph->columns, graph->column_capacity);
362         REALLOC_ARRAY(graph->new_columns, graph->column_capacity);
363         REALLOC_ARRAY(graph->mapping, graph->column_capacity * 2);
364         REALLOC_ARRAY(graph->new_mapping, graph->column_capacity * 2);
365 }
366
367 /*
368  * Returns 1 if the commit will be printed in the graph output,
369  * and 0 otherwise.
370  */
371 static int graph_is_interesting(struct git_graph *graph, struct commit *commit)
372 {
373         /*
374          * If revs->boundary is set, commits whose children have
375          * been shown are always interesting, even if they have the
376          * UNINTERESTING or TREESAME flags set.
377          */
378         if (graph->revs && graph->revs->boundary) {
379                 if (commit->object.flags & CHILD_SHOWN)
380                         return 1;
381         }
382
383         /*
384          * Otherwise, use get_commit_action() to see if this commit is
385          * interesting
386          */
387         return get_commit_action(graph->revs, commit) == commit_show;
388 }
389
390 static struct commit_list *next_interesting_parent(struct git_graph *graph,
391                                                    struct commit_list *orig)
392 {
393         struct commit_list *list;
394
395         /*
396          * If revs->first_parent_only is set, only the first
397          * parent is interesting.  None of the others are.
398          */
399         if (graph->revs->first_parent_only)
400                 return NULL;
401
402         /*
403          * Return the next interesting commit after orig
404          */
405         for (list = orig->next; list; list = list->next) {
406                 if (graph_is_interesting(graph, list->item))
407                         return list;
408         }
409
410         return NULL;
411 }
412
413 static struct commit_list *first_interesting_parent(struct git_graph *graph)
414 {
415         struct commit_list *parents = graph->commit->parents;
416
417         /*
418          * If this commit has no parents, ignore it
419          */
420         if (!parents)
421                 return NULL;
422
423         /*
424          * If the first parent is interesting, return it
425          */
426         if (graph_is_interesting(graph, parents->item))
427                 return parents;
428
429         /*
430          * Otherwise, call next_interesting_parent() to get
431          * the next interesting parent
432          */
433         return next_interesting_parent(graph, parents);
434 }
435
436 static unsigned short graph_get_current_column_color(const struct git_graph *graph)
437 {
438         if (!want_color(graph->revs->diffopt.use_color))
439                 return column_colors_max;
440         return graph->default_column_color;
441 }
442
443 /*
444  * Update the graph's default column color.
445  */
446 static void graph_increment_column_color(struct git_graph *graph)
447 {
448         graph->default_column_color = (graph->default_column_color + 1) %
449                 column_colors_max;
450 }
451
452 static unsigned short graph_find_commit_color(const struct git_graph *graph,
453                                               const struct commit *commit)
454 {
455         int i;
456         for (i = 0; i < graph->num_columns; i++) {
457                 if (graph->columns[i].commit == commit)
458                         return graph->columns[i].color;
459         }
460         return graph_get_current_column_color(graph);
461 }
462
463 static void graph_insert_into_new_columns(struct git_graph *graph,
464                                           struct commit *commit,
465                                           int *mapping_index)
466 {
467         int i;
468
469         /*
470          * If the commit is already in the new_columns list, we don't need to
471          * add it.  Just update the mapping correctly.
472          */
473         for (i = 0; i < graph->num_new_columns; i++) {
474                 if (graph->new_columns[i].commit == commit) {
475                         graph->mapping[*mapping_index] = i;
476                         *mapping_index += 2;
477                         return;
478                 }
479         }
480
481         /*
482          * This commit isn't already in new_columns.  Add it.
483          */
484         graph->new_columns[graph->num_new_columns].commit = commit;
485         graph->new_columns[graph->num_new_columns].color = graph_find_commit_color(graph, commit);
486         graph->mapping[*mapping_index] = graph->num_new_columns;
487         *mapping_index += 2;
488         graph->num_new_columns++;
489 }
490
491 static void graph_update_width(struct git_graph *graph,
492                                int is_commit_in_existing_columns)
493 {
494         /*
495          * Compute the width needed to display the graph for this commit.
496          * This is the maximum width needed for any row.  All other rows
497          * will be padded to this width.
498          *
499          * Compute the number of columns in the widest row:
500          * Count each existing column (graph->num_columns), and each new
501          * column added by this commit.
502          */
503         int max_cols = graph->num_columns + graph->num_parents;
504
505         /*
506          * Even if the current commit has no parents to be printed, it
507          * still takes up a column for itself.
508          */
509         if (graph->num_parents < 1)
510                 max_cols++;
511
512         /*
513          * We added a column for the current commit as part of
514          * graph->num_parents.  If the current commit was already in
515          * graph->columns, then we have double counted it.
516          */
517         if (is_commit_in_existing_columns)
518                 max_cols--;
519
520         /*
521          * Each column takes up 2 spaces
522          */
523         graph->width = max_cols * 2;
524 }
525
526 static void graph_update_columns(struct git_graph *graph)
527 {
528         struct commit_list *parent;
529         int max_new_columns;
530         int mapping_idx;
531         int i, seen_this, is_commit_in_columns;
532
533         /*
534          * Swap graph->columns with graph->new_columns
535          * graph->columns contains the state for the previous commit,
536          * and new_columns now contains the state for our commit.
537          *
538          * We'll re-use the old columns array as storage to compute the new
539          * columns list for the commit after this one.
540          */
541         SWAP(graph->columns, graph->new_columns);
542         graph->num_columns = graph->num_new_columns;
543         graph->num_new_columns = 0;
544
545         /*
546          * Now update new_columns and mapping with the information for the
547          * commit after this one.
548          *
549          * First, make sure we have enough room.  At most, there will
550          * be graph->num_columns + graph->num_parents columns for the next
551          * commit.
552          */
553         max_new_columns = graph->num_columns + graph->num_parents;
554         graph_ensure_capacity(graph, max_new_columns);
555
556         /*
557          * Clear out graph->mapping
558          */
559         graph->mapping_size = 2 * max_new_columns;
560         for (i = 0; i < graph->mapping_size; i++)
561                 graph->mapping[i] = -1;
562
563         /*
564          * Populate graph->new_columns and graph->mapping
565          *
566          * Some of the parents of this commit may already be in
567          * graph->columns.  If so, graph->new_columns should only contain a
568          * single entry for each such commit.  graph->mapping should
569          * contain information about where each current branch line is
570          * supposed to end up after the collapsing is performed.
571          */
572         seen_this = 0;
573         mapping_idx = 0;
574         is_commit_in_columns = 1;
575         for (i = 0; i <= graph->num_columns; i++) {
576                 struct commit *col_commit;
577                 if (i == graph->num_columns) {
578                         if (seen_this)
579                                 break;
580                         is_commit_in_columns = 0;
581                         col_commit = graph->commit;
582                 } else {
583                         col_commit = graph->columns[i].commit;
584                 }
585
586                 if (col_commit == graph->commit) {
587                         int old_mapping_idx = mapping_idx;
588                         seen_this = 1;
589                         graph->commit_index = i;
590                         for (parent = first_interesting_parent(graph);
591                              parent;
592                              parent = next_interesting_parent(graph, parent)) {
593                                 /*
594                                  * If this is a merge, or the start of a new
595                                  * childless column, increment the current
596                                  * color.
597                                  */
598                                 if (graph->num_parents > 1 ||
599                                     !is_commit_in_columns) {
600                                         graph_increment_column_color(graph);
601                                 }
602                                 graph_insert_into_new_columns(graph,
603                                                               parent->item,
604                                                               &mapping_idx);
605                         }
606                         /*
607                          * We always need to increment mapping_idx by at
608                          * least 2, even if it has no interesting parents.
609                          * The current commit always takes up at least 2
610                          * spaces.
611                          */
612                         if (mapping_idx == old_mapping_idx)
613                                 mapping_idx += 2;
614                 } else {
615                         graph_insert_into_new_columns(graph, col_commit,
616                                                       &mapping_idx);
617                 }
618         }
619
620         /*
621          * Shrink mapping_size to be the minimum necessary
622          */
623         while (graph->mapping_size > 1 &&
624                graph->mapping[graph->mapping_size - 1] < 0)
625                 graph->mapping_size--;
626
627         /*
628          * Compute graph->width for this commit
629          */
630         graph_update_width(graph, is_commit_in_columns);
631 }
632
633 void graph_update(struct git_graph *graph, struct commit *commit)
634 {
635         struct commit_list *parent;
636
637         /*
638          * Set the new commit
639          */
640         graph->commit = commit;
641
642         /*
643          * Count how many interesting parents this commit has
644          */
645         graph->num_parents = 0;
646         for (parent = first_interesting_parent(graph);
647              parent;
648              parent = next_interesting_parent(graph, parent))
649         {
650                 graph->num_parents++;
651         }
652
653         /*
654          * Store the old commit_index in prev_commit_index.
655          * graph_update_columns() will update graph->commit_index for this
656          * commit.
657          */
658         graph->prev_commit_index = graph->commit_index;
659
660         /*
661          * Call graph_update_columns() to update
662          * columns, new_columns, and mapping.
663          */
664         graph_update_columns(graph);
665
666         graph->expansion_row = 0;
667
668         /*
669          * Update graph->state.
670          * Note that we don't call graph_update_state() here, since
671          * we don't want to update graph->prev_state.  No line for
672          * graph->state was ever printed.
673          *
674          * If the previous commit didn't get to the GRAPH_PADDING state,
675          * it never finished its output.  Goto GRAPH_SKIP, to print out
676          * a line to indicate that portion of the graph is missing.
677          *
678          * If there are 3 or more parents, we may need to print extra rows
679          * before the commit, to expand the branch lines around it and make
680          * room for it.  We need to do this only if there is a branch row
681          * (or more) to the right of this commit.
682          *
683          * If there are less than 3 parents, we can immediately print the
684          * commit line.
685          */
686         if (graph->state != GRAPH_PADDING)
687                 graph->state = GRAPH_SKIP;
688         else if (graph->num_parents >= 3 &&
689                  graph->commit_index < (graph->num_columns - 1))
690                 graph->state = GRAPH_PRE_COMMIT;
691         else
692                 graph->state = GRAPH_COMMIT;
693 }
694
695 static int graph_is_mapping_correct(struct git_graph *graph)
696 {
697         int i;
698
699         /*
700          * The mapping is up to date if each entry is at its target,
701          * or is 1 greater than its target.
702          * (If it is 1 greater than the target, '/' will be printed, so it
703          * will look correct on the next row.)
704          */
705         for (i = 0; i < graph->mapping_size; i++) {
706                 int target = graph->mapping[i];
707                 if (target < 0)
708                         continue;
709                 if (target == (i / 2))
710                         continue;
711                 return 0;
712         }
713
714         return 1;
715 }
716
717 static void graph_pad_horizontally(struct git_graph *graph, struct graph_line *line)
718 {
719         /*
720          * Add additional spaces to the end of the strbuf, so that all
721          * lines for a particular commit have the same width.
722          *
723          * This way, fields printed to the right of the graph will remain
724          * aligned for the entire commit.
725          */
726         if (line->width < graph->width)
727                 graph_line_addchars(line, ' ', graph->width - line->width);
728 }
729
730 static void graph_output_padding_line(struct git_graph *graph,
731                                       struct graph_line *line)
732 {
733         int i;
734
735         /*
736          * We could conceivable be called with a NULL commit
737          * if our caller has a bug, and invokes graph_next_line()
738          * immediately after graph_init(), without first calling
739          * graph_update().  Return without outputting anything in this
740          * case.
741          */
742         if (!graph->commit)
743                 return;
744
745         /*
746          * Output a padding row, that leaves all branch lines unchanged
747          */
748         for (i = 0; i < graph->num_new_columns; i++) {
749                 graph_line_write_column(line, &graph->new_columns[i], '|');
750                 graph_line_addch(line, ' ');
751         }
752
753         graph_pad_horizontally(graph, line);
754 }
755
756
757 int graph_width(struct git_graph *graph)
758 {
759         return graph->width;
760 }
761
762
763 static void graph_output_skip_line(struct git_graph *graph, struct graph_line *line)
764 {
765         /*
766          * Output an ellipsis to indicate that a portion
767          * of the graph is missing.
768          */
769         graph_line_addstr(line, "...");
770         graph_pad_horizontally(graph, line);
771
772         if (graph->num_parents >= 3 &&
773             graph->commit_index < (graph->num_columns - 1))
774                 graph_update_state(graph, GRAPH_PRE_COMMIT);
775         else
776                 graph_update_state(graph, GRAPH_COMMIT);
777 }
778
779 static void graph_output_pre_commit_line(struct git_graph *graph,
780                                          struct graph_line *line)
781 {
782         int num_expansion_rows;
783         int i, seen_this;
784
785         /*
786          * This function formats a row that increases the space around a commit
787          * with multiple parents, to make room for it.  It should only be
788          * called when there are 3 or more parents.
789          *
790          * We need 2 extra rows for every parent over 2.
791          */
792         assert(graph->num_parents >= 3);
793         num_expansion_rows = (graph->num_parents - 2) * 2;
794
795         /*
796          * graph->expansion_row tracks the current expansion row we are on.
797          * It should be in the range [0, num_expansion_rows - 1]
798          */
799         assert(0 <= graph->expansion_row &&
800                graph->expansion_row < num_expansion_rows);
801
802         /*
803          * Output the row
804          */
805         seen_this = 0;
806         for (i = 0; i < graph->num_columns; i++) {
807                 struct column *col = &graph->columns[i];
808                 if (col->commit == graph->commit) {
809                         seen_this = 1;
810                         graph_line_write_column(line, col, '|');
811                         graph_line_addchars(line, ' ', graph->expansion_row);
812                 } else if (seen_this && (graph->expansion_row == 0)) {
813                         /*
814                          * This is the first line of the pre-commit output.
815                          * If the previous commit was a merge commit and
816                          * ended in the GRAPH_POST_MERGE state, all branch
817                          * lines after graph->prev_commit_index were
818                          * printed as "\" on the previous line.  Continue
819                          * to print them as "\" on this line.  Otherwise,
820                          * print the branch lines as "|".
821                          */
822                         if (graph->prev_state == GRAPH_POST_MERGE &&
823                             graph->prev_commit_index < i)
824                                 graph_line_write_column(line, col, '\\');
825                         else
826                                 graph_line_write_column(line, col, '|');
827                 } else if (seen_this && (graph->expansion_row > 0)) {
828                         graph_line_write_column(line, col, '\\');
829                 } else {
830                         graph_line_write_column(line, col, '|');
831                 }
832                 graph_line_addch(line, ' ');
833         }
834
835         graph_pad_horizontally(graph, line);
836
837         /*
838          * Increment graph->expansion_row,
839          * and move to state GRAPH_COMMIT if necessary
840          */
841         graph->expansion_row++;
842         if (graph->expansion_row >= num_expansion_rows)
843                 graph_update_state(graph, GRAPH_COMMIT);
844 }
845
846 static void graph_output_commit_char(struct git_graph *graph, struct graph_line *line)
847 {
848         /*
849          * For boundary commits, print 'o'
850          * (We should only see boundary commits when revs->boundary is set.)
851          */
852         if (graph->commit->object.flags & BOUNDARY) {
853                 assert(graph->revs->boundary);
854                 graph_line_addch(line, 'o');
855                 return;
856         }
857
858         /*
859          * get_revision_mark() handles all other cases without assert()
860          */
861         graph_line_addstr(line, get_revision_mark(graph->revs, graph->commit));
862 }
863
864 /*
865  * Draw the horizontal dashes of an octopus merge.
866  */
867 static void graph_draw_octopus_merge(struct git_graph *graph, struct graph_line *line)
868 {
869         /*
870          * Here dashless_parents represents the number of parents which don't
871          * need to have dashes (the edges labeled "0" and "1").  And
872          * dashful_parents are the remaining ones.
873          *
874          * | *---.
875          * | |\ \ \
876          * | | | | |
877          * x 0 1 2 3
878          *
879          */
880         const int dashless_parents = 2;
881         int dashful_parents = graph->num_parents - dashless_parents;
882
883         /*
884          * Usually, we add one new column for each parent (like the diagram
885          * above) but sometimes the first parent goes into an existing column,
886          * like this:
887          *
888          * | *---.
889          * | |\ \ \
890          * |/ / / /
891          * x 0 1 2
892          *
893          * In which case the number of parents will be one greater than the
894          * number of added columns.
895          */
896         int added_cols = (graph->num_new_columns - graph->num_columns);
897         int parent_in_old_cols = graph->num_parents - added_cols;
898
899         /*
900          * In both cases, commit_index corresponds to the edge labeled "0".
901          */
902         int first_col = graph->commit_index + dashless_parents
903             - parent_in_old_cols;
904
905         int i;
906         for (i = 0; i < dashful_parents; i++) {
907                 graph_line_write_column(line, &graph->new_columns[i+first_col], '-');
908                 graph_line_write_column(line, &graph->new_columns[i+first_col],
909                                           i == dashful_parents-1 ? '.' : '-');
910         }
911 }
912
913 static void graph_output_commit_line(struct git_graph *graph, struct graph_line *line)
914 {
915         int seen_this = 0;
916         int i;
917
918         /*
919          * Output the row containing this commit
920          * Iterate up to and including graph->num_columns,
921          * since the current commit may not be in any of the existing
922          * columns.  (This happens when the current commit doesn't have any
923          * children that we have already processed.)
924          */
925         seen_this = 0;
926         for (i = 0; i <= graph->num_columns; i++) {
927                 struct column *col = &graph->columns[i];
928                 struct commit *col_commit;
929                 if (i == graph->num_columns) {
930                         if (seen_this)
931                                 break;
932                         col_commit = graph->commit;
933                 } else {
934                         col_commit = graph->columns[i].commit;
935                 }
936
937                 if (col_commit == graph->commit) {
938                         seen_this = 1;
939                         graph_output_commit_char(graph, line);
940
941                         if (graph->num_parents > 2)
942                                 graph_draw_octopus_merge(graph, line);
943                 } else if (seen_this && (graph->num_parents > 2)) {
944                         graph_line_write_column(line, col, '\\');
945                 } else if (seen_this && (graph->num_parents == 2)) {
946                         /*
947                          * This is a 2-way merge commit.
948                          * There is no GRAPH_PRE_COMMIT stage for 2-way
949                          * merges, so this is the first line of output
950                          * for this commit.  Check to see what the previous
951                          * line of output was.
952                          *
953                          * If it was GRAPH_POST_MERGE, the branch line
954                          * coming into this commit may have been '\',
955                          * and not '|' or '/'.  If so, output the branch
956                          * line as '\' on this line, instead of '|'.  This
957                          * makes the output look nicer.
958                          */
959                         if (graph->prev_state == GRAPH_POST_MERGE &&
960                             graph->prev_commit_index < i)
961                                 graph_line_write_column(line, col, '\\');
962                         else
963                                 graph_line_write_column(line, col, '|');
964                 } else {
965                         graph_line_write_column(line, col, '|');
966                 }
967                 graph_line_addch(line, ' ');
968         }
969
970         graph_pad_horizontally(graph, line);
971
972         /*
973          * Update graph->state
974          */
975         if (graph->num_parents > 1)
976                 graph_update_state(graph, GRAPH_POST_MERGE);
977         else if (graph_is_mapping_correct(graph))
978                 graph_update_state(graph, GRAPH_PADDING);
979         else
980                 graph_update_state(graph, GRAPH_COLLAPSING);
981 }
982
983 static struct column *find_new_column_by_commit(struct git_graph *graph,
984                                                 struct commit *commit)
985 {
986         int i;
987         for (i = 0; i < graph->num_new_columns; i++) {
988                 if (graph->new_columns[i].commit == commit)
989                         return &graph->new_columns[i];
990         }
991         return NULL;
992 }
993
994 static void graph_output_post_merge_line(struct git_graph *graph, struct graph_line *line)
995 {
996         int seen_this = 0;
997         int i, j;
998
999         /*
1000          * Output the post-merge row
1001          */
1002         for (i = 0; i <= graph->num_columns; i++) {
1003                 struct column *col = &graph->columns[i];
1004                 struct commit *col_commit;
1005                 if (i == graph->num_columns) {
1006                         if (seen_this)
1007                                 break;
1008                         col_commit = graph->commit;
1009                 } else {
1010                         col_commit = col->commit;
1011                 }
1012
1013                 if (col_commit == graph->commit) {
1014                         /*
1015                          * Since the current commit is a merge find
1016                          * the columns for the parent commits in
1017                          * new_columns and use those to format the
1018                          * edges.
1019                          */
1020                         struct commit_list *parents = NULL;
1021                         struct column *par_column;
1022                         seen_this = 1;
1023                         parents = first_interesting_parent(graph);
1024                         assert(parents);
1025                         par_column = find_new_column_by_commit(graph, parents->item);
1026                         assert(par_column);
1027
1028                         graph_line_write_column(line, par_column, '|');
1029                         for (j = 0; j < graph->num_parents - 1; j++) {
1030                                 parents = next_interesting_parent(graph, parents);
1031                                 assert(parents);
1032                                 par_column = find_new_column_by_commit(graph, parents->item);
1033                                 assert(par_column);
1034                                 graph_line_write_column(line, par_column, '\\');
1035                                 graph_line_addch(line, ' ');
1036                         }
1037                 } else if (seen_this) {
1038                         graph_line_write_column(line, col, '\\');
1039                         graph_line_addch(line, ' ');
1040                 } else {
1041                         graph_line_write_column(line, col, '|');
1042                         graph_line_addch(line, ' ');
1043                 }
1044         }
1045
1046         graph_pad_horizontally(graph, line);
1047
1048         /*
1049          * Update graph->state
1050          */
1051         if (graph_is_mapping_correct(graph))
1052                 graph_update_state(graph, GRAPH_PADDING);
1053         else
1054                 graph_update_state(graph, GRAPH_COLLAPSING);
1055 }
1056
1057 static void graph_output_collapsing_line(struct git_graph *graph, struct graph_line *line)
1058 {
1059         int i;
1060         short used_horizontal = 0;
1061         int horizontal_edge = -1;
1062         int horizontal_edge_target = -1;
1063
1064         /*
1065          * Clear out the new_mapping array
1066          */
1067         for (i = 0; i < graph->mapping_size; i++)
1068                 graph->new_mapping[i] = -1;
1069
1070         for (i = 0; i < graph->mapping_size; i++) {
1071                 int target = graph->mapping[i];
1072                 if (target < 0)
1073                         continue;
1074
1075                 /*
1076                  * Since update_columns() always inserts the leftmost
1077                  * column first, each branch's target location should
1078                  * always be either its current location or to the left of
1079                  * its current location.
1080                  *
1081                  * We never have to move branches to the right.  This makes
1082                  * the graph much more legible, since whenever branches
1083                  * cross, only one is moving directions.
1084                  */
1085                 assert(target * 2 <= i);
1086
1087                 if (target * 2 == i) {
1088                         /*
1089                          * This column is already in the
1090                          * correct place
1091                          */
1092                         assert(graph->new_mapping[i] == -1);
1093                         graph->new_mapping[i] = target;
1094                 } else if (graph->new_mapping[i - 1] < 0) {
1095                         /*
1096                          * Nothing is to the left.
1097                          * Move to the left by one
1098                          */
1099                         graph->new_mapping[i - 1] = target;
1100                         /*
1101                          * If there isn't already an edge moving horizontally
1102                          * select this one.
1103                          */
1104                         if (horizontal_edge == -1) {
1105                                 int j;
1106                                 horizontal_edge = i;
1107                                 horizontal_edge_target = target;
1108                                 /*
1109                                  * The variable target is the index of the graph
1110                                  * column, and therefore target*2+3 is the
1111                                  * actual screen column of the first horizontal
1112                                  * line.
1113                                  */
1114                                 for (j = (target * 2)+3; j < (i - 2); j += 2)
1115                                         graph->new_mapping[j] = target;
1116                         }
1117                 } else if (graph->new_mapping[i - 1] == target) {
1118                         /*
1119                          * There is a branch line to our left
1120                          * already, and it is our target.  We
1121                          * combine with this line, since we share
1122                          * the same parent commit.
1123                          *
1124                          * We don't have to add anything to the
1125                          * output or new_mapping, since the
1126                          * existing branch line has already taken
1127                          * care of it.
1128                          */
1129                 } else {
1130                         /*
1131                          * There is a branch line to our left,
1132                          * but it isn't our target.  We need to
1133                          * cross over it.
1134                          *
1135                          * The space just to the left of this
1136                          * branch should always be empty.
1137                          *
1138                          * The branch to the left of that space
1139                          * should be our eventual target.
1140                          */
1141                         assert(graph->new_mapping[i - 1] > target);
1142                         assert(graph->new_mapping[i - 2] < 0);
1143                         assert(graph->new_mapping[i - 3] == target);
1144                         graph->new_mapping[i - 2] = target;
1145                         /*
1146                          * Mark this branch as the horizontal edge to
1147                          * prevent any other edges from moving
1148                          * horizontally.
1149                          */
1150                         if (horizontal_edge == -1)
1151                                 horizontal_edge = i;
1152                 }
1153         }
1154
1155         /*
1156          * The new mapping may be 1 smaller than the old mapping
1157          */
1158         if (graph->new_mapping[graph->mapping_size - 1] < 0)
1159                 graph->mapping_size--;
1160
1161         /*
1162          * Output out a line based on the new mapping info
1163          */
1164         for (i = 0; i < graph->mapping_size; i++) {
1165                 int target = graph->new_mapping[i];
1166                 if (target < 0)
1167                         graph_line_addch(line, ' ');
1168                 else if (target * 2 == i)
1169                         graph_line_write_column(line, &graph->new_columns[target], '|');
1170                 else if (target == horizontal_edge_target &&
1171                          i != horizontal_edge - 1) {
1172                                 /*
1173                                  * Set the mappings for all but the
1174                                  * first segment to -1 so that they
1175                                  * won't continue into the next line.
1176                                  */
1177                                 if (i != (target * 2)+3)
1178                                         graph->new_mapping[i] = -1;
1179                                 used_horizontal = 1;
1180                         graph_line_write_column(line, &graph->new_columns[target], '_');
1181                 } else {
1182                         if (used_horizontal && i < horizontal_edge)
1183                                 graph->new_mapping[i] = -1;
1184                         graph_line_write_column(line, &graph->new_columns[target], '/');
1185
1186                 }
1187         }
1188
1189         graph_pad_horizontally(graph, line);
1190
1191         /*
1192          * Swap mapping and new_mapping
1193          */
1194         SWAP(graph->mapping, graph->new_mapping);
1195
1196         /*
1197          * If graph->mapping indicates that all of the branch lines
1198          * are already in the correct positions, we are done.
1199          * Otherwise, we need to collapse some branch lines together.
1200          */
1201         if (graph_is_mapping_correct(graph))
1202                 graph_update_state(graph, GRAPH_PADDING);
1203 }
1204
1205 int graph_next_line(struct git_graph *graph, struct strbuf *sb)
1206 {
1207         struct graph_line line = { .buf = sb, .width = 0 };
1208
1209         switch (graph->state) {
1210         case GRAPH_PADDING:
1211                 graph_output_padding_line(graph, &line);
1212                 return 0;
1213         case GRAPH_SKIP:
1214                 graph_output_skip_line(graph, &line);
1215                 return 0;
1216         case GRAPH_PRE_COMMIT:
1217                 graph_output_pre_commit_line(graph, &line);
1218                 return 0;
1219         case GRAPH_COMMIT:
1220                 graph_output_commit_line(graph, &line);
1221                 return 1;
1222         case GRAPH_POST_MERGE:
1223                 graph_output_post_merge_line(graph, &line);
1224                 return 0;
1225         case GRAPH_COLLAPSING:
1226                 graph_output_collapsing_line(graph, &line);
1227                 return 0;
1228         }
1229
1230         assert(0);
1231         return 0;
1232 }
1233
1234 static void graph_padding_line(struct git_graph *graph, struct strbuf *sb)
1235 {
1236         int i;
1237         struct graph_line line = { .buf = sb, .width = 0 };
1238
1239         if (graph->state != GRAPH_COMMIT) {
1240                 graph_next_line(graph, sb);
1241                 return;
1242         }
1243
1244         /*
1245          * Output the row containing this commit
1246          * Iterate up to and including graph->num_columns,
1247          * since the current commit may not be in any of the existing
1248          * columns.  (This happens when the current commit doesn't have any
1249          * children that we have already processed.)
1250          */
1251         for (i = 0; i < graph->num_columns; i++) {
1252                 struct column *col = &graph->columns[i];
1253
1254                 graph_line_write_column(&line, col, '|');
1255
1256                 if (col->commit == graph->commit && graph->num_parents > 2) {
1257                         int len = (graph->num_parents - 2) * 2;
1258                         graph_line_addchars(&line, ' ', len);
1259                 } else {
1260                         graph_line_addch(&line, ' ');
1261                 }
1262         }
1263
1264         graph_pad_horizontally(graph, &line);
1265
1266         /*
1267          * Update graph->prev_state since we have output a padding line
1268          */
1269         graph->prev_state = GRAPH_PADDING;
1270 }
1271
1272 int graph_is_commit_finished(struct git_graph const *graph)
1273 {
1274         return (graph->state == GRAPH_PADDING);
1275 }
1276
1277 void graph_show_commit(struct git_graph *graph)
1278 {
1279         struct strbuf msgbuf = STRBUF_INIT;
1280         int shown_commit_line = 0;
1281
1282         graph_show_line_prefix(default_diffopt);
1283
1284         if (!graph)
1285                 return;
1286
1287         /*
1288          * When showing a diff of a merge against each of its parents, we
1289          * are called once for each parent without graph_update having been
1290          * called.  In this case, simply output a single padding line.
1291          */
1292         if (graph_is_commit_finished(graph)) {
1293                 graph_show_padding(graph);
1294                 shown_commit_line = 1;
1295         }
1296
1297         while (!shown_commit_line && !graph_is_commit_finished(graph)) {
1298                 shown_commit_line = graph_next_line(graph, &msgbuf);
1299                 fwrite(msgbuf.buf, sizeof(char), msgbuf.len,
1300                         graph->revs->diffopt.file);
1301                 if (!shown_commit_line) {
1302                         putc('\n', graph->revs->diffopt.file);
1303                         graph_show_line_prefix(&graph->revs->diffopt);
1304                 }
1305                 strbuf_setlen(&msgbuf, 0);
1306         }
1307
1308         strbuf_release(&msgbuf);
1309 }
1310
1311 void graph_show_oneline(struct git_graph *graph)
1312 {
1313         struct strbuf msgbuf = STRBUF_INIT;
1314
1315         graph_show_line_prefix(default_diffopt);
1316
1317         if (!graph)
1318                 return;
1319
1320         graph_next_line(graph, &msgbuf);
1321         fwrite(msgbuf.buf, sizeof(char), msgbuf.len, graph->revs->diffopt.file);
1322         strbuf_release(&msgbuf);
1323 }
1324
1325 void graph_show_padding(struct git_graph *graph)
1326 {
1327         struct strbuf msgbuf = STRBUF_INIT;
1328
1329         graph_show_line_prefix(default_diffopt);
1330
1331         if (!graph)
1332                 return;
1333
1334         graph_padding_line(graph, &msgbuf);
1335         fwrite(msgbuf.buf, sizeof(char), msgbuf.len, graph->revs->diffopt.file);
1336         strbuf_release(&msgbuf);
1337 }
1338
1339 int graph_show_remainder(struct git_graph *graph)
1340 {
1341         struct strbuf msgbuf = STRBUF_INIT;
1342         int shown = 0;
1343
1344         graph_show_line_prefix(default_diffopt);
1345
1346         if (!graph)
1347                 return 0;
1348
1349         if (graph_is_commit_finished(graph))
1350                 return 0;
1351
1352         for (;;) {
1353                 graph_next_line(graph, &msgbuf);
1354                 fwrite(msgbuf.buf, sizeof(char), msgbuf.len,
1355                         graph->revs->diffopt.file);
1356                 strbuf_setlen(&msgbuf, 0);
1357                 shown = 1;
1358
1359                 if (!graph_is_commit_finished(graph)) {
1360                         putc('\n', graph->revs->diffopt.file);
1361                         graph_show_line_prefix(&graph->revs->diffopt);
1362                 } else {
1363                         break;
1364                 }
1365         }
1366         strbuf_release(&msgbuf);
1367
1368         return shown;
1369 }
1370
1371 static void graph_show_strbuf(struct git_graph *graph,
1372                               FILE *file,
1373                               struct strbuf const *sb)
1374 {
1375         char *p;
1376
1377         /*
1378          * Print the strbuf line by line,
1379          * and display the graph info before each line but the first.
1380          */
1381         p = sb->buf;
1382         while (p) {
1383                 size_t len;
1384                 char *next_p = strchr(p, '\n');
1385                 if (next_p) {
1386                         next_p++;
1387                         len = next_p - p;
1388                 } else {
1389                         len = (sb->buf + sb->len) - p;
1390                 }
1391                 fwrite(p, sizeof(char), len, file);
1392                 if (next_p && *next_p != '\0')
1393                         graph_show_oneline(graph);
1394                 p = next_p;
1395         }
1396 }
1397
1398 void graph_show_commit_msg(struct git_graph *graph,
1399                            FILE *file,
1400                            struct strbuf const *sb)
1401 {
1402         int newline_terminated;
1403
1404         /*
1405          * Show the commit message
1406          */
1407         graph_show_strbuf(graph, file, sb);
1408
1409         if (!graph)
1410                 return;
1411
1412         newline_terminated = (sb->len && sb->buf[sb->len - 1] == '\n');
1413
1414         /*
1415          * If there is more output needed for this commit, show it now
1416          */
1417         if (!graph_is_commit_finished(graph)) {
1418                 /*
1419                  * If sb doesn't have a terminating newline, print one now,
1420                  * so we can start the remainder of the graph output on a
1421                  * new line.
1422                  */
1423                 if (!newline_terminated)
1424                         putc('\n', file);
1425
1426                 graph_show_remainder(graph);
1427
1428                 /*
1429                  * If sb ends with a newline, our output should too.
1430                  */
1431                 if (newline_terminated)
1432                         putc('\n', file);
1433         }
1434 }