Package org.checkerframework.common.util.count.report.qual

Annotation Interface ReportCreation

@Documented
@Retention(RUNTIME)
@Target({TYPE,CONSTRUCTOR})
public @interface ReportCreation

Report all instantiations of a class/interface that has this annotation, including any subclass. Report all invocations of a particular constructor. (There is no overriding of constructors, so use on a constructor reports only that particular constructor.)