Module org.checkerframework.checker.qual
Package org.checkerframework.checker.mustcall.qual

Annotation Interface InheritableMustCall

@Inherited @Retention(RUNTIME) @Target(TYPE) public @interface InheritableMustCall
This annotation is an alias for MustCall that applies to the type on which it is written and all of its subtypes. It avoids the need to annotate each subtype with a MustCall annotation. This annotation may only be written on a class declaration.

  • Optional Element Summary

    Optional Elements
    Modifier and Type
    Optional Element
    Description
    String[]
    value
    Methods that might need to be called on the expression whose type is annotated.

  • Element Details

    • value

      String[] value
      Methods that might need to be called on the expression whose type is annotated.
      Returns:
      methods that might need to be called
      Default:
      {}