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. Example:

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

See Also:

DefaultQualifier

Optional Element Summary

DefaultQualifier[]

value The default qualifier settings

value

public abstract DefaultQualifier[] value

The default qualifier settings

Default:

{}