framework/tests/flow/Basic.java

import org.checkerframework.framework.testchecker.util.*;

public class Basic {

  @Odd String field;

  void test(@Odd String param) {
    String local = "";
    local = param;
    field = local;

    String r = field;
  }

  void testIf(@Odd String ifParam) {
    String local = "";
    if (field != null) {
      local = ifParam;
    } else {
      local = ifParam;
    }

    String r = local;
  }

  void testWhile(@Odd String whileParam) {
    String local = whileParam;
    while (local != "foo") {
      local = "";
    }

    String r = local;
  }

  void testWhile2(@Odd String whileParam) {
    String local = "";
    while (local != "foo") {
      local = whileParam;
    }

    String r = local;
  }

  void testCompountAssignment(@Odd String odd) {
    String nonOdd = odd;
    nonOdd += "kj"; // nonOdd as rValue is not Odd necessarily!
    nonOdd = "m";
  }
}