Package org.checkerframework.checker.regex.qual

Annotation Type PolyRegex

@Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@PolymorphicQualifier(UnknownRegex.class)
public @interface PolyRegex

A polymorphic qualifier for the Regex type system.

Any method written using PolyRegex conceptually has multiple versions: one in which all instances of PolyRegex in the method signature have been replaced by one of the following qualifiers: Regex, which takes an integer argument to represent different capturing groups; PartialRegex, which takes a string argument to represent different partial regexes; UnknownRegex; and RegexBottom.

See the Checker Framework Manual:

Regex Checker, Qualifier polymorphism