Annotation Interface PolyGrowable
@Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@PolymorphicQualifier(MaybeGrowable.class)
public @interface PolyGrowable
A polymorphic qualifier for the Grow hierarchy.
When used on a method, the Grow capability of the return type matches the Grow capability of
the argument or receiver annotated with @PolyGrowable.
- See the Checker Framework Manual:
- Modifiability Checker, Qualifier polymorphism