Package org.checkerframework.checker.nonempty.qual

package org.checkerframework.checker.nonempty.qual

Related Packages

Package	Description
org.checkerframework.checker.nonempty

Annotation Interfaces

Class	Description
EnsuresNonEmpty	Indicates that a particular expression evaluates to a non-empty value, if the method terminates successfully.
EnsuresNonEmptyIf	Indicates that the specific expressions are non-empty, if the method returns the given result (either true or false).
EnsuresNonEmptyIf.List	A wrapper annotation that makes the EnsuresNonEmptyIf annotation repeatable.
NonEmpty	The Collection, Iterator, Iterable, or Map is definitely non-empty.
PolyNonEmpty	A polymorphic qualifier for the Non-Empty type system.
RequiresNonEmpty	Indicates a method precondition: the specified expressions that may be a collection, iterator, iterable, or map must be non-empty when the annotated method is invoked.
RequiresNonEmpty.List	A wrapper annotation that makes the RequiresNonEmpty annotation repeatable.
UnknownNonEmpty	The Collection, Iterator, Iterable, or Map may or may not be empty.