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] Report incorrect locations of nullability annotations (JSpecify)

Browse Source 
GitOrigin-RevId: bc4915321fc45458caa79dc9424467dde05a9957
This commit is contained in:
Tagir Valeev
2021-02-10 16:08:22 +07:00
committed by intellij-monorepo-bot
parent 5113d53ddb
commit aa3b987530
8 changed files with 88 additions and 26 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -44,6 +44,8 @@ public abstract class NullableNotNullManager {
abstract @NotNull List<String> getAllDefaultAnnotations();
public abstract @NotNull Optional<Nullability> getAnnotationNullability(String name);
public abstract boolean isTypeUseAnnotationLocationRestricted(String name);
public static NullableNotNullManager getInstance(Project project) {
return ServiceManager.getService(project, NullableNotNullManager.class);