Package org.checkerframework.checker.nonempty.qual

Annotation Interface UnknownNonEmpty

@Documented
@Retention(RUNTIME)
@Target({TYPE_PARAMETER,TYPE_USE})
@DefaultQualifierInHierarchy
@SubtypeOf({})
public @interface UnknownNonEmpty

The Collection, Iterator, Iterable, or Map may or may not be empty.

See the Checker Framework Manual:

Non-Empty Checker