org.checkerframework.framework.qual

Annotation Type QualifierForLiterals

@Documented
 @Retention(value=RUNTIME)
 @Target(value=ANNOTATION_TYPE)
public @interface QualifierForLiterals

A meta-annotation that indicates what qualifier should be given to literals. @QualifierForLiterals is equivalent to @QualfierForLiterals(LiteralKind.ALL)

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
String[]	stringPatterns A string literal that matches any of these patterns has this qualifier.
LiteralKind[]	value The kinds of literals whose types have this qualifier.

Element Detail

value

public abstract LiteralKind[] value

The kinds of literals whose types have this qualifier. For example, if @MyAnno is meta-annotated with @QualifierForLiterals(LiteralKind.STRING), then a literal String constant such as "hello world" has type @MyAnno String, but occurrences of String in the source code are not affected.

For String literals, also see the stringPatterns() annotation element/field.

Default:

{}

stringPatterns

public abstract String[] stringPatterns

A string literal that matches any of these patterns has this qualifier.

If patterns for multiple qualifers match, then the string literal is given the greatest lower bound of all the matches.

Default:

{}