Package org.checkerframework.checker.modifiability.replace

package org.checkerframework.checker.modifiability.replace

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.seqgrow
org.checkerframework.checker.modifiability.shrink

Classes

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