Package org.checkerframework.checker.modifiability.shrink

package org.checkerframework.checker.modifiability.shrink

Related Packages

Package	Description
org.checkerframework.checker.modifiability
org.checkerframework.checker.modifiability.grow
org.checkerframework.checker.modifiability.iterator
org.checkerframework.checker.modifiability.qual
org.checkerframework.checker.modifiability.replace
org.checkerframework.checker.modifiability.seqgrow

Classes

Class	Description
ShrinkAnnotatedTypeFactory	The annotated type factory for the ShrinkChecker.
ShrinkChecker	A type-checker that warns, at compile time, if a program might throw UnsupportedOperationException at run time due to calling a shrink method on a collection.