JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Class
Use
Tree
Index
Help
Summary:
Field
Required
Optional
Detail:
Field
Element
Summary:
Field |
Required |
Optional
Detail:
Field |
Element
SEARCH
Package
org.checkerframework.checker.mustcall.qual
Annotation Type InheritableMustCall
@Inherited
@Retention
(
RUNTIME
)
@Target
(
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.
Optional Element Summary
Optional Elements
Modifier and Type
Optional Element
Description
String
[]
value
Methods that might need to be called on the expression whose type is annotated.
Element Details
value
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:
{}