Annotation Interface 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