Test.java

public class Test {

  private String field;

  public Test fluentNoop() {
    return this;
  }

  public Test modelledFluentMethod() {
    // A model in the accompanying .ql file will indicate that the qualifier flows to the return value.
    return null;
  }

  public static Test modelledIdentity(Test t) {
    // A model in the accompanying .ql file will indicate that the argument flows to the return value.
    return null;
  }

  public Test indirectlyFluentNoop() {
    return this.fluentNoop();
  }

  public Test fluentSet(String x) {
    this.field = x;
    return this;
  }

  public static Test identity(Test t) {
    return t;
  }

  public String get() {
    return field;
  }

  public static String source() {
    return "taint";
  }

  public static void sink(String s) {}

  public static void test1() {
    Test t = new Test();
    t.fluentNoop().fluentSet(source()).fluentNoop();
    sink(t.get()); // $hasTaintFlow
  }

  public static void test2() {
    Test t = new Test();
    Test.identity(t).fluentNoop().fluentSet(source()).fluentNoop();
    sink(t.get()); // $hasTaintFlow
  }

  public static void test3() {
    Test t = new Test();
    t.indirectlyFluentNoop().fluentSet(source()).fluentNoop();
    sink(t.get()); // $hasTaintFlow
  }

  public static void testModel1() {
    Test t = new Test();
    t.indirectlyFluentNoop().modelledFluentMethod().fluentSet(source()).fluentNoop();
    sink(t.get()); // $hasTaintFlow
  }

  public static void testModel2() {
    Test t = new Test();
    Test.modelledIdentity(t).indirectlyFluentNoop().modelledFluentMethod().fluentSet(source()).fluentNoop();
    sink(t.get()); // $hasTaintFlow
  }

}