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 specified 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, Map, or Stream is definitely non-empty.
PolyNonEmpty	A polymorphic qualifier for the Non-Empty type system.
RequiresNonEmpty	Indicates a method precondition: the specified expressions, each of which 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, Map, or Stream may or may not be empty.