org.checkerframework.framework.qual

Annotation Type DefaultInUncheckedCodeFor

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

Applied to the declaration of a type qualifier, specifies that the given annotation should be the default for unannotated type uses (in bytecode or source code) at the given location(s).

Unchecked code defaults are only applied if they are enabled via the -AuseDefaultsForUncheckedCode command-line option. They can be enabled for source and bytecode separately. If the unchecked code defaults are enabled for source code, they will only be applied to source code not annotated with AnnotatedFor for the checker being executed.

Note, this annotation is analogous to DefaultFor but for unannotated type uses in code that has not been type-checked. This qualifier is for type system developers, not end-users.

See Also:

AnnotatedFor, DefaultQualifier, DefaultQualifierInHierarchyInUncheckedCode

See the Checker Framework Manual:

Default qualifiers for .class files (conservative library defaults), Compiling partially-annotated libraries

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