Annotation Interface Modifiable
Convenience alias usually meaning
@Growable @Shrinkable @Replaceable @SeqGrowable.
Calling a mutating operation (growing, shrinking, replacing, or sequenced-growing) on this
collection will not throw UnsupportedOperationException.
As an exception, @Modifiable means @Maybe* if the type does not support a
given category of operation; for example, @Modifiable Iterator means
@MaybeGrowable @Shrinkable @MaybeReplaceable @MaybeSeqGrowable Iterator.
- See the Checker Framework Manual:
- Modifiability Checker