checker/tests/wpi-testchecker/non-annotated/MethodReturnTest.java

import org.checkerframework.checker.testchecker.wholeprograminference.qual.Parent;
import org.checkerframework.checker.testchecker.wholeprograminference.qual.Sibling1;
import org.checkerframework.checker.testchecker.wholeprograminference.qual.Sibling2;

public class MethodReturnTest {

  static int getSibling1NotAnnotated() {
    return (@Sibling1 int) 0;
  }

  static @Sibling1 int getSibling1() {
    // :: warning: (return)
    return getSibling1NotAnnotated();
  }

  public static boolean bool = false;

  public static int lubTest() {
    if (bool) {
      return (@Sibling1 int) 0;
    } else {
      return (@Sibling2 int) 0;
    }
  }

  public static @Parent int getParent() {
    int x = lubTest();
    // :: warning: (return)
    return x;
  }

  class InnerClass {
    int field = 0;

    int getParent2() {
      field = getParent();
      return getParent();
    }

    void receivesSibling1(int i) {
      // :: warning: (argument)
      expectsSibling1(i);
    }

    void expectsSibling1(@Sibling1 int i) {}

    void test() {
      @Sibling1 int sib = (@Sibling1 int) 0;
      receivesSibling1(sib);
    }
  }
}