checkers.signature.quals

Annotation Type PolySignature

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.