org.checkerframework.checker.regex.qual

Annotation Type ClassRegexParam

@Retention(value=RUNTIME)
 @Target(value=TYPE)
 @Repeatable(value=MultiClassRegexParam.class)
public @interface ClassRegexParam

ClassRegexParam declares a regex qualifier parameter on a class.

See Also:

ClassTaintingParam

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
String	value The name of the qualifier parameter to declare.

Element Detail

value

public abstract String value

The name of the qualifier parameter to declare.

Default:

"_primary"