checkers.metaquals
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 {
 }
 

Required Element Summary

Class<?>[]

value An array of the supertype qualifiers of the annotated qualifier

Element Detail

value

public abstract Class<?>[] value

An array of the supertype qualifiers of the annotated qualifier