Annotation Interface MinLenFieldInvariant
A specialization of
FieldInvariantfor specifying the minimum length of an array. A class can be annotated with both this annotation and a
- See the Checker Framework Manual:
- Field invariants
Required Element Summary
minLenint minLenMin length of the array. Must be greater than the min length of the array as declared in the superclass.
fieldString fieldThe 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.