Merge branch 'mg/doc-submodule-status-cached'
[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          * Which layout variant to use to display merge commits. If the
207          * commit's first parent is known to be in a column to the left of the
208          * merge, then this value is 0 and we use the layout on the left.
209          * Otherwise, the value is 1 and the layout on the right is used. This
210          * field tells us how many columns the first parent occupies.
211          *
212          *              0)                      1)
213          *
214          *              | | | *-.               | | *---.
215          *              | |_|/|\ \              | | |\ \ \
216          *              |/| | | | |             | | | | | *
217          */
218         int merge_layout;
219         /*
220          * The number of columns added to the graph by the current commit. For
221          * 2-way and octopus merges, this is is usually one less than the
222          * number of parents:
223          *
224          *              | | |                   | |    \
225          *              | * |                   | *---. \
226          *              | |\ \                  | |\ \ \ \
227          *              | | | |                 | | | | | |
228          *
229          *              num_parents: 2          num_parents: 4
230          *              edges_added: 1          edges_added: 3
231          *
232          * For left-skewed merges, the first parent fuses with its neighbor and
233          * so one less column is added:
234          *
235          *              | | |                   | |  \
236          *              | * |                   | *-. \
237          *              |/| |                   |/|\ \ \
238          *              | | |                   | | | | |
239          *
240          *              num_parents: 2          num_parents: 4
241          *              edges_added: 0          edges_added: 2
242          *
243          * This number determines how edges to the right of the merge are
244          * displayed in commit and post-merge lines; if no columns have been
245          * added then a vertical line should be used where a right-tracking
246          * line would otherwise be used.
247          *
248          *              | * \                   | * |
249          *              | |\ \                  |/| |
250          *              | | * \                 | * |
251          */
252         int edges_added;
253         /*
254          * The number of columns added by the previous commit, which is used to
255          * smooth edges appearing to the right of a commit in a commit line
256          * following a post-merge line.
257          */
258         int prev_edges_added;
259         /*
260          * The maximum number of columns that can be stored in the columns
261          * and new_columns arrays.  This is also half the number of entries
262          * that can be stored in the mapping and old_mapping arrays.
263          */
264         int column_capacity;
265         /*
266          * The number of columns (also called "branch lines" in some places)
267          */
268         int num_columns;
269         /*
270          * The number of columns in the new_columns array
271          */
272         int num_new_columns;
273         /*
274          * The number of entries in the mapping array
275          */
276         int mapping_size;
277         /*
278          * The column state before we output the current commit.
279          */
280         struct column *columns;
281         /*
282          * The new column state after we output the current commit.
283          * Only valid when state is GRAPH_COLLAPSING.
284          */
285         struct column *new_columns;
286         /*
287          * An array that tracks the current state of each
288          * character in the output line during state GRAPH_COLLAPSING.
289          * Each entry is -1 if this character is empty, or a non-negative
290          * integer if the character contains a branch line.  The value of
291          * the integer indicates the target position for this branch line.
292          * (I.e., this array maps the current column positions to their
293          * desired positions.)
294          *
295          * The maximum capacity of this array is always
296          * sizeof(int) * 2 * column_capacity.
297          */
298         int *mapping;
299         /*
300          * A copy of the contents of the mapping array from the last commit,
301          * which we use to improve the display of columns that are tracking
302          * from right to left through a commit line.  We also use this to
303          * avoid allocating a fresh array when we compute the next mapping.
304          */
305         int *old_mapping;
306         /*
307          * The current default column color being used.  This is
308          * stored as an index into the array column_colors.
309          */
310         unsigned short default_column_color;
311 };
312
313 static struct strbuf *diff_output_prefix_callback(struct diff_options *opt, void *data)
314 {
315         struct git_graph *graph = data;
316         static struct strbuf msgbuf = STRBUF_INIT;
317
318         assert(opt);
319
320         strbuf_reset(&msgbuf);
321         if (opt->line_prefix)
322                 strbuf_add(&msgbuf, opt->line_prefix,
323                            opt->line_prefix_length);
324         if (graph)
325                 graph_padding_line(graph, &msgbuf);
326         return &msgbuf;
327 }
328
329 static const struct diff_options *default_diffopt;
330
331 void graph_setup_line_prefix(struct diff_options *diffopt)
332 {
333         default_diffopt = diffopt;
334
335         /* setup an output prefix callback if necessary */
336         if (diffopt && !diffopt->output_prefix)
337                 diffopt->output_prefix = diff_output_prefix_callback;
338 }
339
340
341 struct git_graph *graph_init(struct rev_info *opt)
342 {
343         struct git_graph *graph = xmalloc(sizeof(struct git_graph));
344
345         if (!column_colors) {
346                 char *string;
347                 if (git_config_get_string("log.graphcolors", &string)) {
348                         /* not configured -- use default */
349                         graph_set_column_colors(column_colors_ansi,
350                                                 column_colors_ansi_max);
351                 } else {
352                         static struct argv_array custom_colors = ARGV_ARRAY_INIT;
353                         argv_array_clear(&custom_colors);
354                         parse_graph_colors_config(&custom_colors, string);
355                         free(string);
356                         /* graph_set_column_colors takes a max-index, not a count */
357                         graph_set_column_colors(custom_colors.argv,
358                                                 custom_colors.argc - 1);
359                 }
360         }
361
362         graph->commit = NULL;
363         graph->revs = opt;
364         graph->num_parents = 0;
365         graph->expansion_row = 0;
366         graph->state = GRAPH_PADDING;
367         graph->prev_state = GRAPH_PADDING;
368         graph->commit_index = 0;
369         graph->prev_commit_index = 0;
370         graph->merge_layout = 0;
371         graph->edges_added = 0;
372         graph->prev_edges_added = 0;
373         graph->num_columns = 0;
374         graph->num_new_columns = 0;
375         graph->mapping_size = 0;
376         /*
377          * Start the column color at the maximum value, since we'll
378          * always increment it for the first commit we output.
379          * This way we start at 0 for the first commit.
380          */
381         graph->default_column_color = column_colors_max - 1;
382
383         /*
384          * Allocate a reasonably large default number of columns
385          * We'll automatically grow columns later if we need more room.
386          */
387         graph->column_capacity = 30;
388         ALLOC_ARRAY(graph->columns, graph->column_capacity);
389         ALLOC_ARRAY(graph->new_columns, graph->column_capacity);
390         ALLOC_ARRAY(graph->mapping, 2 * graph->column_capacity);
391         ALLOC_ARRAY(graph->old_mapping, 2 * graph->column_capacity);
392
393         /*
394          * The diff output prefix callback, with this we can make
395          * all the diff output to align with the graph lines.
396          */
397         opt->diffopt.output_prefix = diff_output_prefix_callback;
398         opt->diffopt.output_prefix_data = graph;
399
400         return graph;
401 }
402
403 static void graph_update_state(struct git_graph *graph, enum graph_state s)
404 {
405         graph->prev_state = graph->state;
406         graph->state = s;
407 }
408
409 static void graph_ensure_capacity(struct git_graph *graph, int num_columns)
410 {
411         if (graph->column_capacity >= num_columns)
412                 return;
413
414         do {
415                 graph->column_capacity *= 2;
416         } while (graph->column_capacity < num_columns);
417
418         REALLOC_ARRAY(graph->columns, graph->column_capacity);
419         REALLOC_ARRAY(graph->new_columns, graph->column_capacity);
420         REALLOC_ARRAY(graph->mapping, graph->column_capacity * 2);
421         REALLOC_ARRAY(graph->old_mapping, graph->column_capacity * 2);
422 }
423
424 /*
425  * Returns 1 if the commit will be printed in the graph output,
426  * and 0 otherwise.
427  */
428 static int graph_is_interesting(struct git_graph *graph, struct commit *commit)
429 {
430         /*
431          * If revs->boundary is set, commits whose children have
432          * been shown are always interesting, even if they have the
433          * UNINTERESTING or TREESAME flags set.
434          */
435         if (graph->revs && graph->revs->boundary) {
436                 if (commit->object.flags & CHILD_SHOWN)
437                         return 1;
438         }
439
440         /*
441          * Otherwise, use get_commit_action() to see if this commit is
442          * interesting
443          */
444         return get_commit_action(graph->revs, commit) == commit_show;
445 }
446
447 static struct commit_list *next_interesting_parent(struct git_graph *graph,
448                                                    struct commit_list *orig)
449 {
450         struct commit_list *list;
451
452         /*
453          * If revs->first_parent_only is set, only the first
454          * parent is interesting.  None of the others are.
455          */
456         if (graph->revs->first_parent_only)
457                 return NULL;
458
459         /*
460          * Return the next interesting commit after orig
461          */
462         for (list = orig->next; list; list = list->next) {
463                 if (graph_is_interesting(graph, list->item))
464                         return list;
465         }
466
467         return NULL;
468 }
469
470 static struct commit_list *first_interesting_parent(struct git_graph *graph)
471 {
472         struct commit_list *parents = graph->commit->parents;
473
474         /*
475          * If this commit has no parents, ignore it
476          */
477         if (!parents)
478                 return NULL;
479
480         /*
481          * If the first parent is interesting, return it
482          */
483         if (graph_is_interesting(graph, parents->item))
484                 return parents;
485
486         /*
487          * Otherwise, call next_interesting_parent() to get
488          * the next interesting parent
489          */
490         return next_interesting_parent(graph, parents);
491 }
492
493 static unsigned short graph_get_current_column_color(const struct git_graph *graph)
494 {
495         if (!want_color(graph->revs->diffopt.use_color))
496                 return column_colors_max;
497         return graph->default_column_color;
498 }
499
500 /*
501  * Update the graph's default column color.
502  */
503 static void graph_increment_column_color(struct git_graph *graph)
504 {
505         graph->default_column_color = (graph->default_column_color + 1) %
506                 column_colors_max;
507 }
508
509 static unsigned short graph_find_commit_color(const struct git_graph *graph,
510                                               const struct commit *commit)
511 {
512         int i;
513         for (i = 0; i < graph->num_columns; i++) {
514                 if (graph->columns[i].commit == commit)
515                         return graph->columns[i].color;
516         }
517         return graph_get_current_column_color(graph);
518 }
519
520 static int graph_find_new_column_by_commit(struct git_graph *graph,
521                                            struct commit *commit)
522 {
523         int i;
524         for (i = 0; i < graph->num_new_columns; i++) {
525                 if (graph->new_columns[i].commit == commit)
526                         return i;
527         }
528         return -1;
529 }
530
531 static void graph_insert_into_new_columns(struct git_graph *graph,
532                                           struct commit *commit,
533                                           int idx)
534 {
535         int i = graph_find_new_column_by_commit(graph, commit);
536         int mapping_idx;
537
538         /*
539          * If the commit is not already in the new_columns array, then add it
540          * and record it as being in the final column.
541          */
542         if (i < 0) {
543                 i = graph->num_new_columns++;
544                 graph->new_columns[i].commit = commit;
545                 graph->new_columns[i].color = graph_find_commit_color(graph, commit);
546         }
547
548         if (graph->num_parents > 1 && idx > -1 && graph->merge_layout == -1) {
549                 /*
550                  * If this is the first parent of a merge, choose a layout for
551                  * the merge line based on whether the parent appears in a
552                  * column to the left of the merge
553                  */
554                 int dist, shift;
555
556                 dist = idx - i;
557                 shift = (dist > 1) ? 2 * dist - 3 : 1;
558
559                 graph->merge_layout = (dist > 0) ? 0 : 1;
560                 graph->edges_added = graph->num_parents + graph->merge_layout  - 2;
561
562                 mapping_idx = graph->width + (graph->merge_layout - 1) * shift;
563                 graph->width += 2 * graph->merge_layout;
564
565         } else if (graph->edges_added > 0 && i == graph->mapping[graph->width - 2]) {
566                 /*
567                  * If some columns have been added by a merge, but this commit
568                  * was found in the last existing column, then adjust the
569                  * numbers so that the two edges immediately join, i.e.:
570                  *
571                  *              * |             * |
572                  *              |\ \    =>      |\|
573                  *              | |/            | *
574                  *              | *
575                  */
576                 mapping_idx = graph->width - 2;
577                 graph->edges_added = -1;
578         } else {
579                 mapping_idx = graph->width;
580                 graph->width += 2;
581         }
582
583         graph->mapping[mapping_idx] = i;
584 }
585
586 static void graph_update_columns(struct git_graph *graph)
587 {
588         struct commit_list *parent;
589         int max_new_columns;
590         int i, seen_this, is_commit_in_columns;
591
592         /*
593          * Swap graph->columns with graph->new_columns
594          * graph->columns contains the state for the previous commit,
595          * and new_columns now contains the state for our commit.
596          *
597          * We'll re-use the old columns array as storage to compute the new
598          * columns list for the commit after this one.
599          */
600         SWAP(graph->columns, graph->new_columns);
601         graph->num_columns = graph->num_new_columns;
602         graph->num_new_columns = 0;
603
604         /*
605          * Now update new_columns and mapping with the information for the
606          * commit after this one.
607          *
608          * First, make sure we have enough room.  At most, there will
609          * be graph->num_columns + graph->num_parents columns for the next
610          * commit.
611          */
612         max_new_columns = graph->num_columns + graph->num_parents;
613         graph_ensure_capacity(graph, max_new_columns);
614
615         /*
616          * Clear out graph->mapping
617          */
618         graph->mapping_size = 2 * max_new_columns;
619         for (i = 0; i < graph->mapping_size; i++)
620                 graph->mapping[i] = -1;
621
622         graph->width = 0;
623         graph->prev_edges_added = graph->edges_added;
624         graph->edges_added = 0;
625
626         /*
627          * Populate graph->new_columns and graph->mapping
628          *
629          * Some of the parents of this commit may already be in
630          * graph->columns.  If so, graph->new_columns should only contain a
631          * single entry for each such commit.  graph->mapping should
632          * contain information about where each current branch line is
633          * supposed to end up after the collapsing is performed.
634          */
635         seen_this = 0;
636         is_commit_in_columns = 1;
637         for (i = 0; i <= graph->num_columns; i++) {
638                 struct commit *col_commit;
639                 if (i == graph->num_columns) {
640                         if (seen_this)
641                                 break;
642                         is_commit_in_columns = 0;
643                         col_commit = graph->commit;
644                 } else {
645                         col_commit = graph->columns[i].commit;
646                 }
647
648                 if (col_commit == graph->commit) {
649                         seen_this = 1;
650                         graph->commit_index = i;
651                         graph->merge_layout = -1;
652                         for (parent = first_interesting_parent(graph);
653                              parent;
654                              parent = next_interesting_parent(graph, parent)) {
655                                 /*
656                                  * If this is a merge, or the start of a new
657                                  * childless column, increment the current
658                                  * color.
659                                  */
660                                 if (graph->num_parents > 1 ||
661                                     !is_commit_in_columns) {
662                                         graph_increment_column_color(graph);
663                                 }
664                                 graph_insert_into_new_columns(graph, parent->item, i);
665                         }
666                         /*
667                          * We always need to increment graph->width by at
668                          * least 2, even if it has no interesting parents.
669                          * The current commit always takes up at least 2
670                          * spaces.
671                          */
672                         if (graph->num_parents == 0)
673                                 graph->width += 2;
674                 } else {
675                         graph_insert_into_new_columns(graph, col_commit, -1);
676                 }
677         }
678
679         /*
680          * Shrink mapping_size to be the minimum necessary
681          */
682         while (graph->mapping_size > 1 &&
683                graph->mapping[graph->mapping_size - 1] < 0)
684                 graph->mapping_size--;
685 }
686
687 static int graph_num_dashed_parents(struct git_graph *graph)
688 {
689         return graph->num_parents + graph->merge_layout - 3;
690 }
691
692 static int graph_num_expansion_rows(struct git_graph *graph)
693 {
694         /*
695          * Normally, we need two expansion rows for each dashed parent line from
696          * an octopus merge:
697          *
698          *              | *
699          *              | |\
700          *              | | \
701          *              | |  \
702          *              | *-. \
703          *              | |\ \ \
704          *
705          * If the merge is skewed to the left, then its parents occupy one less
706          * column, and we don't need as many expansion rows to route around it;
707          * in some cases that means we don't need any expansion rows at all:
708          *
709          *              | *
710          *              | |\
711          *              | * \
712          *              |/|\ \
713          */
714         return graph_num_dashed_parents(graph) * 2;
715 }
716
717 static int graph_needs_pre_commit_line(struct git_graph *graph)
718 {
719         return graph->num_parents >= 3 &&
720                graph->commit_index < (graph->num_columns - 1) &&
721                graph->expansion_row < graph_num_expansion_rows(graph);
722 }
723
724 void graph_update(struct git_graph *graph, struct commit *commit)
725 {
726         struct commit_list *parent;
727
728         /*
729          * Set the new commit
730          */
731         graph->commit = commit;
732
733         /*
734          * Count how many interesting parents this commit has
735          */
736         graph->num_parents = 0;
737         for (parent = first_interesting_parent(graph);
738              parent;
739              parent = next_interesting_parent(graph, parent))
740         {
741                 graph->num_parents++;
742         }
743
744         /*
745          * Store the old commit_index in prev_commit_index.
746          * graph_update_columns() will update graph->commit_index for this
747          * commit.
748          */
749         graph->prev_commit_index = graph->commit_index;
750
751         /*
752          * Call graph_update_columns() to update
753          * columns, new_columns, and mapping.
754          */
755         graph_update_columns(graph);
756
757         graph->expansion_row = 0;
758
759         /*
760          * Update graph->state.
761          * Note that we don't call graph_update_state() here, since
762          * we don't want to update graph->prev_state.  No line for
763          * graph->state was ever printed.
764          *
765          * If the previous commit didn't get to the GRAPH_PADDING state,
766          * it never finished its output.  Goto GRAPH_SKIP, to print out
767          * a line to indicate that portion of the graph is missing.
768          *
769          * If there are 3 or more parents, we may need to print extra rows
770          * before the commit, to expand the branch lines around it and make
771          * room for it.  We need to do this only if there is a branch row
772          * (or more) to the right of this commit.
773          *
774          * If there are less than 3 parents, we can immediately print the
775          * commit line.
776          */
777         if (graph->state != GRAPH_PADDING)
778                 graph->state = GRAPH_SKIP;
779         else if (graph_needs_pre_commit_line(graph))
780                 graph->state = GRAPH_PRE_COMMIT;
781         else
782                 graph->state = GRAPH_COMMIT;
783 }
784
785 static int graph_is_mapping_correct(struct git_graph *graph)
786 {
787         int i;
788
789         /*
790          * The mapping is up to date if each entry is at its target,
791          * or is 1 greater than its target.
792          * (If it is 1 greater than the target, '/' will be printed, so it
793          * will look correct on the next row.)
794          */
795         for (i = 0; i < graph->mapping_size; i++) {
796                 int target = graph->mapping[i];
797                 if (target < 0)
798                         continue;
799                 if (target == (i / 2))
800                         continue;
801                 return 0;
802         }
803
804         return 1;
805 }
806
807 static void graph_pad_horizontally(struct git_graph *graph, struct graph_line *line)
808 {
809         /*
810          * Add additional spaces to the end of the strbuf, so that all
811          * lines for a particular commit have the same width.
812          *
813          * This way, fields printed to the right of the graph will remain
814          * aligned for the entire commit.
815          */
816         if (line->width < graph->width)
817                 graph_line_addchars(line, ' ', graph->width - line->width);
818 }
819
820 static void graph_output_padding_line(struct git_graph *graph,
821                                       struct graph_line *line)
822 {
823         int i;
824
825         /*
826          * Output a padding row, that leaves all branch lines unchanged
827          */
828         for (i = 0; i < graph->num_new_columns; i++) {
829                 graph_line_write_column(line, &graph->new_columns[i], '|');
830                 graph_line_addch(line, ' ');
831         }
832 }
833
834
835 int graph_width(struct git_graph *graph)
836 {
837         return graph->width;
838 }
839
840
841 static void graph_output_skip_line(struct git_graph *graph, struct graph_line *line)
842 {
843         /*
844          * Output an ellipsis to indicate that a portion
845          * of the graph is missing.
846          */
847         graph_line_addstr(line, "...");
848
849         if (graph_needs_pre_commit_line(graph))
850                 graph_update_state(graph, GRAPH_PRE_COMMIT);
851         else
852                 graph_update_state(graph, GRAPH_COMMIT);
853 }
854
855 static void graph_output_pre_commit_line(struct git_graph *graph,
856                                          struct graph_line *line)
857 {
858         int i, seen_this;
859
860         /*
861          * This function formats a row that increases the space around a commit
862          * with multiple parents, to make room for it.  It should only be
863          * called when there are 3 or more parents.
864          *
865          * We need 2 extra rows for every parent over 2.
866          */
867         assert(graph->num_parents >= 3);
868
869         /*
870          * graph->expansion_row tracks the current expansion row we are on.
871          * It should be in the range [0, num_expansion_rows - 1]
872          */
873         assert(0 <= graph->expansion_row &&
874                graph->expansion_row < graph_num_expansion_rows(graph));
875
876         /*
877          * Output the row
878          */
879         seen_this = 0;
880         for (i = 0; i < graph->num_columns; i++) {
881                 struct column *col = &graph->columns[i];
882                 if (col->commit == graph->commit) {
883                         seen_this = 1;
884                         graph_line_write_column(line, col, '|');
885                         graph_line_addchars(line, ' ', graph->expansion_row);
886                 } else if (seen_this && (graph->expansion_row == 0)) {
887                         /*
888                          * This is the first line of the pre-commit output.
889                          * If the previous commit was a merge commit and
890                          * ended in the GRAPH_POST_MERGE state, all branch
891                          * lines after graph->prev_commit_index were
892                          * printed as "\" on the previous line.  Continue
893                          * to print them as "\" on this line.  Otherwise,
894                          * print the branch lines as "|".
895                          */
896                         if (graph->prev_state == GRAPH_POST_MERGE &&
897                             graph->prev_commit_index < i)
898                                 graph_line_write_column(line, col, '\\');
899                         else
900                                 graph_line_write_column(line, col, '|');
901                 } else if (seen_this && (graph->expansion_row > 0)) {
902                         graph_line_write_column(line, col, '\\');
903                 } else {
904                         graph_line_write_column(line, col, '|');
905                 }
906                 graph_line_addch(line, ' ');
907         }
908
909         /*
910          * Increment graph->expansion_row,
911          * and move to state GRAPH_COMMIT if necessary
912          */
913         graph->expansion_row++;
914         if (!graph_needs_pre_commit_line(graph))
915                 graph_update_state(graph, GRAPH_COMMIT);
916 }
917
918 static void graph_output_commit_char(struct git_graph *graph, struct graph_line *line)
919 {
920         /*
921          * For boundary commits, print 'o'
922          * (We should only see boundary commits when revs->boundary is set.)
923          */
924         if (graph->commit->object.flags & BOUNDARY) {
925                 assert(graph->revs->boundary);
926                 graph_line_addch(line, 'o');
927                 return;
928         }
929
930         /*
931          * get_revision_mark() handles all other cases without assert()
932          */
933         graph_line_addstr(line, get_revision_mark(graph->revs, graph->commit));
934 }
935
936 /*
937  * Draw the horizontal dashes of an octopus merge.
938  */
939 static void graph_draw_octopus_merge(struct git_graph *graph, struct graph_line *line)
940 {
941         /*
942          * The parents of a merge commit can be arbitrarily reordered as they
943          * are mapped onto display columns, for example this is a valid merge:
944          *
945          *      | | *---.
946          *      | | |\ \ \
947          *      | | |/ / /
948          *      | |/| | /
949          *      | |_|_|/
950          *      |/| | |
951          *      3 1 0 2
952          *
953          * The numbers denote which parent of the merge each visual column
954          * corresponds to; we can't assume that the parents will initially
955          * display in the order given by new_columns.
956          *
957          * To find the right color for each dash, we need to consult the
958          * mapping array, starting from the column 2 places to the right of the
959          * merge commit, and use that to find out which logical column each
960          * edge will collapse to.
961          *
962          * Commits are rendered once all edges have collapsed to their correct
963          * logcial column, so commit_index gives us the right visual offset for
964          * the merge commit.
965          */
966
967         int i, j;
968         struct column *col;
969
970         int dashed_parents = graph_num_dashed_parents(graph);
971
972         for (i = 0; i < dashed_parents; i++) {
973                 j = graph->mapping[(graph->commit_index + i + 2) * 2];
974                 col = &graph->new_columns[j];
975
976                 graph_line_write_column(line, col, '-');
977                 graph_line_write_column(line, col, (i == dashed_parents - 1) ? '.' : '-');
978         }
979
980         return;
981 }
982
983 static void graph_output_commit_line(struct git_graph *graph, struct graph_line *line)
984 {
985         int seen_this = 0;
986         int i;
987
988         /*
989          * Output the row containing this commit
990          * Iterate up to and including graph->num_columns,
991          * since the current commit may not be in any of the existing
992          * columns.  (This happens when the current commit doesn't have any
993          * children that we have already processed.)
994          */
995         seen_this = 0;
996         for (i = 0; i <= graph->num_columns; i++) {
997                 struct column *col = &graph->columns[i];
998                 struct commit *col_commit;
999                 if (i == graph->num_columns) {
1000                         if (seen_this)
1001                                 break;
1002                         col_commit = graph->commit;
1003                 } else {
1004                         col_commit = graph->columns[i].commit;
1005                 }
1006
1007                 if (col_commit == graph->commit) {
1008                         seen_this = 1;
1009                         graph_output_commit_char(graph, line);
1010
1011                         if (graph->num_parents > 2)
1012                                 graph_draw_octopus_merge(graph, line);
1013                 } else if (seen_this && (graph->edges_added > 1)) {
1014                         graph_line_write_column(line, col, '\\');
1015                 } else if (seen_this && (graph->edges_added == 1)) {
1016                         /*
1017                          * This is either a right-skewed 2-way merge
1018                          * commit, or a left-skewed 3-way merge.
1019                          * There is no GRAPH_PRE_COMMIT stage for such
1020                          * merges, so this is the first line of output
1021                          * for this commit.  Check to see what the previous
1022                          * line of output was.
1023                          *
1024                          * If it was GRAPH_POST_MERGE, the branch line
1025                          * coming into this commit may have been '\',
1026                          * and not '|' or '/'.  If so, output the branch
1027                          * line as '\' on this line, instead of '|'.  This
1028                          * makes the output look nicer.
1029                          */
1030                         if (graph->prev_state == GRAPH_POST_MERGE &&
1031                             graph->prev_edges_added > 0 &&
1032                             graph->prev_commit_index < i)
1033                                 graph_line_write_column(line, col, '\\');
1034                         else
1035                                 graph_line_write_column(line, col, '|');
1036                 } else if (graph->prev_state == GRAPH_COLLAPSING &&
1037                            graph->old_mapping[2 * i + 1] == i &&
1038                            graph->mapping[2 * i] < i) {
1039                         graph_line_write_column(line, col, '/');
1040                 } else {
1041                         graph_line_write_column(line, col, '|');
1042                 }
1043                 graph_line_addch(line, ' ');
1044         }
1045
1046         /*
1047          * Update graph->state
1048          */
1049         if (graph->num_parents > 1)
1050                 graph_update_state(graph, GRAPH_POST_MERGE);
1051         else 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 const char merge_chars[] = {'/', '|', '\\'};
1058
1059 static void graph_output_post_merge_line(struct git_graph *graph, struct graph_line *line)
1060 {
1061         int seen_this = 0;
1062         int i, j;
1063
1064         struct commit_list *first_parent = first_interesting_parent(graph);
1065         int seen_parent = 0;
1066
1067         /*
1068          * Output the post-merge row
1069          */
1070         for (i = 0; i <= graph->num_columns; i++) {
1071                 struct column *col = &graph->columns[i];
1072                 struct commit *col_commit;
1073                 if (i == graph->num_columns) {
1074                         if (seen_this)
1075                                 break;
1076                         col_commit = graph->commit;
1077                 } else {
1078                         col_commit = col->commit;
1079                 }
1080
1081                 if (col_commit == graph->commit) {
1082                         /*
1083                          * Since the current commit is a merge find
1084                          * the columns for the parent commits in
1085                          * new_columns and use those to format the
1086                          * edges.
1087                          */
1088                         struct commit_list *parents = first_parent;
1089                         int par_column;
1090                         int idx = graph->merge_layout;
1091                         char c;
1092                         seen_this = 1;
1093
1094                         for (j = 0; j < graph->num_parents; j++) {
1095                                 par_column = graph_find_new_column_by_commit(graph, parents->item);
1096                                 assert(par_column >= 0);
1097
1098                                 c = merge_chars[idx];
1099                                 graph_line_write_column(line, &graph->new_columns[par_column], c);
1100                                 if (idx == 2) {
1101                                         if (graph->edges_added > 0 || j < graph->num_parents - 1)
1102                                                 graph_line_addch(line, ' ');
1103                                 } else {
1104                                         idx++;
1105                                 }
1106                                 parents = next_interesting_parent(graph, parents);
1107                         }
1108                         if (graph->edges_added == 0)
1109                                 graph_line_addch(line, ' ');
1110
1111                 } else if (seen_this) {
1112                         if (graph->edges_added > 0)
1113                                 graph_line_write_column(line, col, '\\');
1114                         else
1115                                 graph_line_write_column(line, col, '|');
1116                         graph_line_addch(line, ' ');
1117                 } else {
1118                         graph_line_write_column(line, col, '|');
1119                         if (graph->merge_layout != 0 || i != graph->commit_index - 1)
1120                                 graph_line_addch(line, seen_parent ? '_' : ' ');
1121                 }
1122
1123                 if (col_commit == first_parent->item)
1124                         seen_parent = 1;
1125         }
1126
1127         /*
1128          * Update graph->state
1129          */
1130         if (graph_is_mapping_correct(graph))
1131                 graph_update_state(graph, GRAPH_PADDING);
1132         else
1133                 graph_update_state(graph, GRAPH_COLLAPSING);
1134 }
1135
1136 static void graph_output_collapsing_line(struct git_graph *graph, struct graph_line *line)
1137 {
1138         int i;
1139         short used_horizontal = 0;
1140         int horizontal_edge = -1;
1141         int horizontal_edge_target = -1;
1142
1143         /*
1144          * Swap the mapping and old_mapping arrays
1145          */
1146         SWAP(graph->mapping, graph->old_mapping);
1147
1148         /*
1149          * Clear out the mapping array
1150          */
1151         for (i = 0; i < graph->mapping_size; i++)
1152                 graph->mapping[i] = -1;
1153
1154         for (i = 0; i < graph->mapping_size; i++) {
1155                 int target = graph->old_mapping[i];
1156                 if (target < 0)
1157                         continue;
1158
1159                 /*
1160                  * Since update_columns() always inserts the leftmost
1161                  * column first, each branch's target location should
1162                  * always be either its current location or to the left of
1163                  * its current location.
1164                  *
1165                  * We never have to move branches to the right.  This makes
1166                  * the graph much more legible, since whenever branches
1167                  * cross, only one is moving directions.
1168                  */
1169                 assert(target * 2 <= i);
1170
1171                 if (target * 2 == i) {
1172                         /*
1173                          * This column is already in the
1174                          * correct place
1175                          */
1176                         assert(graph->mapping[i] == -1);
1177                         graph->mapping[i] = target;
1178                 } else if (graph->mapping[i - 1] < 0) {
1179                         /*
1180                          * Nothing is to the left.
1181                          * Move to the left by one
1182                          */
1183                         graph->mapping[i - 1] = target;
1184                         /*
1185                          * If there isn't already an edge moving horizontally
1186                          * select this one.
1187                          */
1188                         if (horizontal_edge == -1) {
1189                                 int j;
1190                                 horizontal_edge = i;
1191                                 horizontal_edge_target = target;
1192                                 /*
1193                                  * The variable target is the index of the graph
1194                                  * column, and therefore target*2+3 is the
1195                                  * actual screen column of the first horizontal
1196                                  * line.
1197                                  */
1198                                 for (j = (target * 2)+3; j < (i - 2); j += 2)
1199                                         graph->mapping[j] = target;
1200                         }
1201                 } else if (graph->mapping[i - 1] == target) {
1202                         /*
1203                          * There is a branch line to our left
1204                          * already, and it is our target.  We
1205                          * combine with this line, since we share
1206                          * the same parent commit.
1207                          *
1208                          * We don't have to add anything to the
1209                          * output or mapping, since the
1210                          * existing branch line has already taken
1211                          * care of it.
1212                          */
1213                 } else {
1214                         /*
1215                          * There is a branch line to our left,
1216                          * but it isn't our target.  We need to
1217                          * cross over it.
1218                          *
1219                          * The space just to the left of this
1220                          * branch should always be empty.
1221                          *
1222                          * The branch to the left of that space
1223                          * should be our eventual target.
1224                          */
1225                         assert(graph->mapping[i - 1] > target);
1226                         assert(graph->mapping[i - 2] < 0);
1227                         assert(graph->mapping[i - 3] == target);
1228                         graph->mapping[i - 2] = target;
1229                         /*
1230                          * Mark this branch as the horizontal edge to
1231                          * prevent any other edges from moving
1232                          * horizontally.
1233                          */
1234                         if (horizontal_edge == -1)
1235                                 horizontal_edge = i;
1236                 }
1237         }
1238
1239         /*
1240          * Copy the current mapping array into old_mapping
1241          */
1242         COPY_ARRAY(graph->old_mapping, graph->mapping, graph->mapping_size);
1243
1244         /*
1245          * The new mapping may be 1 smaller than the old mapping
1246          */
1247         if (graph->mapping[graph->mapping_size - 1] < 0)
1248                 graph->mapping_size--;
1249
1250         /*
1251          * Output out a line based on the new mapping info
1252          */
1253         for (i = 0; i < graph->mapping_size; i++) {
1254                 int target = graph->mapping[i];
1255                 if (target < 0)
1256                         graph_line_addch(line, ' ');
1257                 else if (target * 2 == i)
1258                         graph_line_write_column(line, &graph->new_columns[target], '|');
1259                 else if (target == horizontal_edge_target &&
1260                          i != horizontal_edge - 1) {
1261                                 /*
1262                                  * Set the mappings for all but the
1263                                  * first segment to -1 so that they
1264                                  * won't continue into the next line.
1265                                  */
1266                                 if (i != (target * 2)+3)
1267                                         graph->mapping[i] = -1;
1268                                 used_horizontal = 1;
1269                         graph_line_write_column(line, &graph->new_columns[target], '_');
1270                 } else {
1271                         if (used_horizontal && i < horizontal_edge)
1272                                 graph->mapping[i] = -1;
1273                         graph_line_write_column(line, &graph->new_columns[target], '/');
1274
1275                 }
1276         }
1277
1278         /*
1279          * If graph->mapping indicates that all of the branch lines
1280          * are already in the correct positions, we are done.
1281          * Otherwise, we need to collapse some branch lines together.
1282          */
1283         if (graph_is_mapping_correct(graph))
1284                 graph_update_state(graph, GRAPH_PADDING);
1285 }
1286
1287 int graph_next_line(struct git_graph *graph, struct strbuf *sb)
1288 {
1289         int shown_commit_line = 0;
1290         struct graph_line line = { .buf = sb, .width = 0 };
1291
1292         /*
1293          * We could conceivable be called with a NULL commit
1294          * if our caller has a bug, and invokes graph_next_line()
1295          * immediately after graph_init(), without first calling
1296          * graph_update().  Return without outputting anything in this
1297          * case.
1298          */
1299         if (!graph->commit)
1300                 return -1;
1301
1302         switch (graph->state) {
1303         case GRAPH_PADDING:
1304                 graph_output_padding_line(graph, &line);
1305                 break;
1306         case GRAPH_SKIP:
1307                 graph_output_skip_line(graph, &line);
1308                 break;
1309         case GRAPH_PRE_COMMIT:
1310                 graph_output_pre_commit_line(graph, &line);
1311                 break;
1312         case GRAPH_COMMIT:
1313                 graph_output_commit_line(graph, &line);
1314                 shown_commit_line = 1;
1315                 break;
1316         case GRAPH_POST_MERGE:
1317                 graph_output_post_merge_line(graph, &line);
1318                 break;
1319         case GRAPH_COLLAPSING:
1320                 graph_output_collapsing_line(graph, &line);
1321                 break;
1322         }
1323
1324         graph_pad_horizontally(graph, &line);
1325         return shown_commit_line;
1326 }
1327
1328 static void graph_padding_line(struct git_graph *graph, struct strbuf *sb)
1329 {
1330         int i;
1331         struct graph_line line = { .buf = sb, .width = 0 };
1332
1333         if (graph->state != GRAPH_COMMIT) {
1334                 graph_next_line(graph, sb);
1335                 return;
1336         }
1337
1338         /*
1339          * Output the row containing this commit
1340          * Iterate up to and including graph->num_columns,
1341          * since the current commit may not be in any of the existing
1342          * columns.  (This happens when the current commit doesn't have any
1343          * children that we have already processed.)
1344          */
1345         for (i = 0; i < graph->num_columns; i++) {
1346                 struct column *col = &graph->columns[i];
1347
1348                 graph_line_write_column(&line, col, '|');
1349
1350                 if (col->commit == graph->commit && graph->num_parents > 2) {
1351                         int len = (graph->num_parents - 2) * 2;
1352                         graph_line_addchars(&line, ' ', len);
1353                 } else {
1354                         graph_line_addch(&line, ' ');
1355                 }
1356         }
1357
1358         graph_pad_horizontally(graph, &line);
1359
1360         /*
1361          * Update graph->prev_state since we have output a padding line
1362          */
1363         graph->prev_state = GRAPH_PADDING;
1364 }
1365
1366 int graph_is_commit_finished(struct git_graph const *graph)
1367 {
1368         return (graph->state == GRAPH_PADDING);
1369 }
1370
1371 void graph_show_commit(struct git_graph *graph)
1372 {
1373         struct strbuf msgbuf = STRBUF_INIT;
1374         int shown_commit_line = 0;
1375
1376         graph_show_line_prefix(default_diffopt);
1377
1378         if (!graph)
1379                 return;
1380
1381         /*
1382          * When showing a diff of a merge against each of its parents, we
1383          * are called once for each parent without graph_update having been
1384          * called.  In this case, simply output a single padding line.
1385          */
1386         if (graph_is_commit_finished(graph)) {
1387                 graph_show_padding(graph);
1388                 shown_commit_line = 1;
1389         }
1390
1391         while (!shown_commit_line && !graph_is_commit_finished(graph)) {
1392                 shown_commit_line = graph_next_line(graph, &msgbuf);
1393                 fwrite(msgbuf.buf, sizeof(char), msgbuf.len,
1394                         graph->revs->diffopt.file);
1395                 if (!shown_commit_line) {
1396                         putc('\n', graph->revs->diffopt.file);
1397                         graph_show_line_prefix(&graph->revs->diffopt);
1398                 }
1399                 strbuf_setlen(&msgbuf, 0);
1400         }
1401
1402         strbuf_release(&msgbuf);
1403 }
1404
1405 void graph_show_oneline(struct git_graph *graph)
1406 {
1407         struct strbuf msgbuf = STRBUF_INIT;
1408
1409         graph_show_line_prefix(default_diffopt);
1410
1411         if (!graph)
1412                 return;
1413
1414         graph_next_line(graph, &msgbuf);
1415         fwrite(msgbuf.buf, sizeof(char), msgbuf.len, graph->revs->diffopt.file);
1416         strbuf_release(&msgbuf);
1417 }
1418
1419 void graph_show_padding(struct git_graph *graph)
1420 {
1421         struct strbuf msgbuf = STRBUF_INIT;
1422
1423         graph_show_line_prefix(default_diffopt);
1424
1425         if (!graph)
1426                 return;
1427
1428         graph_padding_line(graph, &msgbuf);
1429         fwrite(msgbuf.buf, sizeof(char), msgbuf.len, graph->revs->diffopt.file);
1430         strbuf_release(&msgbuf);
1431 }
1432
1433 int graph_show_remainder(struct git_graph *graph)
1434 {
1435         struct strbuf msgbuf = STRBUF_INIT;
1436         int shown = 0;
1437
1438         graph_show_line_prefix(default_diffopt);
1439
1440         if (!graph)
1441                 return 0;
1442
1443         if (graph_is_commit_finished(graph))
1444                 return 0;
1445
1446         for (;;) {
1447                 graph_next_line(graph, &msgbuf);
1448                 fwrite(msgbuf.buf, sizeof(char), msgbuf.len,
1449                         graph->revs->diffopt.file);
1450                 strbuf_setlen(&msgbuf, 0);
1451                 shown = 1;
1452
1453                 if (!graph_is_commit_finished(graph)) {
1454                         putc('\n', graph->revs->diffopt.file);
1455                         graph_show_line_prefix(&graph->revs->diffopt);
1456                 } else {
1457                         break;
1458                 }
1459         }
1460         strbuf_release(&msgbuf);
1461
1462         return shown;
1463 }
1464
1465 static void graph_show_strbuf(struct git_graph *graph,
1466                               FILE *file,
1467                               struct strbuf const *sb)
1468 {
1469         char *p;
1470
1471         /*
1472          * Print the strbuf line by line,
1473          * and display the graph info before each line but the first.
1474          */
1475         p = sb->buf;
1476         while (p) {
1477                 size_t len;
1478                 char *next_p = strchr(p, '\n');
1479                 if (next_p) {
1480                         next_p++;
1481                         len = next_p - p;
1482                 } else {
1483                         len = (sb->buf + sb->len) - p;
1484                 }
1485                 fwrite(p, sizeof(char), len, file);
1486                 if (next_p && *next_p != '\0')
1487                         graph_show_oneline(graph);
1488                 p = next_p;
1489         }
1490 }
1491
1492 void graph_show_commit_msg(struct git_graph *graph,
1493                            FILE *file,
1494                            struct strbuf const *sb)
1495 {
1496         int newline_terminated;
1497
1498         /*
1499          * Show the commit message
1500          */
1501         graph_show_strbuf(graph, file, sb);
1502
1503         if (!graph)
1504                 return;
1505
1506         newline_terminated = (sb->len && sb->buf[sb->len - 1] == '\n');
1507
1508         /*
1509          * If there is more output needed for this commit, show it now
1510          */
1511         if (!graph_is_commit_finished(graph)) {
1512                 /*
1513                  * If sb doesn't have a terminating newline, print one now,
1514                  * so we can start the remainder of the graph output on a
1515                  * new line.
1516                  */
1517                 if (!newline_terminated)
1518                         putc('\n', file);
1519
1520                 graph_show_remainder(graph);
1521
1522                 /*
1523                  * If sb ends with a newline, our output should too.
1524                  */
1525                 if (newline_terminated)
1526                         putc('\n', file);
1527         }
1528 }