compression: drop write-only core_compression_* variables
[git/debian.git] / Documentation / MyFirstObjectWalk.txt
blob2d10eea7a9f65f23f766dc3b730495018e8f1234
1 = My First Object Walk
3 == What's an Object Walk?
5 The object walk is a key concept in Git - this is the process that underpins
6 operations like object transfer and fsck. Beginning from a given commit, the
7 list of objects is found by walking parent relationships between commits (commit
8 X based on commit W) and containment relationships between objects (tree Y is
9 contained within commit X, and blob Z is located within tree Y, giving our
10 working tree for commit X something like `y/z.txt`).
12 A related concept is the revision walk, which is focused on commit objects and
13 their parent relationships and does not delve into other object types. The
14 revision walk is used for operations like `git log`.
16 === Related Reading
18 - `Documentation/user-manual.txt` under "Hacking Git" contains some coverage of
19   the revision walker in its various incarnations.
20 - `revision.h`
21 - https://eagain.net/articles/git-for-computer-scientists/[Git for Computer Scientists]
22   gives a good overview of the types of objects in Git and what your object
23   walk is really describing.
25 == Setting Up
27 Create a new branch from `master`.
29 ----
30 git checkout -b revwalk origin/master
31 ----
33 We'll put our fiddling into a new command. For fun, let's name it `git walken`.
34 Open up a new file `builtin/walken.c` and set up the command handler:
36 ----
38  * "git walken"
39  *
40  * Part of the "My First Object Walk" tutorial.
41  */
43 #include "builtin.h"
45 int cmd_walken(int argc, const char **argv, const char *prefix)
47         trace_printf(_("cmd_walken incoming...\n"));
48         return 0;
50 ----
52 NOTE: `trace_printf()` differs from `printf()` in that it can be turned on or
53 off at runtime. For the purposes of this tutorial, we will write `walken` as
54 though it is intended for use as a "plumbing" command: that is, a command which
55 is used primarily in scripts, rather than interactively by humans (a "porcelain"
56 command). So we will send our debug output to `trace_printf()` instead. When
57 running, enable trace output by setting the environment variable `GIT_TRACE`.
59 Add usage text and `-h` handling, like all subcommands should consistently do
60 (our test suite will notice and complain if you fail to do so).
62 ----
63 int cmd_walken(int argc, const char **argv, const char *prefix)
65         const char * const walken_usage[] = {
66                 N_("git walken"),
67                 NULL,
68         }
69         struct option options[] = {
70                 OPT_END()
71         };
73         argc = parse_options(argc, argv, prefix, options, walken_usage, 0);
75         ...
77 ----
79 Also add the relevant line in `builtin.h` near `cmd_whatchanged()`:
81 ----
82 int cmd_walken(int argc, const char **argv, const char *prefix);
83 ----
85 Include the command in `git.c` in `commands[]` near the entry for `whatchanged`,
86 maintaining alphabetical ordering:
88 ----
89 { "walken", cmd_walken, RUN_SETUP },
90 ----
92 Add it to the `Makefile` near the line for `builtin/worktree.o`:
94 ----
95 BUILTIN_OBJS += builtin/walken.o
96 ----
98 Build and test out your command, without forgetting to ensure the `DEVELOPER`
99 flag is set, and with `GIT_TRACE` enabled so the debug output can be seen:
101 ----
102 $ echo DEVELOPER=1 >>config.mak
103 $ make
104 $ GIT_TRACE=1 ./bin-wrappers/git walken
105 ----
107 NOTE: For a more exhaustive overview of the new command process, take a look at
108 `Documentation/MyFirstContribution.txt`.
110 NOTE: A reference implementation can be found at
111 https://github.com/nasamuffin/git/tree/revwalk.
113 === `struct rev_cmdline_info`
115 The definition of `struct rev_cmdline_info` can be found in `revision.h`.
117 This struct is contained within the `rev_info` struct and is used to reflect
118 parameters provided by the user over the CLI.
120 `nr` represents the number of `rev_cmdline_entry` present in the array.
122 `alloc` is used by the `ALLOC_GROW` macro. Check `cache.h` - this variable is
123 used to track the allocated size of the list.
125 Per entry, we find:
127 `item` is the object provided upon which to base the object walk. Items in Git
128 can be blobs, trees, commits, or tags. (See `Documentation/gittutorial-2.txt`.)
130 `name` is the object ID (OID) of the object - a hex string you may be familiar
131 with from using Git to organize your source in the past. Check the tutorial
132 mentioned above towards the top for a discussion of where the OID can come
133 from.
135 `whence` indicates some information about what to do with the parents of the
136 specified object. We'll explore this flag more later on; take a look at
137 `Documentation/revisions.txt` to get an idea of what could set the `whence`
138 value.
140 `flags` are used to hint the beginning of the revision walk and are the first
141 block under the `#include`s in `revision.h`. The most likely ones to be set in
142 the `rev_cmdline_info` are `UNINTERESTING` and `BOTTOM`, but these same flags
143 can be used during the walk, as well.
145 === `struct rev_info`
147 This one is quite a bit longer, and many fields are only used during the walk
148 by `revision.c` - not configuration options. Most of the configurable flags in
149 `struct rev_info` have a mirror in `Documentation/rev-list-options.txt`. It's a
150 good idea to take some time and read through that document.
152 == Basic Commit Walk
154 First, let's see if we can replicate the output of `git log --oneline`. We'll
155 refer back to the implementation frequently to discover norms when performing
156 an object walk of our own.
158 To do so, we'll first find all the commits, in order, which preceded the current
159 commit. We'll extract the name and subject of the commit from each.
161 Ideally, we will also be able to find out which ones are currently at the tip of
162 various branches.
164 === Setting Up
166 Preparing for your object walk has some distinct stages.
168 1. Perform default setup for this mode, and others which may be invoked.
169 2. Check configuration files for relevant settings.
170 3. Set up the `rev_info` struct.
171 4. Tweak the initialized `rev_info` to suit the current walk.
172 5. Prepare the `rev_info` for the walk.
173 6. Iterate over the objects, processing each one.
175 ==== Default Setups
177 Before examining configuration files which may modify command behavior, set up
178 default state for switches or options your command may have. If your command
179 utilizes other Git components, ask them to set up their default states as well.
180 For instance, `git log` takes advantage of `grep` and `diff` functionality, so
181 its `init_log_defaults()` sets its own state (`decoration_style`) and asks
182 `grep` and `diff` to initialize themselves by calling each of their
183 initialization functions.
185 ==== Configuring From `.gitconfig`
187 Next, we should have a look at any relevant configuration settings (i.e.,
188 settings readable and settable from `git config`). This is done by providing a
189 callback to `git_config()`; within that callback, you can also invoke methods
190 from other components you may need that need to intercept these options. Your
191 callback will be invoked once per each configuration value which Git knows about
192 (global, local, worktree, etc.).
194 Similarly to the default values, we don't have anything to do here yet
195 ourselves; however, we should call `git_default_config()` if we aren't calling
196 any other existing config callbacks.
198 Add a new function to `builtin/walken.c`:
200 ----
201 static int git_walken_config(const char *var, const char *value, void *cb)
203         /*
204          * For now, we don't have any custom configuration, so fall back to
205          * the default config.
206          */
207         return git_default_config(var, value, cb);
209 ----
211 Make sure to invoke `git_config()` with it in your `cmd_walken()`:
213 ----
214 int cmd_walken(int argc, const char **argv, const char *prefix)
216         ...
218         git_config(git_walken_config, NULL);
220         ...
222 ----
224 ==== Setting Up `rev_info`
226 Now that we've gathered external configuration and options, it's time to
227 initialize the `rev_info` object which we will use to perform the walk. This is
228 typically done by calling `repo_init_revisions()` with the repository you intend
229 to target, as well as the `prefix` argument of `cmd_walken` and your `rev_info`
230 struct.
232 Add the `struct rev_info` and the `repo_init_revisions()` call:
233 ----
234 int cmd_walken(int argc, const char **argv, const char *prefix)
236         /* This can go wherever you like in your declarations.*/
237         struct rev_info rev;
238         ...
240         /* This should go after the git_config() call. */
241         repo_init_revisions(the_repository, &rev, prefix);
243         ...
245 ----
247 ==== Tweaking `rev_info` For the Walk
249 We're getting close, but we're still not quite ready to go. Now that `rev` is
250 initialized, we can modify it to fit our needs. This is usually done within a
251 helper for clarity, so let's add one:
253 ----
254 static void final_rev_info_setup(struct rev_info *rev)
256         /*
257          * We want to mimic the appearance of `git log --oneline`, so let's
258          * force oneline format.
259          */
260         get_commit_format("oneline", rev);
262         /* Start our object walk at HEAD. */
263         add_head_to_pending(rev);
265 ----
267 [NOTE]
268 ====
269 Instead of using the shorthand `add_head_to_pending()`, you could do
270 something like this:
271 ----
272         struct setup_revision_opt opt;
274         memset(&opt, 0, sizeof(opt));
275         opt.def = "HEAD";
276         opt.revarg_opt = REVARG_COMMITTISH;
277         setup_revisions(argc, argv, rev, &opt);
278 ----
279 Using a `setup_revision_opt` gives you finer control over your walk's starting
280 point.
281 ====
283 Then let's invoke `final_rev_info_setup()` after the call to
284 `repo_init_revisions()`:
286 ----
287 int cmd_walken(int argc, const char **argv, const char *prefix)
289         ...
291         final_rev_info_setup(&rev);
293         ...
295 ----
297 Later, we may wish to add more arguments to `final_rev_info_setup()`. But for
298 now, this is all we need.
300 ==== Preparing `rev_info` For the Walk
302 Now that `rev` is all initialized and configured, we've got one more setup step
303 before we get rolling. We can do this in a helper, which will both prepare the
304 `rev_info` for the walk, and perform the walk itself. Let's start the helper
305 with the call to `prepare_revision_walk()`, which can return an error without
306 dying on its own:
308 ----
309 static void walken_commit_walk(struct rev_info *rev)
311         if (prepare_revision_walk(rev))
312                 die(_("revision walk setup failed"));
314 ----
316 NOTE: `die()` prints to `stderr` and exits the program. Since it will print to
317 `stderr` it's likely to be seen by a human, so we will localize it.
319 ==== Performing the Walk!
321 Finally! We are ready to begin the walk itself. Now we can see that `rev_info`
322 can also be used as an iterator; we move to the next item in the walk by using
323 `get_revision()` repeatedly. Add the listed variable declarations at the top and
324 the walk loop below the `prepare_revision_walk()` call within your
325 `walken_commit_walk()`:
327 ----
328 static void walken_commit_walk(struct rev_info *rev)
330         struct commit *commit;
331         struct strbuf prettybuf = STRBUF_INIT;
333         ...
335         while ((commit = get_revision(rev))) {
336                 strbuf_reset(&prettybuf);
337                 pp_commit_easy(CMIT_FMT_ONELINE, commit, &prettybuf);
338                 puts(prettybuf.buf);
339         }
340         strbuf_release(&prettybuf);
342 ----
344 NOTE: `puts()` prints a `char*` to `stdout`. Since this is the part of the
345 command we expect to be machine-parsed, we're sending it directly to stdout.
347 Give it a shot.
349 ----
350 $ make
351 $ ./bin-wrappers/git walken
352 ----
354 You should see all of the subject lines of all the commits in
355 your tree's history, in order, ending with the initial commit, "Initial revision
356 of "git", the information manager from hell". Congratulations! You've written
357 your first revision walk. You can play with printing some additional fields
358 from each commit if you're curious; have a look at the functions available in
359 `commit.h`.
361 === Adding a Filter
363 Next, let's try to filter the commits we see based on their author. This is
364 equivalent to running `git log --author=<pattern>`. We can add a filter by
365 modifying `rev_info.grep_filter`, which is a `struct grep_opt`.
367 First some setup. Add `grep_config()` to `git_walken_config()`:
369 ----
370 static int git_walken_config(const char *var, const char *value, void *cb)
372         grep_config(var, value, cb);
373         return git_default_config(var, value, cb);
375 ----
377 Next, we can modify the `grep_filter`. This is done with convenience functions
378 found in `grep.h`. For fun, we're filtering to only commits from folks using a
379 `gmail.com` email address - a not-very-precise guess at who may be working on
380 Git as a hobby. Since we're checking the author, which is a specific line in the
381 header, we'll use the `append_header_grep_pattern()` helper. We can use
382 the `enum grep_header_field` to indicate which part of the commit header we want
383 to search.
385 In `final_rev_info_setup()`, add your filter line:
387 ----
388 static void final_rev_info_setup(int argc, const char **argv,
389                 const char *prefix, struct rev_info *rev)
391         ...
393         append_header_grep_pattern(&rev->grep_filter, GREP_HEADER_AUTHOR,
394                 "gmail");
395         compile_grep_patterns(&rev->grep_filter);
397         ...
399 ----
401 `append_header_grep_pattern()` adds your new "gmail" pattern to `rev_info`, but
402 it won't work unless we compile it with `compile_grep_patterns()`.
404 NOTE: If you are using `setup_revisions()` (for example, if you are passing a
405 `setup_revision_opt` instead of using `add_head_to_pending()`), you don't need
406 to call `compile_grep_patterns()` because `setup_revisions()` calls it for you.
408 NOTE: We could add the same filter via the `append_grep_pattern()` helper if we
409 wanted to, but `append_header_grep_pattern()` adds the `enum grep_context` and
410 `enum grep_pat_token` for us.
412 === Changing the Order
414 There are a few ways that we can change the order of the commits during a
415 revision walk. Firstly, we can use the `enum rev_sort_order` to choose from some
416 typical orderings.
418 `topo_order` is the same as `git log --topo-order`: we avoid showing a parent
419 before all of its children have been shown, and we avoid mixing commits which
420 are in different lines of history. (`git help log`'s section on `--topo-order`
421 has a very nice diagram to illustrate this.)
423 Let's see what happens when we run with `REV_SORT_BY_COMMIT_DATE` as opposed to
424 `REV_SORT_BY_AUTHOR_DATE`. Add the following:
426 ----
427 static void final_rev_info_setup(int argc, const char **argv,
428                 const char *prefix, struct rev_info *rev)
430         ...
432         rev->topo_order = 1;
433         rev->sort_order = REV_SORT_BY_COMMIT_DATE;
435         ...
437 ----
439 Let's output this into a file so we can easily diff it with the walk sorted by
440 author date.
442 ----
443 $ make
444 $ ./bin-wrappers/git walken > commit-date.txt
445 ----
447 Then, let's sort by author date and run it again.
449 ----
450 static void final_rev_info_setup(int argc, const char **argv,
451                 const char *prefix, struct rev_info *rev)
453         ...
455         rev->topo_order = 1;
456         rev->sort_order = REV_SORT_BY_AUTHOR_DATE;
458         ...
460 ----
462 ----
463 $ make
464 $ ./bin-wrappers/git walken > author-date.txt
465 ----
467 Finally, compare the two. This is a little less helpful without object names or
468 dates, but hopefully we get the idea.
470 ----
471 $ diff -u commit-date.txt author-date.txt
472 ----
474 This display indicates that commits can be reordered after they're written, for
475 example with `git rebase`.
477 Let's try one more reordering of commits. `rev_info` exposes a `reverse` flag.
478 Set that flag somewhere inside of `final_rev_info_setup()`:
480 ----
481 static void final_rev_info_setup(int argc, const char **argv, const char *prefix,
482                 struct rev_info *rev)
484         ...
486         rev->reverse = 1;
488         ...
490 ----
492 Run your walk again and note the difference in order. (If you remove the grep
493 pattern, you should see the last commit this call gives you as your current
494 HEAD.)
496 == Basic Object Walk
498 So far we've been walking only commits. But Git has more types of objects than
499 that! Let's see if we can walk _all_ objects, and find out some information
500 about each one.
502 We can base our work on an example. `git pack-objects` prepares all kinds of
503 objects for packing into a bitmap or packfile. The work we are interested in
504 resides in `builtins/pack-objects.c:get_object_list()`; examination of that
505 function shows that the all-object walk is being performed by
506 `traverse_commit_list()` or `traverse_commit_list_filtered()`. Those two
507 functions reside in `list-objects.c`; examining the source shows that, despite
508 the name, these functions traverse all kinds of objects. Let's have a look at
509 the arguments to `traverse_commit_list_filtered()`, which are a superset of the
510 arguments to the unfiltered version.
512 - `struct list_objects_filter_options *filter_options`: This is a struct which
513   stores a filter-spec as outlined in `Documentation/rev-list-options.txt`.
514 - `struct rev_info *revs`: This is the `rev_info` used for the walk.
515 - `show_commit_fn show_commit`: A callback which will be used to handle each
516   individual commit object.
517 - `show_object_fn show_object`: A callback which will be used to handle each
518   non-commit object (so each blob, tree, or tag).
519 - `void *show_data`: A context buffer which is passed in turn to `show_commit`
520   and `show_object`.
521 - `struct oidset *omitted`: A linked-list of object IDs which the provided
522   filter caused to be omitted.
524 It looks like this `traverse_commit_list_filtered()` uses callbacks we provide
525 instead of needing us to call it repeatedly ourselves. Cool! Let's add the
526 callbacks first.
528 For the sake of this tutorial, we'll simply keep track of how many of each kind
529 of object we find. At file scope in `builtin/walken.c` add the following
530 tracking variables:
532 ----
533 static int commit_count;
534 static int tag_count;
535 static int blob_count;
536 static int tree_count;
537 ----
539 Commits are handled by a different callback than other objects; let's do that
540 one first:
542 ----
543 static void walken_show_commit(struct commit *cmt, void *buf)
545         commit_count++;
547 ----
549 The `cmt` argument is fairly self-explanatory. But it's worth mentioning that
550 the `buf` argument is actually the context buffer that we can provide to the
551 traversal calls - `show_data`, which we mentioned a moment ago.
553 Since we have the `struct commit` object, we can look at all the same parts that
554 we looked at in our earlier commit-only walk. For the sake of this tutorial,
555 though, we'll just increment the commit counter and move on.
557 The callback for non-commits is a little different, as we'll need to check
558 which kind of object we're dealing with:
560 ----
561 static void walken_show_object(struct object *obj, const char *str, void *buf)
563         switch (obj->type) {
564         case OBJ_TREE:
565                 tree_count++;
566                 break;
567         case OBJ_BLOB:
568                 blob_count++;
569                 break;
570         case OBJ_TAG:
571                 tag_count++;
572                 break;
573         case OBJ_COMMIT:
574                 BUG("unexpected commit object in walken_show_object\n");
575         default:
576                 BUG("unexpected object type %s in walken_show_object\n",
577                         type_name(obj->type));
578         }
580 ----
582 Again, `obj` is fairly self-explanatory, and we can guess that `buf` is the same
583 context pointer that `walken_show_commit()` receives: the `show_data` argument
584 to `traverse_commit_list()` and `traverse_commit_list_filtered()`. Finally,
585 `str` contains the name of the object, which ends up being something like
586 `foo.txt` (blob), `bar/baz` (tree), or `v1.2.3` (tag).
588 To help assure us that we aren't double-counting commits, we'll include some
589 complaining if a commit object is routed through our non-commit callback; we'll
590 also complain if we see an invalid object type. Since those two cases should be
591 unreachable, and would only change in the event of a semantic change to the Git
592 codebase, we complain by using `BUG()` - which is a signal to a developer that
593 the change they made caused unintended consequences, and the rest of the
594 codebase needs to be updated to understand that change. `BUG()` is not intended
595 to be seen by the public, so it is not localized.
597 Our main object walk implementation is substantially different from our commit
598 walk implementation, so let's make a new function to perform the object walk. We
599 can perform setup which is applicable to all objects here, too, to keep separate
600 from setup which is applicable to commit-only walks.
602 We'll start by enabling all types of objects in the `struct rev_info`.  We'll
603 also turn on `tree_blobs_in_commit_order`, which means that we will walk a
604 commit's tree and everything it points to immediately after we find each commit,
605 as opposed to waiting for the end and walking through all trees after the commit
606 history has been discovered. With the appropriate settings configured, we are
607 ready to call `prepare_revision_walk()`.
609 ----
610 static void walken_object_walk(struct rev_info *rev)
612         rev->tree_objects = 1;
613         rev->blob_objects = 1;
614         rev->tag_objects = 1;
615         rev->tree_blobs_in_commit_order = 1;
617         if (prepare_revision_walk(rev))
618                 die(_("revision walk setup failed"));
620         commit_count = 0;
621         tag_count = 0;
622         blob_count = 0;
623         tree_count = 0;
624 ----
626 Let's start by calling just the unfiltered walk and reporting our counts.
627 Complete your implementation of `walken_object_walk()`:
629 ----
630         traverse_commit_list(rev, walken_show_commit, walken_show_object, NULL);
632         printf("commits %d\nblobs %d\ntags %d\ntrees %d\n", commit_count,
633                 blob_count, tag_count, tree_count);
635 ----
637 NOTE: This output is intended to be machine-parsed. Therefore, we are not
638 sending it to `trace_printf()`, and we are not localizing it - we need scripts
639 to be able to count on the formatting to be exactly the way it is shown here.
640 If we were intending this output to be read by humans, we would need to localize
641 it with `_()`.
643 Finally, we'll ask `cmd_walken()` to use the object walk instead. Discussing
644 command line options is out of scope for this tutorial, so we'll just hardcode
645 a branch we can change at compile time. Where you call `final_rev_info_setup()`
646 and `walken_commit_walk()`, instead branch like so:
648 ----
649         if (1) {
650                 add_head_to_pending(&rev);
651                 walken_object_walk(&rev);
652         } else {
653                 final_rev_info_setup(argc, argv, prefix, &rev);
654                 walken_commit_walk(&rev);
655         }
656 ----
658 NOTE: For simplicity, we've avoided all the filters and sorts we applied in
659 `final_rev_info_setup()` and simply added `HEAD` to our pending queue. If you
660 want, you can certainly use the filters we added before by moving
661 `final_rev_info_setup()` out of the conditional and removing the call to
662 `add_head_to_pending()`.
664 Now we can try to run our command! It should take noticeably longer than the
665 commit walk, but an examination of the output will give you an idea why. Your
666 output should look similar to this example, but with different counts:
668 ----
669 Object walk completed. Found 55733 commits, 100274 blobs, 0 tags, and 104210 trees.
670 ----
672 This makes sense. We have more trees than commits because the Git project has
673 lots of subdirectories which can change, plus at least one tree per commit. We
674 have no tags because we started on a commit (`HEAD`) and while tags can point to
675 commits, commits can't point to tags.
677 NOTE: You will have different counts when you run this yourself! The number of
678 objects grows along with the Git project.
680 === Adding a Filter
682 There are a handful of filters that we can apply to the object walk laid out in
683 `Documentation/rev-list-options.txt`. These filters are typically useful for
684 operations such as creating packfiles or performing a partial clone. They are
685 defined in `list-objects-filter-options.h`. For the purposes of this tutorial we
686 will use the "tree:1" filter, which causes the walk to omit all trees and blobs
687 which are not directly referenced by commits reachable from the commit in
688 `pending` when the walk begins. (`pending` is the list of objects which need to
689 be traversed during a walk; you can imagine a breadth-first tree traversal to
690 help understand. In our case, that means we omit trees and blobs not directly
691 referenced by `HEAD` or `HEAD`'s history, because we begin the walk with only
692 `HEAD` in the `pending` list.)
694 First, we'll need to `#include "list-objects-filter-options.h`" and set up the
695 `struct list_objects_filter_options` at the top of the function.
697 ----
698 static void walken_object_walk(struct rev_info *rev)
700         struct list_objects_filter_options filter_options = {};
702         ...
703 ----
705 For now, we are not going to track the omitted objects, so we'll replace those
706 parameters with `NULL`. For the sake of simplicity, we'll add a simple
707 build-time branch to use our filter or not. Replace the line calling
708 `traverse_commit_list()` with the following, which will remind us which kind of
709 walk we've just performed:
711 ----
712         if (0) {
713                 /* Unfiltered: */
714                 trace_printf(_("Unfiltered object walk.\n"));
715                 traverse_commit_list(rev, walken_show_commit,
716                                 walken_show_object, NULL);
717         } else {
718                 trace_printf(
719                         _("Filtered object walk with filterspec 'tree:1'.\n"));
720                 parse_list_objects_filter(&filter_options, "tree:1");
722                 traverse_commit_list_filtered(&filter_options, rev,
723                         walken_show_commit, walken_show_object, NULL, NULL);
724         }
725 ----
727 `struct list_objects_filter_options` is usually built directly from a command
728 line argument, so the module provides an easy way to build one from a string.
729 Even though we aren't taking user input right now, we can still build one with
730 a hardcoded string using `parse_list_objects_filter()`.
732 With the filter spec "tree:1", we are expecting to see _only_ the root tree for
733 each commit; therefore, the tree object count should be less than or equal to
734 the number of commits. (For an example of why that's true: `git commit --revert`
735 points to the same tree object as its grandparent.)
737 === Counting Omitted Objects
739 We also have the capability to enumerate all objects which were omitted by a
740 filter, like with `git log --filter=<spec> --filter-print-omitted`. Asking
741 `traverse_commit_list_filtered()` to populate the `omitted` list means that our
742 object walk does not perform any better than an unfiltered object walk; all
743 reachable objects are walked in order to populate the list.
745 First, add the `struct oidset` and related items we will use to iterate it:
747 ----
748 static void walken_object_walk(
749         ...
751         struct oidset omitted;
752         struct oidset_iter oit;
753         struct object_id *oid = NULL;
754         int omitted_count = 0;
755         oidset_init(&omitted, 0);
757         ...
758 ----
760 Modify the call to `traverse_commit_list_filtered()` to include your `omitted`
761 object:
763 ----
764         ...
766                 traverse_commit_list_filtered(&filter_options, rev,
767                         walken_show_commit, walken_show_object, NULL, &omitted);
769         ...
770 ----
772 Then, after your traversal, the `oidset` traversal is pretty straightforward.
773 Count all the objects within and modify the print statement:
775 ----
776         /* Count the omitted objects. */
777         oidset_iter_init(&omitted, &oit);
779         while ((oid = oidset_iter_next(&oit)))
780                 omitted_count++;
782         printf("commits %d\nblobs %d\ntags %d\ntrees%d\nomitted %d\n",
783                 commit_count, blob_count, tag_count, tree_count, omitted_count);
784 ----
786 By running your walk with and without the filter, you should find that the total
787 object count in each case is identical. You can also time each invocation of
788 the `walken` subcommand, with and without `omitted` being passed in, to confirm
789 to yourself the runtime impact of tracking all omitted objects.
791 === Changing the Order
793 Finally, let's demonstrate that you can also reorder walks of all objects, not
794 just walks of commits. First, we'll make our handlers chattier - modify
795 `walken_show_commit()` and `walken_show_object()` to print the object as they
798 ----
799 static void walken_show_commit(struct commit *cmt, void *buf)
801         trace_printf("commit: %s\n", oid_to_hex(&cmt->object.oid));
802         commit_count++;
805 static void walken_show_object(struct object *obj, const char *str, void *buf)
807         trace_printf("%s: %s\n", type_name(obj->type), oid_to_hex(&obj->oid));
809         ...
811 ----
813 NOTE: Since we will be examining this output directly as humans, we'll use
814 `trace_printf()` here. Additionally, since this change introduces a significant
815 number of printed lines, using `trace_printf()` will allow us to easily silence
816 those lines without having to recompile.
818 (Leave the counter increment logic in place.)
820 With only that change, run again (but save yourself some scrollback):
822 ----
823 $ GIT_TRACE=1 ./bin-wrappers/git walken | head -n 10
824 ----
826 Take a look at the top commit with `git show` and the object ID you printed; it
827 should be the same as the output of `git show HEAD`.
829 Next, let's change a setting on our `struct rev_info` within
830 `walken_object_walk()`. Find where you're changing the other settings on `rev`,
831 such as `rev->tree_objects` and `rev->tree_blobs_in_commit_order`, and add the
832 `reverse` setting at the bottom:
834 ----
835         ...
837         rev->tree_objects = 1;
838         rev->blob_objects = 1;
839         rev->tag_objects = 1;
840         rev->tree_blobs_in_commit_order = 1;
841         rev->reverse = 1;
843         ...
844 ----
846 Now, run again, but this time, let's grab the last handful of objects instead
847 of the first handful:
849 ----
850 $ make
851 $ GIT_TRACE=1 ./bin-wrappers git walken | tail -n 10
852 ----
854 The last commit object given should have the same OID as the one we saw at the
855 top before, and running `git show <oid>` with that OID should give you again
856 the same results as `git show HEAD`. Furthermore, if you run and examine the
857 first ten lines again (with `head` instead of `tail` like we did before applying
858 the `reverse` setting), you should see that now the first commit printed is the
859 initial commit, `e83c5163`.
861 == Wrapping Up
863 Let's review. In this tutorial, we:
865 - Built a commit walk from the ground up
866 - Enabled a grep filter for that commit walk
867 - Changed the sort order of that filtered commit walk
868 - Built an object walk (tags, commits, trees, and blobs) from the ground up
869 - Learned how to add a filter-spec to an object walk
870 - Changed the display order of the filtered object walk