Annotation Interface EnsuresInitializedFields.List

Enclosing class:

A wrapper annotation that makes the EnsuresInitializedFields annotation repeatable.

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

  • Required Element Summary

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