MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-04-18 12:31:26 +07:00
Code Issues Packages Projects Releases Wiki Activity

[java-analysis] Better support for unspecified nullness (for jspecify); report some inherently not-null places

Browse Source 
GitOrigin-RevId: 03fdd34aa1e5d6b591478ccd65ad2279a0e69566
This commit is contained in:
Tagir Valeev
2021-02-10 13:11:44 +07:00
committed by intellij-monorepo-bot
parent 54c2833200
commit 11771e3ba1
8 changed files with 81 additions and 25 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
java/java-psi-api/src/com/intellij/codeInsight/NullableNotNullManager.java
View File

@@ -13,10 +13,7 @@ import org.jetbrains.annotations.ApiStatus;
import org.jetbrains.annotations.NotNull;
import org.jetbrains.annotations.Nullable;
import java.util.Collections;
import java.util.HashSet;
import java.util.List;
import java.util.Set;
import java.util.*;
import static com.intellij.codeInsight.AnnotationUtil.*;
@@ -46,6 +43,8 @@ public abstract class NullableNotNullManager {
*/
abstract @NotNull List<String> getAllDefaultAnnotations();
public abstract @NotNull Optional<Nullability> getAnnotationNullability(String name);
public static NullableNotNullManager getInstance(Project project) {
return ServiceManager.getService(project, NullableNotNullManager.class);
}