org.checkerframework.checker.mustcall.qual

Annotation Type InheritableMustCall

@Inherited
 @Retention(value=RUNTIME)
 @Target(value=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 and Description
String[]	value Methods that might need to be called on the expression whose type is annotated.

Element Detail

value

public abstract 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:

{}