Uses of Annotation Type
org.checkerframework.framework.qual.MonotonicQualifier
Packages that use MonotonicQualifier
-
Uses of MonotonicQualifier in org.checkerframework.checker.nullness.qual
Classes in org.checkerframework.checker.nullness.qual with annotations of type MonotonicQualifierModifier and TypeClassDescription@interface
Indicates that once the field (or variable) becomes non-null, it never becomes null again.