Annotation Interface PolyIndex
@Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@PolymorphicQualifier(UpperBoundUnknown.class)
public @interface PolyIndex
A polymorphic qualifier for the Lower Bound and Upper Bound type systems.
Writing @PolyIndex is equivalent to writing @PolyUpperBound
@PolyLowerBound, and that is how it is treated internally by the checker.
Thus, if you write an @PolyIndex annotation, you might see warnings about
@PolyUpperBound or @PolyLowerBound.
- See Also:
- See the Checker Framework Manual:
- Index Checker, Qualifier polymorphism