checker/tests/nullness/flow/PurityError.java

import org.checkerframework.dataflow.qual.Pure;
import org.checkerframework.dataflow.qual.SideEffectFree;

public class PurityError {
  @SideEffectFree
  void method() {}

  @Pure
  Object method2() {
    // :: error: (purity.not.deterministic.call)
    method();
    return "";
  }
}