Package org.checkerframework.checker.signature.qual

Annotation Type SignatureUnknown

  • @Documented
@Retention(RUNTIME)
@Target({})
@SubtypeOf({})
@DefaultQualifierInHierarchy
public @interface SignatureUnknown
    Top qualifier in the type hierarchy.

    This annotation may not be written in source code; it is an implementation detail of the checker.

    See the Checker Framework Manual:
    Signature Checker