org.checkerframework.framework.qual

Annotation Type UpperBoundFor

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

A meta-annotation applied to the declaration of a type qualifier specifies that the given annotation should be upper bound for

• a use of a particular type.
• a use of a particular kind of type.

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
TypeKind[]	typeKinds
java.lang.Class<?>[]	types

Element Detail

typeKinds

public abstract TypeKind[] typeKinds

Returns:

TypeKinds of types for which an annotation should be added by default

Default:

{}

types

public abstract java.lang.Class<?>[] types

Returns:

Classes for which an annotation should be applied. For example, if @MyAnno is meta-annotated with @DefaultFor(classes=String.class), then every occurrence of String is actually @MyAnno String.

Default:

{}