package org.checkerframework.common.util.report.qual; | |
import java.lang.annotation.Documented; | |
import java.lang.annotation.ElementType; | |
import java.lang.annotation.Retention; | |
import java.lang.annotation.RetentionPolicy; | |
import java.lang.annotation.Target; | |
/** Report all uses of a type that has this annotation. Can also be used on a package. */ | |
@Documented | |
@Retention(RetentionPolicy.RUNTIME) | |
@Target({ElementType.PACKAGE, ElementType.TYPE}) | |
public @interface ReportUse {} |