org.checkerframework.common.util.report.qual
public @Interface ReportUse
extends Annotation
- Annotations
- @Documented
- @Retention:RUNTIME
- @Target:PACKAGE, TYPE
- Imports
- java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target
Report all uses of a type that has this annotation. Can also be used on a package.
