org.checkerframework.checker.regex.qual

Annotation Type PolyRegex

@Retention(value=RUNTIME)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
 @Repeatable(value=MultiPolyRegex.class)
public @interface PolyRegex

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
String	param The name of the qualifier parameter to set.

Element Detail

param

public abstract String param

The name of the qualifier parameter to set.

Default:

"_primary"