Used to annotate a value that may be either negative or nonnegative, and
indicates that uses of it should check for
negative values before using it in a way that requires the value to be
nonnegative, and check for it being nonnegative before using it in a way that
requires it to be negative.
GuardedBy
The field or method to which this annotation is applied can only be accessed
when holding a particular lock, which may be a built-in (synchronization)
lock, or may be an explicit java.util.concurrent.Lock.
When this annotation is applied to a method, it indicates that if this method
is overridden in a subclass, the overriding method should invoke this method
(through method invocation on super).
This annotation can be applied to a package, class or method to indicate that
the method parameters in that element are nonnull by default unless there is:
An explicit nullness annotation
The method overrides a method in a superclass (in which case the
annotation of the corresponding parameter in the superclass applies)
there is a default parameter annotation applied to a more tightly nested
element.
This annotation can be applied to a package, class or method to indicate that
the method parameters in that element are nullable by default unless there is:
An explicit nullness annotation
The method overrides a method in a superclass (in which case the
annotation of the corresponding parameter in the superclass applies)
there is a default parameter annotation applied to a more tightly nested
element.
This qualifier is applied to an annotation to denote that the annotation
defines a default type qualifier that is visible within the scope of the
element it is applied to.