Annotation Interface MaybeGrowable
@Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@SubtypeOf({})
@DefaultQualifierInHierarchy
public @interface MaybeGrowable
The top qualifier in the Grow hierarchy. The collection may or may not support grow operations
such as
add. The checker conservatively issues an error wherever a grow operation is
called on a @MaybeGrowable expression.
This is the default qualifier for unannotated types in the Grow hierarchy.
- See the Checker Framework Manual:
- Modifiability Checker