Package org.checkerframework.checker.index.qual

Annotation Interface UnshrinkableRef

@Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@SubtypeOf({})
@DefaultQualifierInHierarchy
@InvisibleQualifier
public @interface UnshrinkableRef

An expression of type @UnshrinkableRef may not be used to remove elements, e.g., by calling remove() or clear() on it. The collection might be shrunk by some other reference that aliases the expression of type @UnshrinkableRef.

See the Checker Framework Manual:

Grow-only Checker