Browse Source

[infer] Mark ManifestParse.getFilteredProjects non-null

Change-Id: I05653df7a0337443d2c8e53f47f4e95ec9ca1a9c
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
stable-4.7
Matthias Sohn 8 years ago
parent
commit
d3c4c0622f
  1. 3
      org.eclipse.jgit/src/org/eclipse/jgit/gitrepo/ManifestParser.java

3
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<RepoProject> getFilteredProjects() {
public @NonNull List<RepoProject> getFilteredProjects() {
return filteredProjects;
}

Loading…
Cancel
Save