| 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); |
| } |