Annotation Type MinLenFieldInvariant
-
@Documented @Retention(RUNTIME) @Target(TYPE) @Inherited public @interface MinLenFieldInvariant
A specialization ofFieldInvariantfor specifying the minimum length of an array. A class can be annotated with both this annotation and aFieldInvariantannotation.
-
-
-
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.
-
-