Package org.checkerframework.checker.modifiability.qual
package org.checkerframework.checker.modifiability.qual
-
Annotation InterfacesClassDescriptionThe bottom qualifier in the Grow hierarchy.The bottom qualifier in the Replace hierarchy.The bottom qualifier in the sequenced-grow hierarchy.The bottom qualifier in the Shrink hierarchy.Calling grow operations such as
add,addAll, etc.If a collection's type is@IteratorPolyMod, then itsiterator()andlistIterator()methods preserve the ability to call modification methods in its iterator.The top qualifier in the Grow hierarchy.The top qualifier in the Iterator hierarchy.Convenience alias meaning@MaybeGrowable @MaybeSeqGrowable @MaybeShrinkable @MaybeReplaceable.The top qualifier in the Replace hierarchy.The top qualifier in the sequenced-grow hierarchy.The top qualifier in the Shrink hierarchy.Convenience alias usually meaning@Growable @Shrinkable @Replaceable @SeqGrowable.A polymorphic qualifier for the Grow hierarchy.A polymorphic qualifier for the Iterator hierarchy.Convenience alias meaning@PolyGrowable @PolySeqGrowable @PolyShrinkable @PolyReplaceable.A polymorphic qualifier for the Replace hierarchy.A polymorphic qualifier for the sequenced-grow hierarchy.A polymorphic qualifier for the Shrink hierarchy that preserves the shrink capability.The annotated method preserves modifiability capabilities from its first argument to its return value.Calling replace operations such asset,replaceAll, etc.Calling sequenced-grow operations such asaddFirst,addLast,offerFirst,offerLast,push,putFirst, andputLaston this collection or map will not throwUnsupportedOperationException.Calling sequenced-grow operations such asaddFirst,addLast,offerFirst,offerLast,push,putFirst, andputLaston this collection or map will throwUnsupportedOperationException.Calling shrink operations such asremove,removeAll,clear, etc.Indicates that the method's implementation always throwsUnsupportedOperationException, asAbstractList.set()does.Calling grow operations such asadd,addAll, etc.Convenience alias usually meaning@Ungrowable @SeqUngrowable @Unshrinkable @Unreplaceable.Convenience alias that is syntactic sugar for@MaybeModifiable.Calling replace operations such asset,replaceAll, etc.Calling shrink operations such asremove,removeAll,clear, etc.