org.checkerframework.checker.index.qual

Annotation Type SameLenUnknown

@Documented
 @Retention(value=RUNTIME)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
 @SubtypeOf(value={})
 @DefaultQualifierInHierarchy
 @InvisibleQualifier
public @interface SameLenUnknown

This type represents any variable that isn't known to have the same length as another sequence. This is the top type of the Same Length type system. Programmers should not need to write this type.

See the Checker Framework Manual:

Index Checker