@PolymorphicQualifier
@Target(value={TYPE_USE,TYPE_PARAMETER})
public @interface PolyLength
Syntactic sugar for both @PolyValue and @PolySameLen.
- See Also:
PolyValue,
PolySameLen- See the Checker Framework Manual:
- Index Checker, Qualifier polymorphism