Uses of Class
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.
-