org.checkerframework.common.util.report.qual

Annotation Type ReportUse

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

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