diff options
| author | Matthias Sohn <matthias.sohn@sap.com> | 2017-01-23 01:06:30 +0100 |
|---|---|---|
| committer | Matthias Sohn <matthias.sohn@sap.com> | 2017-01-23 19:55:20 +0100 |
| commit | d3c4c0622f1f007e481112613acd9935d999b358 (patch) | |
| tree | 73a7474b40644979b44eedb5d584473df10edf63 /org.eclipse.jgit/src | |
| parent | b686c8468c66fb7d2f2c06996085b7d8540a8adc (diff) | |
| download | jgit-d3c4c0622f1f007e481112613acd9935d999b358.tar.gz jgit-d3c4c0622f1f007e481112613acd9935d999b358.zip | |
[infer] Mark ManifestParse.getFilteredProjects non-null
Change-Id: I05653df7a0337443d2c8e53f47f4e95ec9ca1a9c
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
Diffstat (limited to 'org.eclipse.jgit/src')
| -rw-r--r-- | org.eclipse.jgit/src/org/eclipse/jgit/gitrepo/ManifestParser.java | 3 |
1 files changed, 2 insertions, 1 deletions
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<RepoProject> getFilteredProjects() { + public @NonNull List<RepoProject> getFilteredProjects() { return filteredProjects; } |