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.
    See the Checker Framework Manual:
    Must Call Checker
    • Optional Element Summary

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

      • value

        java.lang.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:
        {}