Package checkers.quals

Annotation Interface DefaultQualifiers

@Documented
@Retention(RUNTIME)
@Target({CONSTRUCTOR,METHOD,FIELD,LOCAL_VARIABLE,PARAMETER,TYPE})
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 necessary because Java forbids multiple annotations of the same name at a single location. Example:

   @DefaultQualifiers({
       @DefaultQualifier("NonNull"),
       @DefaultQualifier(value = "Interned", locations = ALL_EXCEPT_LOCALS),
       @DefaultQualifier("Tainted")
   })
 

See Also:

• DefaultQualifier

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element	Description
DefaultQualifier[]	value

Element Details

value

DefaultQualifier[] value

Returns:

the default qualifier settings

Default:

{}