Top Description Methods
org.checkerframework.checker.regex.qual

public @Interface PolyRegex

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target:TYPE_USE, TYPE_PARAMETER
@PolymorphicQualifier:UnknownRegex
Imports
java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.PolymorphicQualifier

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.

Method Summary

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString