MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

Avoid NPE

Browse Source
This commit is contained in:
Dmitry Trofimov
2018-11-05 17:30:52 +01:00
parent b0810dd519
commit 27fe2ff3f8
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/openapi/src/com/jetbrains/python/documentation/PythonDocumentationLinkProvider.java
+2 -1
View File
@@ -19,6 +19,7 @@ import com.intellij.openapi.extensions.ExtensionPointName;
import com.intellij.openapi.projectRoots.Sdk;
import com.intellij.psi.PsiElement;
import com.intellij.psi.PsiNamedElement;
import org.jetbrains.annotations.NotNull;
import org.jetbrains.annotations.Nullable;
import org.jsoup.nodes.Document;
@@ -45,7 +46,7 @@ public interface PythonDocumentationLinkProvider {
}
@Nullable
default Function<Document, String> quickDocExtractor(PsiNamedElement namedElement) {
default Function<Document, String> quickDocExtractor(@NotNull PsiNamedElement namedElement) {
return null;
}
}