Package org.checkerframework.checker.modifiability.seqgrow

package org.checkerframework.checker.modifiability.seqgrow

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.shrink

Classes

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