Package org.checkerframework.checker.modifiability
package org.checkerframework.checker.modifiability
-
ClassesClassDescriptionShared annotated type factory logic for the Modifiability sub-checkers.Base class for the Modifiability sub-checkers.Base visitor for the modifiability sub-checkers (Grow, SeqGrow, Shrink, Replace, and Iterator).A type-checker that warns, at compile time, if a program might throw
UnsupportedOperationExceptionat run time due to calling a mutating method on a collection.Visitor for the aggregate ModifiabilityChecker.