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