mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-27 01:42:17 +07:00
IDEA-311124 @Nullable parameters are flagged as "not allowed to take null values" GitOrigin-RevId: b5440501a41f0e8c43a9d87ac60bc281708794d3
31 lines
587 B
Java
31 lines
587 B
Java
import javax.annotation.Nonnull;
|
|
import javax.annotation.Nullable;
|
|
import javax.annotation.meta.TypeQualifierDefault;
|
|
import java.lang.annotation.*;
|
|
|
|
@NonNullImpl
|
|
class BugReproduction {
|
|
public static void main(String[] args) {
|
|
doSomething(null);
|
|
}
|
|
|
|
public static void doSomething(@Nullable String string) {
|
|
System.out.printf("%b%n", string);
|
|
}
|
|
}
|
|
|
|
@Documented
|
|
@Inherited
|
|
@Nonnull
|
|
@Retention(RetentionPolicy.RUNTIME)
|
|
@Target({
|
|
ElementType.PACKAGE,
|
|
ElementType.TYPE,
|
|
})
|
|
@TypeQualifierDefault({
|
|
ElementType.FIELD,
|
|
ElementType.TYPE_USE,
|
|
})
|
|
@interface NonNullImpl {
|
|
}
|