Package org.checkerframework.common.reflection.qual

Annotation Type NewInstance

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

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

See the Checker Framework Manual:

Reflection resolution