Annotation Interface EnsuresCalledMethodsOnException.List

Enclosing class:

@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.