Package org.checkerframework.checker.modifiability.grow

package org.checkerframework.checker.modifiability.grow

Related Packages

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

Classes

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