Package org.checkerframework.checker.index.qual

Annotation Type SameLen

  • @Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@SubtypeOf(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 Description
      java.lang.String[] value
      A list of other sequences with the same length.

    • Element Detail

      • value

        @JavaExpression
java.lang.String[] value
        A list of other sequences with the same length.