Annotation 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
-
Element Details
-
value
String[] valueMethods that might need to be called on the expression whose type is annotated.- Returns:
- methods that might need to be called
- Default:
- {}
-