Package org.checkerframework.checker.nonempty

package org.checkerframework.checker.nonempty

Related Packages

Package	Description
org.checkerframework.checker.nonempty.qual

Classes

Class	Description
NonEmptyAnnotatedTypeFactory	The type factory for the NonEmptyChecker.
NonEmptyChecker	A type-checker that prevents NoSuchElementException in the use of container classes.
NonEmptyTransfer	This class implements type rules that cannot be expressed via pre- or post-condition annotations.