Package org.checkerframework.checker.modifiability.qual

package org.checkerframework.checker.modifiability.qual

Annotation Interfaces

Class	Description
BottomGrowable	The bottom qualifier in the Grow hierarchy.
BottomReplaceable	The bottom qualifier in the Replace hierarchy.
BottomSeqGrowable	The bottom qualifier in the sequenced-grow hierarchy.
BottomShrinkable	The bottom qualifier in the Shrink hierarchy.
Growable	Calling grow operations such as add, addAll, etc.
IteratorPolyMod	If a collection's type is @IteratorPolyMod, then its iterator() and listIterator() methods preserve the ability to call modification methods in its iterator.
MaybeGrowable	The top qualifier in the Grow hierarchy.
MaybeIteratorPolyMod	The top qualifier in the Iterator hierarchy.
MaybeModifiable	Convenience alias meaning @MaybeGrowable @MaybeSeqGrowable @MaybeShrinkable @MaybeReplaceable.
MaybeReplaceable	The top qualifier in the Replace hierarchy.
MaybeSeqGrowable	The top qualifier in the sequenced-grow hierarchy.
MaybeShrinkable	The top qualifier in the Shrink hierarchy.
Modifiable	Convenience alias usually meaning @Growable @Shrinkable @Replaceable @SeqGrowable.
PolyGrowable	A polymorphic qualifier for the Grow hierarchy.
PolyIteratorPolyMod	A polymorphic qualifier for the Iterator hierarchy.
PolyModifiable	Convenience alias meaning @PolyGrowable @PolySeqGrowable @PolyShrinkable @PolyReplaceable.
PolyReplaceable	A polymorphic qualifier for the Replace hierarchy.
PolySeqGrowable	A polymorphic qualifier for the sequenced-grow hierarchy.
PolyShrinkable	A polymorphic qualifier for the Shrink hierarchy that preserves the shrink capability.
PreservesModifiability	The annotated method preserves modifiability capabilities from its first argument to its return value.
Replaceable	Calling replace operations such as set, replaceAll, etc.
SeqGrowable	Calling sequenced-grow operations such as addFirst, addLast, offerFirst, offerLast, push, putFirst, and putLast on this collection or map will not throw UnsupportedOperationException.
SeqUngrowable	Calling sequenced-grow operations such as addFirst, addLast, offerFirst, offerLast, push, putFirst, and putLast on this collection or map will throw UnsupportedOperationException.
Shrinkable	Calling shrink operations such as remove, removeAll, clear, etc.
ThrowsUnsupportedOperation	Indicates that the method's implementation always throws UnsupportedOperationException, as AbstractList.set() does.
Ungrowable	Calling grow operations such as add, addAll, etc.
Unmodifiable	Convenience alias usually meaning @Ungrowable @SeqUngrowable @Unshrinkable @Unreplaceable.
UnmodifiableParam	Convenience alias that is syntactic sugar for @MaybeModifiable.
Unreplaceable	Calling replace operations such as set, replaceAll, etc.
Unshrinkable	Calling shrink operations such as remove, removeAll, clear, etc.