org.checkerframework.checker.index.qual

Annotation Type LengthOf

@Target(value={TYPE_USE,TYPE_PARAMETER})
public @interface LengthOf

An integer that, for each of the given sequences, is equal to the sequence's length.

This is treated as an IndexOrHigh annotation internally. This is an implementation detail that may change in the future, when this type may be used to implement more precise refinements.

See the Checker Framework Manual:

Index Checker

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
String[]	value Sequences that the annotated expression is equal to the lengeth of.

Element Detail

value

public abstract String[] value

Sequences that the annotated expression is equal to the lengeth of.

Default:

{}