Annotation 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
    A list of other sequences with the same length.