org.checkerframework.framework.qual

Annotation Type DefaultQualifierInHierarchyInUncheckedCode

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

Indicates that the annotated qualifier is the default qualifier on unannotated type uses (in bytecode or source code that has not been type-checked).

This qualifier only applies if the -AuseDefaultsForUncheckedCode command-line option enables unchecked code defaults. 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.

Each type qualifier hierarchy may have at most one qualifier marked as DefaultQualifierInHierarchyInUncheckedCode.

Note, this annotation is analogous to @DefaultQualifierInHierarchy but for unannotated type uses in code that has not been type-checked.

If a checker does not specify a default qualifier for unchecked code, then the defaults for checked code will be used.

This qualifier is for type system developers, not end-users.

See Also:

AnnotatedFor, DefaultInUncheckedCodeFor

See the Checker Framework Manual:

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