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 two versions: one in which every
instance of PolyRegex has been replaced by Regex, and one in which every instance
of PolyRegex has been replaced by UnknownRegex.
- See the Checker Framework Manual:
- Regex Checker, Qualifier polymorphism