Annotation Type PolySignature
-
@Documented @Retention(RUNTIME) @Target({TYPE_USE,TYPE_PARAMETER}) @PolymorphicQualifier(SignatureUnknown.class) public @interface PolySignature
A polymorphic qualifier for the Signature type system.Any method written using
@PolySignature
conceptually has two versions: one in which every instance of@PolySignature String
has been replaced by@Signature String
, and one in which every instance of@PolySignature String
has been replaced byString
.- See the Checker Framework Manual:
- Signature Checker, Qualifier polymorphism