Package org.checkerframework.framework.qual

Annotation Interface InheritedAnnotation

@Documented
@Retention(RUNTIME)
@Target(ANNOTATION_TYPE)
public @interface InheritedAnnotation

A meta-annotation that specifies if a declaration annotation should be inherited. This should not be written on type annotations.