org.checkerframework.framework.qual

Annotation Type DefaultFor

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

Applied to the declaration of a type qualifier specifies that the given annotation should be the default for a particular location. TODO: Document use relative to the other annotations. This qualifier is for type system developers, not end-users.

See Also:

TypeUseLocation, DefaultQualifier, DefaultQualifierInHierarchy, ImplicitFor

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
TypeUseLocation[]	value

Element Detail

value

public abstract TypeUseLocation[] value

Returns:

the locations to which the annotation should be applied