JavaScript is disabled on your browser.
Skip navigation links
Overview
Class
Tree
Deprecated
Index
Search
Help
org.checkerframework.checker.nonempty.qual
NonEmpty
Contents
Hide sidebar
❮
❯
Show sidebar
Description
Annotation Interface NonEmpty
@Documented
@Retention
(
RUNTIME
)
@Target
({
TYPE_PARAMETER
,
TYPE_USE
})
@SubtypeOf
(
UnknownNonEmpty
.class)
public @interface
NonEmpty
The
Collection
,
Iterator
,
Iterable
, or
Map
, or
Stream
is definitely non-empty.
See the Checker Framework Manual:
Non-Empty Checker