@DefaultQualifierInHierarchy
@SubtypeOf(value={})
@Target(value={TYPE_USE,TYPE_PARAMETER})
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