org.checkerframework.common.reflection.qual

Annotation Type GetConstructor

@Documented
 @Retention(value=RUNTIME)
 @Target(value=METHOD)
public @interface GetConstructor

Annotation for methods like Class.getConstructor, whose signature is:
@MethodVal(classname=c, methodname="<init>", params=p) Constructor<T> method(Class<c> this, Object... params)

See the Checker Framework Manual:

Reflection resolution