checkers.quals
Annotation Type SubtypeOf

@Documented
@Retention(value=RUNTIME)
@Target(value=ANNOTATION_TYPE)
public @interface SubtypeOf

A meta annotation to specify all the qualifiers that the given qualifier is a subtype of.

Example: @SubtypeOf( { Nullable.class } ) public @interface NonNull { }

As a special case, an empty set of values indicate the root type qualifier in the qualifiers hierarchy, i.e. the qualifier that is a supertype of all other qualifiers in the given hierarchy. Examples of such qualifiers: @ReadOnly, @Nullable

@SubtypeOf( {} ) public @interface ReadOnly { }

Required Element Summary

Class<? extends Annotation>[]

value An array of the supertype qualifiers of the annotated qualifier

Element Detail

value

public abstract Class<? extends Annotation>[] value

An array of the supertype qualifiers of the annotated qualifier