org.checkerframework.framework.qual

Annotation Type ImplicitFor

@Retention(value=RUNTIME)
 @Target(value=ANNOTATION_TYPE)
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 six attributes.

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
LiteralKind[]	literals
String[]	stringPatterns
Class<?>[]	typeNames
TypeKind[]	types

Element Detail

literals

public abstract LiteralKind[] literals

Returns:

LiteralKinds 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:

{}

typeNames

public abstract Class<?>[] typeNames

Returns:

Classes (in the actual program) for which an annotation should be implicitly added. For example, "java.lang.Void.class" should receive the same annotation as the null literal.

Default:

{}

stringPatterns

public abstract String[] stringPatterns

Returns:

Regular expressions of string literals, the types of which an annotation should be implicitly added. If multiple patterns match, then the string literal is given the greatest lower bound of all the matches.

Default:

{}