java/java-tests/testData/inspection/dataFlow/fixture/CustomTypeQualifierDefault.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

import foo.*;
import org.jetbrains.annotations.NotNull;

class Some {
  void foo(@NotNull String s) {
    NotNullClass.foo(null);
    if (<warning descr="Condition 'NotNullClass.foo(s) == null' is always 'false'">NotNullClass.foo(s) == null</warning>) {}
    
    NullableClass.foo(null);
    if (NullableClass.foo("a") == null) {}
    
    AnotherPackageNotNull.foo(null);
    if (<warning descr="Condition 'AnotherPackageNotNull.foo(s) == null' is always 'false'">AnotherPackageNotNull.foo(s) == null</warning>) {}
  }

}

@bar.MethodsAreNotNullByDefault
class NotNullClass {
  static native Object foo(String s);

}
class NullableClass {
  static native Object foo(String s);
}