checkers.quals

Annotation Type ImplicitFor

public @interface ImplicitFor

A meta-annotation that specifies the trees and types for which the framework should automatically add that qualifier. These types and trees can be specified via any combination of four fields.

For example, the Nullable annotation is annotated with

   @ImplicitFor(trees={Tree.Kind.NULL_LITERAL})
 

to denote that the framework should automatically apply Nullable to all instances of "null."

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
String[]	stringPatterns
Class<? extends @Nullable Tree>[]	treeClasses
Tree.Kind[]	trees
Class<? extends @Mutable AnnotatedTypeMirror>[]	typeClasses
TypeKind[]	types

Element Detail

trees

public abstract Tree.Kind[] trees

Returns:

Tree.Kinds of trees for which an annotation should be implicitly added

Default:

{}

treeClasses

public abstract Class<? extends @Nullable Tree>[] treeClasses

Returns:

Classes of trees for which an annotation should be implicitly added

Default:

{}

types

public abstract TypeKind[] types

Returns:

TypeKinds of types for which an annotation should be implicitly added

Default:

{}

typeClasses

public abstract Class<? extends @Mutable AnnotatedTypeMirror>[] typeClasses

Returns:

Classes of types for which an annotation should be implicitly added

Default:

{}

stringPatterns

public abstract String[] stringPatterns

Returns:

Regular expressions of string literals, the types of which an annotation should be implicitly added

Default:

{}