Files
openide/java/java-tests/testData/inspection/dataFlow/fixture/Jsr305CheckForNullAsQualifierNickname.java
2024-04-19 09:51:46 +00:00

27 lines
772 B
Java

import static javax.annotation.meta.When.MAYBE;
import javax.annotation.CheckForNull;
import javax.annotation.Nonnull;
import javax.annotation.meta.TypeQualifierNickname;
class Main {
int go(Lib lib) {
return lib.usingNonnullMaybe().<warning descr="Method invocation 'hashCode' may produce 'NullPointerException'">hashCode</warning>() + lib.usingCheckForNull().<warning descr="Method invocation 'hashCode' may produce 'NullPointerException'">hashCode</warning>();
}
interface Lib {
@UsingNonnullMaybe
Object usingNonnullMaybe();
@UsingCheckForNull
Object usingCheckForNull();
}
@Nonnull(when = MAYBE)
@TypeQualifierNickname
@interface UsingNonnullMaybe {}
@CheckForNull
@TypeQualifierNickname
@interface UsingCheckForNull {}
}