org.checkerframework.checker.index.qual

Annotation Type LTLengthOf

@SubtypeOf(value=LTEqLengthOf.class)
 @Retention(value=RUNTIME)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
public @interface LTLengthOf

The annotated expression evaluates to an integer whose value is less than the lengths of all the given sequences.

For example, an expression with type @LTLengthOf({"a", "b"}) is less than both a.length and b.length. The sequences a and b might have different lengths.

See the Checker Framework Manual:

Index Checker

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
String[]	value Sequences, each of which is longer than the annotated expression's value.

Element Detail

value

public abstract String[] value

Sequences, each of which is longer than the annotated expression's value.