checkers.quals
Annotation Type DefaultQualifiers


@Documented
@Retention(value=RUNTIME)
@Target(value={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
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:
{}