Get the priority adjustment: i.e., the effect that this warning
property is expected to have on the likelihood that the warning
is real, benign, or a false positive.
Given a bitset of null arguments passed to the method represented
by this property, return a bitset indicating which null arguments
correspond to an non-null param.
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.