org.checkerframework.checker.index.qual

Annotation Type SameLen

@SubtypeOf(value=SameLenUnknown.class)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
public @interface SameLen

An expression whose type has this annotation evaluates to a value that is a sequence, and that sequence has the same length as the given sequences. For example, if b's type is annotated with @SameLen("a"), then a and b have the same length.

See the Checker Framework Manual:

Index Checker

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
String[]	value A list of other sequences with the same length.

Element Detail

value

public abstract String[] value

A list of other sequences with the same length.