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

Annotation Interface ReportUse

@Documented
@Retention(RUNTIME)
@Target({PACKAGE,TYPE})
public @interface ReportUse

Report all uses of a type that has this annotation. Can also be used on a package.