diff options
author | Matthias Sohn | 2016-03-14 23:16:54 +0000 |
---|---|---|
committer | Matthias Sohn | 2016-03-14 23:26:38 +0000 |
commit | bef8874d54c77f2d39c942eecda15aa827a9e6c8 (patch) | |
tree | cc172ba6fdbeccf434da1988c5019e06584632aa | |
parent | e47bced605873c5e82705f9a8184f540d1dbb586 (diff) | |
download | egit-bef8874d54c77f2d39c942eecda15aa827a9e6c8.tar.gz egit-bef8874d54c77f2d39c942eecda15aa827a9e6c8.tar.xz egit-bef8874d54c77f2d39c942eecda15aa827a9e6c8.zip |
Document that hasGerritConfiguration() needs non-null repository
Change-Id: I5e86c504d304a27ec914492651adae5e4387a731
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
-rw-r--r-- | org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/ResourcePropertyTester.java | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/ResourcePropertyTester.java b/org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/ResourcePropertyTester.java index ff72439f7d..36267f0f1d 100644 --- a/org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/ResourcePropertyTester.java +++ b/org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/ResourcePropertyTester.java @@ -20,6 +20,7 @@ import org.eclipse.core.resources.IResource; import org.eclipse.egit.core.internal.gerrit.GerritUtil; import org.eclipse.egit.core.project.RepositoryMapping; import org.eclipse.egit.ui.internal.trace.GitTraceLocation; +import org.eclipse.jgit.annotations.NonNull; import org.eclipse.jgit.lib.Config; import org.eclipse.jgit.lib.Constants; import org.eclipse.jgit.lib.Repository; @@ -156,7 +157,8 @@ public class ResourcePropertyTester extends PropertyTester { * @param repository * @return {@code true} if repository has been configured for Gerrit */ - public static boolean hasGerritConfiguration(Repository repository) { + public static boolean hasGerritConfiguration( + @NonNull Repository repository) { Config config = repository.getConfig(); if (GerritUtil.getCreateChangeId(config)) return true; |