diff options
author | Edwin Kempin <edwin.kempin@sap.com> | 2013-03-19 07:28:36 +0100 |
---|---|---|
committer | Matthias Sohn <matthias.sohn@sap.com> | 2013-03-20 00:46:27 +0100 |
commit | b37b1c91651f3d78f3ae72fc5450d327c46906d8 (patch) | |
tree | 726724752b99769e7dc4cd826a4fc97cc83114b2 /org.eclipse.jgit/src/org/eclipse/jgit/api | |
parent | 509c0b58ee6e38277c360df49d3d6400a3018748 (diff) | |
download | jgit-b37b1c91651f3d78f3ae72fc5450d327c46906d8.tar.gz jgit-b37b1c91651f3d78f3ae72fc5450d327c46906d8.zip |
Allow to get repo statistics from GarbageCollectionCommand before gc
When running the garbage collection for a repository it is often
interesting to compare the repository statistics from before and after
the garbage collection to understand the effect of the garbage
collection. This is why it makes sense that the
GarbageCollectionCommand provides a method to retrieve the repository
statistics before running the garbage collection.
So far without running the garbage collection the repository statistics
can only be retrieved by using JGit internal classes. This is what EGit
and Gerrit do at the moment, but it would be better to have an API for
this.
Change-Id: Id7e579157e9fbef5cfd1fc9f97ada45f0ca8c379
Signed-off-by: Edwin Kempin <edwin.kempin@sap.com>
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
Diffstat (limited to 'org.eclipse.jgit/src/org/eclipse/jgit/api')
-rw-r--r-- | org.eclipse.jgit/src/org/eclipse/jgit/api/GarbageCollectCommand.java | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/org.eclipse.jgit/src/org/eclipse/jgit/api/GarbageCollectCommand.java b/org.eclipse.jgit/src/org/eclipse/jgit/api/GarbageCollectCommand.java index 7fda6cc01e..77b84d3a36 100644 --- a/org.eclipse.jgit/src/org/eclipse/jgit/api/GarbageCollectCommand.java +++ b/org.eclipse.jgit/src/org/eclipse/jgit/api/GarbageCollectCommand.java @@ -129,6 +129,24 @@ public class GarbageCollectCommand extends GitCommand<Properties> { } } + /** + * Computes and returns the repository statistics. + * + * @return the repository statistics + * @throws GitAPIException + * thrown if the repository statistics cannot be computed + * @since 3.0 + */ + public Properties getStatistics() throws GitAPIException { + try { + GC gc = new GC((FileRepository) repo); + return toProperties(gc.getStatistics()); + } catch (IOException e) { + throw new JGitInternalException( + JGitText.get().couldNotGetRepoStatistics, e); + } + } + @SuppressWarnings("boxing") private static Properties toProperties(RepoStatistics stats) { Properties p = new Properties(); |