org.checkerframework.checker.calledmethods.qual

Annotation Type RequiresCalledMethods.List

@Documented
 @Retention(value=RUNTIME)
 @Target(value={METHOD,CONSTRUCTOR})
public static @interface RequiresCalledMethods.List

A wrapper annotation that makes the RequiresCalledMethods annotation repeatable.

Programmers generally do not need to write this. It is created by Java when a programmer writes more than one RequiresCalledMethods annotation at the same location.

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
RequiresCalledMethods[]	value Returns the repeatable annotations.

Element Detail

value

public abstract RequiresCalledMethods[] value

Returns the repeatable annotations.

Returns:

the repeatable annotations