org.checkerframework.checker.index.qual

Annotation Type SameLen

@Documented
 @Retention(value=RUNTIME)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
 @SubtypeOf(value=SameLenUnknown.class)
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

@JavaExpression
public abstract String[] value

A list of other sequences with the same length.