Annotation GTEqLengthOf

[panacekcz]

Similarly to the annotation @LTEqLengthOf(value), there could be an annotation @GTEqLengthOf(value).
Then @GTEqLengthOf("array") int i; would mean i >= array.length.

As a single known use case, in Guava, the maxLength parameter of Ascii.truncate should be @GTEqLengthOf("#3").

Then, maxLength-truncationIndicator.length() would be @NonNegative.

Alternatively, there could be an annotation establishing the relation in the opposite direction, something like @MaxLength("#2") String truncationIndicator.

This annotation is currently not intended to be implemented.