Annotation Type MinLenFieldInvariant

    • Required Element Summary

      Required Elements 
      Modifier and Type Required Element Description
      String[] field
      The field that has an array length qualifier in the class on which the field invariant is written.
      int[] minLen
      Min length of the array.
    • Element Detail

      • minLen

        int[] minLen
        Min length of the array. Must be greater than the min length of the array as declared in the superclass.
      • field

        String[] field
        The field that has an array length qualifier in the class on which the field invariant is written. The field must be final and declared in a superclass.