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

Annotation Interface ReportOverride

@Documented
@Retention(RUNTIME)
@Target(METHOD)
public @interface ReportOverride

Report all methods that override a method with this annotation.