From: Matthias Sohn Date: Mon, 23 Jan 2017 00:06:30 +0000 (+0100) Subject: [infer] Mark ManifestParse.getFilteredProjects non-null X-Git-Tag: v4.7.0.201704051617-r~112 X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=d3c4c0622f1f007e481112613acd9935d999b358;p=jgit.git [infer] Mark ManifestParse.getFilteredProjects non-null Change-Id: I05653df7a0337443d2c8e53f47f4e95ec9ca1a9c Signed-off-by: Matthias Sohn --- diff --git a/org.eclipse.jgit/src/org/eclipse/jgit/gitrepo/ManifestParser.java b/org.eclipse.jgit/src/org/eclipse/jgit/gitrepo/ManifestParser.java index 8a35d35fea..55ded92a17 100644 --- a/org.eclipse.jgit/src/org/eclipse/jgit/gitrepo/ManifestParser.java +++ b/org.eclipse.jgit/src/org/eclipse/jgit/gitrepo/ManifestParser.java @@ -57,6 +57,7 @@ import java.util.List; import java.util.Map; import java.util.Set; +import org.eclipse.jgit.annotations.NonNull; import org.eclipse.jgit.api.errors.GitAPIException; import org.eclipse.jgit.gitrepo.RepoProject.CopyFile; import org.eclipse.jgit.gitrepo.internal.RepoText; @@ -324,7 +325,7 @@ public class ManifestParser extends DefaultHandler { * * @return filtered projects list reference, never null */ - public List getFilteredProjects() { + public @NonNull List getFilteredProjects() { return filteredProjects; }