Package org.checkerframework.checker.calledmethods.qual

Annotation Interface EnsuresCalledMethodsOnException.List

Enclosing class:

EnsuresCalledMethodsOnException

@Documented
@Retention(RUNTIME)
@Target({METHOD,CONSTRUCTOR})
@InheritedAnnotation
public static @interface EnsuresCalledMethodsOnException.List

A wrapper annotation that makes the EnsuresCalledMethodsOnException annotation repeatable. This annotation is an implementation detail: programmers generally do not need to write this. It is created automatically by Java when a programmer writes more than one EnsuresCalledMethodsOnException annotation at the same location.

Required Element Summary

Required Elements

Modifier and Type	Required Element	Description
EnsuresCalledMethodsOnException[]	value	Return the repeatable annotations.

Element Details

value

EnsuresCalledMethodsOnException[] value

Return the repeatable annotations.

Returns:

the repeatable annotations