Annotation Type InheritableMustCall
-
@Inherited @Retention(RUNTIME) @Target(TYPE) public @interface InheritableMustCallThis annotation is an alias forMustCallthat applies to the type on which it is written and all of its subtypes. It prevents the need to annotate each subtype with anMustCallannotation. 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[]valueMethods that might need to be called on the expression whose type is annotated.
-