summaryrefslogtreecommitdiff
path: root/java/java-tests/testData/inspection/dataFlow/fixture/UseInferredContracts.java
blob: 34b9d708a4b250ab45d1d4a488dfc7f43e393707 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
import org.jetbrains.annotations.Nullable;

class Doo {

  static boolean isNotNull(@Nullable Object o) {
    return o != null;
  }

  void foo(@Nullable String s) {
    if (isNotNull(s)) {
      System.out.println(s.length());
    }
  }

}