Annotation Interface 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