Annotation Interface EnsuresNonEmptyIf.List

Enclosing class:
EnsuresNonEmptyIf

A wrapper annotation that makes the EnsuresNonEmptyIf annotation repeatable.

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

  • Required Element Summary

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

    • value

      Returns the repeatable annotations.
      Returns:
      the repeatable annotations