Uses of Annotation Interface
org.checkerframework.framework.qual.MonotonicQualifier

Packages that use MonotonicQualifier

Package	Description
org.checkerframework.checker.nullness.qual

Uses of MonotonicQualifier in org.checkerframework.checker.nullness.qual

Classes in org.checkerframework.checker.nullness.qual with annotations of type MonotonicQualifier

Modifier and Type	Class	Description
@interface	MonotonicNonNull	Indicates that once the field (or variable) becomes non-null, it never becomes null again.