checkers.quals
注釈型 DefaultQualifier


@Documented
@Retention(value=RUNTIME)
@Target(value={CONSTRUCTOR,METHOD,FIELD,LOCAL_VARIABLE,PARAMETER,TYPE})
public @interface DefaultQualifier

Applied to a declaration of a package, type, method, variable, etc., specifies that the given annotation should be the default. The default is applied to all types within the declaration for which no other annotation is explicitly written. If multiple DefaultQualifier annotations are in scope, the innermost one takes precedence. DefaultQualifier takes precedence over DefaultQualifierInHierarchy.

If you wish to write multiple @DefaultQualifier annotations (for unrelated type systems, or with different locations fields) at the same location, use DefaultQualifiers.

関連項目:
DefaultLocation

必須要素の概要
 java.lang.String value
          The name of the default annotation.
 
任意要素の概要
 DefaultLocation[] locations
           
 

要素の詳細

value

public abstract java.lang.String value
The name of the default annotation. It may be a short name like "NonNull", if an appropriate import statement exists. Otherwise, it should be fully-qualified, like "checkers.nullness.quals.NonNull".

To prevent affecting other type systems, always specify an annotation in your own type hierarchy. (For example, do not set "checkers.quals.Unqualified" as the default.)

locations

public abstract DefaultLocation[] locations
戻り値:
the locations to which the annotation should be applied
デフォルト:
checkers.quals.DefaultLocation.ALL