org.checkerframework.checker.regex.qual

Annotation Type PolyRegex

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

A polymorphic qualifier for the Regex type system.

Any method written using @PolyRegex conceptually has two versions: one in which every instance of @PolyRegex String has been replaced by @Regex String, and one in which every instance of @PolyRegex String has been replaced by String.

See the Checker Framework Manual:

Regex Checker, Qualifier polymorphism