org.checkerframework.checker.mustcall.qual

public @Interface InheritableMustCall

Annotations

@Inherited
@Retention:RUNTIME
@Target:TYPE

Imports

java.lang.annotation.ElementType, .Inherited, .Retention, .RetentionPolicy, .Target

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.

Method Summary

Modifier and Type	Method and Description
public String[]	Returns: methods that might need to be called value() Methods that might need to be called on the expression whose type is annotated.

Inherited from java.lang.annotation.Annotation:: annotationType equals hashCode toString

Method Detail

value	back to summary
public String[] value() Methods that might need to be called on the expression whose type is annotated. Returns:String[] methods that might need to be called

value

back to summary

public String[] value()

Methods that might need to be called on the expression whose type is annotated.

Returns:String[]: methods that might need to be called