import org.checkerframework.common.value.qual.*; | |
import org.checkerframework.dataflow.qual.Pure; | |
public class ClassNotFound { | |
@StaticallyExecutable | |
@Pure | |
public static int foo(int a) { | |
return a + 2; | |
} | |
public void bar() { | |
int a = 0; | |
// :: warning: (class.find.failed) | |
foo(a); | |
} | |
} |