| Cleanup |
A method annotated with @Cleanup should always be permitted to nullify fields, even if they are
not nullable.
|
| Expensive |
|
| FalseOnNull |
|
| Functional |
Annotation for methods that always return the same value.
|
| IgnoreAllocations |
|
| Initializer |
|
| IntegritySink |
|
| IntegritySource |
|
| Lockless |
|
| Mutable |
|
| NoAllocation |
|
| NonBlocking |
|
| Nullsafe |
|
| Nullsafe.TrustList |
|
| NullsafeStrict |
A class annotated with @NullsafeStrict means more exsaustive checks for nullsafe.
|
| OkToExtend |
Marks a class as one that is expected to be extended.
|
| PerformanceCritical |
|
| Present |
A class field, or method return/parameter type, of Optional type is annotated @Present to
indicate that its value cannot be absent.
|
| PrivacySink |
|
| PrivacySource |
|
| PropagatesNullable |
|
| ReturnsOwnership |
Tell the thread-safety analysis that this method transfers ownership of its return value to its
caller.
|
| SuppressFieldNotInitialized |
|
| SuppressFieldNotNullable |
|
| SuppressLint |
|
| SuppressNullFieldAccess |
|
| SuppressNullMethodCall |
|
| SuppressParameterNotNullable |
|
| SuppressReturnOverAnnotated |
|
| SuppressViewNullability |
View can be annotated with @SuppressViewNullability to silence warnings when a view is set to
null in a destructor, and created in an initializer.
|
| SynchronizedCollection |
Tell the analysis that a collection is thread-safe when this information is not already reflected
in the collection's type.
|
| ThreadConfined |
This annotation tells the thread-safety analysis to assume that mutations in the annotated
class/field/method are confined to the given thread name.
|
| ThreadSafe |
Similar to the @ThreadSafe annotation from javax.concurrent.annotation, but can be
applied to methods.
|
| TrueOnNull |
|
| Verify |
|