Annotation Type PolyLowerBound
-
@Documented @Retention(RUNTIME) @Target({TYPE_USE,TYPE_PARAMETER}) @PolymorphicQualifier(LowerBoundUnknown.class) public @interface PolyLowerBound
A polymorphic qualifier for the Lower Bound type system.- See the Checker Framework Manual:
- Index Checker, Qualifier polymorphism