org.checkerframework.common.reflection.qual

Annotation Type NewInstance

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

Annotation for methods of the form:
T method({@link MethodVal}(classname=c, methodname="<init>", params=p) Constructor this, Object... args)