org.checkerframework.framework.qual

Annotation Type DefaultQualifiers

@Documented
 @Retention(value=SOURCE)
 @Target(value={PACKAGE,TYPE,CONSTRUCTOR,METHOD,FIELD,LOCAL_VARIABLE,PARAMETER})
public @interface DefaultQualifiers

Specifies the annotations to be included in a type without having to provide them explicitly.

This annotation permits specifying multiple default qualifiers for more than one type system. It is generally not used by programmers, because Java permits writing multiple annotations of the same name at a single location and internally creates this wrapper annotation.

Example: The following two code snippets have identical effect.

   @DefaultQualifier(NonNull.class)
   @DefaultQualifier(value = Interned.class, locations = ALL_EXCEPT_LOCALS)
   @DefaultQualifier(Tainted.class)
   class MyClass { ... }
 

   @DefaultQualifiers({
       @DefaultQualifier(NonNull.class),
       @DefaultQualifier(value = Interned.class, locations = ALL_EXCEPT_LOCALS),
       @DefaultQualifier(Tainted.class)
   })
   class MyClass { ... }
 

This annotation currently has no effect in stub files.

See Also:

DefaultQualifier

See the Checker Framework Manual:

Default qualifier for unannotated types

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
DefaultQualifier[]	value The default qualifier settings.

Element Detail

value

public abstract DefaultQualifier[] value

The default qualifier settings.

Default:

{}