Annotation Interface SeqUngrowable
@Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@SubtypeOf(MaybeSeqGrowable.class)
public @interface SeqUngrowable
Calling sequenced-grow operations such as
addFirst, addLast, offerFirst,
offerLast, push, putFirst, and putLast on this collection or map
will throw UnsupportedOperationException.
No guarantees are made about ordinary grow, shrink, or replace operations.
- See the Checker Framework Manual:
- Modifiability Checker