org.checkerframework.framework.qual

Annotation Type DefaultFor

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

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

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

See Also:

TypeUseLocation, DefaultQualifier, DefaultQualifierInHierarchy

Optional Element Summary

Optional Elements

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

Element Detail

value

public abstract TypeUseLocation[] value

Returns:

the locations to which the annotation should be applied

Default:

{}

typeKinds

public abstract TypeKind[] typeKinds

Returns:

TypeKinds of types for which an annotation should be implicitly added

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:

{}