diff options
author | Ivan Frade <ifrade@google.com> | 2019-11-19 10:40:21 -0800 |
---|---|---|
committer | Ivan Frade <ifrade@google.com> | 2019-11-21 09:30:19 -0800 |
commit | a0204a4727ce39f3bd1564c445065dce6cefe608 (patch) | |
tree | 4f605e9ecc065fe950fbbbddcea81c8e4e42bbf0 /tools | |
parent | 2ff0c0abaaa88f26eda4ae553cbbb954c74642df (diff) | |
download | jgit-a0204a4727ce39f3bd1564c445065dce6cefe608.tar.gz jgit-a0204a4727ce39f3bd1564c445065dce6cefe608.zip |
ReachabilityChecker: Receive a Stream instead of a Collection
Preparatory change. Converting ObjectIds to RevCommits is potentially
expensive and in the incremental reachability check, it is probably not
required for all elements in the collection.
Pass a Stream to the reachability checker. In the follow up we make
the conversion from ObjectId to RevCommit in the stream (i.e. on
demand). This should reduce the latency of reachability checks over big
sets of references.
Change-Id: I9f310e331de5b0bf8de34143bd7dcd34316d2fba
Signed-off-by: Ivan Frade <ifrade@google.com>
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions