org.checkerframework.framework.qual

Annotation Type QualifierForLiterals

@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 The type of strings that match these patterns have 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 other occurrences of String in the source code are not affected. For String literals, also see the stringPatterns() annotation field.

Default:

{}

stringPatterns

public abstract String[] stringPatterns

The type of strings that match these patterns have this qualifier. If multiple patterns match, then the string literal is given the greatest lower bound of all the matches.

Default:

{}