Annotation Interface EnsuresCalledMethods.List
- Enclosing class:
- EnsuresCalledMethods
@Documented
@Retention(RUNTIME)
@Target({METHOD,CONSTRUCTOR})
@InheritedAnnotation
public static @interface EnsuresCalledMethods.List
A wrapper annotation that makes the
EnsuresCalledMethods
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 EnsuresCalledMethods
annotation at the same location.-
Required Element Summary
Modifier and TypeRequired ElementDescriptionReturn the repeatable annotations.
-
Element Details
-
value
EnsuresCalledMethods[] valueReturn the repeatable annotations.- Returns:
- the repeatable annotations
-