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 by String.

    See the Checker Framework Manual:
    Signature Checker, Qualifier polymorphism