Package org.checkerframework.checker.mustcall.qual

Annotation Type 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 prevents the need to annotate each subtype with an 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 Detail

      • 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:
        {}