Package org.checkerframework.common.reflection.qual

Annotation Type GetMethod

  • @Documented
@Retention(RUNTIME)
@Target(METHOD)
public @interface GetMethod
    Annotation for methods like Class.getMethod and Class.getDeclaredMethod, whose signature is:
    {@link MethodVal}(classname=c, methodname=m, params=p) Method getMyMethod(Class<c> this, String m, Object... params)
    See the Checker Framework Manual:
    Reflection resolution