Used to annotate a value that may be negative; uses of it should check for negative values
before using it in a way that requires the value to be nonnegative
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 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.