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