Annotation Type InheritableMustCall
-
@Inherited @Retention(RUNTIME) @Target(TYPE) public @interface InheritableMustCall
This annotation is an alias forMustCall
that applies to the type on which it is written and all of its subtypes. It prevents the need to annotate each subtype with anMustCall
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.
-