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

Annotation Interface ReportInherit

@Documented
@Retention(RUNTIME)
@Target(TYPE)
public @interface ReportInherit

Report all types that extend/implement a type that has this annotation.