Package org.checkerframework.common.reflection.qual

Annotation Type Invoke

@Documented
@Retention(RUNTIME)
@Target(METHOD)
public @interface Invoke

Annotation for methods like Method.invoke, whose signature is:
Object method({@link MethodVal}(classname=c, methodname=m, params=p) Method this, Object obj, Object... args)

See the Checker Framework Manual:

Reflection resolution