Annotation Interface EnsuresCalledMethods.List

Enclosing class:

@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

    Required Elements
    Modifier and Type
    Required Element
    Return the repeatable annotations.
  • Element Details

    • value

      Return the repeatable annotations.
      the repeatable annotations