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.

See the Checker Framework Manual:

Upper bound of qualifiers on uses of a given type

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
TypeKind[]	typeKinds Returns TypeKinds of types for which an annotation should be added by default.
Class<?>[]	types Returns Classes for which an annotation should be applied.

Element Detail

typeKinds

public abstract TypeKind[] typeKinds

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

Returns:

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

Default:

{}

types

public abstract 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.

Returns:

Classes for which an annotation should be applied

Default:

{}