Annotation Interface InheritableMustCall
@Inherited @Retention(RUNTIME) @Target(TYPE) public @interface InheritableMustCall
This annotation is an alias for
MustCallthat applies to the type on which it is written and all of its subtypes. It prevents the need to annotate each subtype with an
MustCallannotation. This annotation may only be written on a class declaration.
- See the Checker Framework Manual:
- Must Call Checker
Optional Element Summary
valueString valueMethods that might need to be called on the expression whose type is annotated.
- methods that might need to be called