Package org.checkerframework.checker.index.growonly

package org.checkerframework.checker.index.growonly

Related Packages

Package	Description
org.checkerframework.checker.index

Classes

Class	Description
GrowOnlyAnnotatedTypeFactory	The type factory for the Grow-only Checker.
GrowOnlyChecker	A type-checker that enforces rules about mutable-length sequences.
GrowOnlyVisitor	The visitor for the Grow-only Checker.